[concurrency-interest] Programming language-independent memory models

Andrew Haley aph at redhat.com
Wed Aug 9 05:56:41 EDT 2017


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


More information about the Concurrency-interest mailing list