Separation of concerning things: a simpler basis for defining and programming with the C/C++ memory model (extended version)

Robert J. Colvin

The C/C++ memory model provides an interface and execution model for programmers of concurrent (shared-variable) code. It provides a range of mechanisms that abstract from underlyi…