Skip to content

RTS: Add missing memory barrier

Peter Trommler requested to merge wip/T13633 into master

In the work stealing queue a load-load-barrier is required to ensure that a read of queue data cannot be reordered before a read of the bottom pointer into the queue.

The added load-load-barrier ensures that the ordering of writes enforced at the end of pushWSDeque is also respected in the order of reads in stealWSDeque_. In other words, when reading q->bottom we want to make sure that we see the updates to q->elements that were done before q->bottom was written.

Fixes #13633 (closed)

Edited by Peter Trommler

Merge request reports