Comparing data synchronization in Ada 9X and Orca

ABSTRACT

Protected object types are one of three major extensions to Ada 83 proposed by Ada 9X. This language feature is intended for light-weight data synchronization between tasks. The Orca parallel programming language has a very similar construct, the shared data-object, with which we have over five years of experience, both in usage and implementation. This paper compares protected objects and shared data-objects, with regard to design, usage, and implementation.

REFERENCES

• 1: 1. H.E. Bal and A.S. Tanenbaum, "Distributed Programming with Shared Data," Proc. IEEE CS 1988 Int. Conf. on Computer Languages, Miami, FL, pp. 82-91 (Oct. 1988).
• 2: Henri E. Bal , M. Frans Kaashoek , Andrew S. Tanenbaum, Orca: A Language for Parallel Programming of Distributed Systems, IEEE Transactions on Software Engineering, v.18 n.3, p.190-205, March 1992 [doi>10.1109/32.126768]
• 3: Andrew S. Tanenbaum , M. Frans Kaashoek , Henri E. Bal, Parallel Programming Using Shared Objects and Broadcasting, Computer, v.25 n.8, p.10-19, August 1992 [doi>10.1109/2.153276]
• 4: Henri E. Bal, Programming distributed systems, Silicon Press, Summit, NJ, 1990
• 5: 5. M.F. Kaashoek, "Group Communication in Distributed Computer Systems," Ph.D. thesis, Vrije Universiteit, Amsterdam (Dec. 1992).
• 6: 6. Intermetrics, Inc., Programming Language Ada - Language and Standard Libraries (Draft Version 4.0), Sept. 1993.
• 7: 7. Intermetrics, Inc., Rationale for the Programming Language Ada - Language and Standard Libraries (Draft Version 4.0), Sept. 1993.
• 8: S. Tucker Taft, Ada 9X: a technical summary, Communications of the ACM, v.35 n.11, p.77-82, Nov. 1992 [doi>10.1145/138844.138850]
• 9: S. Tucker Taft, Ada 9X: from abstraction-oriented to object-oriented, Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, p.127-136, September 26-October 01, 1993, Washington, D.C., United States
• 10: J. G. P. Barnes, Programming in Ada plus an overview of Ada 9X (4th ed.), Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1993
• 11: John Barnes, Introducing Ada 9X, ACM SIGAda Ada Letters, v.XIII n.6, p.61-132, Nov./Dec. 1993 [doi>10.1145/164982.164992]
• 12: Henri Bal , Dick Grune, Programming Language Essentials, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1994
• 13: Laxmikant V. Kale , Sanjeev Krishnan, CHARM++: a portable concurrent object oriented system based on C++, Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, p.91-108, September 26-October 01, 1993, Washington, D.C., United States
• 14: Andrew S. Grimshaw, Easy-to-Use Object-Oriented Parallel Processing with Mentat, Computer, v.26 n.5, p.39-51, May 1993 [doi>10.1109/2.211896]
• 15: Martin C. Rinard , Daniel J. Scales , Monica S. Lam, Jade: A High-Level, Machine-Independent Language for Parallel Programming, Computer, v.26 n.6, p.28-38, June 1993 [doi>10.1109/2.214440]
• 16: Matthew Haines , Bryan Hess , Piyush Mehrotra , Author: , and H Zima, RUNTIME SUPPORT FOR DATA PARALLEL TASKS, Institute for Computer Applications in Science and Engineering (ICASE), 1994
• 17: Kai Li , Paul Hudak, Memory coherence in shared virtual memory systems, ACM Transactions on Computer Systems (TOCS), v.7 n.4, p.321-359, Nov. 1989 [doi>10.1145/75104.75105]
• 18: 18. P. Brinch Hansen, "The Programming Language Concurrent Pascal," IEEE Trans. Softw. Eng. SE-1(2), pp. 199-207 (June 1975).
• 19: 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]
• 20: A. Burns , A. J. Wellings, In support of the Ada 9X real-time facilities, ACM SIGAda Ada Letters, v.XII n.1, p.53-64, Jan./Feb. 1992 [doi>10.1145/141454.141463]
• 21: Henri E. Bal , Jennifer G. Steiner , Andrew S. Tanenbaum, Programming languages for distributed computing systems, ACM Computing Surveys (CSUR), v.21 n.3, p.261-322, Sep. 1989 [doi>10.1145/72551.72552]
• 22: 22. L. Lamport, "How To Make a Multiprocessor Computer that Correctly Executes Multiprocess Programs," IEEE Trans. on Computers 28(9), pp. 690-691 (Sept. 1979).
• 23: George S. Almasi , Allan Gottlieb, Highly parallel computing (2nd ed.), Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, 1994
• 24: Andrew D. Birrell , Bruce Jay Nelson, Implementing remote procedure calls, ACM Transactions on Computer Systems (TOCS), v.2 n.1, p.39-59, February 1984 [doi>10.1145/2080.357392]
• 25: Henri E. Bal , M. Frans Kaashoek, Object distribution in Orca using Compile-Time and Run-Time techniques, Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, p.162-177, September 26-October 01, 1993, Washington, D.C., United States
• 26: 26. C.A.R. Hoare, "Towards a Theory of Parallel Programming," pp. 61-71 in Operating Systems Techniques, ed. C.A.R. Hoare and R.H. Perrott, Academic Press, New York (1972).
• 27: Eric Jul , Henry Levy , Norman Hutchinson , Andrew Black, Fine-grained mobility in the Emerald system, ACM Transactions on Computer Systems (TOCS), v.6 n.1, p.109-133, Feb. 1988 [doi>10.1145/35037.42182]
• 28: N. H. Gehani, Capsules: A Shared Memory Access Mechanism for Concurrent C/C++, IEEE Transactions on Parallel and Distributed Systems, v.4 n.7, p.795-811, July 1993 [doi>10.1109/71.238301]

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: Ada

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: Orca
      D.3.3 Language Constructs and Features
          Subjects: Procedures, functions, and subroutines

General Terms:
Languages, Theory