Primitives for distributed computing

ABSTRACT

Distributed programs that run on nodes of a network are now technologically feasible, and are well-suited to the needs of organizations. However, our knowledge about how to construct such programs is limited. This paper discusses primitives that support the construction of distributed programs. Attention is focussed on primitives in two major areas: modularity and communication. The issues underlying the selection of the primitives are discussed, especially the issue of providing robust behavior, and various candidates are analyzed. The primitives will ultimately be provided as part of a programming language that will be used to experiment with construction of distributed programs.

REFERENCES

• 1: Jerome H. Saltzer, Research problems of decentralized systems with largely autonomous nodes, ACM SIGOPS Operating Systems Review, v.12 n.1, p.43-52, January 1978 [doi>10.1145/775323.775328]
• 2: Scherr, A. L. Distributed data processing. IBM Systems Journal 17, 4 (1978), 324-343.
• 3: Fuller, S. H., et al. A Collection of Papers on CM: A Multi-microprocessor Computer System.# Department of Computer Science, Carnegie Mellon University, February 1977.
• 4: Hewitt, C. Viewing control structures as patterns of passing messages. Artificial Intelligence 8, 1977, 323-364.
• 5: Per Brinch Hansen, Distributed processes: a concurrent programming concept, Communications of the ACM, v.21 n.11, p.934-941, Nov. 1978 [doi>10.1145/359642.359651]
• 6: Feldman, J. A. A Programming Methodology for Distributed Computing, Technical Report 9, Department of Computer Science, University of Rochester, Rochester, N. Y., 1977.
• 7: Barbara Liskov , Alan Snyder , Russell Atkinson , Craig Schaffert, Abstraction mechanisms in CLU, Communications of the ACM, v.20 n.8, p.564-576, Aug. 1977 [doi>10.1145/359763.359789]
• 8: 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
• 9: C. A. R. Hoare, Monitors: an operating system structuring concept, Communications of the ACM, v.17 n.10, p.549-557, Oct. 1974 [doi>10.1145/355620.361161]
• 10: Brinch Hansen, P. The programming language Concurrent Pascal. |IEEE Trans. on Software Engineering 1,# 2 (June 1975), 199-207.
• 11: D. D. Redell. , David D. Redell, NAMING AND PROTECTION IN EXTENDABLE OPERATING SYSTEMS, Massachusetts Institute of Technology, Cambridge, MA, 1974
• 12: Saltzer, J. H., and Schroeder, M. D. The protection of information in computer systems. Proc. of the IEEE 63, 9 (September 1975), 1278-1308.
• 13: Hewitt, C., and Atkinson, R. Specification and proof techniques for serializers. IEEE Trans. on Software Engineering SE-5, 1 (January 1979), 10-23.
• 14: C. A. R. Hoare, Communicating sequential processes, Communications of the ACM, v.21 n.8, p.666-677, Aug. 1978 [doi>10.1145/359576.359585]
• 15: Thomas, R. H. A Solution to the Update Problem for Multiple Copy Data Bases Which Uses Distributed Control. BBN Reporta 3340, Bolt Beranek and Newman, Inc., Cambridge, Mass., July 1976.
• 16: Peter A. Alsberg , John D. Day, A principle for resilient sharing of distributed resources, Proceedings of the 2nd international conference on Software engineering, p.562-570, October 13-15, 1976, San Francisco, California, United States
• 17: Rothnie, J. B., Bernstein, P. A., Goodman, N., and Papadimitriou, C. A. The Redundant Update Methodology of SDD-1: A System for Distributed Databases. Technical Report. Computer Corporation of America, Cambridge, Mass., February 1977.
• 18: Lampson, B., and Sturgis, H. Crash Recovery in a Distributed Data Storage System Xerox Research Center, Palo Alto, Ca., 1976.
• 19: Jim Gray, Notes on Data Base Operating Systems, Operating Systems, An Advanced Course, p.393-481, January 1978
• 20: D. P. Reed, NAMING AND SYNCHRONIZATION IN A DECENTRALIZED COMPUTER SYSTEM, Massachusetts Institute of Technology, Cambridge, MA, 1978
• 21: Roger M. Needham , Michael D. Schroeder, Using encryption for authentication in large networks of computers, Communications of the ACM, v.21 n.12, p.993-999, Dec. 1978 [doi>10.1145/359657.359659]
• 22: Balzer, R. M. PORTS—a method for dynamic interprogram communication and job control. Proc. of the AFIPS Conference 39 (1971).

INDEX TERMS

Primary Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.3 Concurrent Programming
          Subjects: Distributed programming

Additional Classification:
  D. Software
  D.4 OPERATING SYSTEMS
      D.4.4 Communications Management
      D.4.8 Performance

General Terms:
Languages, Management, Performance