Article

Free access

Promises: linguistic support for efficient asynchronous procedure calls in distributed systems

Authors:

L. ShriraAuthors Info & Claims

PLDI '88: Proceedings of the ACM SIGPLAN 1988 conference on Programming language design and implementation

Pages 260 - 267

https://doi.org/10.1145/53990.54016

Published: 01 June 1988 Publication History

Abstract

This paper deals with the integration of an efficient asynchronous remote procedure call mechanism into a programming language. It describes a new data type called a promise that was designed to support asynchronous calls. Promises allow a caller to run in parallel with a call and to pick up the results of the call, including any exceptions it raises, in a convenient and type-safe manner. The paper also discusses efficient composition of sequences of asynchronous calls to different locations in a network.

References

[1]

Andrews, G. R. "Synchronizing Resources", ACM Trans. on Programming Languages and Systems 3, 4 (October 1981), 405-430.]]

Digital Library

[2]

Cook, R. P. "*MOD -- A language for distributed programming". IEEE Trans. on Software Engineering SE-6 (November 1980).]]

Digital Library

[3]

Dijkstra, E.W. "The structure of the 'THE'-multiprogramming system". Comm. ofthe ACM 11, 5 (May 1968), 341-346.]]

Digital Library

[4]

Feldman, J. A. "High level programming for distributed computing". Comm. of the ACM 22, 6 (June 1979), 353-368.]]

Digital Library

[5]

Halstead, R. "Multilisp: A language for concurrent symbolic computation". ACM Trans. on Programming Languages and Systems 7, 4 (October 1985).]]

Digital Library

[6]

Halstead, R., and Loaiza, J. Exception Handling in Multilisp. International Conference on Parallel Processing, IEEE, August, 1985, pp. 822-829.]]

[7]

Herlihy, M. P., and Liskov, B. "A value transmission method for abstract data types". ACM Trans. on Programming Languages and Systems 4, 4 (October 1982), 527-551.]]

Digital Library

[8]

Hoare, C. A. R "Monitors: an operating system structuring concept". Comm. of the ACM 17, 10 (October 1974), 549-557.]]

Digital Library

[9]

Hoare, C. A. R. "Communicating sequential processes". Comm. of the ACM 21, 8 (August 1978), 666-677.]]

Digital Library

[10]

Liskov, B., Snyder, A., Atkinson, R. R., and Schaffert, J. C. "Abstraction mechanisms in CLU". Comm. of the ACM 20, 8 (August 1977), 564-576.]]

Digital Library

[11]

Liskov, B., and Snyder, A. "Exception handling in CLU". IEEE Trans. on Software Engineering SE-5, 6 (November 1979), 546-558.]]

Digital Library

[12]

Liskov, B., and Scheifler, R.W. "Guardians and actions: linguistic support for robust, distributed programs". ACM Trans. on Programming Languages and Systems 5, 3 (July 1983), 381-404.]]

Digital Library

[13]

Liskov, B., Scheifler, R., Walker, E., and Weihl, W. Orphan Detection. Proceedings of the 17th International Symposium on Fault-Tolerant Computing, IEEE, Pittsburgh, Pa., July, 1987, pp. 2-7. Extended version available as Programming Methodology Group Memo 53, M.I.T. Laboratory for Computer Science, Cambridge, Ma.]]

[14]

Liskov, B., Bloom, T., Gifford, D., Scheifler, R., and Weihl, W. Communication in the Mercury System. Programming Methodology Group Memo 59,-M.I.T. Laboratory for Computer Science, Cambridge, Ma., 1987. Also in the Proceedings of the 21st Annual Hawaii Conference on System Sciences, January 1988.]]

Digital Library

[15]

Liskov, B., et al. Argus Reference Manual. Technical Report MIT/LCS/'rR-400, M.I.T. Laboratory for Computer Science, Cambridge, Ma., 1987.]]

Digital Library

[16]

i_iskov, B. "Distributed Programming in Argus". Comm. of the ACM 31, 3 (March 1988), 300-312.]]

Digital Library

[17]

Mitchell, J. G., Maybury, W., and Sweet, R. Mesa Language Manual Version 5.0. Technical Report CSL-79-3, Xerox Research Center, Palo Alto, Ca., 1979.]]

[18]

Rovner, P., Levin, R., and Wick, J. On Extending Modula-2 for Building Large, Integrated Systems. 3, DEC System Research Center, Palo Alto, Ca., January, 1985.]]

[19]

U. $. Department of Defense. Reference manual for the Ada programming language. 1983. ANSI standard Ada.]]

Digital Library

Cited By

Gessert FWingerath WRitter NGessert FWingerath WRitter N(2024)Caching in Forschung und IndustrieSchnelles und skalierbares Cloud-Datenmanagement10.1007/978-3-031-54388-3_5(91-140)Online publication date: 3-May-2024
https://doi.org/10.1007/978-3-031-54388-3_5
Andrieux MHenrio LRadanne G(2024)Active Objects Based on Algebraic EffectsActive Object Languages: Current Research Trends10.1007/978-3-031-51060-1_1(3-36)Online publication date: 29-Jan-2024
https://doi.org/10.1007/978-3-031-51060-1_1
Lupșa RLupșa D(2023)On Composing Asynchronous OperationsStudia Universitatis Babeș-Bolyai Informatica10.24193/subbi.2023.2.0368:2(41-52)Online publication date: 22-Dec-2023
https://doi.org/10.24193/subbi.2023.2.03
Show More Cited By

