Fence placement for legacy data-race-free programs via synchronization read detection

Andrew J. McPherson, Vijay Nagarajan, Susmit Sarkar, Marcelo Cintra
2015 Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP 2015  
Fence placement is required to ensure legacy parallel programs operate correctly on relaxed architectures. The challenge is to place as few fences as possible without comprising correctness. By identifying necessary conditions for a read to be an acquire we improve upon the state of the art for legacy DRF programs by up to 2.64x.
doi:10.1145/2688500.2688524 dblp:conf/ppopp/McPhersonNSC15 fatcat:biulta5b7fhunegkm3az52kaam