- l4-hackers - example.com Site

Re: multiple servers
by Paul Phillips 27 Jan '99

27 Jan '99

Michael, Thanks again for responding. I believe I have found a couple of bugs in Fiasco which were causing the multiple server problem, and probably some other problems. In /fiasco/src/time.h : the code for set( microseconds): inline void timeout_t::set(unsigned long long abs_microsec) { // XXX uses cli/sti _wakeup = abs_microsec; _flags.set = 1; unsigned flags = get_eflags(); cli(); if (!timer::first_timeout) { timer::first_timeout = this; _prev = _next = 0; } else { timeout_t *ti = timer::first_timeout; for (;;) { if (ti->_wakeup >= _wakeup) { // insert before ti _next = ti; _prev = ti->_prev; ti->_prev = this; if (_prev) _prev->_next = this; /***** here you need to set timer::first_timeout since you just replaced it */ else timer::first_timeout = this; /**********/ goto done; } if (ti->_next) { ti = ti->_next; continue; } /**** here you need to put a break in case ti->wakeup < timeout, and and ti->_next==0 . Otherwise you loop here with interrupts disabled forever */ else break; /********************/ } // insert as last item after ti ti->_next = this; _prev = ti; _next = 0; } done: set_eflags(flags); } Thanks, Paul Phillips -----Original Message----- From: Michael Hohmuth <hohmuth(a)innocent.com> To: Paul Phillips <pphillips(a)ivue.com> Cc: l4-hackers(a)os.inf.tu-dresden.de <l4-hackers(a)os.inf.tu-dresden.de> Date: Tuesday, January 26, 1999 11:21 AM Subject: Re: multiple servers >Paul, > >thanks for trying Fiasco and L4Linux! > >"Paul Phillips" <pphillips(a)ivue.com> writes: > >> Right now I'm trying to run two servers concurrently. This is just a >> "proof of concept" for now. I am trying to run the "hello" server >> (relocated to 0x2400000) along with the L4-Linux server. I load the >> "hello"server first and then L4-Linux. L4-linux gets to the >> "Calibrating delay loop.." and hangs. I am obviously forgetting >> something here. Is the printf used by the hello server causing a >> problem? > >No, I don't think so. > >I take it that without `hello', L4Linux works correctly. My guess >would be that hello has trouble running at the memory location you >linked it at. Did you see `hello's output ("hello: My thread-id >is...") at least once? > >Did you get `hello' to work without L4Linux? > >Why did you relocate it to 0x2400000? It should be able to run (even >concurrently with L4Linux) at the memory location it is linked to >using the distributed version of l4/server/hello/Makefile, 0x200000. > >> BTW - I ran across the problem of the "relocation truncated ...." The >> problem is in the oskit/libsmp/x86/boot.S which contains the >> trampoline code. When the jump is made to the 32 bit code some linkers >> have a problem resolving the long jump. >> >> ljmp $KERNEL_CS,......... >> >> The fix is to put the ".code32" before the jump. This problem has >> been fixed in the latest release of the OSkit. > >Thanks for the hint! > >Michael >-- >hohmuth(a)innocent.com, hohmuth(a)sax.de >http://www.sax.de/~hohmuth/

1 0

Re: gcc VS g++
by Paul Phillips 26 Jan '99

26 Jan '99

Thanks Michael, FYI gcc is version 2.7.2.3 g++ is egcs-2.90.29 980515 (egcs-1.0.3 release) The GNU manual simple says that gcc uses 'C' linkage and g++ calls gcc and uses C++ linkage. I won't try to solve this problem right now as g++ seems to work OK. Your makefile uses gcc however, and I am wondering which I should be using. One of your correspondence mentions a version of egcs, and I'm not sure of the relationships between gcc and egcs. Thanks, Paul Phillips -----Original Message----- From: Michael Hohmuth <hohmuth(a)innocent.com> To: Paul Phillips <pphillips(a)ivue.com> Cc: l4-hackers(a)os.inf.tu-dresden.de <l4-hackers(a)os.inf.tu-dresden.de> Date: Tuesday, January 26, 1999 11:22 AM Subject: Re: gcc VS g++ >"Paul Phillips" <pphillips(a)ivue.com> writes: > >> When I compile Fiasco with CC=gcc I get a message : >> >> KERNEL: no page fault handler for region: 0xffff0000, error 0x0. > >> However, when I compile with CC=g++ I get no such message. > >> Any ideas why this is happening? > >Obviously, the `gcc' driver uses a different compiler than the `g++' >driver ("gcc -v" and "g++ -v" should tell you that.) However, without >further context (like a backtrace) it's hard to tell what exactly went >wrong. > >Michael

1 0

Re: multiple servers
by Paul Phillips 26 Jan '99

26 Jan '99

Michael, Thanks for responding, -----Original Message----- From: Michael Hohmuth <hohmuth(a)innocent.com> To: Paul Phillips <pphillips(a)ivue.com> Cc: l4-hackers(a)os.inf.tu-dresden.de <l4-hackers(a)os.inf.tu-dresden.de> Date: Tuesday, January 26, 1999 11:21 AM Subject: Re: multiple servers >Paul, > >thanks for trying Fiasco and L4Linux! > >"Paul Phillips" <pphillips(a)ivue.com> writes: > >> Right now I'm trying to run two servers concurrently. This is just a >> "proof of concept" for now. I am trying to run the "hello" server >> (relocated to 0x2400000) along with the L4-Linux server. I load the >> "hello"server first and then L4-Linux. L4-linux gets to the >> "Calibrating delay loop.." and hangs. I am obviously forgetting >> something here. Is the printf used by the hello server causing a >> problem? > >No, I don't think so. > >I take it that without `hello', L4Linux works correctly. My guess >would be that hello has trouble running at the memory location you >linked it at. Did you see `hello's output ("hello: My thread-id >is...") at least once? > Yes, both 'hello' and L4Linux run correctly (some bugs in L4, but that's OK for now) when running as a single server. I do see the 'hello' output one time only: "hello: My id is 80000" , in the middle of the Linux bootup messages. I tried 'hello' at the default 0x200000 as well as 0x2400000. Both perform the same. >Did you get `hello' to work without L4Linux? > Yes, no problem! >Why did you relocate it to 0x2400000? It should be able to run (even >concurrently with L4Linux) at the memory location it is linked to >using the distributed version of l4/server/hello/Makefile, 0x200000. > I thought perhaps GRUB was trying to load both 'hello' and L4Linux at the same physical address and that was the reasoning behind my relocating it. It makes no difference. I have GDB running, but because the system hangs I can't generate a backtrace. Any ideas? Thanks Paul Phillips

1 0

Re: gcc VS g++
by Michael Hohmuth 26 Jan '99

26 Jan '99

"Paul Phillips" <pphillips(a)ivue.com> writes: > When I compile Fiasco with CC=gcc I get a message : > > KERNEL: no page fault handler for region: 0xffff0000, error 0x0. > However, when I compile with CC=g++ I get no such message. > Any ideas why this is happening? Obviously, the `gcc' driver uses a different compiler than the `g++' driver ("gcc -v" and "g++ -v" should tell you that.) However, without further context (like a backtrace) it's hard to tell what exactly went wrong. Michael -- hohmuth(a)innocent.com, hohmuth(a)inf.tu-dresden.de http://home.pages.de/~hohmuth/

