Memory Consistency and Program Transformations

Akshay Gopalakrishnan, Clark Verbrugge, Mark Batty

A memory consistency model specifies the allowed behaviors of shared memory concurrent programs. At the language level, these models are known to have a non-trivial impact on the s…