l4-hackers February 2005

l4-hackers@os.inf.tu-dresden.de

24 participants
35 discussions

Re: Using the OSKit POSIX Thread Library
by Tiago João Portela Jorge 22 Feb '05

22 Feb '05

>>On Mon Feb 21, 2005 at 22:41:26 +0000, Tiago Jorge wrote: >> So if i want to use pthreads, i can't. >> Regarding to locks and to threads i can replace them by L4threads lib, that >> includes locks and threads. but what do you recommend to replace the usage >> of conditional variables? >I'm not really familiar with these things. What's the problem, or what >would you need to implement it? i have worked out a solution... but thank you anyway :) -- Tiago Jorge

1 0

Using the OSKit POSIX Thread Library
by Tiago Jorge 22 Feb '05

22 Feb '05

On Sat Feb 19, 2005 at 16:39:24 +0000, Tiago Jorge wrote: >>/ Continuing the goal to port my aplication to an L4 server, i'm trying to />>/ use the OSKit lib to POSIX threads. / >>/ ... / >>/ I presume one of two cases: />>/ />>/ - There is no support for POSIX threads in your version of OSKit :( / >Well, I guess that's it. Sorry. So if i want to use pthreads, i can't. Regarding to locks and to threads i can replace them by L4threads lib, that includes locks and threads. but what do you recommend to replace the usage of conditional variables? thanks for the aswers (and patience :)) Tiago

2 1

Problems with the demo CD and qemu
by Cedric Roux 21 Feb '05

21 Feb '05

Hello L4 Hackers, here follows a description of what I did. My questions come to the end of the message. Sorry for the length, but I wanted to be clear. perignan:/home/roux/qemu_try2>wget http://fabrice.bellard.free.fr/qemu/qemu-0.6.1.tar.gz perignan:/home/roux/qemu_try2>tar -xvzf qemu-0.6.1.tar.gz perignan:/home/roux/qemu_try2>cd qemu-0.6.1 perignan:/home/roux/qemu_try2/qemu-0.6.1>./configure --target-list=i386-softmmu --prefix=/home/roux/qemu_try2 Install prefix /home/roux/qemu_try2 BIOS directory /home/roux/qemu_try2/share/qemu binary directory /home/roux/qemu_try2/bin Manual directory /home/roux/qemu_try2/share/man ELF interp prefix /usr/gnemul/qemu-%M Source path /home/roux/qemu_try2/qemu-0.6.1 C compiler gcc make make host CPU i386 host big endian no target list i386-softmmu gprof enabled no static build no SDL support yes SDL static link yes mingw32 support no Adlib support no FMOD support no perignan:/home/roux/qemu_try2/qemu-0.6.1>make ... bulding output data ... everything was fine ... perignan:/home/roux/qemu_try2/qemu-0.6.1>make install ... install output data ... everything was fine ... perignan:/home/roux/qemu_try2/qemu-0.6.1>cd .. perignan:/home/roux/qemu_try2>wget http://os.inf.tu-dresden.de/L4/LinuxOnL4/demo-cd/demo-cd-0.1.iso.bz2 ... donwload ok ... perignan:/home/roux/qemu_try2>bunzip2 demo-cd-0.1.iso.bz2 perignan:/home/roux/qemu_try2>bin/qemu -cdrom demo-cd-0.1.iso -boot d -serial stdio Could not configure '/dev/rtc' to have a 1024 Hz timer. This is not a fatal error, but for better emulation accuracy either use a 2.6 host Linux kernel or type 'echo 1024 > /proc/sys/dev/rtc/max-user-freq' as root. ... a lot of output from l4 ... Now, we are inside qemu, we just choose "L4Linux 2.6 from this cd [dope]". When linux is there, we try a: telnet 10.0.2.2 (10.0.2.2 is the address of the localhost, as set by qemu) inside the l4linux window, and we've got this: <3>bad: scheduling while atomic! [<00407efe>] dump_stack+0x1e/0x20 [<0061c3f0>] schedule+0x450/0x490 [<00401b16>] l4x_idle+0x196/0x1a0 [<004049c8>] cpu_idle+0x8/0x10 [<006d0719>] start_kernel+0x1f9/0x260 [<006d4571>] l4env_linux_startup+0x111/0x120 [<00015205>] 0x15205 [<00018198>] 0x18198 <3>bad: scheduling while atomic! [<00407efe>] dump_stack+0x1e/0x20 [<0061c3f0>] schedule+0x450/0x490 [<004022bf>] l4x_dispatch_message+0x79f/0x11b0 [<00000000>] 0x0 <3>bad: scheduling while atomic! [<00407efe>] dump_stack+0x1e/0x20 [<0061c3f0>] schedule+0x450/0x490 [<0040bb99>] sys_sched_yield+0x39/0x50 [<0044858a>] do_coredump+0xca/0x2b5 [<0041744a>] get_signal_to_deliver+0x29a/0x310 [<00406811>] do_signal+0x51/0x720 [<00401fbe>] l4x_dispatch_message+0x49e/0x11b0 [<00000000>] 0x0 <3>bad: scheduling while atomic! [<00407efe>] dump_stack+0x1e/0x20 [<0061c3f0>] schedule+0x450/0x490 [<0061c7b8>] schedule_timeout+0xa8/0xb0 [<0044f253>] do_select+0x363/0x370 [<0044f4d1>] sys_select+0x271/0x410 [<004024c7>] l4x_dispatch_message+0x9a7/0x11b0 [<00000000>] 0x0 <3>bad: scheduling while atomic! [<00407efe>] dump_stack+0x1e/0x20 [<0061c3f0>] schedule+0x450/0x490 [<0061c7b8>] schedule_timeout+0xa8/0xb0 [<0044f253>] do_select+0x363/0x370 [<0044f4d1>] sys_select+0x271/0x410 [<004024c7>] l4x_dispatch_message+0x9a7/0x11b0 [<00000000>] 0x0 <0>Kernel panic: Aiee, killing interrupt handler! <0>In interrupt handler - not syncing This error message is not always the same, I once had: <3>bad: scheduling while atomic! [<00407efe>] dump_stack+0x1e/0x20 [<0061c3f0>] schedule+0x450/0x490 [<00401b16>] l4x_idle+0x196/0x1a0 [<004049c8>] cpu_idle+0x8/0x10 [<006d0719>] start_kernel+0x1f9/0x260 [<006d4571>] l4env_linux_startup+0x111/0x120 [<00015205>] 0x15205 [<00018198>] 0x18198 KERNEL: c.3 (tcb=c0301800) killed: Unhandled trap EAX 030ded40 EBX 00003293 ECX 00682f00 EDX 030ded48 ESI 00000000 EDI 00682f04 EBP 007d1f04 ESP 007d1f04 EIP 0040e27f EFLAGS 00003206 CS 001b SS 0023 DS 0023 ES 0023 FS 0023 GS 0043 trapno 6, error 00000000, from user mode We have here: perignan:/home/roux/qemu_try2>uname -a Linux perignan 2.4.20-8smp #1 SMP Thu Mar 13 17:45:54 EST 2003 i686 i686 i386 GNU/Linux perignan:/home/roux/qemu_try2>gcc --version gcc (GCC) 3.2.2 20030222 (Red Hat Linux 3.2.2-5) My CPU is a Pentium 4 running at 3GHz, I've got 1GB of RAM. My X Window has a depth of 24, it's a TrueColor visual class. If you need more informations to solve this, just tell me. I would like to know: 1 - what's going on? I suspected some kind of weird IRQ firing because of the use of qemu, but as far as my investigations have told me, it doesn't seem to be that. I believed that one IRQ went to fast after a first one, so the linux was not yet out of the driver code, but the interrupts were enabled, thus crashing everything. I think I was wrong, no? 2 - how to solve this. What code/doc should I read to debug it, where to dig. I am a bit confused for now. Thank you by advance for your help. Best regards, Cedric.

