Concurrency and distribution in object-oriented programming

ABSTRACT

This paper aims at discussing and classifying the various ways in which the object paradigm is used in concurrent and distributed contexts. We distinguish among the library approach, the integrative approach, and the reflective approach. The library approach applies object-oriented concepts, as they are, to structure concurrent and distributed systems through class libraries. The integrative approach consists of merging concepts such as object and activity, message passing, and transaction, etc. The reflective approach integrates class libraries intimately within an object-based programming language. We discuss and illustrate each of these and point out their complementary levels and goals.

REFERENCES

• 1: Bruno Achauer, The DOWL distributed object-oriented language, Communications of the ACM, v.36 n.9, p.48-55, Sept. 1993 [doi>10.1145/162685.162703]
• 2: ADA 1983. The Programming Language Ada Reference Manual. In Lecture Notes in Computer Science, vol. 155. Springer-Verlag, New York.
• 3: Gul Agha, Actors: a model of concurrent computation in distributed systems, MIT Press, Cambridge, MA, 1986
• 4: AGHA, G. A., FROLUND, S., PANWAR, R., AND STUR- MAN, D. 1993. A linguistic framework for dynamic composition of dependability protocols. In Dependable Computing for Critical Applications III (DCCA-3). IFIP Transactions, Elsevier-North Holland, Amsterdam, The Netherlands, 197-207.
• 5: Gul Agha , Akinori Yonezawa , Peter Wegner , Samson Abramski, OOPSLA panel on object-based concurrent programming, ACM SIGPLAN OOPS Messenger, v.2 n.2, p.3-15, Apr. 1991
• 6: Gul Agha , Akinori Yonezawa , Peter Wegner , Samson Abramski, OOPSLA panel on object-based concurrent programming, Proceedings of the workshop on Object-based concurrent programming, p.3-15, October 21-25, 1990, Ottawa, Canada
• 7: Gul Agha , Peter Wegner , Akinori Yonezawa, Research directions in concurrent object-oriented programming, MIT Press, Cambridge, MA, 1993
• 8: Mehmet Aksit , Ken Wakita , Jan Bosch , Lodewijk Bergmans , Akinori Yonezawa, Abstracting Object Interactions Using Composition Filters, Proceedings of the Workshop on Object-Based Distributed Programming, p.152-184, July 26-27, 1993
• 9: Pierre America, Pool-T: a parallel object-oriented language, Object-oriented concurrent programming, MIT Press, Cambridge, MA, 1987
• 10: AMERICA, P. H.M. 1988. Definition of Pool2, a parallel object-oriented language. ESPRIT project 415-A, Tech. Rep. 364, Philips Research Laboratories.
• 11: P. America, Issues in the design of a parallel object-oriented language, Formal Aspects of Computing, v.1 n.4, p.366-411, Oct./Dec. 1989
• 12: Pierre America , Frank van der Linden, A parallel object-oriented language with inheritance and subtyping, ACM SIGPLAN Notices, v.25 n.10, p.161-168, Oct. 1990
• 13: Gregory R. Andrews, Concurrent programming: principles and practice, Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, 1991
• 14: Gregory R. Andrews , Ronald A. Olsson, The SR programming language: concurrency in practice, Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, 1993
• 15: BALTER, R., LACOURTE, S., AND RIVEILL, M. 1994. The Guide language. Comput. J. 37, 6, 519- 530.
• 16: BAQUERO, C., OLIVEIRA, R., AND MOURA, F. 1995. Integration of concurrency control in a language with subtyping and subclassing. In Proceedings of the USENIX COOTS Conference (COOTS '95) (Monterey, CA).
• 17: BARGA, R. AND PU, C. 1995. A practical and modular implementation of extended transaction models. Tech. Rep. 95-004, CSE, Oregon Graduate Institute of Science & Technology, Portland, Ore.
• 18: Philip A. Bernstein , Vassco Hadzilacos , Nathan Goodman, Concurrency control and recovery in database systems, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1987
• 19: Brian N. Bershad , Edward D. Lazowska , Henry M. Levy, PRESTO: a system for object-oriented parallel programming, Software—Practice & Experience, v.18 n.8, p.713-732, August 1988 [doi>10.1002/spe.4380180802]
• 20: Jean Bezivin, Some experiments in object-oriented simulation, Conference proceedings on Object-oriented programming systems, languages and applications, p.394-405, October 04-08, 1987, Orlando, Florida, United States
• 21: G.M. Birtwhistle , O.J. Dahl , B. Myhrhaug , K. Nygaard, Simula Begin, Chartwell-Bratt Ltd, 1979
• 22: Andrew P. Black, Understanding transactions in the operating system context, ACM SIGOPS Operating Systems Review, v.25 n.1, p.73-76, Jan. 1991 [doi>10.1145/122140.122149]
• 23: Andrew P. Black , Mark P. Immel, Encapsulating Plurality, Proceedings of the 7th European Conference on Object-Oriented Programming, p.57-79, July 26-30, 1993
• 24: 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]
• 25: Jan van den Bos , Chris Laffra, PROCOL: a concurrent object-oriented language with protocols delegation and constraints, Acta Informatica, v.28 n.6, p.511-538, Sept. 1991 [doi>10.1007/BF01463943]
• 26: Søren Brandt , Ole Lehrmann Madsen, Object-Oriented Distributed Programming in BETA, Proceedings of the Workshop on Object-Based Distributed Programming, p.185-212, July 26-27, 1993
• 27: BRIOT, J.-P. 1989. Actalk: A testbed for classifying and designing actor languages in the Smalltalk-80 environment. In Proceedings European Conference on Object-Oriented Programming (ECOOP '89). Cambridge University Press, New York, 109-129.
• 28: Jean-Pierre Briot, An Experiment in Classification and Specialization of Synchronization Schemes, Proceedings of the Second JSSST International Symposium on Object Technologies for Advanced Software, p.227-249, March 11-15, 1996
• 29: Jean-Pierre Briot , Akinori Yonezawa, Inheritance and synchronization in concurrent OOP, European conference on object-oriented programming on ECOOP '87, p.32-40, October 1987, Paris, France
• 30: Selected papers from the Workshop, on Object-Based Parallel and Distributed Computation, June 1995
• 31: Roy H. Campbell , Nayeem Islam , David Raila , Peter Madany, Designing and implementing Choices: an object-oriented system in C++, Communications of the ACM, v.36 n.9, p.117-126, Sept. 1993 [doi>10.1145/162685.162717]
• 32: Roy H. Campbell , A. Nico Habermann, The specification of process synchronization by path expressions, Operating Systems, Proceedings of an International Symposium, p.89-102, April 23-25, 1974
• 33: CAROMEL, D. 1989. Service, asynchrony and wait-by-necessity. J. Object-Oriented Program. 2, 4.
• 34: Denis Caromel, Concurrency and reusability: from sequential to parallel, Journal of Object-Oriented Programming, v.3 n.3, p.34-42, Sep./Oct. 1990
• 35: Denis Caromel, Toward a method of object-oriented concurrent programming, Communications of the ACM, v.36 n.9, p.90-102, Sept. 1993 [doi>10.1145/162685.162711]
• 36: CAROMEL, D., BELLONCLE, F., AND ROUDIER, Y. 1996. The C++// System. In Parallel Programming Using C+ +, G. V. Wilson and P. Lu, Eds., MIT Press, Cambridge, MA, 257- 296.
• 37: Shigeru Chiba, A metaobject protocol for C++, ACM SIGPLAN Notices, v.30 n.10, p.285-299, Oct. 17, 1995
• 38: FINKE, S., JAHN, P., LANGMACK, O., L(~HR, K.-P., PIENS, I., AND WOLFF, T. 1993. Distribution and inheritance in the HERON approach to heterogeneous computing. In Proceedings of the Thirteenth International Conference on Distributed Computing Systems.
• 39: Svend Frølund, Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages, Proceedings of the European Conference on Object-Oriented Programming, p.185-196, June 29-July 03, 1992
• 40: Svend Frølund, Coordinating distributed objects: an actor-based approach to synchronization, MIT Press, Cambridge, MA, 1996
• 41: GARBINATO, B. AND GUERRAOUI, R. 1997. Using the strategy design pattern to compose reliable distributed protocols. In Proceedings of the Usenix Conference on Object-Oriented Technologies and Systems (COOTS '97) (June), S. Vinoski, Ed., Usenix.
• 42: Benoît Garbinato , Pascal Felber , Rachid Guerraoui, Protocol Classes for Designing Reliable Distributed Environments, Proceedings of the 10th European Conference on Object-Oriented Programming, p.316-343, July 08-12, 1996
• 43: Benoît Garbinato , Rachid Guerraoui , Karim Mazouni, Distributed Programming in GARF, Proceedings of the Workshop on Object-Based Distributed Programming, p.225-239, July 26-27, 1993
• 44: GARBINATO, B., GUERRAOUI, R., AND MAZOUNI, K.R. 1995. Implementation of the GARF Replicated Objects Platform. Distrib. Syst. Eng. J. (Feb.), 14-27.
• 45: Adele Goldberg , David Robson, Smalltalk-80: the language and its implementation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1983
• 46: Rachid Guerraoui, Modular atomic objects, Theory and Practice of Object Systems, v.1 n.2, p.89-99, 1995
• 47: Rachid Guerraoui , Riccardo Capobianchi , Agnes Lanusse , Pierre Roux, Nesting Actions through Asynchronous Message Passing: the ACS Protocol, Proceedings of the European Conference on Object-Oriented Programming, p.170-184, June 29-July 03, 1992
• 48: GUERRAOUI, R., NIERSTRASZ, O., AND RIVEILL, M., EDS. 1994. Proceedings of the ECOOP '93 Workshop on Object-Based Distributed Programming. Lecture Notes in Computer Science, vol. 791. Springer-Verlag, New York.
• 49: Rachid Guerraoui, Strategic directions in object-oriented programming, ACM Computing Surveys (CSUR), v.28 n.4, p.691-700, Dec. 1996 [doi>10.1145/242223.242275]
• 50: GUNASEELAN, L. AND LEBLANC, R. J. 1992. Distributed Eiffel: A language for programming multi-granular distributed objects. In Proceedings of the Fourth International Conference on Computer Languages. IEEE Computer Science Press, Los Alamitos, Calif.
• 51: Robert H. Halstead, Jr., MULTILISP: a language for concurrent symbolic computation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.4, p.501-538, Oct. 1985 [doi>10.1145/4472.4478]
• 52: JEZEQUEL, J.-M. 1993. EPEE: An Eiffel environment to program distributed-memory parallel computers. J. Object-Oriented Program. 6,2.
• 53: 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]
• 54: Dennis Kafura, ACT++: building a concurrent C++ with actors, Journal of Object-Oriented Programming, v.3 n.1, p.25-37, May/Jun. 1990
• 55: Laxmikant V. Kale , Sanjeev Krishnan, CHARM++: a portable concurrent object oriented system based on C++, ACM SIGPLAN Notices, v.28 n.10, p.91-108, Oct. 1, 1993
• 56: Murat Karaorman , John Bruno, Introducing concurrency to a sequential language, Communications of the ACM, v.36 n.9, p.103-115, Sept. 1993 [doi>10.1145/162685.162715]
• 57: Alan Curtis Kay, The reactive engine, 1969
• 58: KICZALES, G., ED. 1994. Foil for the workshop on open implementation. Available at ht tp : //www. parc. xerox, com/PARC/spl/eca/ oi/workshop- 94 / foil/main, html .
• 59: Gregor Kiczales , Jim des Rivières , Daniel G. Bobrow, The art of metaobject protocol, MIT Press, Cambridge, MA, 1991
• 60: Douglas Lea, Concurrent Programming in Java(TM): Design Principles and Patterns (3rd Edition) (Java (Addison-Wesley)), Addison-Wesley Professional, 2006
• 61: Rodger Lea , Christian Jacquemot , Eric Pillevesse, COOL: system support for distributed programming, Communications of the ACM, v.36 n.9, p.37-46, Sept. 1993 [doi>10.1145/162685.162699]
• 62: Ole Lehrmann Madsen , Birger Mø-Pedersen , Kristen Nygaard, Object-oriented programming in the BETA programming language, ACM Press/Addison-Wesley Publishing Co., New York, NY, 1993
• 63: Henry Lieberman, Concurrent object-oriented programming in Act 1, Object-oriented concurrent programming, MIT Press, Cambridge, MA, 1987
• 64: 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]
• 65: Klaus-Peter Löhr, Concurrency annotations, ACM SIGPLAN Notices, v.27 n.10, p.327-340, Oct. 1992
• 66: Klaus-Peter Löhr, Concurrency annotations for reusable software, Communications of the ACM, v.36 n.9, p.81-89, Sept. 1993 [doi>10.1145/162685.162708]
• 67: Cristina Videira Lopes , Karl J. Lieberherr, Abstracting Process-to-Function Relations in Concurrency Object-Oriented Applications, Proceedings of the 8th European Conference on Object-Oriented Programming, p.81-99, July 04-08, 1994
• 68: Pattie Maes, Concepts and experiments in computational reflection, ACM SIGPLAN Notices, v.22 n.12, p.147-155, Dec. 1987
• 69: MAFFEIS, S. 1995. Run-time support for objectoriented distributed programming. Ph.D. Dissertation, Universitfit Zfirich.
• 70: Hidehiko Masuhara , Satoshi Matsuoka , Kenichi Asai , Akinori Yonezawa, Compiling away the meta-level in object-oriented concurrent reflective languages using partial evaluation, ACM SIGPLAN Notices, v.30 n.10, p.300-315, Oct. 17, 1995
• 71: Satoshi Matsuoka , Akinori Yonezawa, Analysis of inheritance anomaly in object-oriented concurrent programming languages, Research directions in concurrent object-oriented programming, MIT Press, Cambridge, MA, 1993
• 72: MAZOUNI, K., GARBINATO, B., AND GUERRAOUI, R. 1995. Building reliable client-server software using actively replicated objects. In Proceedings of TOOLS Europe '95, Prentice- Hall, Englewood Cliffs, NJ, 37-53.
• 73: Jeff McAffer, Meta-level Programming with CodA, Proceedings of the 9th European Conference on Object-Oriented Programming, p.190-214, August 07-11, 1995
• 74: MCHALE, C. 1994. Synchronisation in concurrent, object-oriented languages: Expressive power, genericity and inheritance. Ph.D. dissertation. Dept. of Computer Science, Trinity College, Dublin, Ireland.
• 75: Bertrand Meyer, Eiffel: the language, Prentice-Hall, Inc., Upper Saddle River, NJ, 1992
• 76: Bertrand Meyer, Systematic concurrent object-oriented programming, Communications of the ACM, v.36 n.9, p.56-80, Sept. 1993 [doi>10.1145/162685.162705]
• 77: J. Eliot B. Moss , Walter H. Kohler, Concurrency features for the Trellis/Owl language, European conference on object-oriented programming on ECOOP '87, p.171-180, October 1987, Paris, France
• 78: Thomas J. Mowbray , Ron Zahavi, The essential CORBA: systems integration using distributed objects, John Wiley & Sons, Inc., New York, NY, 1995
• 79: John R. Nicol , C. Thomas Wilkes , Frank A. Manola, Object orientation in heterogeneous distributed computing systems, Computer, v.26 n.6, p.57-67, June 1993 [doi>10.1109/2.214434 ]
• 80: Hideaki Okamura , Yutaka Ishikawa, Object Location Control Using Meta-level Programming, Proceedings of the 8th European Conference on Object-Oriented Programming, p.299-319, July 04-08, 1994
• 81: OMG 1995. The Common Object Request Broker: Architecture and Specification (Revision 2.0). Object Management Group, Framingham, MA.
• 82: OSF 1994. DCE Application Development Guide (Revision 1.0.2). Open Software Foundation, Cambridge, MA.
• 83: PAPATHOMAS, M. 1989. Concurrency issues in object-oriented programming languages. In Object-Oriented Development, D. C. Tsichritzis, ed. Centre Universitaire d'Informatique, Universit6 de Gen~ve, Geneva, Switzerland.
• 84: Michael Papathomas, Concurrency in object-oriented programming languages, Object-oriented software composition, Prentice Hall International (UK) Ltd., Hertfordshire, UK, 1995
• 85: G. D. Parrington , S. K. Shrivastava, Implementing concurrency control in reliable distributed object-oriented systems, on ECOOP '88 (European Conference on Object-Oriented Programming), p.233-249, August 1988, Oslo, Norway
• 86: Marc Rozier, Chorus, Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, p.39-70, April 27-28, 1992
• 87: SCHILL, A. AND MOCK, M. 1993. DC++: Distributed object-oriented system support on top of OSF DCE. Distrib. Syst. Eng. 1, 2, 112-125.
• 88: SCHMID, D. C. 1995. An OO encapsulation of lightweight OS concurrency mechanisms in the ACE toolkit. Tech. Rep. TR WUCS-95-31, Dept. of Computer Science, Washington University, St. Louis, Mo.
• 89: Wolfgang Schröder-Preikschat, The logical design of parallel operating systems, Prentice-Hall, Inc., Upper Saddle River, NJ, 1994
• 90: SHEFFLER, T. J. 1996. The Amelia vector ternplate library. In Parallel Programming Using C+ +, G. V. Wilson and P. Lu, eds. MIT Press, Cambridge, MA, 43-90.
• 91: SKJELLUM, A., LU, Z., BANGALORE, P. V., AND DOSS, N. 1996. MPI++. In Parallel Programming Using C+ +, G. V. Wilson and P. Lu, eds. MIT Press, Cambridge, MA, 465-506.
• 92: Bjarne Stroustrup, The C++ programming language (2nd ed.), Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1991
• 93: STURMAN, D. AND AGHA, G. 1994. A protocol description language for customizing failure semantics. In Proceedings of the Thirteenth International Symposium on Reliable Distributed Systems, 148-157.
• 94: SUN 1995. C++4.1 Library Reference Manual, Section 2. Part No. 802-3045-10, Nov., Sun Microsystems, Inc.
• 95: Laurent Thomas, Extensibility and Reuse of Object-Oriented Synchronization Components, Proceedings of the 4th International PARLE Conference on Parallel Architectures and Languages Europe, p.261-275, June 15-18, 1992
• 96: TOKORO, M., NIERSTRASZ, O. M., AND WEGNER, P., EDS. 1992. Proceedings ECOOP '91 Workshop on Object-Based Concurrent Computing. Lecture Notes in Computer Science, vol. 612. Springer-Verlag, New York.
• 97: Peter Wegner, Concepts and paradigms of object-oriented programming, ACM SIGPLAN OOPS Messenger, v.1 n.1, p.7-87, Aug. 1990 [doi>10.1145/382192.383004]
• 98: W. E. Weihl, Local atomicity properties: modular concurrency control for abstract data types, ACM Transactions on Programming Languages and Systems (TOPLAS), v.11 n.2, p.249-282, April 1989 [doi>10.1145/63264.63518]
• 99: Gregory V. Wilson , Paul Lu , Bjane Stroustrup, Parallel Programming Using C++, MIT Press, Cambridge, MA, 1996
• 100: Yasuhiko Yokote, The Apertos reflective operating system: the concept and its implementation, ACM SIGPLAN Notices, v.27 n.10, p.414-434, Oct. 1992
• 101: Yasuhiko Yokote , Mario Tokoro, Experience and evolution of concurrent Smalltalk, ACM SIGPLAN Notices, v.22 n.12, p.406-415, Dec. 1987
• 102: A Yonezawa , M Tokoro, Object-oriented concurrent programming, MIT Press, Cambridge, MA, 1986
• 103: Akinori Yonezawa , Jean-Pierre Briot , Etsuya Shibayama, Object-oriented concurrent programming ABCL/1, Conference proceedings on Object-oriented programming systems, languages and applications, p.258-268, September 29-October 02, 1986, Portland, Oregon, United States
• 104: Akinori Yonezawa , Satoshi Matsuoka , Masahiro Yasugi , Kenjiro Taura, Implementing Concurrent Object-Oriented Languages on Multicomputers, IEEE Parallel & Distributed Technology: Systems & Technology, v.1 n.2, p.49-61, May 1993 [doi>10.1109/88.218175 ]

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS

Additional Classification:
  C. Computer Systems Organization
  C.1 PROCESSOR ARCHITECTURES

  D. Software
  D.1 PROGRAMMING TECHNIQUES
  D.3 PROGRAMMING LANGUAGES
  D.4 OPERATING SYSTEMS

  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE

General Terms:
Languages, Performance, Reliability

Keywords:
concurrency, distribution, integration, libraries, message passing, object, reflection