erations from the two domains.</p>

<p>A data race is said to occur when two domains access the same byte
    without synchronization and at least one of the accesses is a write.
    In the absence of data races, the observed behaviour is equivalent to some
    sequential interleaving of the operations from different domains.</p>

<p>Whenever possible, data races should be avoided by using synchronization
    to mediate the accesses to the elements of the sequence.</p>

<p>Indeed, in the presence of data ra