LIPIcs.SNAPL.2015.177.pdf
- Filesize: 430 kB
- 13 pages
Document
The Silently Shifting Semicolon
Authors
-
Part of:
Volume:
1st Summit on Advances in Programming Languages (SNAPL 2015)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: Summit on Advances in Programming Languages (SNAPL) - License:
Creative Commons Attribution 3.0 Unported license
- Publication date: 2015-04-30
Cite AsGet BibTex
Daniel Marino, Todd Millstein, Madanlal Musuvathi, Satish Narayanasamy, and Abhayendra Singh. The Silently Shifting Semicolon. In 1st Summit on Advances in Programming Languages (SNAPL 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 32, pp. 177-189, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2015)
https://doi.org/10.4230/LIPIcs.SNAPL.2015.177
https://doi.org/10.4230/LIPIcs.SNAPL.2015.177
Abstract
Memory consistency models for modern concurrent languages have largely been designed from a system-centric point of view that protects, at all costs, optimizations that were originally designed for sequential programs. The result is a situation that, when viewed from a programmer's standpoint, borders on absurd. We illustrate this unfortunate situation with a brief fable and then examine the opportunities to right our path.
Keywords
- memory consistency models; sequential consistency; safe programming languages; data races
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads