On Thu Jan 24, 2008 at 11:13:40 +0100, Marc CHALAND wrote: > 2008/1/24, Adam Lackorzynski <[EMAIL PROTECTED]>: > > > No, the thread is still alive, the '(deleted)' just means that it has > > already been unregistered at the name service. > > Name service data is stored into fiasco data to be shown into jdb ? > > > Could you verify the theory that the threadlib has some strange state at > > that time? So basically that l4thread_get_prio is returning -L4_EINVAL > > Yes, return value is -L4_EINVAL. > > > and then what the value of l4th_tcbs[thread].state in l4th_tcb_get is > > (include/__tcb.h). > > state of thread is 4 : TCB_SHUTDOWN.
It did. Thanks you and Alex for the analysis. I've modified the threadlib a bit to cope with such a situation. The warning should be gone now. Adam -- Adam [EMAIL PROTECTED] Lackorzynski http://os.inf.tu-dresden.de/~adam/ _______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers