[concurrency-interest] Programming language-independent memory models

Stuart Monteith stuart.monteith at linaro.org
Thu Aug 10 04:42:02 EDT 2017

  We sort of already have a programming language independent memory
model, which is the Java memory model applied on to the other
languages the JVM can host. Furthermore, with Graal, is there more
scope now for there to be issues with ported languages?


On 9 August 2017 at 10:56, Andrew Haley <aph at redhat.com> wrote:
> On 09/08/17 10:54, Andrew Haley wrote:
>> On 08/08/17 20:10, Hans Boehm wrote:
>>> IMHO, the closest we have that is actually solid and understandable
>>> is the basic DRF model, with undefined semantics for data races.
>>> e.g. sections 2+3 from http://dl.acm.org/citation.cfm?id=1375581.1375591 .
> Also at www.hpl.hp.com/techreports/2008/HPL-2008-56.pdf
> --
> Andrew Haley
> Java Platform Lead Engineer
> Red Hat UK Ltd. <https://www.redhat.com>
> EAC8 43EB D3EF DB98 CC77 2FAD A5CD 6035 332F A671
> _______________________________________________
> Concurrency-interest mailing list
> Concurrency-interest at cs.oswego.edu
> http://cs.oswego.edu/mailman/listinfo/concurrency-interest

More information about the Concurrency-interest mailing list