Inserting fences to guarantee sequential consistency

Full text