Searched refs:spaceOwner (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dgc_copy_phase.cpp213 if (lSpace->isMutable == isMutable && !lSpace->allocationSpace && lSpace->spaceOwner == 0)
215 // Now acquire the lock. We have to retest spaceOwner with the lock held.
217 if (lSpace->spaceOwner == 0)
220 lSpace->spaceOwner = id;
242 if (src->spaceOwner == 0)
245 if (src->spaceOwner == 0)
246 src->spaceOwner = id;
249 else if (src->spaceOwner != id)
357 lSpace->spaceOwner = 0;
H A Dquick_gc.cpp315 if (lSpace->spaceOwner == 0 && lSpace->isMutable == isMutable &&
431 ASSERT(space->spaceOwner == 0);
436 space->spaceOwner = taskID;
529 space->spaceOwner = 0;
574 lSpace->spaceOwner = 0; // Not currently owned
H A Dmemmgr.h176 GCTaskId *spaceOwner; // The thread that "owns" this space during a GC. member in class:LocalMemSpace
H A Dmemmgr.cpp119 spaceOwner = 0;

Completed in 84 milliseconds