- l4-hackers - example.com Site

malloc in tftp server
by Leon Brits 31 May '05

31 May '05

Hi all, I am adding a bit of extra code to the TFTP server and I found that if I malloc() memory that I get the error: ../com/register.c:78: failed assertion `global_registry' I've added the following line... l4_ssize_t l4libc_heapsize = 4*1024; ...to the main file but I still get the error. Any suggestions! Thanks Leon

2 1

Issues on L4linux
by Tiago Jorge 30 May '05

30 May '05

hello... I've been running l4linux in l4env mode for some time, but some errors never ceased to exist. The first error consists on page faulting. The error consists on the dm_phys saying it page faulted correctly, but the task i was running blocks... to what values must or wich commands sould i use in order to increase the memory so that i can proceed with the tasks? The other error happens when i try to reboot. When i halt the system, no problem arises. bue when i try to reboot, the systems always pagefaults... what's the problem with that? thanks for the help Tiago

2 1

Using run with bmodfs as file-provider
by Stefan Kalkowski 27 May '05

27 May '05

Hi, i have a problem with using 'run' and bmodfs as file-provider. When i used tftp everything went fine. But now i have to use bmodfs, because i also need flips and that clashs with tftp. So i gave 'run' the argument '--fprov=BMODFS'. But after a short while it exits: run | our_exit(): Exiting with rc=-2 run | Return reboots, "s" sleeps, "e" kills task, "k" enters L4 kdbg full debugger output can you find here: http://www.inf.tu-dresden.de/~sk852421/fiasco/run.out Here is my menu.lst entry: title=L4Linux-2.6 with DOpE root (nd) kernel /drops/l4/bin/x86_586/l4v2/rmgr -sigma0 task modname "L4Linux task" task modname "l4dope" boot_priority 0xB2 task modname "l4io" boot_priority 0xc0 task modname "bmodfs" module module module module modaddr 0x02000000 vbeset 0x114 module /drops/l4/kernel/fiasco/build/main -nowait -nokdb -serial_esc -comspeed 115200 -comport 1 module /drops/l4/bin/x86_586/l4v2/sigma0 module /drops/l4/bin/x86_586/l4v2/names --events module /drops/l4/bin/x86_586/l4v2/log module /drops/l4/bin/x86_586/l4v2/events module /drops/l4/bin/x86_586/l4v2/dm_phys --events module /drops/l4/bin/x86_586/l4v2/simple_ts --events module /drops/l4/bin/x86_586/l4v2/rtc module /drops/l4/bin/x86_586/l4v2/bmodfs module /drops/l4/bin/x86_586/l4v2/run module /drops/l4/bin/x86_586/l4v2/libloader.s.so module /drops/l4linux-2.6/vmlinuz26 module /drops/scripts/l4linux26-dope module /drops/l4/bin/x86_586/l4v2/l4exec module /drops/l4/bin/x86_586/l4v2/l4dope --l4io --events module /drops/l4/bin/x86_586/l4v2/proxygon module /drops/l4/bin/x86_586/l4v2/l4io --noirq module /drops/l4/bin/x86_586/l4v2/name_server module /drops/l4/bin/x86_586/l4v2/flips-lxdrv module /drops/l4/bin/x86_586/l4v2/mini_ifconfig eth0 192.168.0.2 255.255.255.0 192.168.0.3 module /drops/l4/bin/x86_586/l4v2/webproxy module /drops/l4/bin/x86_586/l4v2/loader --events --fprov=BMODFS run --fprov=BMODFS l4linux26-dope so is it at present possible to use run in combination with bmodfs? For me it looks like that it should be possible. a backtrace of that thread: (c.02) jdb: bt thread=c.02 backtrace (thread c.02, fp=00afff6c, pc=01306ef1): #1 01306ef1 : our_exit + 0x81 /drops/l4/pkg/oskit10_support_l4env/lib/src/exit.c:56 #2 01307bd7 : _exit + 0x17 #3 01307406 : exit + 0x16 #4 00013a17 : __startup_main + 0x37 /drops/l4/pkg/loader/lib/runtime/main.c:83 #5 00015c23 : l4th_thread_start + 0x73 /drops/l4/pkg/thread/lib/src/create.c:72 #6 00018e28 : l4th_thread_entry + 0x18 /drops/l4/pkg/thread/lib/src/l4.c:113 --kernel-bt-follows-- (don't trust w/o frame pointer!!) #1 f0005a70 #2 f0004d8e #3 f000a7b6 #4 f00054fe #5 f0016aad #6 f0006572 #7 f00051a2 #8 f0005c1d #9 f0005a5c #10 f0006335 #11 f0007443 #12 f002683c thank you in advance Stefan -- Stefan Kalkowski GNU PGP-Key: https://www.inf.tu-dresden.de/~sk852421

2 2

Linking a C++ program using pthreads fails
by Derick Swanepoel 26 May '05

26 May '05

Hi, I am busy porting a C++ program that uses pthreads to L4. I am using the l4env_freebsd mode to link against oskit10's thread library. The program compiles fine but linking fails as follows: LD_PRELOAD=/home/derick/DROPS/l4/tool/gendep/libgendep.so GENDEP_TARGET=pthreadtest GENDEP_BINARY=ld gcc -o pthreadtest ../../../../../lib/x86_586/crt0.o Thread.o ../../../lib/framework/OBJ-x86_586-l4v2/{Event,Mutex}.o -loskit_threads -Ttext=0x01600000 -L../../../../../lib/x86_586/l4v2 -L/home/derick/DROPS/drops/lib/x86_586/l4v2 -L../../../../../lib/x86_586 -L/home/derick/DROPS/drops/lib/x86_586 -L../../../../../lib -L/home/derick/DROPS/drops/lib -L../../../../../../oskit10/lib -L../../../../../lib/c++/3.3 -L/home/derick/DROPS/drops/lib/oskit10 -L/home/derick/DROPS/drops/lib/c++/3.3 -T../../../../../lib/x86_586/main_stat.ld -lstdc++ /usr/lib/gcc-lib/i486-linux/3.3.5/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_amm -loskit_freebsd_c -loskit_com /usr/lib/gcc-lib/i486-linux/3.3.5/libgcc.a /usr/lib/gcc-lib/i486-linux/3.3.5/libgcc_eh.a -loskit_freebsd_c -Ttext=0x01600000 -Wl,-gc-sections Thread.o(.text+0x30): In function `Thread::start()': /home/derick/DROPS/l4/pkg/ibridge/server/pthreadtest/OBJ-x86_586-l4v2/../Thread.cpp:15: undefined reference to `pthread_attr_init(pthread_attr*)' Thread.o(.text+0x43):/home/derick/DROPS/l4/pkg/ibridge/server/pthreadtest/OBJ-x86_586-l4v2/../Thread.cpp:17: undefined reference to `pthread_create(void**, pthread_attr const*, void* (*)(void*), void*)' Thread.o(.text+0xb0): In function `SyncedThread::start()': /home/derick/DROPS/l4/pkg/ibridge/server/pthreadtest/OBJ-x86_586-l4v2/../Thread.cpp:36: undefined reference to `pthread_attr_init(pthread_attr*)' Thread.o(.text+0xc3):/home/derick/DROPS/l4/pkg/ibridge/server/pthreadtest/OBJ-x86_586-l4v2/../Thread.cpp:38: undefined reference to `pthread_create(void**, pthread_attr const*, void* (*)(void*), void*)' Thread.o(.text+0x140): In function `Manager::selectWorker()': /home/derick/DROPS/l4/pkg/ibridge/server/pthreadtest/OBJ-x86_586-l4v2/../../../lib/framework/Mutex.h:26: undefined reference to `pthread_mutex_lock(pthread_mutex*)' Thread.o(.text+0x15c):/home/derick/DROPS/l4/pkg/ibridge/server/pthreadtest/OBJ-x86_586-l4v2/../../../lib/framework/Mutex.h:27: undefined reference to `pthread_mutex_unlock(pthread_mutex*)' Thread.o(.text+0x16f): In function `Manager::selectWorker()': /home/derick/DROPS/l4/pkg/ibridge/server/pthreadtest/OBJ-x86_586-l4v2/../Thread.h:33: undefined reference to `sched_yield()' Thread.o(.text+0x1af): In function `Manager::selectWorker()': /home/derick/DROPS/l4/pkg/ibridge/server/pthreadtest/OBJ-x86_586-l4v2/../../../lib/framework/Mutex.h:27: undefined reference to `pthread_mutex_unlock(pthread_mutex*)' ... I manually added -loskit_threads to my LDFLAGS. Am I linking against the right libraries? Thanks in advance. Derick

