In the ownership types presentations,
http://www.org.lcs.mit.edu/pubs/boyapati.pdf
http://pmg.lcs.mit.edu/~chandra/publications/oopsla02.ppt
there is a list of 3 ways by which locks can be avoided:
1. object is immutable
2. object is thread-local
3. object has a unique pointer
Can or does the JMM proposal leverage unique pointers? I don't remember
seeing it spelled out anywhere...
----- Original Message -----
From: "Bart Jacobs" <bart.jacobs@student.kuleuven.ac.be>
To: <javaMemoryModel@cs.umd.edu>
Sent: Saturday, February 15, 2003 9:31 AM
Subject: JavaMemoryModel: Disallowing badly synchronized programs
If Java were designed today, it would probably have a type system that makes
it impossible to write unsynchronized programs, and this mailing list would
not have been necessary...
Chandrasekhar Boyapati, "Ownership Types for Safe Programming: Preventing
Data Races and Deadlocks", OOPSLA 2002.
Maybe the lack of such a type system is to Java what the lack of garbage
collection is to C? Unsynchronized multithreading: the goto of the '90s?
-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel
This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:00:42 EDT