2 6

Using the OSKit POSIX Thread Library
by Tiago Jorge 21 Feb '05

21 Feb '05

Continuing the goal to port my aplication to an L4 server, i'm trying to use the OSKit lib to POSIX threads. I'm using c++ and building in l4env_freebsd mode. First of all, the static link to the lib wasn't in the modes.inc file. I've included it there. I've tried to build my test project, that simply starts a thread. The test files compiles but it doesn't do the static link. The error is the following: PWD=/home/tiago/l4/pkg/meumundo/server/src/OBJ-x86_586-l4v2 make -C OBJ-x86_586-l4v2 -f Makefile make[1]: Entrando no diretório `/home/tiago/l4/pkg/meumundo/server/src/OBJ-x86_586-l4v2' ... Compiling main.o LD_PRELOAD=/home/tiago/l4/tool/gendep/libgendep.so GENDEP_TARGET=main.o GENDEP_BINARY=cpp0 g++-2.95 -c -DRAM_BASE=0x0 -DSYSTEM_x86_586_l4v2 -DARCH_x86 -DCPUTYPE_586 -DL4API_l4v2 -I../../../idl/OBJ-x86-l4v2 -I../../../../../include/x86/l4v2 -I/home/tiago/drops/include/x86/l4v2 -I../../../../../include/l4v2 -I/home/tiago/drops/include/l4v2 -I../../../../../include/x86 -I/home/tiago/drops/include/x86 -I../../../../../include -I/home/tiago/drops/include -nostdinc -DOSKIT -I../../../../../../oskit10/freebsd/libc/include -I../../../../../../oskit10/freebsd/3.x/src/include -I../../../../../../oskit10/freebsd/3.x/src/sys -I../../../../../../oskit10 -I../../../../../include/c++/2.95 -I../../../../../include/c++/2.95/drops -I/home/tiago/drops/include/oskit10 -I/home/tiago/drops/include/oskit10/oskit/freebsd -I/home/tiago/drops/include/c++/2.95 -I/home/tiago/drops/include/c++/2.95/drops -I/usr/lib/gcc-lib/i386-linux/2.95.4/include -nostdinc -I../../../../../include/c++-3 -I../../../../../include/drops -gstabs+ -g -O2 -fno-strict-aliasing -march=i586 -Wall /home/tiago/l4/pkg/meumundo/server/src/main.cc -o main.o ==> Linking meumundo LD_PRELOAD=/home/tiago/l4/tool/gendep/libgendep.so GENDEP_TARGET=meumundo GENDEP_BINARY=ld gcc-2.95 -o meumundo ../../../../../lib/x86_586/crt0.o main.o -Ttext=0x01000000 -L../../../../../lib/x86_586/l4v2 -L/home/tiago/drops/lib/x86_586/l4v2 -L../../../../../lib/x86_586 -L/home/tiago/drops/lib/x86_586 -L../../../../../lib -L/home/tiago/drops/lib -L../../../../../../oskit10/lib -L../../../../../lib/c++/2.95 -L/home/tiago/drops/lib/oskit10 -L/home/tiago/drops/lib/c++/2.95 -T../../../../../lib/x86_586/main_stat.ld -lstdc++ /usr/lib/gcc-lib/i386-linux/2.95.4/libgcc.a -static -loskit10_support_l4env_freebsd.o -ll4env -ll4rm -ldm_generic -ldm_mem -lthread -lsemaphore -lnames -ll4util -lrmgr -ll4env -lomega0 -llogserver -ll4env_err -ll4rm -ldm_generic -ldm_mem -lthread -lslab -ll4sys -nostdlib -Wl,--nostdlib -loskit_freebsd_c -loskit_freebsd_net -loskit_startup -loskit_clientos -loskit_bootp -loskit_linux_fs -loskit_fsnamespace -loskit_diskpart -loskit_linux_dev -loskit10_support_l4env_freebsd_dev -loskit_kern -loskit_lmm -loskit_threads -loskit_amm -loskit_freebsd_c -loskit_com /usr/lib/gcc-lib/i386-linux/2.95.4/libgcc.a -loskit_freebsd_c -Ttext=0x01000000 -Wl,-gc-sections main.o(.text+0x29b): In function `main': /home/tiago/l4/pkg/meumundo/server/src/main.cc:44: undefined reference to `pthread_create(void **, pthread_attr const *, void *(*)(void *), void *)' collect2: ld returned 1 exit status make[1]: ** [meumundo] Erro 1 make[1]: Saindo do diretório `/home/tiago/l4/pkg/meumundo/server/src/OBJ-x86_586-l4v2' make: ** [OBJ-x86_586-l4v2] Erro 2 I presume one of two cases: - My code is wrong somehow, but i've tried to build the oskit example os the philosophers dinner and didn't worked as well - There is no support for POSIX threads in your version of OSKit :( thanks in advance Tiago Jorge

2 1

problem with run-l4
by Jayesh Salvi 21 Feb '05

21 Feb '05

I am trying to run an executable from L4linux using run-l4 command. The script is: $ ./run-l4 dope.cfg Dope.cfg: sleep 1 task "dopelog" allow_cli priority xx But I get: L4_sleep(): IPC error 40 ... repeated for 21 lines LOADER not found. I am using L4Linux 2.6 on fiasco Thanks Jayesh

2 1

Using STL
by Tiago Jorge 17 Feb '05

17 Feb '05

hello... I've picked up in the hello_cxx example and i've tried to use STL "vector" or "map" to try it out, but the example didn't compiled. do i need to add any library or something else in the src Makefile? thank you Tiago

2 1

L4Env compilation error
by Jayesh Salvi 17 Feb '05

17 Feb '05

I had my L4Env compiled last weekend, but after that I had to upgrade my linux to Fedora Core 3, which changed my compiler version. So I started compiling form scratch and I stumbled on this error. I have appended the compiler version at the end. make[3]: Entering directory `/home/jayesh/oskit/examples' gcc -c -MD -DHAVE_CONFIG_H -DOSKIT -D__KERNEL__ -I. -I../examples/x86 -I- -I.. -I.. -I../flux/c -I../libfdev_linux/include -nostdinc -g -O2 -march=i586 -Wall ../examples/x86/multiboot.c ld -Ttext 100000 -L../lib \ -o multiboot ../lib/multiboot.o multiboot.o \ -lkern -lmc -llmm ../lib/crtn.o /usr/lib/gcc/i386-redhat-linux/3.4.2/libgcc.a gcc -c -MD -DHAVE_CONFIG_H -DOSKIT -D__KERNEL__ -I. -I../examples/x86 -I- -I.. -I.. -I../flux/c -I../libfdev_linux/include -nostdinc -g -O2 -march=i586 -Wall ../examples/x86/multiboot-gdb.c ld -Ttext 100000 -L../lib \ -o multiboot-gdb ../lib/multiboot.o multiboot-gdb.o \ -lkern -lmc -llmm ../lib/crtn.o /usr/lib/gcc/i386-redhat-linux/3.4.2/libgcc.a gcc -c -MD -DHAVE_CONFIG_H -DOSKIT -D__KERNEL__ -I. -I../examples/x86 -I- -I.. -I.. -I../flux/c -I../libfdev_linux/include -nostdinc -g -O2 -march=i586 -Wall ../examples/x86/multiboot-smp.c ld -Ttext 100000 -L../lib \ -o multiboot-smp ../lib/multiboot.o multiboot-smp.o \ -lsmp -lkern -lmc -llmm ../lib/crtn.o /usr/lib/gcc/i386-redhat-linux/3.4.2/libgcc.a ../lib/libsmp.a(boot.o)(.text+0x29): In function `_SMP_TRAMP_START_': : relocation truncated to fit: R_386_16 _SMP_TRAMP_32_ENTRY_ make[3]: *** [multiboot-smp] Error 1 make[3]: Leaving directory `/home/jayesh/oskit/examples' make[2]: *** [examples/all.MAKE] Error 2 make[2]: Leaving directory `/home/jayesh/oskit' make[1]: *** [all] Error 2 make[1]: Leaving directory `/home/jayesh/oskit' make: *** [../oskit] Error 2 [jayesh@orion l4]$ gcc -v Reading specs from /usr/lib/gcc/i386-redhat-linux/3.4.2/specs Configured with: ../configure --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info --enable-shared --enable-threads=posix --disable-checking --with-system-zlib --enable-__cxa_atexit --disable-libunwind-exceptions --enable-java-awt=gtk --host=i386-redhat-linux Thread model: posix gcc version 3.4.2 20041017 (Red Hat 3.4.2-6.fc3) Any guess. Jayesh jsalvi@veritas 67349

