l4-hackers April 2007

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

20 participants
22 discussions

AIM Multiuser Benchmark - Suite VII
by Eduard Benes 12 Apr '07

12 Apr '07

Hello! As a part of my research I have to run macrobenchmarks on L4Linux and native Linux. I saw few papers related to performance testing of L4Linux, where this benchmark was used. The problem is that I'm not able to find (google) working version. Could somebody provide me tested (used,working) copy of this benchmark? Or are there any similar test that could be used instead of aim7? Thank you, Eduard Benes

2 1

Writing simple "hiworld" server using L4Env packages
by Eduard Benes 10 Apr '07

10 Apr '07

Hi! My goal is to create, using l4env pkgs, some simple servers that would run on top of microkernel and compare their performance when running on native Linux and on L4 ukernel. They should run single and more paraller "processes" that would do some simple numerical algorithms (sorting, Monter Carlo, ...) So, I would like to ask for help with creation of such servers. Better said, it can be few single servers without any clients. (integer/float data types? forks? mallocs? time measurement? ...) Is there available l4env "programming tutorial", some notes from lectures provided at TU-Dresden, or some more advanced "example" server code that could be modified without much knowledge of l4env specifics? I've found the BID tutorial, but for me it would be more helpful to know what basic functions, libraries, data types can be used, and how. (e.g. the hello world example could be modified) Could someone please show me the right way to go? I'm running out of time, so I would really appreciate all help :) Right now I'm working on benchmarking L4Linux and native Linux to get idea of the overhead. And It would be interesting to get idea of the performance when apps/servers are running on L4 kernel without the L4Linux overhead. Thank you, Eduard Benes

3 2

Re: Writing simple "hiworld" server using L4Env packages
by chenggh 10 Apr '07

10 Apr '07

> Is there available l4env "programming tutorial", some notes from > lectures provided at TU-Dresden, or some more advanced "example" > server code that could be modified without much knowledge of l4env > specifics? Sorry, As i know there is not existing l4env programming tutorial. > I've found the BID tutorial, but for me it would be more helpful > to know what basic functions, libraries, data types can be used, > and how. (e.g. the hello world example could be modified) > Could someone please show me the right way to go? Yes, the BID tutorial is very helpful. But it could give you a small example about how the l4 application is created and running. > I'm running out of time, so I would really appreciate all help :) > Right now I'm working on benchmarking L4Linux and native Linux > to get idea of the overhead. And It would be interesting to > get idea of the performance when apps/servers are running on L4 > kernel without the L4Linux overhead. Do you aim at porting a Linux application on top of L4 kernel without L4Linux ? What is the function of your application? cheng

1 0

access to l4/pkg/ktest
by Hendrik Tews 08 Apr '07

08 Apr '07

Hi, would it be possible to put the ktest package into the public repository? If not, how can Erik Schierboom get access to ktest? [I suggested to Erik to put the properties that he is about to prove for the Fiasco IPC as assertions into the code and then run some IPC stress test. As IPC stress test I suggested to recompile linux inside l4linux with -j 100. However Marcus suggested to use pingpong and ktest instead. Any further suggestions for Fiasco IPC stress testing are of course most welcome.] Bye, Hendrik

2 1

Building L4Linux
by Eduard Benes 08 Apr '07

08 Apr '07