1 0

Re: multiple servers
by Michael Hohmuth 26 Jan '99

26 Jan '99

Paul, thanks for trying Fiasco and L4Linux! "Paul Phillips" <pphillips(a)ivue.com> writes: > Right now I'm trying to run two servers concurrently. This is just a > "proof of concept" for now. I am trying to run the "hello" server > (relocated to 0x2400000) along with the L4-Linux server. I load the > "hello"server first and then L4-Linux. L4-linux gets to the > "Calibrating delay loop.." and hangs. I am obviously forgetting > something here. Is the printf used by the hello server causing a > problem? No, I don't think so. I take it that without `hello', L4Linux works correctly. My guess would be that hello has trouble running at the memory location you linked it at. Did you see `hello's output ("hello: My thread-id is...") at least once? Did you get `hello' to work without L4Linux? Why did you relocate it to 0x2400000? It should be able to run (even concurrently with L4Linux) at the memory location it is linked to using the distributed version of l4/server/hello/Makefile, 0x200000. > BTW - I ran across the problem of the "relocation truncated ...." The > problem is in the oskit/libsmp/x86/boot.S which contains the > trampoline code. When the jump is made to the 32 bit code some linkers > have a problem resolving the long jump. > > ljmp $KERNEL_CS,......... > > The fix is to put the ".code32" before the jump. This problem has > been fixed in the latest release of the OSkit. Thanks for the hint! Michael -- hohmuth(a)innocent.com, hohmuth(a)sax.de http://www.sax.de/~hohmuth/

