Backing off from the issues of exactly what guarantees we are going to make,
a recent paper by Arvind and others at MIT may be of interest. It was
published at ISCA99:
Commit-Reconcile & Fences (CRF): A New Memory Model for Architects
and Compiler Writers, X. Shen, Arvind, L. Rudolph
ftp://csg-ftp.lcs.mit.edu/pub/papers/csgmemo/memo-413.ps
It doesn't solve our problems by any means. It doesn't touch the
safety issues we've been discussing, and I'm still not sure if
it will really work for compiler writers. In many ways, it is
similar to the old Java memory model, but without some of the problems
the old JMM had.
Bill
-------------------------------
This is the JavaMemoryModel mailing list, managed by Majordomo 1.94.4.
To send a message to the list, email JavaMemoryModel@cs.umd.edu
To send a request to the list, email majordomo@cs.umd.edu and put
your request in the body of the message (use the request "help" for help).
For more information, visit http://www.cs.umd.edu/~pugh/java/memoryModel
This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:00:17 EDT