Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)when quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.SNAPL.2015.177
URN: urn:nbn:de:0030-drops-50259
URL: https://drops.dagstuhl.de/opus/volltexte/2015/5025/
Marino, Daniel ; Millstein, Todd ; Musuvathi, Madanlal ; Narayanasamy, Satish ; Singh, Abhayendra
The Silently Shifting Semicolon
| pdf-format: |
|
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.
BibTeX - Entry
@InProceedings{marino_et_al:LIPIcs:2015:5025,
author = {Daniel Marino and Todd Millstein and Madanlal Musuvathi and Satish Narayanasamy and Abhayendra Singh},
title = {{The Silently Shifting Semicolon}},
booktitle = {1st Summit on Advances in Programming Languages (SNAPL 2015)},
pages = {177--189},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-80-4},
ISSN = {1868-8969},
year = {2015},
volume = {32},
editor = {Thomas Ball and Rastislav Bodik and Shriram Krishnamurthi and Benjamin S. Lerner and Greg Morrisett},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2015/5025},
URN = {urn:nbn:de:0030-drops-50259},
doi = {10.4230/LIPIcs.SNAPL.2015.177},
annote = {Keywords: memory consistency models; sequential consistency; safe programming languages; data races}
}
| Keywords: | memory consistency models; sequential consistency; safe programming languages; data races | |
| Seminar: | 1st Summit on Advances in Programming Languages (SNAPL 2015) | |
| Issue date: | 2015 | |
| Date of publication: | 30.04.2015 |
