JavaMemoryModel: Re: Ownership Types for Safe Programming (was: Disallowing badly synchronized programs)

From: Joseph Bowbeer (jozart@csi.com)
Date: Sat Feb 15 2003 - 17:45:09 EST


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