2008/1/24, Adam Lackorzynski adam@os.inf.tu-dresden.de:
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. Hope this helps ?
Regards Marc