• Peter Trommler's avatar
    RTS: Add missing memory barrier · 5c084e04
    Peter Trommler authored
    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`.
    Fixes #13633
WSDeque.c 9.44 KB