CaltechAUTHORS
  A Caltech Library Service

Reliable Synchronization Primitives for Java

Sivilotti, Paolo A. G. and Chandy, K. Mani (1996) Reliable Synchronization Primitives for Java. California Institute of Technology , Pasadena, CA. (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-11

[img]
Preview
Postscript - Submitted Version
See Usage Policy.

184Kb
[img] PDF - Submitted Version
See Usage Policy.

208Kb

Use this Persistent URL to link to this item: http://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-11

Abstract

Java is an architecture-independent, object-oriented language designed to facilitate code-sharing across the Internet in general, via the Web in particular. Java is multithreaded, providing thread creation and synchronization constructs based on generalized monitors. Although these primitives are appropriate for many windowing applications, they are not necessarily well-suited for the larger class of multithreaded programs that occur as part of distributed systems. We demonstrate how the Java primitives, in conjunction with the object-oriented aspects of the language, can be used to implement a collection of other traditional synchronization paradigms. These paradigms are formally specified, their implementations are rigorously verified, and their use is illustrated with several examples.


Item Type:Report or Paper (Technical Report)
Additional Information:© 1996 California Institute of Technology. June 1, 1996. This research was supported in part by NSF/PSE grant CCR-9527130, by AFOSR grant AFOSR-91-0070, and by an IBM Computer Science Fellowship.
Group:Computer Science Technical Reports
Funders:
Funding AgencyGrant Number
NSFCCR-9527130
Air Force Office of Scientific Research (AFOSR)AFOSR-91-0070
IBMUNSPECIFIED
DOI:10.7907/Z9P55KHS
Record Number:CaltechCSTR:1996.cs-tr-96-11
Persistent URL:http://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-11
Usage Policy:You are granted permission for individual, educational, research and non-commercial reproduction, distribution, display and performance of this work in any format.
ID Code:26892
Collection:CaltechCSTR
Deposited By: Imported from CaltechCSTR
Deposited On:14 May 2001
Last Modified:11 Apr 2017 17:51

Repository Staff Only: item control page