Welcome to the new version of CaltechAUTHORS. Login is currently restricted to library staff. If you notice any issues, please email coda@library.caltech.edu
Published May 14, 2001 | Submitted
Report Open

Reliable Synchronization Primitives for Java

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.

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.

Attached Files

Submitted - 96-11.pdf

Submitted - 96-11.ps

Files

96-11.pdf
Files (403.0 kB)
Name Size Download all
md5:4701104b84156056be741a7d68ad2e10
189.3 kB Download
md5:3267ded46a0d7e54bbdb41e10af1cae8
213.8 kB Preview Download

Additional details

Created:
August 18, 2023
Modified:
October 24, 2023