2 1

Re: Problems with compiling DROPS packages
by Adam Lackorzynski 17 Feb '05

17 Feb '05

On Wed Feb 16, 2005 at 10:36:18 +0100, Rene Wittmann wrote: > DROPS_STDDIR=/home/sirewitt/src/drops/ , unfortunatelly there exists no > include-directory, but > in /home/sirewitt/src/drops/l4 there is one... > > I thought DROPS_STDDIR should point to the base of the directories, not to > l4-directory, (so I find the > help provided in the 'make config' a bit misleading). > I changed it to DROPS_STDDIR=/home/sirewitt/src/drops//l4 (where the > include-directory resides), but the error > message seems the same: I guess the problem is that DROPS_STDDIR points inside the l4 directory. Put it to something like /home/sirewitt/src/drops/drops, i.e. that it's beside the l4 directory (or somewhere else). Then redo everything, esp. oskit and oskit10. I don't how mangled your l4 directory is now, so maybe start from scratch? Adam -- Adam adam(a)os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/

2 7

Building a L4 server in c++
by Tiago João Portela Jorge 16 Feb '05

16 Feb '05

Hello... I'm making my pos-graduate project using L4, building a L4 server for secure communication. I have already built a prototype in c++ and i want to port it to L4. Is there any advice you can give me how to build and use a C++ L4 server? any special requirements, needs, etc... thanks in advance Tiago Jorge -- Tiago Jorge

1 0

Re: Problems with compiling DROPS packages
by Adam Lackorzynski 16 Feb '05

16 Feb '05

On Tue Feb 15, 2005 at 22:56:49 +0100, Rene Wittmann wrote: > > Did you build the oskit? > > > > Generally a make in the l4 directory should all do this > > (provided that oskit and oskit10 are besides the l4 directory). > > > > Yes, I built it. > My directory structure is the same as described in "Building DROPS HowTo", > namely > <DROPS_DIR>/l4 > <DROPS_DIR>/oskit > <DROPS_DIR>/oskit10 > > When I run make in the l4-directory, it performs all the actions correctly > until it comes to building the directory l4/pkg. The ansi.h file should come from /home/sirewitt/src/drops/include/oskit10/oskit/freebsd/machine Is that the case for you? What's your DROPS_STDDIR? (See Paths and Directories in the configuration menu) Adam -- Adam adam(a)os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/

2 1

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

l4-hackers February 2005