Question about semaphores and threads

Adam Lackorzynski adam at
Mon Jan 28 22:41:04 CET 2008

On Thu Jan 24, 2008 at 11:13:40 +0100, Marc CHALAND wrote:
> 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.

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 at

More information about the l4-hackers mailing list