Presentation: Understanding OrderAccess

[Andrew Haley]

On 28/11/16 05:55, David Holmes wrote:
> I still can't get my head around the C++11 terminology for this and how 
> you are expected to use it - what does it mean for an individual 
> operation to be "sequentially consistent" ? :(

It means that a set of atomic::seq_cst loads and stores form a
sequentially consistent order.

So, if your program uses *only* atomic::seq_cst operations, "... the
result of any execution is the same as if the operations of all the
processors were executed in some sequential order, and the operations
of each individual processor appear in this sequence in the order
specified by its program."

Andrew.


Leslie Lamport, "How to Make a Multiprocessor Computer That Correctly
Executes Multiprocess Programs", IEEE Trans. Comput. C-28,9
(Sept. 1979), 690-691.