- l4-hackers - example.com Site

the problems of l4linux
by chenggh 18 Sep '07

18 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 17 Sep '07

17 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

L4 benchmaks
by Davide Fasoli 14 Sep '07

14 Sep '07

Because in the last discussion ("ipcmon error") I requested if there are benchmarks to compare L4 with eCos, and they asked me for what I needed them. ___________________________________ L'email della prossima generazione? Puoi averla con la nuova Yahoo! Mail: http://it.docs.yahoo.com/nowyoucan.html

2 1

l4 benchmarks
by Davide Fasoli 14 Sep '07

14 Sep '07

I'd like to measure: - execution time; - system time; - memory consumption; Davide Fasoli ___________________________________ L'email della prossima generazione? Puoi averla con la nuova Yahoo! Mail: http://it.docs.yahoo.com/nowyoucan.html

2 1

L4 benchmarks
by Davide Fasoli 14 Sep '07

14 Sep '07

No, I haven't any chance...I'm sorry Davide Fasoli ___________________________________ L'email della prossima generazione? Puoi averla con la nuova Yahoo! Mail: http://it.docs.yahoo.com/nowyoucan.html

1 0