Concurrent Programming in Java
© 1996-1999 Doug Lea

2.3 Confinement

Follow-ups

Readings and Resources

The Hermes programming language pioneered several language constructs and techniques for structuring concurrent and distributed programs, including reference transfer as a primitive. See:

Strom, Robert, David Bacon, Arthur Goldberg, Andy Lowry, Daniel Yellin, and Shaula Yemini. Hermes: A Language for Distributed Computing, Prentice Hall, 1991.

The Spring operating system interface definition language embedded hand-off policies as argument qualifiers for methods. See:

A Spring Collection, SunSoft Press, 1994.

Techniques based on unique references have also played roles in other OO design and analysis methods. See, for example:

Hogg, John, Doug Lea, R. C. Holt, Alan Wills, and Dennis de Champeaux. "The Geneva Convention on the Treatment of Object Aliasing", OOPS Messenger, April 1992.

For a formal approach to confinement in distributed systems, see:

Cardelli, Luca, and Andrew Gordon. "Mobile Ambients", in Maurice Nivat (ed.), Foundations of Software Science and Computational Structures, Springer LNCS 1378, 1998.

Doug Lea

Last modified: Sun Oct 17 07:47:47 EDT 1999