l4-hackers September 2007

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

19 participants
45 discussions

Re: the problems of l4linux
by chenggh 19 Sep '07

19 Sep '07

> Looks the same as the other mail. Enter helps? Actually, what do you > expect to see? :) Thanks. I also read another mail with the same situation. I use Slackware 12.0 not Ubuntu because in Ubuntu there is a glibc bug which has been existed at least for more than half year - "undefined reference to __stack_chk_fail". This bug has been reported many times and has committed to the Ubuntu Bug List. But bug is as before. The first question: the l4 boot log is like this: l4lx | l4lx_thread_create: Created thread 10.16 (IRQ5) l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 4. l4lx | l4lx_thread_create: Created thread 10.17 (IRQ4) l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 3. l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 2. l4lx | acquire_irq: Error attaching to IRQ 2 l4lx | l4lx_thread_create: Created thread 10.19 (IRQ2) l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 1. l4lx | acquire_irq: Error attaching to IRQ 1 It seems that when attaching IRQ1, IRQ2, IRQ9, IRQ12 there are some errors like "acquire_irq: Error attaching to IRQ x". But later attaching IRQ is ok. What is the matter? IRQ1 and IRQ12 are related with keyboard and monse, IRQ2 is related with cascade, IRQ9 is about acpi. I have removed these drivers from linux. why is it also like this? The second problem is: The Linux booting stops at /ect/random-seed to initialize /dev/urandom and there is no login interface. I have checked the normal linux booting and after the using /ect/random-seed to initialize /dev/urandom the linux will finish booting kernel, enter the linux user space "INIT: Entering init X". So I think it is still the problem of l4linux kernel not the special linux distribution. Is it right? Thank you very much. Cheng Guanghui

1 0

Re: the problems of l4linux
by Adam Lackorzynski 19 Sep '07

19 Sep '07

