On Wed Nov 21, 2007 at 10:31:47 +0100, Marc CHALAND wrote:
2007/11/18, Adam Lackorzynski adam@os.inf.tu-dresden.de:
You did use gcc-4.1.1-something, right? Could you use some recent gcc-4.2 and retest? That would be interesting.
I tried gcc-4.2.2 and result is the same. I also tried to push some 0xdeadbeef into the stack of calling ipc (code of l4_ipc_call_tag into ipc-l42-gcc3-pic.h). When pf occurs, I don't find the markers into the stack of X thread. Maybe stack is corrupted or I don't understand what happens ?
Have you some hint, tips to understand what happens ?
Are you using 2k or 4k stack in Fiasco? If 2k, try 4k. Also, there's a stack depth debugging feature, i.e. when you look at the thread list there's figure how much stack is used. You could look at those figure too. I'd suspect inlining is using a bit more stack than without inlining.
Adam