English Safe semantics Cited by user Lfstevens on 30 Mar 2019 A read operation not concurrent with any write operation returns the value written by the latest write operation.
English Safe semantics Cited by user Lfstevens on 30 Mar 2019 A read operation not concurrent with any write operation returns the value written by the latest write operation.