首页    期刊浏览 2024年12月04日 星期三
登录注册

文章基本信息

  • 标题:The Silently Shifting Semicolon
  • 本地全文:下载
  • 作者:Daniel Marino ; Todd Millstein ; Madanlal Musuvathi
  • 期刊名称:LIPIcs : Leibniz International Proceedings in Informatics
  • 电子版ISSN:1868-8969
  • 出版年度:2015
  • 卷号:32
  • 页码:177-189
  • DOI:10.4230/LIPIcs.SNAPL.2015.177
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要: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.
  • 关键词:memory consistency models; sequential consistency; safe programming languages; data races
国家哲学社会科学文献中心版权所有