&gt; Maintaining this invariant is the job of the write barrier, which is a small function run by the mutator whenever a pointer in the heap is modified.<p>Synchronization whenever a heap pointer is changed? That does not sound like &quot;low latency&quot;.