On Tue Sep 18, 2007 at 22:02:16 +0000, chenggh wrote: > Hi: > I boot l4dope with l4linux. The dope seems ok but l4linux doesn't start > completely. I am not sure whether it is l4 problem or linux problem. Please > help me. > > The l4 boot log > l4dope | Frame buffer base: 0x4000000 > l4dope | Resolution: 1024x768x16 > l4dope | Bytes per scanline: 2048 > l4dope | Current video mode is 1024x768 red=11:5 green=5:6 blue=0:5 res=0:0 > l4lx | ======> L4Linux 2.6 starting... <======== > l4lx | Linux version 2.6.22-l4 (root@darkstar) (gcc version 4.1.2) #1 Tue > Se > l4lx : p 18 16:36:23 CST 2007 > l4lx | Binary name: vmlinuz > l4lx | Kernel command line (5 args): earlyprintk=yes video=l4fb init=1 > mem=6 > l4lx : 4M root=/dev/hda2 > l4lx | Image: 00400000 - 007a3000 [3724 KiB]. > l4lx | Areas: Text: 00400000 - 006ad000 [2740k | Initdata: > 006cc000 - 00700000 [208kB] > l4lx | BSS: 00702000 - 007a0f00 [635kB] > l4lx | l4lx_thread_create: Created thread 10.03 (tamer0) > l4lx | Tamer0 is 10.03 > l4lx | Using tamed mode. > l4lx | Connecting to l4io server. > l4lx | l4env_linux_startup thread 4. > l4lx | l4lx_thread_create: Created thread 10.04 (cpu0) > l4lx | main thread will be 10.04 > l4lx | l4env_register_pointer_section: addr = 00400000 size = 3149824 > l4lx | sec-w-init: virt: 0x00400000 to 0x00700fff [3076 KiB] > l4lx | Noncontiguous region for sec-w-init > l4lx | sec-w-init: Number of physical regions: 3, 3149824 Bytes > l4lx | sec-w-init: 1: Phys: 0x0108a000 to 0x01218000, Size: 1630208 > l4lx | sec-w-init: 2: Phys: 0x01419000 to 0x01500000, Size: 946176 > l4lx | sec-w-ini startup message. > l4lx | Main thread running, waiting... > l4lx | setup_l4env_memory: Forcing superpages for main memory > l4lx | Main memory size: 64MB > 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 0x04bfffff [65536 KiB] > l4lx | Main memory: Number of physical regions: 1, 67108864 Bytes > l4lx | Main memory: 1: Phys: 0x08c00000 to 0x0cc00000, Size: 67108864 > l4lx | Filling lower ptabs... > l4lx | Done (1594 entries). > l4lx | l4lx_thread_create: Created thread 10.05 (timer.i0) > l4lx | Jumpinl4lx | idler0d_create: Created threadl4lx | Startil4dope > | SharedMem(allo0 > l4lx | l4lx_thread_create: Created thread 10.08 (DOpE refresher) > l4lx | l4lx_thread_create: Created thread 10.09 (L4DOpEinput) > l4lx | l4lx_iRQ 17. > l4lx |startup_hw: Starting IRQ16) > l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 15. > l4lx | l4lx_thread_create: Created thread 10.0c (IRQ15) > l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 14. > l4lx tup_hw: Starting IRQ thread for IRQ 13. > l4lx | l4lx_ting IRQ thread for IRQ 12. > l4lx | acquire_irq: Error attaching to IRQ 12 > l4lx | l4lx_thread_create: Created thread 10.0f (IRQ12) > l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 11. > l4lx | l4lx_thread_create: Created thread 10.10 (IRQ11) > l4lx | l4lx_irq_dev_startp_hw: Starting IRQ thread | > l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 9. > l4lx | l4lx_thread_create: Created thread 10.12 (IRQ9) > l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 8. > l4lx | l4lx_thread_create: Created thread 10.13 (IRQ8) > l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 7. > l4lx | l4lx_thread_create: Created thread 10.14 (IRQ7) > l4lx | l4lx_irq_dev_startup_hw: Starting thread for IRQ 6. > l4lx | l4lx_thread_create: Created thread 10.15 (IRQ6) > l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 5. > l4lx | l4lx_thread_create: Created thread 10.16 (IRQ5) > l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 4. > l4lx | l4lx_thread_create: Created thread 10.17 (IRQ4) > l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 3. > l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 2. > l4lx | acquire_irq: Error attaching to IRQ 2 > l4lx | l4lx_thread_create: Created thread 10.19 (IRQ2) > l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 1. > l4lx | acquire_irq: Error attaching to IRQ 1 > > I don't know what these information stands for. Are all the necessary > interrupt threads ok? Or some of them is not ok. Seems ok. Some IRQ probing, 1, 2 and 12 are not allowed which is perfectly ok. > the linux boot log > ¡£¡£¡£ > EXTS FS on hda3, internal journal > EXT-fs: mounted filesystem with orderred data mode > /dev/hda3 on /home type ext3 (rw) > using /ect/random-seed to initialize /dev/urandom > > The linux could stop here even I wait lot of time. It doesn't go on. Looks the same as the other mail. Enter helps? Actually, what do you expect to see? :) Adam -- Adam adam(a)os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/

1 0

l4linux starting problem
by 丁莹 19 Sep '07

19 Sep '07

Hi,all: I have meet a problem when I starting l4linux-2.6.22,the error message get from serial port as follow: 4dope | serio: i8042 AUX port at 0x60,0x64 irq 12 l4dope | serio: i8042 KBD port at 0x60,0x64 irq 1 l4lx | ======> L4Linux 2.6 starting... <======== l4lx | Linux version 2.6.22-l4 (root@licy03) (gcc version 4.1.2) #6 Tue Sep l4lx : 18 16:16:49 CST 2007 l4lx | Binary name: vmlinuz l4lx | Kernel command line (5 args): earlyprintk=yes mem=64M video=l4fb root l4lx : =/dev/hda9 ro l4lx | Image: 00400000 - 007ac000 [3760 KiB]. l4lx | Areas: Text: 00400000 - 006ae000 [2744kB] (a bit longer) l4lx | Data: 006ae000 - 006cbf9c [119kB] l4lx | Initdata: 006ce000 - 00709000 [236kB] l4lx | BSS: 0070a000 - 007a9200 [636kB] l4lx | l4lx_thread_create: Created thread 0f.03 (tamer0) l4lx | Tamer0 is 0f.03 l4lx | Using tamed mode. l4lx | Connecting to l4io server. l4lx | l4env_linux_startup thread 4. l4lx | l4lx_thread_create: Created thread 0f.04 (cpu0) l4lx | main thread will be 0f.04 l4lx | l4env_register_pointer_section: addr = 00400000 size = 3850240 l4lx | sec-w-init: virt: 0x00400000 to 0x007abfff [3760 KiB] l4lx | Noncontiguous region for sec-w-init l4lx | sec-w-init: Number of physical regions: 4, 3850240 Bytes l4lx | sec-w-init: 1: Phys: 0x0108a000 to 0x01215000, Size: 1617920 l4lx | sec-w-init: 2: Phys: 0x01419000 to 0x01500000, Size: 946176 l4lx | sec-w-init: 3: Phys: 0x01345000 to 0x01400000, Size: 765952 l4lx | sec-w-init: 4: Phys: 0x01281000 to 0x01300000, Size: 520192 l4lx | main thread: received startup message. l4lx | Main thread running, waiting... l4lx | setup_l4env_memory: Forcing superpages for main memory l4lx | Main memory size: 64MB 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 0x04bfffff [65536 KiB] l4lx | Main memory: Number of physical regions: 1, 67108864 Bytes l4lx | Main memory: 1: Phys: 0x0a800000 to 0x0e800000, Size: 67108864 l4lx | Filling lower ptabs... l4lx | Done (1584 entries). l4lx | l4lx_thread_create: Created thread 0f.05 (timer.i0) l4lx | Jumping over 4x 'hlt' at 0x6d6eab l4lx | idler0: utcb=0xbff00400 0f.04 l4lx | l4lx_thread_create: Created thread 0f.06 (idler) l4lx | Starting L4FB via DOpE l4dope | input: ImPS/2 Generic Wheel Mouse on isa0060/serio1 l4dope | input: AT Raw Set 2 keyboard on isa0060/serio0 l4dope | input: PC Speaker l4dope | input: L4 input event injector l4dope | L4 input event injector: IRQ handler up l4dope | connect "ImPS/2 Generic Wheel Mouse", isa0060/serio1/input0 l4dope | connect "AT Raw Set 2 keyboard", isa0060/serio0/input0 l4dope | connect "PC Speaker", isa0061/input0 l4dope | connect "L4 input event injector", l4/sys l4dope | SharedMem(alloc): hl.raw=100000, id=69, size=800 l4dope | SharedMem(get_adr): address = 0x6000 l4dope | SharedMem(alloc): hl.raw=100000, id=6a, size=800 l4dope | SharedMem(get_adr): address = 0x7000 l4dope | SharedMem(alloc): hl.raw=100000, id=6b, size=800 l4dope | SharedMem(get_adr): address = 0xd000 l4dope | SharedMem(alloc): hl.raw=100000, id=6c, size=800 l4dope | SharedMem(get_adr): address = 0xe000 l4dope | SharedMem(alloc): hl.raw=100000, id=6d, size=800 l4dope | SharedMem(get_adr): address = 0xf000 l4dope | SharedMem(alloc): hl.raw=100000, id=6f, size=800 l4dope | SharedMem(get_adr): address = 0x16000 l4dope | SharedMem(alloc): hl.raw=100000, id=70, size=800 l4dope | SharedMem(get_adr): address = 0x17000 l4dope | SharedMem(alloc): hl.raw=100000, id=75, size=484 l4dope | SharedMem(get_adr): address = 0x21000 l4dope | dope: paddr=f0000000 size=131072KiB l4dope | Mapped video memory at f0000000 to 08000000+000000 [131072kB] via L4I l4dope : O l4dope | mapping: vaddr=0x8000000 size=134217728(0x8000000) offset=0(0x0) l4dope | Frame buffer base: 0x8000000 l4dope | Resolution: 1024x768x16 l4dope | Bytes per scanline: 2048 l4dope | Current video mode is 1024x768 red=11:5 green=5:6 blue=0:5 res=0:0 l4dope | SharedMem(alloc): hl.raw=100000, id=80, size=96000 l4dope | SharedMem(get_adr): address = 0x400000 l4lx | l4lx_thread_create: Created thread 0f.08 (DOpE refresher) l4lx | l4lx_thread_create: Created thread 0f.09 (L4DOpEinput) l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 14. l4lx | l4lx_thread_create: Created thread 0f.0a (IRQ14) l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 15. l4lx | l4lx_thread_create: Created thread 0f.0b (IRQ15) l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 11. l4lx | l4lx_thread_create: Created thread 0f.0c (IRQ11) l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 12. l4lx | acquire_irq: Error attaching to IRQ 12 l4lx | l4lx_thread_create: Created thread 0f.0d (IRQ12) l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 1. l4lx | acquire_irq: Error attaching to IRQ 1 l4lx | l4lx_thread_create: Created thread 0f.0e (IRQ1) And the dope when starting after following message then dead. Checking non-root filesystems: fsck 1.39 (29-May-2006) /dev/hda10:clean, 135991/667808 files,510175/1333387 blocks Mounting non-root local filesystems: kjournald starting. Commit interval 5 seconds EXT3 FS on hda10, internal journal EXT3-fs: mounted filesystem with ordered data mode. /dev/hda10 on /home type ext3(rw) Using /etc/random-seed to initialize /dev/urandom. How can I solve this problem?Anybody who knows please help me,Thanks! Best Regards!

