Using the OSKit POSIX Thread Library
On Sat Feb 19, 2005 at 16:39:24 +, 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 ___ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
Re: Problems with the demo CD and qemu
On Fri Feb 18, 2005 at 11:24:07 +0100, Cedric Roux wrote: > (I just tried a boot without CONFIG_HANDLE_SEGMENTS, it crashed, > I did not try to know why.) Probably because Linux tries to use it and the kernel rejects it. > It would be nice to have some infos about this issue, though, > just to understand what's exactly going on. Do you, Adam, or > someone else, have pointers or info about it? A second question Well, it's hard to stay calm when talking about this issue, also, you'll find some nice rants out there. But I'll try. Once upon a time someone decided that fast access to a thread local storage (TLS) for user programs is necessary. As x86 doesn't have many registers a segment is used to point to the TLS. It's %gs. L4 uses %gs to point to the UTCB. In Linux, this is implemented by using 3 GDT entries for each thread which are reloaded for every threadswitch. glibc still supports the old method with LDT entries, but that didn't work quite well last time I tried. I guess nobody's using it and it's buggy somehow but I don't really know. Fiasco can play the LDT game which can also be useful for other things. But fortunately TLS usage can be disabled either by rm'ing the tls dirs or using LD_ASSUME_KERNEL, so we can live with it. Standard pointers: http://people.redhat.com/drepper/nptl-design.pdf http://people.redhat.com/drepper/tls.pdf > is: is the CONFIG_HANDLE_SEGMENTS mandatory and why? More generally, > what option in the fiasco configuration are mandatory and what > are optionnal, and what's the best configuration (having speed > constraints in mind)? The option is mandatory right now, I'll need some support outside of L4Linux to make it optional. For performance stuff, Fiasco outputs the options on startup you should enable/disable, just try this. Adam -- Adam [EMAIL PROTECTED] Lackorzynski http://os.inf.tu-dresden.de/~adam/ ___ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
Re: Using the OSKit POSIX Thread Library
On Sat Feb 19, 2005 at 16:39:24 +, 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. Adam -- Adam [EMAIL PROTECTED] Lackorzynski http://os.inf.tu-dresden.de/~adam/ ___ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
Re: problem with run-l4
On Sat Feb 19, 2005 at 20:01:37 -0600, Jayesh Salvi wrote: > 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 There's a little trick involved here. Such binaries need to be modified for 2.6, use the tool in l4/tool/twiddler for that. Adam -- Adam [EMAIL PROTECTED] Lackorzynski http://os.inf.tu-dresden.de/~adam/ ___ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
Re: dm_generic build problems
Hello Bjoern, Björn Fischer wrote: - --- make[2]: Entering directory `/home/bjoern/cvs/l4/pkg/dm_generic/idl' PWD=/home/bjoern/cvs/l4/pkg/dm_generic/idl/OBJ-x86-l4v2 make -C OBJ-x86-l4v2 -f Makefile make[3]: Entering directory `/home/bjoern/cvs/l4/pkg/dm_generic/idl/OBJ-x86-l4v2' ~ ... Generating dm_generic-server.c LD_PRELOAD=/home/bjoern/cvs/l4/tool/gendep/libgendep.so GENDEP_TARGET="dm_generic-server.c dm_generic-server.h dm_generic-client.c dm_generic-client.h dm_generic-sys.h" GENDEP_BINARY=cpp0 GENDEP_DEPFILE=.dm_generic.idl.d CC=gcc false - -fforce-corba-alloc -fl4types -P-DRAM_BASE=0x0 -P-DSYSTEM_x86_l4v2 - -P-DARCH_x86 -P-DCPUTYPE_ -P-DL4API_l4v2 - -P-I../../../../include/x86/l4v2 - -P-I/home/bjoern/src/drops/include/x86/l4v2 - -P-I../../../../include/l4v2 -P-I/home/bjoern/src/drops/include/l4v2 - -P-I../../../../include/x86 -P-I/home/bjoern/src/drops/include/x86 - -P-I../../../../include -P-I/home/bjoern/src/drops/include -P-nostdinc - -P-DOSKIT -P-I../../../../../oskit10 - -P-I../../../../../oskit10/oskit/c - -P-I/home/bjoern/src/drops/include/oskit10 - -P-I/home/bjoern/src/drops/include/oskit10/oskit/c - -P-I/usr/lib/gcc-lib/i686-pc-linux-gnu/3.3.5/include ../dm_generic.idl make[3]: *** [dm_generic-server.c] Error 1 make[3]: Leaving directory `/home/bjoern/cvs/l4/pkg/dm_generic/idl/OBJ-x86-l4v2' make[2]: *** [OBJ-x86-l4v2] Error 2 make[2]: Leaving directory `/home/bjoern/cvs/l4/pkg/dm_generic/idl' make[1]: *** [idl] Error 2 make[1]: Leaving directory `/home/bjoern/cvs/l4/pkg/dm_generic' make: *** [dm_generic.headers] Error 2 bash-2.05b$ - - Since there is no error message I could react on (like "missing file xyz" or something) I just don't know how to handle this. Does anybody have an Idea about that? The last file in the command line is an IDL file, suggesting Dice should be invoked. Searching the command line for it I only found "fals" right after "CC=gcc": Looks like Dice does not exist. Hope that helps, Ron. -- With regards Ronald Aigner @ ST Microelectronics [EMAIL PROTECTED] ___ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
Re: dm_generic build problems
On Mon, 21 Feb 2005, Björn Fischer wrote: > -BEGIN PGP SIGNED MESSAGE- > Hash: SHA1 > > Hello everybody, > when trying to build drops on my machine (Gentoo linux, gcc 3.3.5) I > encountered the following errors: > > - --- > make[2]: Entering directory `/home/bjoern/cvs/l4/pkg/dm_generic/idl' > PWD=/home/bjoern/cvs/l4/pkg/dm_generic/idl/OBJ-x86-l4v2 make -C > OBJ-x86-l4v2 -f Makefile > make[3]: Entering directory > `/home/bjoern/cvs/l4/pkg/dm_generic/idl/OBJ-x86-l4v2' > ~ ... Generating dm_generic-server.c > LD_PRELOAD=/home/bjoern/cvs/l4/tool/gendep/libgendep.so > GENDEP_TARGET="dm_generic-server.c dm_generic-server.h > dm_generic-client.c dm_generic-client.h dm_generic-sys.h" > GENDEP_BINARY=cpp0 GENDEP_DEPFILE=.dm_generic.idl.d CC=gcc false [snip] The Makefile has called the program "false" as you can see. What did you do to build? You should do a "make" in the l4 topdir after having configured with "make config" > Since there is no error message I could react on (like "missing file > xyz" or something) I just don't know how to handle this. > > Does anybody have an Idea about that? > > Many thanks and greetings > > Björn Fischer ___ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
dm_generic build problems
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Hello everybody, when trying to build drops on my machine (Gentoo linux, gcc 3.3.5) I encountered the following errors: - --- make[2]: Entering directory `/home/bjoern/cvs/l4/pkg/dm_generic/idl' PWD=/home/bjoern/cvs/l4/pkg/dm_generic/idl/OBJ-x86-l4v2 make -C OBJ-x86-l4v2 -f Makefile make[3]: Entering directory `/home/bjoern/cvs/l4/pkg/dm_generic/idl/OBJ-x86-l4v2' ~ ... Generating dm_generic-server.c LD_PRELOAD=/home/bjoern/cvs/l4/tool/gendep/libgendep.so GENDEP_TARGET="dm_generic-server.c dm_generic-server.h dm_generic-client.c dm_generic-client.h dm_generic-sys.h" GENDEP_BINARY=cpp0 GENDEP_DEPFILE=.dm_generic.idl.d CC=gcc false - -fforce-corba-alloc -fl4types -P-DRAM_BASE=0x0 -P-DSYSTEM_x86_l4v2 - -P-DARCH_x86 -P-DCPUTYPE_ -P-DL4API_l4v2 - -P-I../../../../include/x86/l4v2 - -P-I/home/bjoern/src/drops/include/x86/l4v2 - -P-I../../../../include/l4v2 -P-I/home/bjoern/src/drops/include/l4v2 - -P-I../../../../include/x86 -P-I/home/bjoern/src/drops/include/x86 - -P-I../../../../include -P-I/home/bjoern/src/drops/include -P-nostdinc - -P-DOSKIT -P-I../../../../../oskit10 - -P-I../../../../../oskit10/oskit/c - -P-I/home/bjoern/src/drops/include/oskit10 - -P-I/home/bjoern/src/drops/include/oskit10/oskit/c - -P-I/usr/lib/gcc-lib/i686-pc-linux-gnu/3.3.5/include ../dm_generic.idl make[3]: *** [dm_generic-server.c] Error 1 make[3]: Leaving directory `/home/bjoern/cvs/l4/pkg/dm_generic/idl/OBJ-x86-l4v2' make[2]: *** [OBJ-x86-l4v2] Error 2 make[2]: Leaving directory `/home/bjoern/cvs/l4/pkg/dm_generic/idl' make[1]: *** [idl] Error 2 make[1]: Leaving directory `/home/bjoern/cvs/l4/pkg/dm_generic' make: *** [dm_generic.headers] Error 2 bash-2.05b$ - - Since there is no error message I could react on (like "missing file xyz" or something) I just don't know how to handle this. Does anybody have an Idea about that? Many thanks and greetings Björn Fischer -BEGIN PGP SIGNATURE- Version: GnuPG v1.2.6 (GNU/Linux) Comment: Using GnuPG with Thunderbird - http://enigmail.mozdev.org iD8DBQFCGe1QTpwRRbjCovARAtVeAKCS6ekiBf12nv8DfMdLaDRPTUdc7ACeKrUL BQv40p8thr3Vt6J1RJZufk8= =3rjt -END PGP SIGNATURE- ___ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers