[concurrency-interest] Programming language-independent memory models
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:
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
> 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.
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