race condition in obj_space-virt.cpp ?

[Adam Lackorzynski]

On Fri Jan 13, 2012 at 16:37:06 -0800, Chen Tian wrote:
> Hello,
> 
> 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                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/