article

Open access

Guardians and Actions: Linguistic Support for Robust, Distributed Programs

Editor: Susan L. Graham Authors:

Barbara Liskov,

Robert ScheiflerAuthors Info & Claims

ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 5, Issue 3

Pages 381 - 404

https://doi.org/10.1145/2166.357215

Published: 01 July 1983 Publication History

PDF eReader

References

[1]

BIRRELL, A.D., LEVIN, R., NEEDHAM, R.M., AND SCHROEDER, M.D. Grapevine: An exercise in distributed computing. Commun. ACM 25, 4 (Apr. 1982), 260-274.

Crossref

Google Scholar

[2]

BLOOM, T. Dynamic Module Replacement in a Distributed Programming Environment. Ph.D. dissertation, Laboratory for Computer Science, Massachusetts Inst. of Technology, Cambridge, Mass., to appear.

Google Scholar

[3]

BRINCH HANSEN, P. Distributed processes: A concurrent programming concept. Commun. ACM 21, 11 (Nov. 1978), 934-941.

Crossref

Google Scholar

[4]

DAVIES, C.T. Data processing spheres of control. IBM Syst. J. 17, 2 (1978), 179-198.

Google Scholar

[5]

DAVIES, C.T., JR. Recovery semantics for a DB/DC system. In Proceedings, ACM 73: Annual Conference, Aug. 1973, pp. 136-141.

Crossref

Google Scholar

[6]

ESWARAN, K.P., GRAY, J.N., LORIE, R.A., AND TRAIGER, I.L. The notions of consistency and predicate locks in a database system. Commun. ACM 19, 11 (Nov. 1976), 624-633.

Crossref

Google Scholar

[7]

FELDMAN, J.A. High level programming for distributed computing. Commun. ACM 22, 6 (June 1979), 353-368.

Crossref

Google Scholar

[8]

GRAY, J.N. Notes on data base operating systems. In Lecture Notes in Computer Science, vol. 60: Operating Systems, An Advanced Course, R. Bayer, R.M. Graham, G. Seegm/iller (Eds.). Springer-Verlag, New York, 1978, pp. 393-481.

Crossref

Google Scholar

[9]

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. In Modeling in Data Base Management Systems, G.M. Nijssen (Ed.). Elsevier North-Holland, New York, 1976.

Google Scholar

[10]

GRAY, J., MCJONES, P., BLASGEN, M., LINDSAY, B., LORIE, R., PRICE, T., PUTZOLU, F., AND TRAIOER, I. The recovery manager of the System R database manager. Comput. Surv. (ACM) 13, 2 (June 1981), 223-242.

Crossref

Google Scholar

[11]

HERLIHY, M., AND LISKOV, B. A value transmission method for abstract data types. ACM Trans. Program. Lang. Syst. 4, 4 (Oct. 1982), 527-551.

Crossref

Google Scholar

[12]

HOARE, C.A.R. Communicating sequential processes. Commun. ACM 21, 8 (Aug. 1978), 666-677.

Crossref

Google Scholar

[13]

HOARE, C.A.R. Monitors: An operating system structuring concept. Commun. ACM 17, 10 (Oct. 1974), 549-557.

Crossref

Google Scholar

[14]

LAMPORT, L. Towards a theory of correctness for multi-user data base systems. Rep. CA-7610- 0712, Massachusetts Computer Associates, Wakefield, Mass., Oct. 1976.

Google Scholar

[15]

LAMPSO~, B., AND STURCIS, H. Crash recovery in a distributed data storage system. Xerox ?ARC, Palo Alto, Calif., Apr. 1979.

Google Scholar

[16]

LISKOV, B. On linguistic support for distributed programs. In Proceedings, IEEE Symposium on Reliability in Distributed Software and Database Systems, Pittsburgh, Pa., July 1981, pp. 53-60.

Google Scholar

[17]

LISKOV, B., ATKINSON, R., BLOOM, T., Moss, E., SCHAFFERT, J.C., SCHEIFLER, R., AND SNYDER, A. Lecture Notes in Computer Science, vol. 114: CLU Reference Manual. Springer-Verlag, New York, 1981.

Crossref

Google Scholar

[18]

