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