Threads: first milestone completed
Doug Lea
dl at cs.oswego.edu
Sat Oct 23 13:09:58 BST 2004
> As a start, the Ecma-335 standard for CLI (same as ISO standard CLI),
> Partition I section 12.6, which is about a memory model for CLI
Herb -- Here's a paste of the discussion of CLI MM in upcoming POPL
paper "The Java Memory Model" by Jeremy Manson, William Pugh, and
Sarita Adve
The ECMA specification for the Common Language Infrastructure
(CLI) provides a memory model [7]. However, it is vague and
informal; as a result it seems impossible to determine whether
that model allows or disallows behaviors such as shown in Figures
4, 2, 5 and 6. It is also worth noting that some of the Microsoft
engineers have published articles [6] in which they claim that the
CLI specification is too relaxed, and that they have written code
as part of Microsoft s core libraries that won t work according to
the ECMA spec.
Bill -- Can you make this paper available? I don't see a link to it
anywhere.
-Doug
More information about the cpp-threads
mailing list