[concurrency-interest] Programming language-independent memory models
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
More information about the Concurrency-interest