Reads that precede, in program order, the write of the new value can be provided with the old value, even while other reads that follow the write are provided with the new value.
Las lecturas que, en orden de programa, preceden a la escritura del nuevo valor, reciben el valor anterior, mientras que las posteriores recibirán el nuevo.