An overview of the SR language and implementation

ABSTRACT

SR is a language for programming distributed systems ranging from operating systems to application programs. On the basis of our experience with the initial version, the language has evolved considerably. In this paper we describe the current version of SR and give an overview of its implementation. The main language constructs are still resources and operations. Resources encapsulate processes and variables that they share; operations provide the primary mechanism for process interaction. One way in which SR has changed is that both resources and processes are now created dynamically. Another change is that inheritance is supported. A third change is that the mechanisms for operation invocation—call and send—and operation implementation—proc and in—have been extended and integrated. Consequently, all of local and remote procedure call, rendezvous, dynamic process creation, asynchronous message passing, multicast, and semaphores are supported. We have found this flexibility to be very useful for distributed programming. Moreover, by basing SR on a small number of well-integrated concepts, the language has proved easy to learn and use, and it has a reasonably efficient implementation.

REFERENCES

• 1: ADA. Reference manual for the Ada programming language. ANSI/MIL-STD-1815A, American National Standards Institute, New York, Jan. 1983.
• 2: Gregory R. Andrews, Synchronizing Resources, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.4, p.405-430, Oct. 1981 [doi>10.1145/357146.357149]
• 3: ANDREWS, G. R. The distributed programming language SR-Mechanisms, design and imple mentation. Softw. Pratt. Exper. 12, 8 (Aug. 1982), 719-754.
• 4: ANDREWS, G. R., AND OLSSON, R. A. The evolution of the SR language. D&rib. Comput. 1, 3 (July 1986), 133-149.
• 5: ANDREWS, G. R., AND OLSSON, R. A. Revised report on the SR programming language. TR 87- 27, Dept. of Computer Science, Univ. of Arizona, Tucson, Ariz., Nov. 1987.
• 6: Gregory R. Andrews , Richard D. Schlichting , Roger Hayes , Titus D. M. Purdin, The design of the Saguaro distributed operating system, IEEE Transactions on Software Engineering, v.13 n.1, p.104-118, Jan. 1987 [doi>10.1109/TSE.1987.232839]
• 7: ATKINS, S. Experiments in SR with different upcall program structures. Tech. Rep. Dept. of Computer Science, Simon Fraser Univ., Burnaby, B.C., Canada, Apr. 1987.
• 8: ATKINS, S., AND OLSSON, R. A. Performance of multitasking and synchronisation mechanisms. CSE-87-10, Div. of Computer Science, Univ. of California at Davis, July 1987.
• 9: A. J. Bernstein, Predicate transfer and timeout in message passing systems, Information Processing Letters, v.24 n.1, p.43-52, January 1987 [doi>10.1016/0020-0190(87)90197-9]
• 10: Andrew P. Black, Supporting distributed applications: experience with Eden, Proceedings of the tenth ACM symposium on Operating systems principles, p.181-193, December 1985, Orcas Island, Washington, United States
• 11: BLACK, A. P., HUTCHINSON, N., MCCORD, B. C., AND RAJ, R. K. EPL programmer's guide. Eden Project, Dept. of Computer Science, Univ. of Washington, Seattle, Wash., June 1984.
• 12: Andrew Black , Norman Hutchinson , Eric Jul , Henry Levy , Larry Carter, Distributed and abstract types in Emerald, IEEE Transactions on Software Engineering, v.13 n.1, p.65-76, Jan. 1987 [doi>10.1109/TSE.1987.232836]
• 13: 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]
• 14: K. M. Chandy , J. Misra, The drinking philosophers problem, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.4, p.632-646, Oct. 1984 [doi>10.1145/1780.1804]
• 15: CHERITON, D. R. The V kernel: A software base for distributed systems. IEEE Software 1, 2 (Apr. 1984), 19-42.
• 16: David R. Cheriton , Willy Zwaenepoel, Distributed process groups in the V Kernel, ACM Transactions on Computer Systems (TOCS), v.3 n.2, p.77-107, May 1985 [doi>10.1145/214438.214439]
• 17: David D. Clark, The structuring of systems using upcalls, Proceedings of the tenth ACM symposium on Operating systems principles, p.171-180, December 1985, Orcas Island, Washington, United States
• 18: Lori A. Clarke , Jack C. Wileden , Alexander L. Wolf, Nesting in Ada programs is for the birds, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, p.139-145, January 1980 [doi>10.1145/800004.807944]
• 19: COOK R. *Mod-A language for distributed programming. IEEE Trans. Softw. Eng. SE-6, 6 (Nov. 1980), 563-571.
• 20: Eric C. Cooper, Replicated procedure call, Proceedings of the third annual ACM symposium on Principles of distributed computing, p.220-232, August 27-29, 1984, Vancouver, British Columbia, Canada [doi>10.1145/800222.806749]
• 21: Edsger Wybe Dijkstra, A Discipline of Programming, Prentice Hall PTR, Upper Saddle River, NJ, 1997
• 22: N H Gehani , W D Roome, Concurrent C, Software—Practice & Experience, v.16 n.9, p.821-844, Sept. 1986
• 23: David Gelernter, Generative communication in Linda, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.1, p.80-112, Jan. 1985 [doi>10.1145/2363.2433]
• 24: Charles Antony Richard Hoare, The emperor's old clothes, Communications of the ACM, v.24 n.2, p.75-83, Feb. 1981 [doi>10.1145/358549.358561]
• 25: C. A. R. Hoare, Communicating sequential processes, Prentice-Hall, Inc., Upper Saddle River, NJ, 1985
• 26: B. W. Lampson , J. J. Horning , R. L. London , J. G. Mitchell , G. J. Popek, Report on the programming language Euclid, ACM SIGPLAN Notices, v.12 n.2, p.1-79, February 1977 [doi>10.1145/954666.971189]
• 27: Barbara Liskov , Robert Scheifler, Guardians and Actions: Linguistic Support for Robust, Distributed Programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.3, p.381-404, July 1983 [doi>10.1145/2166.357215]
• 28: Barbara Liskov , Maurice Herlihy , Lucy Gilbert, Limitations of synchronous communication with static process structure in languages for distributed computing, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.150-159, January 01, 1986, St. Petersburg Beach, Florida [doi>10.1145/512644.512658]
• 29: MITCHELL, J. G., MAYBURY, W., AND SWEET, R. Mesa language manual, version 5.0. Rep. CSL- 79-3, Xerox Palo Alto Research Center, Palo Alto, Calif, Apr. 1979.
• 30: R A Olsson, Issues in distributed programming languages: the evolution of SR, University of Arizona, Tucson, AZ, 1986
• 31: PARR, F. N., AND STROM, R. E. NIL: A high-level language for distributed systems programming. IBM Syst. J. 22, l/2 (1983), 111-:127.
• 32: Titus Douglas Mahlon Purdin, Enhancing file availability in distributed systems (the saguaro file system), 1987
• 33: Richard D. Schlichting , Fred B. Schneider, Fail-stop processors: an approach to designing fault-tolerant computing systems, ACM Transactions on Computer Systems (TOCS), v.1 n.3, p.222-238, August 1983 [doi>10.1145/357369.357371]
• 34: SCHLICHTING, R. D., CRISTIAN, F., AND PURDIN, T. Mechanisms for failure handling in distributed programming languages. TR 87-13, Dept. of Computer Science, Univ. of Arizona, Tucson, Ariz., June 1987.
• 35: Michael L. Scott, Language support for loosely coupled distributed programs, IEEE Transactions on Software Engineering, v.13 n.1, p.88-103, Jan. 1987 [doi>10.1109/TSE.1987.232838]
• 36: STROM, R. E., AND YEMINI, S. NIL: An integrated language and system for distributed{ programming. Res. Rep. RC 9949, IBM Research Division, Yorktown Heights, N.Y., Apr. 1983.
• 37: Andrew S. Tanenbaum , Hans van Staveren , E. G. Keizer , Johan W. Stevenson, A practical tool kit for making portable compilers, Communications of the ACM, v.26 n.9, p.654-660, Sept. 1983 [doi>10.1145/358172.358182]
• 38: WIRTH, N. Modula: A language for modular multiprogramming. Softw. Pratt. Enper. 7, (1977), 3-35.
• 39: Niklaus Wirth, Programming in MODULA-2 (3rd corrected ed.), Springer-Verlag New York, Inc., New York, NY, 1985

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS
      C.2.4 Distributed Systems
          Subjects: Distributed applications

Additional Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS
      C.2.4 Distributed Systems
          Subjects: Network operating systems

  D. Software
  D.1 PROGRAMMING TECHNIQUES
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: SR

General Terms:
Languages