2 1

the problems of l4linux
by chenggh 19 Sep '07

19 Sep '07

Hi: I boot l4dope with l4linux. The dope seems ok but l4linux doesn't start completely. I am not sure whether it is l4 problem or linux problem. Please help me. The l4 boot log l4dope | Frame buffer base: 0x4000000 l4dope | Resolution: 1024x768x16 l4dope | Bytes per scanline: 2048 l4dope | Current video mode is 1024x768 red=11:5 green=5:6 blue=0:5 res=0:0 l4lx | ======> L4Linux 2.6 starting... <======== l4lx | Linux version 2.6.22-l4 (root@darkstar) (gcc version 4.1.2) #1 Tue Se l4lx : p 18 16:36:23 CST 2007 l4lx | Binary name: vmlinuz l4lx | Kernel command line (5 args): earlyprintk=yes video=l4fb init=1 mem=6 l4lx : 4M root=/dev/hda2 l4lx | Image: 00400000 - 007a3000 [3724 KiB]. l4lx | Areas: Text: 00400000 - 006ad000 [2740k | Initdata: 006cc000 - 00700000 [208kB] l4lx | BSS: 00702000 - 007a0f00 [635kB] l4lx | l4lx_thread_create: Created thread 10.03 (tamer0) l4lx | Tamer0 is 10.03 l4lx | Using tamed mode. l4lx | Connecting to l4io server. l4lx | l4env_linux_startup thread 4. l4lx | l4lx_thread_create: Created thread 10.04 (cpu0) l4lx | main thread will be 10.04 l4lx | l4env_register_pointer_section: addr = 00400000 size = 3149824 l4lx | sec-w-init: virt: 0x00400000 to 0x00700fff [3076 KiB] l4lx | Noncontiguous region for sec-w-init l4lx | sec-w-init: Number of physical regions: 3, 3149824 Bytes l4lx | sec-w-init: 1: Phys: 0x0108a000 to 0x01218000, Size: 1630208 l4lx | sec-w-init: 2: Phys: 0x01419000 to 0x01500000, Size: 946176 l4lx | sec-w-ini startup message. l4lx | Main thread running, waiting... l4lx | setup_l4env_memory: Forcing superpages for main memory l4lx | Main memory size: 64MB 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 0x04bfffff [65536 KiB] l4lx | Main memory: Number of physical regions: 1, 67108864 Bytes l4lx | Main memory: 1: Phys: 0x08c00000 to 0x0cc00000, Size: 67108864 l4lx | Filling lower ptabs... l4lx | Done (1594 entries). l4lx | l4lx_thread_create: Created thread 10.05 (timer.i0) l4lx | Jumpinl4lx | idler0d_create: Created threadl4lx | Startil4dope | SharedMem(allo0 l4lx | l4lx_thread_create: Created thread 10.08 (DOpE refresher) l4lx | l4lx_thread_create: Created thread 10.09 (L4DOpEinput) l4lx | l4lx_iRQ 17. l4lx |startup_hw: Starting IRQ16) l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 15. l4lx | l4lx_thread_create: Created thread 10.0c (IRQ15) l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 14. l4lx tup_hw: Starting IRQ thread for IRQ 13. l4lx | l4lx_ting IRQ thread for IRQ 12. l4lx | acquire_irq: Error attaching to IRQ 12 l4lx | l4lx_thread_create: Created thread 10.0f (IRQ12) l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 11. l4lx | l4lx_thread_create: Created thread 10.10 (IRQ11) l4lx | l4lx_irq_dev_startp_hw: Starting IRQ thread | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 9. l4lx | l4lx_thread_create: Created thread 10.12 (IRQ9) l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 8. l4lx | l4lx_thread_create: Created thread 10.13 (IRQ8) l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 7. l4lx | l4lx_thread_create: Created thread 10.14 (IRQ7) l4lx | l4lx_irq_dev_startup_hw: Starting thread for IRQ 6. l4lx | l4lx_thread_create: Created thread 10.15 (IRQ6) l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 5. l4lx | l4lx_thread_create: Created thread 10.16 (IRQ5) l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 4. l4lx | l4lx_thread_create: Created thread 10.17 (IRQ4) l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 3. l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 2. l4lx | acquire_irq: Error attaching to IRQ 2 l4lx | l4lx_thread_create: Created thread 10.19 (IRQ2) l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 1. l4lx | acquire_irq: Error attaching to IRQ 1 I don't know what these information stands for. Are all the necessary interrupt threads ok? Or some of them is not ok. the linux boot log 。。。 EXTS FS on hda3, internal journal EXT-fs: mounted filesystem with orderred data mode /dev/hda3 on /home type ext3 (rw) using /ect/random-seed to initialize /dev/urandom The linux could stop here even I wait lot of time. It doesn't go on. the menu.lst title L4LinuxDope root (hd0,1) kernel /boot/L4/l4dopelinux/bootstrap modaddr 0x06000000 module /boot/L4/l4dopelinux/main -nowait -nokdb -serial -comspeed 115200 -comport 1 module /boot/L4/l4dopelinux/sigma0 module /boot/L4/l4dopelinux/roottask task modname "bmodfs" attached 4 modules module /boot/L4/l4dopelinux/events module /boot/L4/l4dopelinux/names module /boot/L4/l4dopelinux/log module /boot/L4/l4dopelinux/dm_phys --isa=0x00800000 -v --events module /boot/L4/l4dopelinux/simple_ts -t 300 --events module /boot/L4/l4dopelinux/rtc --events module /boot/L4/l4dopelinux/l4io --events module /boot/L4/l4dopelinux/omega0 --l4io module /boot/L4/l4dopelinux/l4dope --l4io --menubar --transparency module /boot/L4/l4dopelinux/loader --fprov=BMODFS linux26.cfg module /boot/L4/l4dopelinux/bmodfs module /boot/L4/l4dopelinux/libld-l4.s.so module /boot/L4/l4dopelinux/vmlinuz module /boot/L4/l4dopelinux/linux26.cfg module /boot/L4/l4dopelinux/libloader.s.so vbeset 0x117 506070 There is attachment which includes l4linux configuration. Thanks. Cheng Guanghui

