Language constructs and support systems for distributed computing

This paper describes programming constructs and system support functions that are intended to facilitate the programming of reliable distributed systems. The systems considered include very different kinds of computers communicating through a network. Such a heterogeneous network offers a number of advantages to designers of applications software. Different machines emphasize different capabilities and many problems naturally break down into subproblems that are best solved with specialized resources. There is clearly a need for programming tools that will allow users to exploit this kind of environment.

[1]  Jim Gray,et al.  Notes on Data Base Operating Systems , 1978, Advanced Course: Operating Systems.

[2]  Barbara Liskov,et al.  Guardians and actions: linguistic support for robust, distributed programs , 1982, POPL '82.

[3]  Barbara Liskov,et al.  On Linguistic Support for Distributed Programs , 1982, IEEE Transactions on Software Engineering.

[4]  Santosh K. Shrivastava Structuring Distributed Systems for Recoverability and Crash Resistance , 1981, IEEE Transactions on Software Engineering.

[5]  Robert P. Cook,et al.  *MOD—A Language for Distributed Programming , 1980, IEEE Transactions on Software Engineering.

[6]  Butler W. Lampson,et al.  Distributed Systems - Architecture and Implementation, An Advanced Course , 1981, Advanced Course: Distributed Systems.

[7]  Jerome A. Feldman,et al.  High level programming for distributed computing , 1979, CACM.

[8]  Per Brinch Hansen,et al.  Distributed processes: a concurrent programming concept , 1978, CACM.

[9]  Barbara Liskov,et al.  Primitives for distributed computing , 1979, SOSP '79.

[10]  Santosh K. Shrivastava,et al.  Reliable Resource Allocation Betvveen Unreliable Processes , 1978, IEEE Transactions on Software Engineering.

[11]  Anita K. Jones The Object Model: A Conceptual Tool for Structuring Software , 1978, Operating Systems.

[12]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[13]  Butler W. Lampson,et al.  Atomic Transactions , 1980, Advanced Course: Distributed Systems.

[14]  William A. Wulf,et al.  HYDRA/C.Mmp, An Experimental Computer System , 1981 .

[15]  Keith Allen Lantz Uniform interfaces for distributed systems , 1980 .

[16]  J. E. Ball,et al.  RIG, Rochester's Intelligent Gateway: System Overview , 1976, IEEE Transactions on Software Engineering.

[17]  Richard F. Rashid An Inter-Process Communication Facility for UNIX , 1980 .

[18]  Brian Randell System structure for software fault tolerance , 1975 .