LISKOV, B., A~D SCHEIFLER, R. Guardians and actions: Linguistic support for robust, distributed programs. In Conference Record of the 9th Annual ACM Symposium on Principles of Programming Languages, Albuquerque, N.M., Jan. 25-27, 1982, pp. 7-19.

Crossref

Google Scholar

[19]

LISKOV, B., AND S~YDER, A. Exception handling in CLU. IEEE Trans. Softw. Eng. SE-5, 6 (Nov. 1979), 546-558.

Google Scholar

[20]

LiSKOV, B., SNYDER, A., ATKINSON, R., AND SCHAFFERT, C. Abstraction mechanisms in CLU. Commun. ACM 20, 8 (Aug. 1977), 564-576.

Crossref

Google Scholar

[21]

LISKOV, B., AND ZILLES, $.N. Programming with abstract data types. In Proceedings, ACM SIGPLAN Conference on Very High Level Languages. SIGPLAN Notices (ACM) 9, 4 (Apr. 1974), 50-59.

Crossref

Google Scholar

[22]

LOMET, D. Process structuring, synchronization, and recovery using atomic actions. In Proceedings of an ACM Conference on Language Design for Reliable Software. SIGPLAN Notices (ACM) 12, 2 (Mar. 1977).

Crossref

Google Scholar

[23]

Moss, J.E.B. Nested Transactions: An Approach to Reliable Distributed Computing. Ph.D. dissertation and Tech. Rep. MIT/LCS/TR-260, Laboratory for Computer Science, Massachusetts inst. of Technology, Cambridge, Mass., 1981.

Crossref

Google Scholar

[24]

PRELIMINARY ADA REFERENCE MANUAL. S!GPLAN Notices (ACM) 14, 6 (June 1979), pt. A.

Crossref

Google Scholar

[25]

RANDELL, B. System structure for software fault tolerance. IEEE Trans. Sofiw. Eng. SE-1, 2 (June 1975), 220-232.

Google Scholar

[26]

REED, D.P. Naming and Synchronization in a Decentralized Computer System. Ph.D. dissertation and Tech. Rep. MIT/LCS/TR-205, Laboratory for Computer Science, Massachusetts Inst. of Technology, Cambridge, Mass., 1978.

Crossref

Google Scholar

[27]

ROSENKRANTZ, D.J., STEARNS, R.E., AND LEWIS, P.M., II. System level concurrency control for distributed database systems. ACM Trans. Database Syst. 3, 2 (June 1978), 178-198.

Crossref

Google Scholar

[28]

SHRIVASTAVA, S.K., AND BANATRE, J.P. Reliable resource allocation between unreliable processes. IEEE Trans. Sofiw. Eng. SE-4, 3 (May 1978), 230-240.

Google Scholar

[29]

SPECTOR, A.Z. Performing remote operations efficiently on a local computer network. Commun. ACM 25, 4 (Apr. 1982), 246-260.

Crossref

Google Scholar

[30]

WEIHL, W., AND LISKOV, B. Specification and implementation of resilient, atomic data types. Computation Structures Group Memo 223, Laboratory for Computer Science, Massachusetts Inst. of Technology, Cambridge, Mass., Dec. 1982.

Google Scholar

Cited By

View all

Magalhaes AMonteiro JBrayner A(2021)Main Memory Database RecoveryACM Computing Surveys10.1145/344219754:2(1-36)Online publication date: 5-Mar-2021
https://dl.acm.org/doi/10.1145/3442197
Grigoropoulos NKoutsoubelias MLalis SPalesi MPalermo GGraves CArima E(2020)Byzantine fault tolerance for centrally coordinated missions with unmanned vehiclesProceedings of the 17th ACM International Conference on Computing Frontiers10.1145/3387902.3392622(165-173)Online publication date: 11-May-2020
https://dl.acm.org/doi/10.1145/3387902.3392622
Grigoropoulos NKoutsoubelias MLalis S(2019)Active Replication for Centrally Coordinated Teams of Autonomous Vehicles2019 15th International Conference on Distributed Computing in Sensor Systems (DCOSS)10.1109/DCOSS.2019.00038(114-122)Online publication date: May-2019
https://doi.org/10.1109/DCOSS.2019.00038
Show More Cited By

