race condition in obj_space-virt.cpp ?
adam at os.inf.tu-dresden.de
Mon Jan 16 23:54:07 CET 2012
On Fri Jan 13, 2012 at 16:37:06 -0800, Chen Tian wrote:
> I observed a race condition in Fiasco.OC. My environment is very
> complicated, but basically I have multiple threads, and each thread keep
> creating kernel object via l4_factory_create_xxxx and map the object to a
> new task.
> Here is the trace I got:
Thanks, we're looking into this.
Adam adam at os.inf.tu-dresden.de
More information about the l4-hackers