l4-hackers

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

2827 discussions

Re: page size assertion
by Michael Hohmuth 04 Dec '98

04 Dec '98

> Eiji Ota <age(a)yk.fujitsu.co.jp> writes: > > > > > > I'm interested in this fantastic work(of course, L4). When I tried to > > > > > feel it, I faced an assertion failed by assert(size == PAGE_SIZE) in > > > > > space.cc(178 line). > > > > > > > > > > The wrong page size seemed to be passed by fpage_map in ipc_map.cc as > > > > > a SUPERPAGE_SIZE, but I don't find the root cause for this trouble. I wrote: > I think I have a theory on what the problem in Fiasco is (more on that > below). However, it would still be useful to know what the system is > trying to do when the error occurs; this would help me to reproduce > and track down the problem. > > My theory is that we fail to test rigorously enough that a receiver > really has enough space in its virtual address space to take a > superpage mapping. I think we currently test that just 4K are > unmapped in the receiver (that is, no mapping exists for the target > virtual address); that's not enough. Please try the patch appended below. I still would like to know which program triggers this problem as I have not been able to reproduce it. Regards, Michael -- hohmuth(a)innocent.com, hohmuth(a)inf.tu-dresden.de http://home.pages.de/~hohmuth/

1 0

l4-linux booted !
by roux＠ecoledoc.lip6.fr 03 Dec '98

03 Dec '98