Index Terms

Promises: linguistic support for efficient asynchronous procedure calls in distributed systems
1. Information systems
  1. Data management systems
    1. Database management system engines
      1. Parallel and distributed DBMSs
2. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types

Recommendations

Promises: linguistic support for efficient asynchronous procedure calls in distributed systems
Proceedings of the SIGPLAN '88 conference on Programming language design and implementation

This paper deals with the integration of an efficient asynchronous remote procedure call mechanism into a programming language. It describes a new data type called a promise that was designed to support asynchronous calls. Promises allow a caller to run ...
A survey of asynchronous remote procedure calls

Remote Procedure Call (RPC) is a popular paradigm for interprocess communication in distributed systems. It is simple, flexible and powerful. However, most of the RPC systems today are synchronous in nature, and hence fail to exploit fully the ...
The design of sharing resources for asynchronous systems
MMACTEE'10: Proceedings of the 12th WSEAS international conference on Mathematical methods and computational techniques in electrical engineering

The asynchronous circuit style is based on micropipelines, a style used to develop asynchronous microprocessors at Manchester University. This paper has presented some engineering work on developing a technique of sharing resources for micropipeline ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

PLDI '88: Proceedings of the ACM SIGPLAN 1988 conference on Programming language design and implementation

June 1988

338 pages

ISBN:0897912691

DOI:10.1145/53990

Editor:
R. L. Wexelblat
Philips Laboratories, Briarcliff Manor, NY

ACM SIGPLAN Notices Volume 23, Issue 7
Proceedings of the SIGPLAN '88 conference on Programming language design and implementation
July 1988
338 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/960116
Issue’s Table of Contents

Copyright © 1988 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1988

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

PLDI88

Sponsor:

SIGPLAN

PLDI88: SIGPLAN 88

June 20 - 24, 1988

Georgia, Atlanta, USA

Acceptance Rates

Overall Acceptance Rate 406 of 2,067 submissions, 20%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

259
Total Citations
View Citations
2,331
Total Downloads

Downloads (Last 12 months)226
Downloads (Last 6 weeks)57

Reflects downloads up to 12 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Gessert FWingerath WRitter NGessert FWingerath WRitter N(2024)Caching in Forschung und IndustrieSchnelles und skalierbares Cloud-Datenmanagement10.1007/978-3-031-54388-3_5(91-140)Online publication date: 3-May-2024
https://doi.org/10.1007/978-3-031-54388-3_5
Andrieux MHenrio LRadanne G(2024)Active Objects Based on Algebraic EffectsActive Object Languages: Current Research Trends10.1007/978-3-031-51060-1_1(3-36)Online publication date: 29-Jan-2024
https://doi.org/10.1007/978-3-031-51060-1_1
Lupșa RLupșa D(2023)On Composing Asynchronous OperationsStudia Universitatis Babeș-Bolyai Informatica10.24193/subbi.2023.2.0368:2(41-52)Online publication date: 22-Dec-2023
https://doi.org/10.24193/subbi.2023.2.03
Cuneo BBailey M(2023)Divergence Reduction in Monte Carlo Neutron Transport with On-GPU Asynchronous SchedulingACM Transactions on Modeling and Computer Simulation10.1145/362695734:1(1-25)Online publication date: 19-Oct-2023
https://dl.acm.org/doi/10.1145/3626957
Tang RLiu FXiao X(2023)A Lightweight Approach for Large CAD Models Based on Lazy Loading2023 IEEE 18th Conference on Industrial Electronics and Applications (ICIEA)10.1109/ICIEA58696.2023.10241576(1977-1982)Online publication date: 18-Aug-2023
https://doi.org/10.1109/ICIEA58696.2023.10241576
Spenger JCarbone PHaller PScholliers CSinger J(2022)Portals: An Extension of Dataflow Streaming for Stateful ServerlessProceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software10.1145/3563835.3567664(153-171)Online publication date: 29-Nov-2022
https://dl.acm.org/doi/10.1145/3563835.3567664
Liu YSu LShah VZhou YVaz Salles MIves ZBonifati AEl Abbadi A(2022)Hybrid Deterministic and Nondeterministic Execution of Transactions in Actor SystemsProceedings of the 2022 International Conference on Management of Data10.1145/3514221.3526172(65-78)Online publication date: 10-Jun-2022
https://dl.acm.org/doi/10.1145/3514221.3526172
Fernandez-Reyes KGariano INoble JGreenwood-Thessman EHomer MWrigstad TDe Meuter WBaniassad E(2021)Dala: a simple capability-based dynamic language design for data race-freedomProceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software10.1145/3486607.3486747(1-17)Online publication date: 20-Oct-2021
https://dl.acm.org/doi/10.1145/3486607.3486747
Gomez-Zamalloa MIsabel M(2021)Deadlock-Guided TestingIEEE Access10.1109/ACCESS.2021.30654219(46033-46048)Online publication date: 2021
https://doi.org/10.1109/ACCESS.2021.3065421
Zhang YSalvaneschi GMyers A(2020)Handling bidirectional control flowProceedings of the ACM on Programming Languages10.1145/34282074:OOPSLA(1-30)Online publication date: 13-Nov-2020
https://dl.acm.org/doi/10.1145/3428207
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

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

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents