|
--referenced--
| ACM references m-z
|
| |
Reference
Musuvathi, M., "Safety-first approach to memory consistency models," ISMM'13 Proceedings of the ACM SIGPLAN International Symposium on Memory Management, June 2013, Seattle, Washington, USA: ACM SIGPLAN, p. 1-2
Quotes 
| 1 ;;Quote: data-race-free-0 (DRF0) semantics requires race detection; otherwise data races can lead to arbitrary control flow under stress
| | 1 ;;Quote: safety-first approach to concurrency guarantees sequential consistency; all variables are volatile; optimize for data-race-free accesses; only 2% slower
|
|