1 0

gcc VS g++
by Paul Phillips 26 Jan '99

26 Jan '99

When I compile Fiasco with CC=gcc I get a message : KERNEL: no page fault handler for region: 0xffff0000, error 0x0. However, when I compile with CC=g++ I get no such message. Any ideas why this is happening?

1 0

Alrighty then...
by steven_weiss＠hotmail.com 21 Jan '99

21 Jan '99

--Looking to Go into business?-- Enjoy the Benefits of Working from Home! Build a Financial Future For You and Your Family! Learn How to Make Money with The Internet! --- The Money is NOT in the Technical End, it is IN the Marketing! Complete Training and Support! No Selling! Not an M.L.M or Network Marketing ! ------------------------------------------------------------------ --- Income Potential = $4,500 -$10,000 a month.* *(Based on Appox. 15-20 hrs every wk) ------------------------------------------------------------------ --- Requirements: 10-20 hrs a wk. 18 yrs or Older. Have or Apply for an In Home Business License. Be Ready to Learn--(this is NOT rocket science). (Click Reply) with Name, Address, Phone # and the Best Time to Reach You! Please give brief description of why you are looking for a business, How long you have been looking, What type of Business that you have run before (if any). How much computer experience do you have?

1 0

multiple servers
by Paul Phillips 21 Jan '99

21 Jan '99

I have successfully booted L4-Linux under Fiasco. There are problems, but I will work them out eventually. Thanks for a neat platform to work on. I plan to do lots of work on Fiasco and L4. Right now I'm trying to run two servers concurrently. This is just a "proof of concept" for now. I am trying to run the "hello" server (relocated to 0x2400000) along with the L4-Linux server. I load the "hello"server first and then L4-Linux. L4-linux gets to the "Calibrating delay loop.." and hangs. I am obviously forgetting something here. Is the printf used by the hello server causing a problem? BTW - I ran across the problem of the "relocation truncated ...." The problem is in the oskit/libsmp/x86/boot.S which contains the trampoline code. When the jump is made to the 32 bit code some linkers have a problem resolving the long jump. ljmp $KERNEL_CS,......... The fix is to put the ".code32" before the jump. This problem has been fixed in the latest release of the OSkit. Thanks in advance. Paul Phillips

1 0

Re: TCB size in ix86 L4
by Michael Hohmuth 17 Jan '99

17 Jan '99

"Adam 'WeirdArms' Wiggins" <awiggins(a)cse.unsw.edu.au> writes: > Is L4/Alpha suitable for real time (ie DROPS) or similar to > L4/ix86? I think it's more like L4/x86, but Sebastian would be the definitive source for this information. Michael -- hohmuth(a)innocent.com, hohmuth(a)sax.de http://www.sax.de/~hohmuth/

1 0

Re: Fiasco Bug Tracking System
by Michael Hohmuth 17 Jan '99

17 Jan '99

Tom Linden <tom(a)kednos.com> writes: > Just curious why you chose jitterbug rather than, say, gnats. I am in > the process of setting up gnats and would be intyerested in your thoughts. > Certainly the interface is more modern. Which package's interface is more modern? I don't know any Gnats interface which is very ``modern.'' I chose Jitterbug because it's easy to set up and operate. It's interface is simplistic, but I like that. Michael -- hohmuth(a)innocent.com, hohmuth(a)inf.tu-dresden.de http://home.pages.de/~hohmuth/

1 0

Tyson vs Botha Wannna Bet!
by 5hbi＠yahoo.com 16 Jan '99

16 Jan '99

Feeling Lucky?? CASH IN ON thE FIGHT!!!! - http://209.67.19.99/want_to_bet/ TYSON V.s. BOTHA SATURDAY NIGHT JAN 16 9pm! REAL LIVE LAS VEGAS GAMBLING Place your bet online with up to the minute odds! Mike Tyson -750 Frans Botha +500 http://209.67.19.99/want_to_bet/ <a href="http://209.67.19.99/want_to_bet/index.html">CLICK HERE</a> to enter

1 0

Re: L4-Linux fails to boot - hangs setting up IDT
by Paul Phillips 16 Jan '99

16 Jan '99

