Question about semaphores and threads
adam at os.inf.tu-dresden.de
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 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.
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 os.inf.tu-dresden.de
More information about the l4-hackers