A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 2016 ◽

10.1145/2837614.2837616 ◽

2016 ◽

Author(s):

Jean Pichon-Pharabod ◽

Peter Sewell

Download Full-text