1 0

Re: launch benchmark
by chenggh 18 Sep '07

18 Sep '07

> I use this bootloader: > title Fiasco, Console, Loader, Tiny Shell (run) > root (hd0,2) > kernel /boot/fiasco_mod/bootstrap -modaddr 0x02000000 > module /boot/fiasco_mod/fiasco -nowait -serial_esc -comspeed 115200 > -comport 1 module /boot/fiasco_mod/sigma0 > module /boot/fiasco_mod/roottask task modname "bmodfs" attached 3 modules > module /boot/fiasco_mod/names > module /boot/fiasco_mod/log > module /boot/fiasco_mod/dm_phys > module /boot/fiasco_mod/l4io > module /boot/fiasco_mod/con -vbemode 0x117 > module /boot/fiasco_mod/simple_ts -t 300 > module /boot/fiasco_mod/bmodfs > module /boot/fiasco_mod/run > module /boot/fiasco_mod/libloader.s.so > module /boot/fiasco_mod/libld-l4.s.so > module /boot/fiasco_mod/loader --fprov=BMODFS run > > I have to compare l4 with ecos. I want to use lmbench, bonnie++ and > AIM-suite9, my questions are: - How can I use those benchmarks when I boot > Fiasco? I think lmbench, bonnie++ and AIM-suite9 are not suitable when you compare l4/fiasco with ecos although they are real-time operating systems. L4 itself is not linux binary compatible but l4linux could provide full linux binary comptability. And these benchmark tools must run on the linux-binary-compatible system such as BSD,UNIX, etc. So we could compare l4linux with linux by using lmbench, bonnie++ and AIM-suite9. Although ecos could provide many linux APIs but it is still not linux binary compatible. In common we can't compile these tools on the ecos so the benchmark is impossible. Additonal lmbench, bonnie++ and AIM-suite9 are designed for the general purpose operating system. From the result we could know the average performance of the system. Therefore, if you want to compare l4 with ecos you could take these two system as real-time systems and you should get some data showing real-time performance such as jitter, responsing time, etc. But there is no benchmark tool which could cover these two platforms : l4 and ecos. So you have to write your application for this goal. Thanks Cheng Guanghui

