Concurrency: Mutual Exclusion and Synchronization
Background Concurrent access to shared data may result in data inconsistency Maintaining data consistency requires mechanisms to ensure the orderly execution.
N.A.C.H.O.S.
CS510 Concurrent Systems Jonathan Walpole
Automatic verification and fence inference for relaxed memory models
Synthesis of Memory Fences