Report from Dagstuhl Seminar 11011 Multi-Core Memory Models and Concurrency Theory Creative Commons BY-NC-ND 3.0 Unported license

Hans Boehm, Ursula Goltz, Holger Hermanns, Peter Sewell, Ursula Goltz, T Braunschweig, Holger Hermanns, Peter Sewell, Hans Boehm, Ursula Goltz, Holger Hermanns, Peter Sewell (+7 others)
<i > Dagstuhl Reports </i> &nbsp; <span class="release-stage">unpublished</span>
This report documents the programme and the outcomes of Dagstuhl Seminar 11011 "Multi-Core Memory Models and Concurrency Theory". The current and future trend to multi-core and many-core computing systems suggests that within the next decade, concurrent multi-threaded programming will continue to replace sequential programming as the standard programming paradigm. However, concurrency and modern computer architecture do not go together easily: Current programming language memory models are
more &raquo; ... incomplete. Mainstream languages such as Java increasingly promise sequential consistency for data-race-free programs. However, how data races can be handled in a way that supports reasonable performance, security, and debugability, is currently completely unknown. Hardware specifications are so informal that it is very hard to know whether we have a correct implementation of the language specs (if we knew how to specify those fully). It is not clear that existing ISAs, which have a long history, are a good match for the language Except where otherwise noted, content of this report is licensed under a Creative Commons BY-NC-ND 3.0 Unported license Multi-Core Memory Models and Concurrency
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dc7ohu5wwfd2tozg4h7tldjjv4">fatcat:dc7ohu5wwfd2tozg4h7tldjjv4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180518163639/http://drops.dagstuhl.de/opus/volltexte/2011/3105/pdf/dagrep_v001_i001_p001_s11011.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/58/63/5863df8ea1cdf1fab3c63ae8602bf11533f4ab9a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>