|
 ABSTRACT
This paper presents an overview of an integrated programming language and system designed to support the construction and maintenance of distributed programs: programs in which modules reside and execute at communicating, but geographically distinct, nodes. The language is intended to support a class of applications in which the manipulation and preservation of long-lived, on-line, distributed data is important. The language addresses the writing of robust programs that survive hardware failures without loss of distributed information and that provide highly concurrent access to that information while preserving its consistency. Several new linguistic constructs are provided; among them are atomic actions, and modules called guardians that survive node failures.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
Birrell, A., Levin, R., and Schroeder, M., "Grapevine", Xerox PARC, Palo Alto, CA, April 1981. To appear in Communications ACM.
|
 |
2
|
|
| |
3
|
|
| |
4
|
Davies, C.T., "Data processing spheres of control", IBM Systems Journal 17, 2, 1978, 179--198.
|
| |
5
|
|
| |
6
|
|
| |
7
|
Gray, J.N., Lorie, R.A., Putzolu, G.F., and Traiger, I.L, "Granularity of locks and degrees of consistency in a shared data base", Modeling in Data Base Management Systems, G.M. Nijssen editor, North Holland, 1976.
|
| |
8
|
|
| |
9
|
Gray, J.N., et al. "The recovery manager of a data management system", IBM Research Report RJ2623, August 1979.
|
| |
10
|
|
| |
11
|
|
| |
12
|
|
| |
13
|
Lamport, L., "Towards a theory of correctness for multi-user data base systems", Report CA-7610-0712, Massachusetts Computer Associates, Wakefield, MA, October 1976.
|
| |
14
|
Lampson, B. and Sturgis, H. "Crash recovery in a distributed data storage system", Xerox PARC, Palo Alto, CA, April 1979.
|
| |
15
|
|
| |
16
|
|
| |
17
|
Liskov, B. and Snyder, A., "Exception handling in CLU", IEEE Transactions on Software Engineering 5, 6, November 1979, 546--558.
|
| |
18
|
Liskov, B., "On linguistic support for distributed programs", Proceedings, IEEE Symposium on Reliability in Distributed Software and Database Systems, Pittsburgh, PA, July 1981, 53--60.
|
| |
19
|
B Liskov , E Moss , A Snyder , R Atkinson , J C. Schaffert , T Bloom , R Scheifler, CLU reference manual, Springer-Verlag New York, Inc., New York, NY, 1984
|
| |
20
|
|
| |
21
|
Randell, B. "System structure for software fault tolerance", IEEE Transactions on Software Engineering 1, 2. June 1975, 220--232.
|
| |
22
|
|
CITED BY 52
|
|
|
|
|
|
|
|
|
|
|
Matthew J. Weinstein , Thomas W. Page, Jr. , Brian K. Livezey , Gerald J. Popek, Transactions and synchronization in a distributed operating system, ACM SIGOPS Operating Systems Review, v.19 n.5, p.115-126, Dec. 1-4, 1985
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Alfred Z. Spector , Dean Daniels , Daniel Duchamp , Jeffrey L. Eppinger , Randy Pausch, Distributed transactions for reliable systems, ACM SIGOPS Operating Systems Review, v.19 n.5, p.127-146, Dec. 1-4, 1985
|
|
|
|
|
|
James C. Browne , James E. Dutton , Vincent Fernandes , Annette Palmer , Jonathan Silverman , Anand R. Tripathi , Pong-sheng Wang, Zeus: An object-oriented distributed operating system for reliable applications, Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge, p.179-188, January 1984
|
|
|
|
|
|
Panayiotis Chrysanthis , Krithi Ramamritham , David Stemple , Stephen Vinter, The Gutenberg operating system kernel, Proceedings of 1986 ACM Fall joint computer conference, p.1159-1168, November 1986, Dallas, Texas, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Dean Daniels , Alfred Z. Spector, An algorithm, for replicated directories, Proceedings of the second annual ACM symposium on Principles of distributed computing, p.104-113, August 17-19, 1983, Montreal, Quebec, Canada
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Michael B. Jones , Richard F. Rashid , Mary R. Thompson, Matchmaker: an interface specification language for distributed processing, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.225-235, January 14-16, 1985, New Orleans, Louisiana, United States
|
|
|
|
|
|
|
|
|
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Pdf