2 1

running C++ function as THREADCONTROL thread
by Jayesh Salvi 25 May '05

25 May '05

Hi, I looked at the pingpong code and found how a thread is created and activated using THREADCONTROL system call. It uses C function pointers and typecasts them to L4_Word_t which are then passed to threadcontrol system call to run this function as thread. I want to use a C++ function as the thread. But C++ member function pointer seem not to be as simple as C function pointers. Their size changes as well, with the compiler or compiler-options, because of inheritance. Is their any example code that does this? Thanks. -- Jayesh

2 1

Porting C++ apps to L4
by Derick Swanepoel 24 May '05

24 May '05

Hi, I'm busy porting a C++ application to L4. From various comments on the mailing list I know that I cannot make use of exceptions and RTTI, but unfortunately the program links against a library that makes heavy use of both. What should I do? Is there any documentation or guidelines on porting C++ apps to L4? Thanks, Derick

3 3

ANNOUNCE: Pre-virtualization project
by Joshua LeVasseur 20 May '05

20 May '05

The L4Ka team is pleased to announce the release of a new approach to building virtual machines, which we call pre-virtualization. Pre- virtualization is a technique to automate para-virtualization, and is thus a more trustworthy alternative to L4Linux, and yet with the same performance that L4Linux has always achieved on the L4Ka microkernels. Since the virtualization is automated, the final binary (whether Linux 2.6, Linux 2.4, FreeBSD, etc.) can execute on raw hardware, and on a variety of hypervisors. At load time, the binary's virtualization-sensitive instructions are rewritten, and the OS is dynamically linked against an architectural emulation layer. The project has been co-developed with UNSW/NICTA. The project web page is located at: http://l4ka.org/projects/virtualization/afterburn/ The current release supports the L4Ka::Pistachio microkernel and the Xen hypervisor, on x86 hardware. We currently release support only for Linux 2.6 as a guest OS. Other operating systems are under test. This project obsoletes our prior L4Ka L4Linux work. We thus stop support for our L4Linux-2.4 project, and will not publicly release our L4Linux 2.6 project. Enjoy, The L4Ka Development Team

1 0

Reading and writing to files in DROPS
by Rene Wittmann 19 May '05

19 May '05

Hi, I'm still trying to write to a file in DROPS. What is the best way to do so? When trying to use the OSKIT support (at least I think that I use it...) it doesn't work, maybe I'm thinking too straightforward, but my code looks simply this way: --------------------------------------------------------------------- #include <stdio.h> char LOG_tag[9]="tso_test"; int main(int argc, const char**argv){ FILE *handle; int i; handle = fopen("/tmp/check","w+"); printf("before fileprinting\n"); fprintf(handle,"Just a writing to file test."); printf("after fileprinting\n"); fclose(handle); printf("after closing\n"); return 0; } -------------------------------------------------------------------- My Makefile (compiling without error or warning): -------------------------------------------------------------------- PKGDIR ?= ../.. L4DIR ?= $(PKGDIR)/../.. TARGET = tso_test DEFAULT_RELOC = 0x02000000 MODE = l4env SRC_C = tso_test.c LOGTAG = $(addprefix ",$(addsuffix ",$(TARGET))) include $(L4DIR)/mk/prog.mk -------------------------------------------------------------------- Finally my config: -------------------------------------------------------------------- title vmware tso_test root (hd0,1) kernel /drops/drops/bin/x86_586/l4v2/rmgr -sigma0 module /drops/l4/kernel/fiasco/build/main -nokdb -nowait -serial -serial_esc module /drops/drops/bin/x86_586/l4v2/sigma0 modaddr 0x02000000 module /drops/drops/bin/x86_586/l4v2/names module /drops/drops/bin/x86_586/l4v2/log module /drops/drops/bin/x86_586/l4v2/dm_phys module /drops/drops/bin/x86_586/l4v2/simple_ts module /drops/drops/bin/x86_586/l4v2/tso_test -------------------------------------------------------------------- But the error message: -------------------------------------------------------------------- names | Fiasco detected, registering thread names at kernel tso_test| OSKit support: using 4096KB at 0x00180000 as heap tso_test| fs_init: WARNING: No Filesystem tso_test| before fileprinting tso_test| Just a writing to file test.after fileprinting tso_test| L4RM: [PF] read at 0x000000c, eip 0200e54b, src 9.02 tso_test| [9.0] l4rm/lib/src/pagefault.c:78:__unknown_pf(): tso_test| unhandled page fault --PANIC--------------------------------------------------EIP:02004403 (9.00) jdb: -------------------------------------------------------------------- Of course, I can see that fs_init says about "No Filesystem". Is it because I'm using reiserfs? Would it work with ext2? Or is there a better way writing to a file in DROPS? Maybe some L4-specific functions? Regards, Rene

2 1

Building binaries for L4Linux with IPC
by Tiago Jorge 18 May '05

18 May '05

hello... I am trying now to do IPC to my server from L4Linux. I'm not doing a Lib. I'm picking up the client code generated from dice, build encapsulation code and i'm trying to use it in a simple program. I've made the makefile that looks like this: ########################################### PKGDIR ?= ../.. L4DIR ?= $(PKGDIR)/../.. TARGET = WOO_test SRC_CC = WOO_test.cc encap.cc WOO-client.cc MODE = l4linux include $(L4DIR)/mk/prog.mk ########################################### but the files are in c++. They compile right but when the link the give the following error: ################################################### ==> Linking WOO_test LD_PRELOAD=/home/tiago/l4/tool/gendep/libgendep.so GENDEP_TARGET=WOO_test GENDEP_BINARY=ld gcc -o WOO_test WOO_test.o encap.o WOO-client.o -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/home/tiago/drops/lib -ldm_generic -ldm_mem -lnames -ll4util -lrmgr -lloaderif -ll4env -ll4env_err -lslab -ll4sys WOO_test.o(.text+0x17e): In function `std::vector<long long, std::allocator<long long> >::_M_insert_aux(__gnu_cxx::__normal_iterator<long long*, std::vector<long long, std::allocator<long long> > >, long long const&)': /usr/include/c++/3.3/bits/stl_alloc.h:232: undefined reference to `std::__default_alloc_template<(bool)1, (int)0>::allocate(unsigned)' WOO_test.o(.text+0x21a):/usr/include/c++/3.3/bits/stl_alloc.h:232: undefined reference to `std::__default_alloc_template<(bool)1, (int)0>::deallocate(void*, unsigned)' WOO_test.o(.text+0x24e):/usr/include/c++/3.3/bits/stl_alloc.h:232: undefined reference to `std::basic_string<char, std::char_traits<char>, std::allocator<char> >::basic_string[in-charge](char const*, std::allocator<char> const&)' WOO_test.o(.text+0x2f8):/usr/include/c++/3.3/bits/stl_alloc.h:232: undefined reference to `std::__default_alloc_template<(bool)1, (int)0>::deallocate(void*, unsigned)' WOO_test.o(.text+0x306):/usr/include/c++/3.3/bits/stl_alloc.h:232: undefined reference to `std::basic_string<char, std::char_traits<char>, std::allocator<char> >::_Rep::_M_destroy(std::allocator<char> const&)' WOO_test.o(.text+0x388):/usr/include/c++/3.3/bits/stl_alloc.h:232: undefined reference to `std::__default_alloc_template<(bool)1, (int)0>::deallocate(void*, unsigned)' WOO_test.o(.text+0x3ae):/usr/include/c++/3.3/bits/stl_alloc.h:232: undefined reference to `std::__default_alloc_template<(bool)1, (int)0>::deallocate(void*, unsigned)' WOO_test.o(.text+0x3d9):/usr/include/c++/3.3/bits/stl_alloc.h:232: undefined reference to `std::basic_string<char, std::char_traits<char>, std::allocator<char> >::_Rep::_M_destroy(std::allocator<char> const&)' WOO_test.o(.gnu.linkonce.t._ZNSt6vectorIxSaIxEE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPxS1_EERKx+0xf3): In function `std::vector<long long, std::allocator<long long> >::_M_insert_aux(__gnu_cxx::__normal_iterator<long long*, std::vector<long long, std::allocator<long long> > >, long long const&)': /usr/include/c++/3.3/bits/stl_iterator.h:642: undefined reference to `std::__default_alloc_template<(bool)1, (int)0>::deallocate(void*, unsigned)' WOO_test.o(.gnu.linkonce.t._ZNSt6vectorIxSaIxEE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPxS1_EERKx+0x107): In function `std::vector<long long, std::allocator<long long> >::_M_insert_aux(__gnu_cxx::__normal_iterator<long long*, std::vector<long long, std::allocator<long long> > >, long long const&)': /usr/include/c++/3.3/bits/stl_alloc.h:232: undefined reference to `std::__default_alloc_template<(bool)1, (int)0>::allocate(unsigned)' WOO_test.o(.eh_frame+0x12): In function `std::vector<long long, std::allocator<long long> >::_M_insert_aux(__gnu_cxx::__normal_iterator<long long*, std::vector<long long, std::allocator<long long> > >, long long const&)': /usr/include/c++/3.3/bits/vector.tcc:224: undefined reference to `__gxx_personality_v0' encap.o(.text+0x430): In function `WOO_decide(std::basic_string<char, std::char_traits<char>, std::allocator<char> >)': /usr/include/c++/3.3/bits/char_traits.h:127: undefined reference to `std::basic_string<char, std::char_traits<char>, std::allocator<char> >::_Rep::_S_terminal' encap.o(.eh_frame+0x11): In function `check_server()': /home/tiago/l4/pkg/WOO/examples/client/encap.cc:20: undefined reference to `__gxx_personality_v0' ################################################### what do i need to link to use c++ in l4linux? i can not link stdlibc++ because it's not intended to use in L4linux... the lack of __gxx_personality_v0 is not due to linking with gcc because i link my server with gcc... and i use c++. How can i make this link with the correct c++ stdlib? Thanks Tiago

2 2

L4 Linux and compatibility with other L4 servers
by Tiago Jorge 17 May '05

17 May '05

Hello... I'm now trying to boot my own server with the L4Linux 2.4. i'm using this servers: title Tests root (hd0,0) kernel /home/tiago/fiasco_builddir/rmgr -sigma0 modaddr 0x02000000 module /home/tiago/fiasco_builddir/main -nokdb -nowait -serial_esc -comspeed 115200 -comport 1 module /home/tiago/fiasco_builddir/sigma0 module /home/tiago/fiasco_builddir/names module /home/tiago/fiasco_builddir/dm_phys module /home/tiago/fiasco_builddir/l4io module /home/tiago/fiasco_builddir/rtc module /home/tiago/fiasco_builddir/name_server module /home/tiago/fiasco_builddir/flips-lxdrv module /home/tiago/fiasco_builddir/mini_ifconfig eth0 10.10.5.197 255.255.0.0 10.10.255.255 module /home/tiago/fiasco_builddir/WOO 10.10.5.197 eth0 module /home/tiago/fiasco_builddir/vmlinuz.V2 no-scroll no-hlt l4irqack=linux root=/dev/hda1 but as i expected there are many pagefaults and resources allocated. How can i configure this servers (not my own of course :) ) so that they don't interfere with the l4linux work but still do their work(mainly networking with FLIPS)? for example, when put only this servers... kernel /home/tiago/fiasco_builddir/rmgr -sigma0 modaddr 0x02000000 module /home/tiago/fiasco_builddir/main -nokdb -nowait -serial_esc -comspeed 115200 -comport 1 module /home/tiago/fiasco_builddir/sigma0 module /home/tiago/fiasco_builddir/names module /home/tiago/fiasco_builddir/dm_phys the module dm_phys and l4linux start to page fault. thanks for the help Tiago

4 12