JavaMemoryModel: Disallowing badly synchronized programs

From: Bart Jacobs (bart.jacobs@student.kuleuven.ac.be)
Date: Sat Feb 15 2003 - 12:31:01 EST

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