At 10:16 -0500 1/14/04, Bill Pugh wrote:
> We have about weeks to finish up the public review draft, and to
>the extent people have time to spend on the JMM, I'd like to
>encourage people to further examine final fields and other
>non-causality related issues, which haven't gotten the attention they
>need. Jeremy and I have a lot of work to do finishing up the
>document, doing Javadoc comments, and so on.
Did you have in mind cleaning up the language in the JLS and JVM spec
regarding when and how checks for >1 assignment to final fields are
done? I did a little bit of that for a verifier for Kaffe.
Joel Jones jones@cs.ua.edu
Department of Computer Science http://cs.ua.edu/~jones
University of Alabama (205) 348-1618
-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel
This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:00:56 EDT