Don’t sit on the fence: A static analysis approach to automatic fence insertion
- Submitting institution
-
University of Oxford
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 2009
- Type
- D - Journal article
- DOI
-
10.1145/2994593
- Title of journal
- Transactions on Programming Languages and Systems
- Article number
- 2
- First page
- 6
- Volume
- 39
- Issue
- 2
- ISSN
- 0164-0925
- Open access status
- Compliant
- Month of publication
- May
- Year of publication
- 2017
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
3
- Research group(s)
-
-
- Citation count
- 4
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This paper extends a conference version that appeared at CAV 2014. The question, to which degree the choice whether or not to insert memory fences can be made by compilers, has triggered an extensive discussion among software practitioners. A key set of stakeholders are the maintainers of the concurrency primitives in the Linux Kernel, which is one of the most widely deployed programs worldwide. Paul McKenny, IBM, is a senior member of this community, and can give evidence of the impact of this work (see http://www2.rdrop.com/~paulmck/ for contact details).
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -