race condition in obj_space-virt.cpp ?

Adam Lackorzynski 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:
> 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 at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list