1 0

Re: launch benchmark
by chenggh 18 Sep '07

18 Sep '07

On Tuesday 18 September 2007 07:34, Davide Fasoli wrote: > > Where do I put the benchmark to use it in L4 Fiasco console? > > How can I launch the benchmark in the L4 Fiasco console? > > What benchmark is that? What requirements does it have? > The benchmark is lmbench, bonnie++ and AIM-suite9 > Maybe what you say is my paper named "General Performance Assesement of the L4/Fiasco Microkernel". In this paper I use lmbench, bonnie++ and AIM-suite9. But I don't use lmbench, bonnie++ and AIM-suite9 to test the Fiasco itself but test the the performace loss between l4linux-2.6.16 and linux-2.6.16. In this benchmark I login into l4linux with a console because in this way we could ignore the effection of graphic interface for performance loss. It is not complex but only a confiugration problem. If you want to login l4linux with console you could use the configuration file like this: modpath "(hd0,2)/boot/L4Linux" task "vmlinuz26" "earlyprintk=yes console=ttyS1,115200 init=3 mem=256M" root=/dev/hda3" all_sects_writable Is this clear? Thanks. Cheng Guanghui

1 0

launch benchmark
by Davide Fasoli 18 Sep '07

18 Sep '07

> > How can I launch the benchmark in the L4 Fiasco console? > > What benchmark is that? What requirements does it have? > The benchmark is lmbench, bonnie++ and AIM-suite9 > Maybe what you say is my paper named "General Performance Assesement of the L4/Fiasco Microkernel". In this paper I use lmbench, bonnie++ and AIM-suite9. But I don't use lmbench, bonnie++ and AIM-suite9 to test the Fiasco itself but test the the performace loss between l4linux-2.6.16 and linux-2.6.16. In this benchmark I login into l4linux with a console because in this way we could ignore the effection of graphic interface for performance loss. It is not complex but only a confiugration problem. If you want to login l4linux with console you could use the configuration file like this: modpath "(hd0,2)/boot/L4Linux" task "vmlinuz26" "earlyprintk=yes console=ttyS1,115200 init=3 mem=256M" root=/dev/hda3" all_sects_writable Is this clear? Thanks. Cheng Guanghui > > Where do I put the benchmark to use it in L4 Fiasco console? I use this bootloader: title Fiasco, Console, Loader, Tiny Shell (run) root (hd0,2) kernel /boot/fiasco_mod/bootstrap -modaddr 0x02000000 module /boot/fiasco_mod/fiasco -nowait -serial_esc -comspeed 115200 -comport 1 module /boot/fiasco_mod/sigma0 module /boot/fiasco_mod/roottask task modname "bmodfs" attached 3 modules module /boot/fiasco_mod/names module /boot/fiasco_mod/log module /boot/fiasco_mod/dm_phys module /boot/fiasco_mod/l4io module /boot/fiasco_mod/con -vbemode 0x117 module /boot/fiasco_mod/simple_ts -t 300 module /boot/fiasco_mod/bmodfs module /boot/fiasco_mod/run module /boot/fiasco_mod/libloader.s.so module /boot/fiasco_mod/libld-l4.s..so module /boot/fiasco_mod/loader --fprov=BMODFS run I have to compare l4 with ecos. I want to use lmbench, bonnie++ and AIM-suite9, my questions are: - How can I use those benchmarks when I boot Fiasco? - Where can I put those benchmarks for use them when I boot Fiasco? ___________________________________ L'email della prossima generazione? Puoi averla con la nuova Yahoo! Mail: http://it.docs.yahoo.com/nowyoucan.html _______________________________________________ l4-hackers mailing list l4-hackers(a)os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

