Question about semaphores and threads
Adam Lackorzynski
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 adam at os.inf.tu-dresden.de
Lackorzynski http://os.inf.tu-dresden.de/~adam/
More information about the l4-hackers
mailing list