Hi Jean, You were right, this was a problem encountered befor. The "magic" in the Makefile wasn't implemented because I did not have cpp in my path. I found a reference to the fix in an email to Sun-Mi Yu. I'm not home free yet, but I' closer. Thanks again! Paul Phillips -----Original Message----- From: Jean Wolter <jw5(a)os.inf.tu-dresden.de> To: Paul Phillips <pphillips(a)ivue.com> Cc: l4-hackers(a)os.inf.tu-dresden.de <l4-hackers(a)os.inf.tu-dresden.de> Date: Friday, January 15, 1999 4:53 AM Subject: Re: L4-Linux fails to boot - hangs setting up IDT >"Paul Phillips" <pphillips(a)ivue.com> writes: > >> 1.) Why are you calculating the address of the table by subtracting >> out EMULIB_CODE_ADDRESS (Which is 0xA0008000?) ? > >The emulation library is relocated to address 0xa0008000 and idt_table >is a symbol of the emulation library. If you have a look at the symbol >table you will find > >a00084a8 A idt_table > >So ((unsigned long)&idt_table - EMULIB_CODE_ADDRESS) is the offset of >the idt within our emulation library. > > >> 2.) How & why is the emulator code moved to "special page". Where is >> the "special page" set up since paging isn't set up until after this >> code is executed? > > >We have to copy the code to ensure that it is page aligned. The >special page is mapped into the address space of every unix process >when it raises its first page fault. Every unix process (L4Linux >process) starts at a fixed address, so we know, that the very first >page fault will request the emulation library page. > >> 3.) Any clue why this is hanging here? I should have a remote >> debugger set up soon, but I have -nokdb set and I don't get any >> kernel panics or reg dumps. The system just hangs. > >If my memory serves right, someone else had the same problem. For some >strange reason L4Linux raised a page fault at this point and the page >fault could not be resolved by the underlying pager. The L4Linux >server now hangs in an endless loop trying to resolve the page >fault. But I'm not sure about that. Michael? > >There is a possibility to monitor all page faults in the system, but I >don't know, how you activate that. > >Jean >-- >I get up each morning, gather my wits. >Pick up the paper, read the obits. >if I'm not there I know I'm not dead. >So I eat a good breakfast and go back to bed. Peete Seeger

1 0

Re: L4-Linux fails to boot - hangs setting up IDT
by Paul Phillips 15 Jan '99

15 Jan '99

Thanks for the input Jean. My symbol table shows: 00000000 A emulib_start 00000328 A user_level_pager 000003a0 A _user_task_init 00000478 A emulib_idt_descr 00000480 A idt_table 00000520 A emulib_debug_idt_descr 00000741 A emulib_end I am using gcc version 2.7.2.3 under Red Hat Linux 5.2. I am compiling the l4-981207 release of the L4-Linux code. Does this shed any light on the problem? Thanks again. Paul Phillips -----Original Message----- From: Jean Wolter <jw5(a)os.inf.tu-dresden.de> To: Paul Phillips <pphillips(a)ivue.com> Cc: l4-hackers(a)os.inf.tu-dresden.de <l4-hackers(a)os.inf.tu-dresden.de> Date: Friday, January 15, 1999 4:53 AM Subject: Re: L4-Linux fails to boot - hangs setting up IDT >"Paul Phillips" <pphillips(a)ivue.com> writes: > >> 1.) Why are you calculating the address of the table by subtracting >> out EMULIB_CODE_ADDRESS (Which is 0xA0008000?) ? > >The emulation library is relocated to address 0xa0008000 and idt_table >is a symbol of the emulation library. If you have a look at the symbol >table you will find > >a00084a8 A idt_table > >So ((unsigned long)&idt_table - EMULIB_CODE_ADDRESS) is the offset of >the idt within our emulation library. > > >> 2.) How & why is the emulator code moved to "special page". Where is >> the "special page" set up since paging isn't set up until after this >> code is executed? > > >We have to copy the code to ensure that it is page aligned. The >special page is mapped into the address space of every unix process >when it raises its first page fault. Every unix process (L4Linux >process) starts at a fixed address, so we know, that the very first >page fault will request the emulation library page. > >> 3.) Any clue why this is hanging here? I should have a remote >> debugger set up soon, but I have -nokdb set and I don't get any >> kernel panics or reg dumps. The system just hangs. > >If my memory serves right, someone else had the same problem. For some >strange reason L4Linux raised a page fault at this point and the page >fault could not be resolved by the underlying pager. The L4Linux >server now hangs in an endless loop trying to resolve the page >fault. But I'm not sure about that. Michael? > >There is a possibility to monitor all page faults in the system, but I >don't know, how you activate that. > >Jean >-- >I get up each morning, gather my wits. >Pick up the paper, read the obits. >if I'm not there I know I'm not dead. >So I eat a good breakfast and go back to bed. Peete Seeger

1 0

Re: L4-Linux fails to boot - hangs setting up IDT
by Jean Wolter 15 Jan '99

15 Jan '99

"Paul Phillips" <pphillips(a)ivue.com> writes: > 1.) Why are you calculating the address of the table by subtracting > out EMULIB_CODE_ADDRESS (Which is 0xA0008000?) ? The emulation library is relocated to address 0xa0008000 and idt_table is a symbol of the emulation library. If you have a look at the symbol table you will find a00084a8 A idt_table So ((unsigned long)&idt_table - EMULIB_CODE_ADDRESS) is the offset of the idt within our emulation library. > 2.) How & why is the emulator code moved to "special page". Where is > the "special page" set up since paging isn't set up until after this > code is executed? We have to copy the code to ensure that it is page aligned. The special page is mapped into the address space of every unix process when it raises its first page fault. Every unix process (L4Linux process) starts at a fixed address, so we know, that the very first page fault will request the emulation library page. > 3.) Any clue why this is hanging here? I should have a remote > debugger set up soon, but I have -nokdb set and I don't get any > kernel panics or reg dumps. The system just hangs. If my memory serves right, someone else had the same problem. For some strange reason L4Linux raised a page fault at this point and the page fault could not be resolved by the underlying pager. The L4Linux server now hangs in an endless loop trying to resolve the page fault. But I'm not sure about that. Michael? There is a possibility to monitor all page faults in the system, but I don't know, how you activate that. Jean -- I get up each morning, gather my wits. Pick up the paper, read the obits. if I'm not there I know I'm not dead. So I eat a good breakfast and go back to bed. Peete Seeger

1 0

Fiasco Bug Tracking System
by Michael Hohmuth 14 Jan '99

14 Jan '99

Hackers, I have set up a new bug tracking system for Fiasco; I hope you'll like it. I've already imported a few of your bug reports, but it's well possible that I've forgotten some. Please visit <URL:http://os.inf.tu-dresden.de/fiasco/bugs/> and tell me what you think. Use this page to report new (or old) bugs, or email your reports to <fiasco-bugs(a)os.inf.tu-dresden.de>, to make sure they won't get lost. Michael -- hohmuth(a)innocent.com, hohmuth(a)sax.de http://www.sax.de/~hohmuth/

2 1

L4-Linux fails to boot - hangs setting up IDT
by Paul Phillips 14 Jan '99

14 Jan '99

I am trying to boot L4-Linux using the Fiasco microkernel. The microkernel boots fine, but when L4Linux is booting, in module chead.c you have the code: /* create idt */ { extern long idt_table; struct entry_t {unsigned short w0, w1,w2,w3;} ; struct entry_t *entries = (struct entry_t *)((unsigned long)emu_lib_text + ((unsigned long)&idt_table - EMULIB_CODE_ADDRESS)); unsigned short int tmp; int i; for (i=0; i<20; i++, entries++) { tmp = entries->w1; entries->w1 = entries->w3; entries->w3 = tmp; } } My system hangs when it attempts to execute this code. I understand why you are swapping the shorts in the table (swapping the offset bytes with the selector bytes) but there are a couple of things I don't understand Several questions: 1.) Why are you calculating the address of the table by subtracting out EMULIB_CODE_ADDRESS (Which is 0xA0008000?) ? 2.) How & why is the emulator code moved to "special page". Where is the "special page" set up since paging isn't set up until after this code is executed? 3.) Any clue why this is hanging here? I should have a remote debugger set up soon, but I have -nokdb set and I don't get any kernel panics or reg dumps. The system just hangs. Thanks in advance!! Paul Phillips

1 0

Re: TCB size in ix86 L4
by Torsten Paul 08 Jan '99

08 Jan '99

