Threads: first milestone completed

[Herb Sutter]

Re paper: I would very much like to see this paper -- can I please get a
copy? I am interested in getting the key expert(s) within Microsoft
looking at this topic as part of understanding where we are in both the
JVM and the CLR w.r.t. this topic.

Also, is there any known existing practice in C++ compilers? (I have yet
to ask about my own group's product.)

If there is a clear best answer here then ideally everyone would
implement it essentially the same way. That would be great for users.

Herb


>-----Original Message-----
>From: Doug Lea [mailto:dl at cs.oswego.edu]
>Sent: Saturday, October 23, 2004 5:10 AM
>To: Herb Sutter
>Cc: Andrei Alexandrescu; Hans Boehm; Doug Lea; Kevlin Henney; Maged
>Michael; Ben Hutchings; pugh at cs.umd.edu
>Subject: RE: Threads: first milestone completed
>
>> 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