Re: race condition in obj_space-virt.cpp ?

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