[concurrency-interest] Programming language-independent memory models

Andrew Haley aph at redhat.com
Fri Aug 4 13:54:35 EDT 2017

On 04/08/17 18:32, JF Bastien wrote:
> CPUs each have a memory model, formalized or not. x86, ARM and POWER each
> have formalizations.
> Defined mappings have been written from C++ to them too:
> https://www.cl.cam.ac.uk/~pes20/cpp/cpp0xmappings.html

Yes, thanks.  We implemented HotSpot on AArch64, so I am familiar with
how that processor works, and I used Peter Sewell's mappings for inspiration.

> We're currently in the process of defining a formal memory model for
> JavaScript and WebAssembly:
> https://github.com/tc39/ecmascript_sharedmem/issues/88
> This is different from other language memory models because it's meant as a
> compilation target, closer to a virtual ISA (compilers target them) than
> something programmers use directly.

That's useful, thanks.

Andrew Haley
Java Platform Lead Engineer
Red Hat UK Ltd. <https://www.redhat.com>
EAC8 43EB D3EF DB98 CC77 2FAD A5CD 6035 332F A671

More information about the Concurrency-interest mailing list