Question about semaphores and threads
Marc CHALAND
l4 at marc-chaland.net
Thu Jan 24 11:13:40 CET 2008
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
More information about the l4-hackers
mailing list