Hello FIASCO people, well, strange things happened. I used the same grub floppy than the one used for my first experiments (that both crashed), and it booted ! really strange... I tried to run X, it didn't work (my screen power off, surely because of bad values for the horizontal and vertical frequencies, but i am not sure. I'll keep on trying (especially basic modes, like standard vga, and so on). Then, in a next boot, i tried 'reboot' command and i receive a KDB: unexpected system call and all is blocked (i am still in single machine mode, the cables i need to be able to debug with my second machine are not here yet, and for Michael: no, my machines are not connected anywhere, so remote debug won't be possible). In another test, i tried 'shutdown -h 0', which worked. Didn't try 'reboot' again, will do it this afternoon. Then, another time, the boot process blocks with this time the message : ipc.cc:169 : failed assertion `! in_sender_list()' Another strange thing is that it too often check the hd, with a message i never had before : /dev/hda2 has gone too long without being checked, check forced. Really really strange. Now, little questions : with the rmgr configfile (that i finnaly understood, at first the "glinux" task was not used because rmgr matched it against the configfile, so i had to add a line "task", for it to match the good module), there is a field 'irq'. Isn't it possible to allow only l4-linux to use the mouse-irq, so we can have mouse ? For my future work, i absoulty need X to work and the mouse would be appreciated (but i can deal without it). Once again, by configuring things correctly in the rmgr configfile, wouldn't it be possible to run X ? seems that people (especially Michael) succeded in running X, how did you do !? sanx, Sed. PS : this is a repost, the first message doesn't seem to have arrived, does it ? (i'm sure all those lost mails are preparing something ugly...). Is your mail server running under fiasco ? :) Hope this one will come to destination... sanx to Michael for his kernel config.

1 0

Re: This is an absolute FIASCO !
by Michael Hohmuth 01 Dec '98

01 Dec '98

I wrote: > roux(a)ecoledoc.lip6.fr (Cedric ROUX) writes: > > > I have a second machine, so i could have tried the debugger, but > > some pieces are missing and i don't have a null-modem, but i'll > > try to solve that. > > It would be great if you could generate a backtrace or even a state > analysis for the thread whose stack space runs out. PS: I can also debug this via the Internet if your debug host is connected to it (and you would give me an account on it). Michael -- hohmuth(a)innocent.com, hohmuth(a)sax.de http://www.sax.de/~hohmuth/

1 0

Re: This is an absolute FIASCO !
by Michael Hohmuth 01 Dec '98

01 Dec '98

Hi Sed! roux(a)ecoledoc.lip6.fr (Cedric ROUX) writes: > linux boots, everything seems alright, then it loads the deamons, then > the keymap, then the login should be there, but it reboots. > That was the first try. > I tried it just after this boot. And i now have this : > It boots, then at a time (don't remember exactly when), it shows that : > thread.cc:304: failed assertion 't->kernel_sp==0 || reinterpret_cast<vm_offset_t>(t->kernel_op) > reinterpret_cast<vm_offset_t>(t)+sizeof(thread_t)+0x20' > then it's over, asking me to reboot or run the debugger. > > So my questions are : > - what does it mean ? This is a panic because a kernel invariant wasn't met. In this case, the kernel's thread switching code detected a stack overrun in the target thread. This may also have been the reason for the crash/reboot you've seen. Are you trying to run the X Window System at this point? If so, this is a know problem. You should boot into a runlevel which doesn't run X11 to try out Fiasco. > - is it a problem in my compiling of l4-linux ? (i disabled serial support) I don't think that your L4Linux server is at fault. > I have a second machine, so i could have tried the debugger, but some pieces > are missing and i don't have a null-modem, but i'll try to solve that. It would be great if you could generate a backtrace or even a state analysis for the thread whose stack space runs out. > Hope this is not an already known bug. No, it's not (unless you're running X11). > (if someone could send me his kernel configuration, you run make xconfig and > you save it and you send it to me, of course if it works !) My .config file is appended below. > (don't know if it had to be done, but it checked my hd, and during > this process i had a lot of 'wake_idle_if_needed : ipc failed') This message should be removed: It's just informational. (The reason it doesn't bug me as much as you is that I have redirected it to a second monitor (Hercules, using the "-hercules") option.) > PS : i have the idea to do a distributed memory managment for my > studies, do you think it's possible with fiasco ? Yes, I think it's possible, and I think this would be an interesting application for Fiasco. > and when you run under l4-linux, can you make process that directly > talk to fiasco ? Yes, that's both possible and easy to do. However, we would need to come up with some documentation, and it would help if long IPC messages were available (I'm in the process of implementing them right now) so that our local name server could be utilized. Michael -- hohmuth(a)innocent.com, hohmuth(a)inf.tu-dresden.de http://home.pages.de/~hohmuth/

1 0

This is an absolute FIASCO !
by roux＠ecoledoc.lip6.fr 01 Dec '98

01 Dec '98

Hi FIASCO people, i was lost in the net, then i saw a little light up on my head... it was FIASCO ! so i decided to take a look at it (well, in fact, a friend of mine told me about it, but a little romance sounds nice, eh ?). So, first, the hello server works. Then, i tried the linux one. And nothing to do. I applied the two patches available. Here is what's going on : linux boots, everything seems alright, then it loads the deamons, then the keymap, then the login should be there, but it reboots. (don't know if it had to be done, but it checked my hd, and during this process i had a lot of 'wake_idle_if_needed : ipc failed') That was the first try. I tried it just after this boot. And i now have this : It boots, then at a time (don't remember exactly when), it shows that : thread.cc:304: failed assertion 't->kernel_sp==0 || reinterpret_cast<vm_offset_t>(t->kernel_op) > reinterpret_cast<vm_offset_t>(t)+sizeof(thread_t)+0x20' then it's over, asking me to reboot or run the debugger. So my questions are : - what does it mean ? - is it a problem in my compiling of l4-linux ? (i disabled serial support) (if someone could send me his kernel configuration, you run make xconfig and you save it and you send it to me, of course if it works !) I have a pentium 200 mmx 64MHz, a hd ide of 4Go with hda2 for linux and hda3 for swap (70Mo), there is a cd-rom (hdb). I have no scsi, if it can help. I have a second machine, so i could have tried the debugger, but some pieces are missing and i don't have a null-modem, but i'll try to solve that. Hope this is not an already known bug. I'll keep on trying, it was late yesterday, had no time to make more than two tests. PS : i have the idea to do a distributed memory managment for my studies, do you think it's possible with fiasco ? and when you run under l4-linux, can you make process that directly talk to fiasco ? Thank you, Sed.

1 0

Re: L4/Linux problem
by Michael Hohmuth 30 Nov '98

30 Nov '98

"Sun-Mi You" <smyou(a)postech.ac.kr> writes: > I've change Makefile and Linux was compiled sucessfully. > But, the problem still occurs at same point. > > Is there other suggestion? Hmm... Are you sure you re-built the emulib? If in doubt, please "make clean" and rebuild the whole kernel. Changing the Makefile and just doing a "make" in the top-level directory is not enough because the Makefiles are probably not included in the object dependencies. Sorry for being so overly accurate with this; I just want to make sure it's not that known problem. Michael -- hohmuth(a)innocent.com, hohmuth(a)sax.de http://www.sax.de/~hohmuth/

1 0

Re: page size assertion
by Michael Hohmuth 30 Nov '98

30 Nov '98

Eiji Ota <age(a)yk.fujitsu.co.jp> writes: > > > > I'm interested in this fantastic work(of course, L4). When I tried to > > > > feel it, I faced an assertion failed by assert(size == PAGE_SIZE) in > > > > space.cc(178 line). > > > > > > > > The wrong page size seemed to be passed by fpage_map in ipc_map.cc as > > > > a SUPERPAGE_SIZE, but I don't find the root cause for this trouble. > > Hi, after I changed the 113-line in ipc_map.cc to the following, it > worked, though I don't know whether it was correct or not. > > if (size > snd_size // want to send less that a superpage? > | > V > if (size >= snd_size // want to send less that a superpage? This is not the correct fix, I'm afraid. What you do here is to effectively prohibiting the passing of superpage (4-MByte) mappings. I think I have a theory on what the problem in Fiasco is (more on that below). However, it would still be useful to know what the system is trying to do when the error occurs; this would help me to reproduce and track down the problem. My theory is that we fail to test rigorously enough that a receiver really has enough space in its virtual address space to take a superpage mapping. I think we currently test that just 4K are unmapped in the receiver (that is, no mapping exists for the target virtual address); that's not enough. I will try to verify this theory when I'm in the office later today. Michael -- hohmuth(a)innocent.com, hohmuth(a)sax.de http://www.sax.de/~hohmuth/

1 0

Re: page size assertion
by Eiji Ota 30 Nov '98

30 Nov '98

> > > I'm interested in this fantastic work(of course, L4). When I tried to > > > feel it, I faced an assertion failed by assert(size == PAGE_SIZE) in > > > space.cc(178 line). > > > > > > The wrong page size seemed to be passed by fpage_map in ipc_map.cc as > > > a SUPERPAGE_SIZE, but I don't find the root cause for this trouble. Hi, after I changed the 113-line in ipc_map.cc to the following, it worked, though I don't know whether it was correct or not. if (size > snd_size // want to send less that a superpage? | V if (size >= snd_size // want to send less that a superpage? - Eiji

1 0

Re: L4/Linux problem
by Sun-Mi You 30 Nov '98

30 Nov '98

: :I think this is a problem one other user also experienced: The system :call IPC library (called ``emulation library'' for hysterical reasons) :in linux/arch/l4-i386/emulib/ has been linked to a wrong virtual :address because the magic in this directory's Makefile failed. One :possible reason is that you don't have a `cpp' in your $PATH. : :Does it help to replace "cpp" with "gcc -E" in this Makefile? : :Michael :-- I've change Makefile and Linux was compiled sucessfully. But, the problem still occurs at same point. Is there other suggestion?

1 0

ADV: LIVE Adult Paradise -- FREE !!
by Steve 29 Nov '98

29 Nov '98

------------------------------------------------------------- This message is sent in compliance of the new email bill section 301. Per Section 301, Paragraph (a)(2)(C) of S. 1618, further transmissions to you by the sender of this email may be stopped at no cost to you by emailing mailto:sgarner@tophosting.com Please type "Remove" in the subject line. Your request to be remove will be processed within 24 hours. Please DO NOT reply to this email if you wish to be removed. ------------------------------------------------------------- FREE Adult Offer -- Five FREE Minutes -- All LIVE NEED A LITTLE SPICE IN YOUR LIFE? All Your Desires Are Satisfied -- The Best LIVE CyberNet Models Do As You Please! ALL LIVE -- ALL DAY -- ALL NIGHT Seductive Women: http://204.248.170.151/196/index.html HardBody Hunks: http://204.248.170.151/215/index.html ** LIVE 1-on-1 Shows! ** MALE or FEMALE! ** 5 FREE MINUTES of HOT ADULT LIVE ACTION! ** SATISFACTION GUARANTEED! All our shows are 100% LIVE and INTERACTIVE for your enjoyment! Ask And You Shall Receive SEDUTIVE WOMEN That Do It ALL! http://204.248.170.151/196/index.html -- OR -- HARDBODY HUNKS Give You What You Ask! http://204.248.170.151/215/index.html <a href="http://204.248.170.151/196/index.html">AOL Users Click Here!</a> See for yourself - We'll give you 5 FREE Steamy Minutes -- Satisfaction Guaranteed!

1 0

Jump to page:

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