Michael Hohmuth <hohmuth(a)innocent.com> writes: > can't meet real-time requirements; the task_delete operation seems to > be especially bad, sometimes disabling interrupts for more than one > second. > Yes, the measurements showed interrupt a latency of sometimes 1.5 seconds (even if the interrupt thread had the highest priority) when in the L4-Linux System had to serve a lot of calls to fork/exec. This was tested with the lat_proc benchmark from the lmbench-suite that tries to measure the latency for creating simple processes (that only call exit) Still there is only one explanation for this: disabled interrupts while flushing the complete address space of a task when doing task_delete. ciao, Torsten. -- Torsten Paul Es ist leichter, einen Atomkern zu paul(a)os.inf.tu-dresden.de // spalten als ein Vorurteil. __________________________ooO_(+ +)_Ooo________Albert Einstein_(1879-1955) U

2 1

Re: next-gen mapping
by Michael Hohmuth 08 Jan '99

08 Jan '99

"Adam 'WeirdArms' Wiggins" <awiggins(a)cse.unsw.edu.au> writes: > Would an assembler based L4 benifit from this new mapping tree > data base too? It certainly sounds easier to handle memory for. I think that the binary-tree representation is easier to implement than the trees-in-fixed-size-arrays one. One factor which complicates the latter is that the fixed-size arrays have to be efficiently allocated, deallocated, and moved around in memory. Lukas' implementation includes a generic slab allocator for tree allocation. > I'm trying to work out my dynamic data structures now. So far i have > TCB's (512 bytes), 1st level page table entries 16K, 2nd level page > table entries 1K, mapping tree nodes ??? no idea yet. I got Lukas's > paper but i failed german in my high school years :( I'm trying to > get it translated. It there any code somewhere i can look at which > would illistraight it? Or does lukas have the time to give me an > english run down? I think Gernot is trying to translate the paper using Babelfish; Lukas has sent him his paper's sources. Other than that, I'm positive that we can help you understanding it. (If you're patient enough, you might even just wait until I've finished my technical report about Fiasco's design -- but don't hold your breath, please. :) Michael -- hohmuth(a)innocent.com, hohmuth(a)sax.de http://www.sax.de/~hohmuth/

1 0

Re: TCB size in ix86 L4
by Michael Hohmuth 07 Jan '99

07 Jan '99

Adam, thanks for your replies! "Adam 'WeirdArms' Wiggins" <awiggins(a)cse.unsw.edu.au> writes: > Question here. Is Jochen's L4 got higher interupt latencies then > fiasco due to masking out interupts or is time in the kernel small enough > for real time applications. Our measurements with L4/x86 version 2 indicate that this kernel is not suitable for real-time work. The ``Taming Linux'' pager details some of these concerns <URL:http://os.inf.tu-dresden.de/papers_ps/part98.ps>. Recently, Torsten Paul did a series of measurements which show that L4/x86 often can't meet real-time requirements; the task_delete operation seems to be especially bad, sometimes disabling interrupts for more than one second. (Torsten, if you're reading this: Is this data correct?) Real-time requirements in our DROPS system are one reason why Fiasco tries to be interruptible at almost any time. Michael -- hohmuth(a)innocent.com, hohmuth(a)inf.tu-dresden.de http://home.pages.de/~hohmuth/

1 0

Re: TCB size in ix86 L4
by Michael Hohmuth 06 Jan '99

06 Jan '99

[ As a courtesy to new readers: TCB = "thread control block", the kernel data structure holding thread-specific data including the thread's stack. ] "Adam 'WeirdArms' Wiggins" <awiggins(a)cse.unsw.edu.au> writes: > I was woundering why the TCB size in ix86 L4 is 1K, how much of > the stack at the end of the TCB is actually used? Very little: Most of the time, less than 150 bytes. > Could the TCB be reduced to 512K? If not why not? ^^^^ 512 bytes? I think it could. L4/x86 has disabled hardware interrupts most of the time, so the theoretical maximal stack usage probably isn't much higher than the one we see, maybe 100 bytes more. I guess Jochen didn't know it was so little when he designed L4, and never changed it later. In the Fiasco kernel, things are different: This kernel had been written in C++, and it may be interrupted at almost any time; handlers may interrupt each other and stack up on one thread's stack. That's why the theoretical maximal stack usage is much higher. Although I haven't computed it yet, I have estimated that a < 1K stack is too small for the current implementation. That's why Fiasco by default is configured to use 2-KByte TCBs. Michael -- hohmuth(a)innocent.com, hohmuth(a)sax.de http://www.sax.de/~hohmuth/

2 1

Re: ARM/L4
by Michael Hohmuth 06 Jan '99

06 Jan '99

"Adam 'WeirdArms' Wiggins" <awiggins(a)cse.unsw.edu.au> writes: > I've started work on writting an assembler (perhaps with some C) > version of L4 for ARM version 4 starting with the StrongARM SA-1100 (on > the Brutus evaluation platform and some custom hardware). > If anyone is interested in the port or has started their own and > has any advice or suggestion please contact me. > At release time it will be covered by the GPL. That's great! Are you doing this out of sheer fun, or do you have in mind a specific application? Michael -- hohmuth(a)innocent.com, hohmuth(a)inf.tu-dresden.de http://home.pages.de/~hohmuth/

2 1

Re: next-gen mapping
by Michael Hohmuth 06 Jan '99

06 Jan '99

"Adam 'WeirdArms' Wiggins" <awiggins(a)cse.unsw.edu.au> writes: > Can anyone explain whats different/new about the planned > next-generation mapping tree for fiasco? I'd appreciate a detailed > explination if anyones got the time. The new thing about the new mapping database is that its data structures are much smaller. It uses compact linear arrays of fixed sizes, instead of elements linked in binary trees, to store the mapping trees for a given physical page frame. The size of the current mapping database implementations (in L4/x86 and Fiasco) can become a severe problem: To support a heavily-loaded L4Linux, one eighth of the main memory has to reserved for mappings. This also has performance implications, as our AIM multiuser benchmark measurements show: If we steal original (monolithic) Linux one eighth of its main memory, the application-level performance penalty between Linux and L4Linux decreases from 3.8 percent to 2 percent (on our hardware). Michael -- hohmuth(a)innocent.com, hohmuth(a)inf.tu-dresden.de http://home.pages.de/~hohmuth/

2 1

Re: Some questions about Fiasco
by Michael Hohmuth 06 Jan '99

06 Jan '99

Benjamin Gerfelder <benjamin(a)dante.saar.de> writes: > I just succeeded in booting Linux on Fiasco. Just in case anyone > is interested, here are the warnings I got while booting: [ warning messages appended below for reference ] Congratulations for getting it up! All of the bootup warning messages are normal (and probably should be removed from the code base). > [...] I just get *a lot of* > > wake_idle_if_needed: ipc failed > > messages, but this seems to be no problem. We decided to not remove this L4Linux warning message in this release because we think it hints at a potential problem; at least we don't get this message under Jochen's L4/x86. I have to discuss this some more with my colleagues... > The only thing I`ve found that doesn`t work is XFree86, when I try > to start it, the machine freezes with blank screen. A remote debugger or a second (Hercules) video card would be of help here. One idea I have is that maybe we don't see these hangs because we let Fiasco send the "ipc failed" warning messages to the Hercules screen instead of the VGA console. Perhaps XFree86 crashes when someone else fiddles with the video memory? I'll try this out. > 1) Are there any documents you suggest reading, besides the L4 Reference > Manual? Any document would be of use, since I don`t have a clue on > L4, but I want to play around with it. Is there anything like > "L4 for dummies" ? :) UNSW has an L4 User's Guide which covers MIPS L4, but some people have said it's interesting from an x86 perspective, too; see <URL:http://www.cse.unsw.EDU.AU/~disy/L4/l4uman.ps.gz>. Other than that, I suggest you read some (depending on your interest) papers about L4 and L4Linux at <URL:http://os.inf.tu-dresden.de/pubs/#l4linux>. Unfortunately, something like an ``L4 for dummies'' doesn't exist. > 2) Is Fiasco capable of running multiple servers at once? Yes, this is possible. > I tried to start two instances of this helloworld-server, but it > crashed immediately. This doesn't work because Rmgr, the boot-up server and resource manager, is not a sophisticated memory manager. It can only run servers which want a one-to-one physical-to-virtual virtual-memory- space mapping. You example would work if the two instances of "hello" were linked to different virtual memory locations. As an example which works out of the box, try running "hello" and the L4Linux server parallelly. > 3) Is there a simple way to reboot the system after Fiasco startet? > My Laptop has no reset button :) No, there isn't, unless your program does it for you. For instance, L4Linux uses the keyboard controller method to reset the machine when it shutdowns; this arguably is not the ``correct'' solution to this problem. Does anyone have a good idea for an interface to reset the machine in the normal and exceptional cases? Greetings, Michael > ----------------------------------- > Welcome to Fiasco! > DD-L4/x86 microkernel (c) 1998 TU Dresden - Dec 24 1998 > linux_startup > checking OFFS_TSS: ok, OFFS_TSS still 536 > detect processorsetup_paging > end linux_startup, calling start_kernel > setup_arch > sigma0 denies mapping of address 00001000 > No kernel code/data > sigma0 denies mapping of address 00002000 > No kernel code/data > [...] > sigma0 denies mapping of address 00149000 > No kernel code/data > > mb4 already requested > > 4m page received > sigma0 denies mapping of address 00ccc000 > No kernel code/data > > Memory end: 00ccc000 > > kernel info page mappt to: 00001000 > root: rcvd 2, 424a25 > Hmm, strange, that shouldn't happen anymore > Root: null pointer deref in 5.3 at addr: 2 and eip: 424a25 (pte: 27) > ------------------------------------- -- hohmuth(a)innocent.com, hohmuth(a)inf.tu-dresden.de http://home.pages.de/~hohmuth/

2 1

next-gen mapping
by Adam 'WeirdArms' Wiggins 05 Jan '99

05 Jan '99

Can anyone explain whats different/new about the planned next-generation mapping tree for fiasco? I'd appreciate a detailed explination if anyones got the time. Cheers Adam

1 0

Re: About external preempters
by Harald Fritzsche 03 Jan '99

03 Jan '99

Hello, it seems to me that external preempters are usefull for future use? So i have grabbed some information from the list and other sources. > [SH: S. Houidek]Hello, > > I have finished reading the L4/x86 reference manual, > and I have some questions about preempters : > > (1) What are the exact purposes of external and > internal preempters ? (See the L4 User manual from http://www.cse.unsw.edu.au/~disy/.) There exist (exclusivly?) only one internal preempter, wich is invoked after each timer interupt if the timesclice of running thread is expired or if it is called directly by kernel or user (l4_thread_switch or similar). This internal preempter is essential for the system itself. The scheduling is done by the thread_t::schedule() funtion in fiasco. External preempter: That is not a really preempter, its a user level scheduler. The preemption is done by the kernel described above. The External preempter is scheduled by the kernel if no task/thread with higher priority is ready. The intended purpose of an external preempter is to refine the kernels scheduling method with any user level method. There are 2 syscalls intended for use in external preempters, (i) l4_thread_switch and (ii) l4_thread_schedule. There are 5 variables, 1(3) syscall(s) and 1 ipc related to preemption/scheduling: (1) time_slice (2) priority (3) maximum controlled priority (4) external preempter (set by l4_thread_schedule, but not yet used?) (5) internal preempter (set by l4_ex_regs, but never used?) (6) l4_thread_switch (7) Preemption RPC (mentioned in the L4 Reference manual, but not implemented, see below) > (2) What differenciate them from scheduling tasks ? > > (3) What is the flow of control, from kernel to elected thread, > at time quantum exhaustion ? Needs to be defined? > (4) What is the role of the L4 internal scheduler, in the presence > of scheduling tasks ? [from another thread:] >> L4 or L4Linux does not use external preempters? >[JW]No, since there is currently no implementation of this concept. There >are some problems with clans&chiefs if you handle 'time slice faults' >(preemption) via ipc. I don't know whether fiasco will provide the >first implementation for external preempters, at least we are thinking >about it. An external preempter has to do at least 3 things: (1) user level scheduling, (2) waits on a kernel side IPC indicating time slice expiration, (3) communication with connected threads (i) inserting/deleting of threads in the user level queues (ii) additional support, time slice and priority changes, etc.. Is there a way to emulate the time slice expiration IPC? The following way may work: As noted in L4 User Manual the External Preempter runs with a higher priority than all other tasks which are scheduled by this external preempter. That means that the external preempter is always scheduled before any other task under control of this external preempter. So the external preempter is able to calculate the time consumed by a thread before the preempter calls l4_thread_switch to switch to the next task. This calculation can emulate the information given by a time slice expiration fault. Further questions are: Who is invoking an external preempter? (rmgr?) Where gets the preempter memory, needed by dynamical sized queues? Does the function ::new() work inside a L4 task, or what is to do to bring ::new() in operation? So far my questions. Regards and a happy new year Harald Fritzsche

2 1