Question about semaphores and threads

Marc CHALAND l4 at
Thu Jan 24 11:13:40 CET 2008

2008/1/24, Adam Lackorzynski <adam at>:

> 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 ?


More information about the l4-hackers mailing list