Question about semaphores and threads

[Marc CHALAND]

2008/1/24, Adam Lackorzynski <adam at 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