Index Terms

Recommendations

Guardians and actions: linguistic support for robust, distributed programs
POPL '82: Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

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, ...
Guardians and actions: linguistic support for robust, distributed programs
Concurrency control and reliability in distributed systems
Robust semantic text similarity using LSA, machine learning, and linguistic resources

Semantic textual similarity is a measure of the degree of semantic equivalence between two pieces of text. We describe the SemSim system and its performance in the *SEM 2013 and SemEval-2014 tasks on semantic textual similarity. At the core of our ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Transactions on Programming Languages and Systems

ACM Transactions on Programming Languages and Systems Volume 5, Issue 3

July 1983

244 pages

ISSN:0164-0925

EISSN:1558-4593

DOI:10.1145/2166

Editor:
Susan L. Graham

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 July 1983

Published in TOPLAS Volume 5, Issue 3

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

442
Total Citations
View Citations
851
Total Downloads

Downloads (Last 12 months)113
Downloads (Last 6 weeks)18

Reflects downloads up to 23 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Magalhaes AMonteiro JBrayner A(2021)Main Memory Database RecoveryACM Computing Surveys10.1145/344219754:2(1-36)Online publication date: 5-Mar-2021
https://dl.acm.org/doi/10.1145/3442197
Grigoropoulos NKoutsoubelias MLalis SPalesi MPalermo GGraves CArima E(2020)Byzantine fault tolerance for centrally coordinated missions with unmanned vehiclesProceedings of the 17th ACM International Conference on Computing Frontiers10.1145/3387902.3392622(165-173)Online publication date: 11-May-2020
https://dl.acm.org/doi/10.1145/3387902.3392622
Grigoropoulos NKoutsoubelias MLalis S(2019)Active Replication for Centrally Coordinated Teams of Autonomous Vehicles2019 15th International Conference on Distributed Computing in Sensor Systems (DCOSS)10.1109/DCOSS.2019.00038(114-122)Online publication date: May-2019
https://doi.org/10.1109/DCOSS.2019.00038
Guo LFunie AThomas DFu HLuk W(2016)Parallel Genetic Algorithms on Multiple FPGAsACM SIGARCH Computer Architecture News10.1145/2927964.292798043:4(86-93)Online publication date: 22-Apr-2016
https://dl.acm.org/doi/10.1145/2927964.2927980
Mefenza MEdwards NBobda C(2016)Interface Based Memory Synthesis of Image Processing Applications in FPGAACM SIGARCH Computer Architecture News10.1145/2927964.292797643:4(64-69)Online publication date: 22-Apr-2016
https://dl.acm.org/doi/10.1145/2927964.2927976
Hmid SCoutinho JLuk W(2016)A Transfer-Aware Runtime System for Heterogeneous Asynchronous Parallel ExecutionACM SIGARCH Computer Architecture News10.1145/2927964.292797243:4(40-45)Online publication date: 22-Apr-2016
https://dl.acm.org/doi/10.1145/2927964.2927972
Rajan HBertolino ACanfora GElbaum S(2015)Capsule-oriented programmingProceedings of the 37th International Conference on Software Engineering - Volume 210.5555/2819009.2819117(611-614)Online publication date: 16-May-2015
https://dl.acm.org/doi/10.5555/2819009.2819117
Kuraj IKuncak VJackson D(2015)Programming with enumerable sets of structuresACM SIGPLAN Notices10.1145/2858965.281432350:10(37-56)Online publication date: 23-Oct-2015
https://dl.acm.org/doi/10.1145/2858965.2814323
Jantz MRobinson FKulkarni PDoshi K(2015)Cross-layer memory management for managed language applicationsACM SIGPLAN Notices10.1145/2858965.281432250:10(488-504)Online publication date: 23-Oct-2015
https://dl.acm.org/doi/10.1145/2858965.2814322
Toro MTanter É(2015)Customizable gradual polymorphic effects for ScalaACM SIGPLAN Notices10.1145/2858965.281431550:10(935-953)Online publication date: 23-Oct-2015
https://dl.acm.org/doi/10.1145/2858965.2814315
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Cited By

Index Terms

Recommendations