1 0

Re: launch benchmark
by Davide Fasoli 18 Sep '07

18 Sep '07

> > How can I launch the benchmark in the L4 Fiasco console? > > What benchmark is that? What requirements does it have? > The benchmark is lmbench, bonnie++ and AIM-suite9 > Maybe what you say is my paper named "General Performance Assesement of the L4/Fiasco Microkernel". In this paper I use lmbench, bonnie++ and AIM-suite9. But I don't use lmbench, bonnie++ and AIM-suite9 to test the Fiasco itself but test the the performace loss between l4linux-2.6.16 and linux-2.6.16. In this benchmark I login into l4linux with a console because in this way we could ignore the effection of graphic interface for performance loss. It is not complex but only a confiugration problem. If you want to login l4linux with console you could use the configuration file like this: modpath "(hd0,2)/boot/L4Linux" task "vmlinuz26" "earlyprintk=yes console=ttyS1,115200 init=3 mem=256M" root=/dev/hda3" all_sects_writable Is this clear? Thanks. Cheng Guanghui > > Where do I put the benchmark to use it in L4 Fiasco console? I use this bootloader: title Fiasco, Console, Loader, Tiny Shell (run) root (hd0,2) kernel /boot/fiasco_mod/bootstrap -modaddr 0x02000000 module /boot/fiasco_mod/fiasco -nowait -serial_esc -comspeed 115200 -comport 1 module /boot/fiasco_mod/sigma0 module /boot/fiasco_mod/roottask task modname "bmodfs" attached 3 modules module /boot/fiasco_mod/names module /boot/fiasco_mod/log module /boot/fiasco_mod/dm_phys module /boot/fiasco_mod/l4io module /boot/fiasco_mod/con -vbemode 0x117 module /boot/fiasco_mod/simple_ts -t 300 module /boot/fiasco_mod/bmodfs module /boot/fiasco_mod/run module /boot/fiasco_mod/libloader.s.so module /boot/fiasco_mod/libld-l4.s.so module /boot/fiasco_mod/loader --fprov=BMODFS run I have to compare l4 with ecos. I want to use lmbench, bonnie++ and AIM-suite9, my questions are: - How can I use those benchmarks when I boot Fiasco? - Where can I put those benchmarks for use them when I boot Fiasco? ___________________________________ L'email della prossima generazione? Puoi averla con la nuova Yahoo! Mail: http://it.docs.yahoo.com/nowyoucan.html

1 0

launch benchmark
by Davide Fasoli 18 Sep '07

18 Sep '07

> Where do I put the benchmark to use it in L4 Fiasco console? > How can I launch the benchmark in the L4 Fiasco console? What benchmark is that? What requirements does it have? The benchmark is lmbench, bonnie++ and AIM-suite9 Davide Fasoli L'email della prossima generazione? Puoi averla con la nuova Yahoo! Mail ___________________________________ L'email della prossima generazione? Puoi averla con la nuova Yahoo! Mail: http://it.docs.yahoo.com/nowyoucan.html

1 0

launch benchmark
by Davide Fasoli 18 Sep '07

18 Sep '07

I'm sorry for my mistake. I've found a benchmark to use. I've got a questions: Where do I put the benchmark to use it in L4 Fiasco console? How can I launch the benchmark in the L4 Fiasco console? Thanks for your help. Davide Fasoli ___________________________________ L'email della prossima generazione? Puoi averla con la nuova Yahoo! Mail: http://it.docs.yahoo.com/nowyoucan.html

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