Hi, I run into problem compiling l4linux. I've been able to compile it many times before. But after few weeks while I was not with l4linux stuff, I run into problem when building it. I'm pretty sure it will be some "stupid" mistake I've made, but since I need to quickly finish some testing, I would really appreciate any advise... Here is configuration I use: Debian {sarge, etch}; gcc version: 3.{3,4}, l4linux-2.6-17 Everything is mainly based on chenggh's kickstart and tarball he provided. (http://os.inf.tu-dresden.de/pipermail/l4-hackers/2007/002732.html) < l4linux make log start > include/asm-l4/i386-arch/asm/alternative.h:7: error: syntax error before "u8" include/asm-l4/i386-arch/asm/alternative.h:7: warning: no semicolon at end of struct or union include/asm-l4/i386-arch/asm/alternative.h:8: warning: type defaults to `int' in declaration of `replacement' include/asm-l4/i386-arch/asm/alternative.h:8: warning: data definition has no type or storage class include/asm-l4/i386-arch/asm/alternative.h:9: error: syntax error before "cpuid" include/asm-l4/i386-arch/asm/alternative.h:9: warning: type defaults to `int' in declaration of `cpuid' include/asm-l4/i386-arch/asm/alternative.h:9: warning: data definition has no type or storage class include/asm-l4/i386-arch/asm/alternative.h:10: error: syntax error before "instrlen" include/asm-l4/i386-arch/asm/alternative.h:10: warning: type defaults to `int' in declaration of `instrlen' include/asm-l4/i386-arch/asm/alternative.h:10: warning: data definition has no type or storage class include/asm-l4/i386-arch/asm/alternative.h:11: error: syntax error before "replacementlen" include/asm-l4/i386-arch/asm/alternative.h:11: warning: type defaults to `int' in declaration of `replacementlen' include/asm-l4/i386-arch/asm/alternative.h:11: warning: data definition has no type or storage class include/asm-l4/i386-arch/asm/alternative.h:12: error: syntax error before "pad" include/asm-l4/i386-arch/asm/alternative.h:12: warning: type defaults to `int' in declaration of `pad' include/asm-l4/i386-arch/asm/alternative.h:12: warning: data definition has no type or storage class In file included from include/asm-l4/i386-arch/asm/thread_info.h:17, from include/linux/thread_info.h:21, from include/linux/preempt.h:10, from include/linux/interrupt.h:9, from arch/l4/l4lxlib/l4env/irq_multi.c:12: include/asm-l4/l4-arch/asm/processor.h:154: error: `cpuid' redeclared as different kind of symbol include/asm-l4/i386-arch/asm/alternative.h:9: error: previous declaration of `cpuid' include/asm-l4/l4-arch/asm/processor.h:154: warning: `cpuid' was declared `extern' and later `static' make[1]: *** [arch/l4/l4lxlib/l4env/irq_multi.o] Error 1 make: *** [arch/l4/l4lxlib/l4env] Error 2 < l4linux make log end > Thank you, Eduard Benes

2 1

Re: hda : lost interrupt
by chenggh 03 Apr '07

03 Apr '07

On Tuesday 03 April 2007 11:47, you wrote: > Linux's that I have compiled l4 and l4linux , is in > /dev/hda1. But home folder is in /dev/hda3. And the l4 > codes and build directory is in /dev/hda3 > > I did not understand the root concept in the l4linux > coniguration. The root concept in l4linux is same as in linux. A simple root file system consists of different directories including /bin /etc /lib /dev/, etc. The root file system is different from root home directory. In other words the partition which is mounted into / is your choice. For example, the /etc/fstab of my machine is : /dev/hda2 swap swap defaults 0 0 /dev/hda3 / ext3 defaults 1 1 /dev/hda4 /home/ ext3 defaults 1 2 /dev/hdd2 /home/oldsystem ext3 defaults 1 2 If i set root file system it is /dev/hda3. I think it is enough. Good luck. cheng

2 1

Re: hda : lost interrupt
by chenggh 03 Apr '07

03 Apr '07

On Tuesday 03 April 2007 10:31, Burak OGUZ wrote: > Thanks for your help, > > Now it goes over lost interrupt error but this time it > says that > > Warning : unable to open an initial console > Kernel panic - not syncing : No init found try parsing > init= option to kernel > panic : going to sleep forever bye > > What do you think about this situation? Maybe it means that you set a wrong root file system. In your linux26.cfg you set root=/dev/hda1. Are you sure your root file system is located in /dev/hda1? cheng

3 2

Re: hda : lost interrupt
by Burak OGUZ 02 Apr '07

02 Apr '07

I have started dmon log server to take logs but it gave no errors. I am totally confused about it. I think l4linux does not contain the driver for my block devices. I think that is why it gives lost interrupt error. -- burak() (ps: bf) METU CENG '06 ----- Original Message ---- From: chenggh <chenggh04(a)st.lzu.edu.cn> To: l4-hackers(a)os.inf.tu-dresden.de Sent: Monday, April 2, 2007 4:26:43 PM Subject: Re: hda : lost interrupt > l4lx | Done (1517 entries). > l4lx | l4lx_thread_create: Created thread 0f.05 > (timer.i0) > l4lx | panic: going to sleep forever, bye > > > I have booted it with 512m ram under qemu. If you have kernel panic message above it means your l4linux kernel encounters some problem. In this situation you should use a serial console to receive l4linux booting messages. These messages could help you find what is wrong. My booting log is like this: l4lx | Filling lower ptabs... l4lx | Done (1611 entries). l4lx | l4lx\_thread\_create: Created thread 10.05 (timer.i0) l4lx | l4lx\_thread\_create: Created thread 10.06 (Idler) maybe this could help you. Thank you. cheng _______________________________________________ l4-hackers mailing list l4-hackers(a)os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers ____________________________________________________________________________________ No need to miss a message. Get email on-the-go with Yahoo! Mail for Mobile. Get started. http://mobile.yahoo.com/mail

1 0

Re: hda : lost interrupt
by chenggh 02 Apr '07

02 Apr '07

> l4lx | Done (1517 entries). > l4lx | l4lx_thread_create: Created thread 0f.05 > (timer.i0) > l4lx | panic: going to sleep forever, bye > > > I have booted it with 512m ram under qemu. If you have kernel panic message above it means your l4linux kernel encounters some problem. In this situation you should use a serial console to receive l4linux booting messages. These messages could help you find what is wrong. My booting log is like this: l4lx | Filling lower ptabs... l4lx | Done (1611 entries). l4lx | l4lx\_thread\_create: Created thread 10.05 (timer.i0) l4lx | l4lx\_thread\_create: Created thread 10.06 (Idler) maybe this could help you. Thank you. cheng

1 0

Re: hda : lost interrupt
by Burak OGUZ 02 Apr '07

02 Apr '07

I have made dmon work. What should I report here? It gives no error but finally it logs : l4lx_thread_create: Created thread 0f.0a (IRQ14) l4lx_thread_create: Created thread 0f.0b (IRQ15) and it starts giving lost interrupt for hard disk and cdrom. -- burak() (ps: bf) METU CENG '06 ----- Original Message ---- From: Burak OGUZ <burakoguzs(a)yahoo.com> To: Ronald Aigner <ra3(a)os.inf.tu-dresden.de>; l4-hackers(a)os.inf.tu-dresden.de Sent: Monday, April 2, 2007 3:33:31 PM Subject: Re: hda : lost interrupt Also I have changed the l4 linux configuration file. I think I should adjust linux configuration too. After changing my linux configuration to this : verbose 0 task "vmlinuz26" "earlyprintk=yes mem=256M video=l4fb" all_sects_writable allow_cli After changing the configuration l4linux started to give this error: l4lx | ======> L4Linux 2.6 starting... <======== l4lx | Linux version 2.6.19-l4 (root@think) (gcc version 3.4.6) #1 Wed Mar 2 l4lx : 8 15:42:40 EEST 2007 l4lx | Binary name: vmlinuz26 l4lx | Kernel command line (3 args): earlyprintk=yes mem=256M video=l4fb l4lx | Image: 00400000 - 00790000 [3648 KiB]. l4lx | Areas: Text: 00400000 - 00696000 [2648kB] (a bit longer) l4lx | Data: 00696000 - 006e408c [312kB] l4lx | Initdata: 006e8000 - 00722000 [232kB] l4lx | BSS: 00724000 - 0078e300 [424kB] l4lx | l4lx_thread_create: Created thread 0f.03 (tamer) l4lx | Using tamed mode. l4lx | l4env_linux_startup thread 4. l4lx | l4lx_thread_create: Created thread 0f.04 (server) l4lx | main thread will be 0f.04 l4lx | l4env_register_pointer_section: addr = 006e6000 size = 249856 l4lx | sec-w-init: virt: 0x006e6000 to 0x00722fff [244 KiB] l4lx | sec-w-init: Number of physical regions: 1, 249856 Bytes l4lx | sec-w-init: 1: Phys: 0x01191000 to 0x011ce000, Size: 249856 l4lx | main thread: received startup message. l4lx | Main thread running, waiting... l4lx | setup_l4env_memory: Forcing superpages for main memory l4lx | Main memory size: 256MB l4lx | Got 2048kB of ISA DMA memory. l4lx | ISA DMA memory: virt: 0x00800000 to 0x009fffff [2048 KiB] l4lx | ISA DMA memory: Number of physical regions: 1, 2097152 Bytes l4lx | ISA DMA memory: 1: Phys: 0x0043a000 to 0x0063a000, Size: 2097152 l4lx | Main memory: virt: 0x00c00000 to 0x10bfffff [262144 KiB] l4lx | Main memory: Number of physical regions: 1, 268435456 Bytes l4lx | Main memory: 1: Phys: 0x0d400000 to 0x1d400000, Size: 268435456 l4lx | Filling lower ptabs... l4lx | Done (1517 entries). l4lx | l4lx_thread_create: Created thread 0f.05 (timer.i0) DMphys | ds 32, client F.00, rights 0x0003, has 0x0001 DMphys | [8.0] dm_phys/server/src/map.c:620:if_l4dm_generic_fault_component(): DMphys | DMphys: bad permissions l4lx | L4RM: dataspace at 0x00400000-0x00695fff, id 32 at 8.00 l4lx | L4RM: dataspace manager call failed ("permission denied") l4lx | L4RM: [PF] write at 0x00400038, ip 004101d0, src F.02 l4lx | [F.0] l4rm/lib/src/pagefault.c:78:__unknown_pf(): l4lx | unhandled page fault --PANIC, 'g' for exit------------------------------------IP: a00b43dd (f.00) jdb: Best regards, -- burak() (ps: bf) METU CENG '06 ____________________________________________________________________________________ Sucker-punch spam with award-winning protection. Try the free Yahoo! Mail Beta. http://advision.webevents.yahoo.com/mailbeta/features_spam.html _______________________________________________ l4-hackers mailing list l4-hackers(a)os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers ____________________________________________________________________________________ Expecting? Get great news right away with email Auto-Check. Try the Yahoo! Mail Beta. http://advision.webevents.yahoo.com/mailbeta/newmail_tools.html

1 0

2025

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 April 2007