> The one thing I have thought might sometimes help is this. If more object
> initializations were as in Modula-3, where one tends to compute initial
> field values in advance and provide them to an allocator that initializes
> the fields right away, then, for a given class, you might be able to show
> (via compiler analysis) that some or all fields were always initialized
> immediately after allocation, before promotion could occur.
Martin Rinard and a student looked into a variant of this in:
Write Barrier Removal by Static Analysis
Karen Zee and Martin Rinard
(OOPSLA '02)
http://www.cag.lcs.mit.edu/~rinard/paper/
> In sum, this is probably more for the GC list than for the memory model
> list.
Yup.
-Doug
-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel
This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:01:09 EDT