Concurrency and Distribution in Object-Oriented Programming

ACM Computing Surveys

Volumn 30, Issue 3, 1998, Pages 291-329

  Briot, Jean Pierre ^a   Guerraoui, Rachid ^b   Lohr, Klaus Peter ^c  

^a UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

^b EPFL   (Switzerland)

^c FREIE UNIVERSITÄT BERLIN   (Germany)

Author keywords

C.1.2 Processor Architectures : Multiple Data Stream Architectures; C.2.4 Computer Communication Networks : Distributed Systems; D.1 Software : Programming Techniques; D.3.2 Programming Languages : Language Classifications

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SYSTEMS PROGRAMMING; DATA COMMUNICATION SYSTEMS; DISTRIBUTED COMPUTER SYSTEMS; SUBROUTINES;

MESSAGE PASSING;

OBJECT ORIENTED PROGRAMMING;

EID: 0032158291     PISSN: 03600300     EISSN: None     Source Type: Journal    
DOI: 10.1145/292469.292470     Document Type: Article

References (104)

1. ACHAUER, B. 1993. The Dowl distributed object-oriented language. Commun. ACM 36, 9.
2. ADA 1983. The Programming Language Ada Reference Manual. In Lecture Notes in Computer Science, vol. 155. Springer-Verlag, New York.
3. AGHA, G. 1986. Actors: A Model of Concurrent Computation in Distributed Systems. Series in Artificial Intelligence, MIT Press, Cambridge, MA.
4. AGHA, G. A., FRØLUND, S., PANWAR, R., AND STURMAN, 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. AGHA, G. A., HEWITT, C., WEGNER, P., AND YONEZAWA, A., EDS. 1991. Proceedings of the OOPSLA/ECOOP '90 Workshop on Object-Based Concurrent Programming, ACM OOPS Mess. 2, 2.
6. AGHA, G. A., WEGNER, P., AND YONEZAWA, A., EDS. 1989. Proceedings of the ACM SIGPLAN Workshop on Object-Based Concurrent Programming, ACM SIGPLAN Not. 24, 4.
7. AGHA, G. A., WEGNER, P., AND YONEZAWA, A., EDS. 1993. Research Directions in Concurrent Object-Oriented Programming, MIT Press, Cambridge, MA.
8. AKSIT, M., WAKITA, K., BOSCH, J., BERGMANS, L., AND YONEZAWA, A. 1994. Abstracting object interactions using composition filters. In Proceedings of the ECOOP '93 Workshop on Object-Based Distributed Programming, Guerraoui et al., Eds. Lecture Notes in Computer Science, vol. 791. Springer-Verlag, New York, pp. 152-184.
9. AMERICA, P. H. M. 1987. Pool-T: A parallel object-oriented language. In Object-Oriented Concurrent Programming, A. Yonezawa and M. Tokoro, Eds. Computer Systems Series, MIT Press, Cambridge, MA.
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. AMERICA, P. H. M. 1989. Issues in the design of a parallel object-oriented language. Formal Aspects Comput. 1, 366-411.
12. AMERICA, P. H. M. AND VAN DER LINDEN, F. 1990. A parallel object-oriented language with inheritance and subtyping. In Proceedings of OOPSLA/ECOOP '90, ACM SIGPLAN Not. 25, 10.
13. ANDREWS, G. R. 1991. Concurrent Programming - Principles and Practice. Benjamin/ Cummings, Redwood City, CA.
14. ANDREWS, G. R. AND OLSSON, R. A. 1993. The SR Programming Language. Benjamin/Cummings, Redwood City, CA.
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. BERNSTEIN, P., HADZILACOS, V., AND GOODMAN, N. 1987. Concurrency Control and Recovery in Database Systems. Addison-Wesley, Reading, MA.
19. BERSHAD, B. N., LAZOWSKA, E. D., AND LEVY, H. M. 1988. PRESTO: A system for object-oriented parallel programming. Softw. Pract. Exper. 18, 8, 713-732.
20. BÉZIVIN, J. 1987. Some experiments in object-oriented simulation. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA '87), 394-405.
21. BIRTWISTLE, G. M., DAHL, O.-J., MYHRHAUG, B., AND NYGAARD, K. 1973. Simula Begin. Petrocelli Charter.
22. BLACK, A. P. 1991. Understanding transactions in the operating system context. Oper. Syst. Rev. 25, 73-77.
23. BLACK, A. P. AND IMMEL, M. P. 1993. Encapsulating plurality. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP '93). Lecture Notes in Computer Science, vol. 707. Springer-Verlag, New York, 57-79.
24. BLACK, A. P., HUTCHINSON, N., JUL, E., LEVY, H., AND CARTER, L. 1987. Distribution and abstract types in Emerald. IEEE Trans. Softw. Eng. 13, 1.
25. VAN DEN BOS, J. AND LAFFRA, C. 1991. Procol - A concurrent object-oriented language with protocols, delegation and constraints. Acta Inf. 28, 511-538.
26. BRANDT, S. AND LEHRMANN MADSEN, O. 1994. Object-oriented distributed programming in BETA. In Proceedings of the ECOOP '93 Workshop on Object-Based Distributed Programming, R. Guerraoui et al. Eds. Lecture Notes in Computer Science, vol. 791. Springer-Verlag, New York, 185-212.
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. BRIOT, J.-P. 1996. An experiment in classification and specialization of synchronisation schemes. In Proceedings of the Second International Symposium on Object Technologies for Advanced Software (ISOTAS '96). Lecture Notes in Computer Science, Springer-Verlag, New York.
29. BRIOT, J.-P. AND YONEZAWA, A. 1987. Inheritance and synchronisation in concurrent OOP. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP '87). Lecture Notes in Computer Science, vol. 276. Springer-Verlag, New York, 32-40.
30. BRIOT, J.-P., GEIB, J.-M., AND YONEZAWA, A., EDS. 1995. In Proceedings of the France-Japan Workshop on Object-Based Parallel and Distributed Computation. Lecture Notes in Computer Science, vol. 1107. Springer-Verlag, New York.
31. CAMPBELL, R., ISLAM, N., RAILA, D., AND MADANY, P. 1993. Designing and implementing Choices: An object-oriented system in C++. Commun. ACM 36, 9, 117-126.
32. CAMPBELL, R. H. AND HABERMANN, A. N. 1974. The specification of process synchronisation by path expressions. In Operating Systems, E. Gelenbe and C. Kaiser, Eds.
33. CAROMEL, D. 1989. Service, asynchrony and wait-by-necessity. J. Object-Oriented Program. 2, 4.
34. CAROMEL, D. 1990. Concurrency and reusability: From sequential to parallel. J. Object-Oriented Program. 3, 3.
35. CAROMEL, D. 1993. Towards a method of object-oriented concurrent programming. Commun ACM 36, 9, 90-102.
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. CHIBA, S. 1995. A metaobject protocol for C++. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA '95), Special Issue of SIGPLAN Not. 30, 10 (Oct.), 285-299.
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. FRØLUND, S. 1992. Inheritance of synchronisation constraints in concurrent object-oriented programming languages. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP '92). Lecture Notes in Computer Science, vol. 615. Springer-Verlag, New York.
40. FRØLUND, S. 1996. Coordinating Distributed Objects. MIT Press, Cambridge, MA.
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. GARBINATO, B., FELBER, P., AND GUERRAOUI, R. 1996. Protocol classes for designing reliable designing reliable distributed environments. In Proceedings of the European Conference on Object Oriented Programming (ECOOP '96), (June) P. Cointe, Ed. Lecture Notes in Computer Science, vol. 1098. Springer-Verlag, New York, 316-343.
43. GARBINATO, B., GUERRAOUI, R., AND MAZOUNI, K. R. 1994. Distributed programming in GARF. In Proceedings of the ECOOP '93 Workshop on Object-Based Distributed Programming, LNCS 791, Springer-Verlag, 225-239.
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. GOLDBERG, A. AND ROBSON, D. 1989. Smalltalk-80. The Language. Addison-Wesley, Reading, MA.
46. GUERRAOUI, R. 1995. Modular atomic objects. Theor. Pract. Object Syst. 1, 2, 89-99.
47. GUERRAOUI, R., CAPOBIANCHI, R., LANUSSE, A., AND ROUX, P. 1992. Nesting actions through asynchronous message passing: The ACS protocol. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP '92). Lecture Notes in Computer Science, vol. 615. Springer-Verlag, New York, 170-184.
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. GUERRAOUI, R., ET AL. 1996. Strategic research directions in object oriented programming. ACM Comput. Surv. 28, 4, 691-700.
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. HALSTEAD, R. H. 1985. Multilisp: A language for concurrent symbolic computation. ACM Trans. Program. Lang. Syst. 7, 4.
52. JÉZÉQUEL, J.-M. 1993. EPEE: An Eiffel environment to program distributed-memory parallel computers. J. Object-Oriented Program. 6, 2.
53. JUL, E., LEVY, H. M., HUTCHINSON, N. C., AND BLACK, A. P. 1988. Fine-grained mobility in the Emerald system. ACM Trans. Comput. Syst. 6, 1.
54. KAFURA, D. G. AND LEE, K. H. 1990. ACT++: Building a concurrent C++ with actors. J. Object-Oriented Program. 3, 1.
55. KALÉ, L. V. AND KRISHNAN, S. 1993. Charm++: A portable concurrent object-oriented system based on C++. In Proceedings of the ACM Conference on Object-Oriented Systems, Languages and Applications (OOPSLA '93), ACM SIGPLAN Not. 28.
56. KARAORMAN, M. AND BRUNO, J. 1993. Introducing concurrency to a sequential language. Commun. ACM 36, 9, 103-116.
57. KAY, A. 1969. The reactive engine. Ph.D. Thesis, University of Utah.
58. KICZALES, G., ED. 1994. Foil for the workshop on open implementation. Available at http: //www.parc.xerox.com/PARC/spl/eca/ oi/workshop-94/foil/main.html.
59. KICZALES, G., DES RIVIERES, J., AND BOBROW, D. 1991. The Art of the Meta-Object Protocol, MIT Press, Cambridge, MA.
60. LEA, D. 1997. Concurrent Programming in Java. Addison-Wesley, Reading, MA.
61. LEA, R., JACQUEMOT, C., AND PILLEVESSE, E. 1993. COOL: System support for distributed programming. Commun. ACM 36, 9, 37-47.
62. LEHRMANN MADSEN, O., MØLLER-PEDERSEN, B., AND NYGAARD, K. 1993. Object-Oriented Programming in the BETA Programming Language. Addison-Wesley, Reading, MA.
63. LIEBERMAN, H. 1987. Concurrent object-oriented programming in Act 1. In Object-Oriented Concurrent Programming, A. Yonezawa and M. Tokoro, Eds., Computer Systems Series, MIT Press, Cambridge, MA, 9-36.
64. LISKOV, B. AND SHEIFLER, R. 1983. Guardians and actions: Linguistic support for robust, distributed programs. ACM Trans. Program. Lang. Syst. 5, 3.
65. LÖHR, K.-P. 1992. Concurrency annotations. In Proceedings of the ACM Conference on Object-Oriented Systems, Languages and Applications (OOPSLA '92), ACM SIGPLAN Not. 27, 10.
66. LÖHR, K.-P. 1993. Concurrency annotations for reusable software. Commun. ACM 36, 9, 81-89.
67. LOPES, C. V. AND LIEBERHERR, K. J. 1994. Abstracting process-to-function relations in concurrent object-oriented applications. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP '94). Lecture Notes in Computer Science, vol. 821. Springer-Verlag, New York, 81-99.
68. MAES, P. 1987. Concepts and experiments in computational reflection. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA '87), ACM SIGPLAN Not. 22, 12, 147-155.
69. MAFFEIS, S. 1995. Run-time support for object-oriented distributed programming. Ph.D. Dissertation, Universität Zürich.
70. MASUHARA, H., MATSUOKA, S., ASAI, K., AND YONEZAWA, A. 1995. Compiling away the metalevel in object-oriented concurrent reflective languages using partial evaluation. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA '95), ACM SIGPLAN Not. 30, 10, 300-315.
71. MATSUOKA, S. AND YONEZAWA, A. 1993. Analysis of inheritance anomaly in object-oriented concurrent programming languages. In Research Directions in Concurrent Object-Oriented Programming, G. A. Agha et al., Eds., MIT Press, Cambridge, MA, 107-150.
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. MCAFFER, J. 1995. Meta-level programming with CodA. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP '95). Lecture Notes in Computer Science, vol. 952. Springer-Verlag, New York, 190-214.
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. MEYER, B. 1991. Eiffel: The Language, Prentice-Hall, Englewood Cliffs, NJ.
76. MEYER, B. 1993. Systematic concurrent object-oriented programming. Commun. ACM 36, 9, 56-80.
77. Moss, J. E. B. AND KOHLER, W. H. 1987. Concurrency features for the Trellis/Owl language. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP '87). Lecture Notes in Computer Science, vol. 276. Springer-Verlag, New York.
78. MOWBRAY, T. J. AND ZAHAVI, R. 1995. The Essential CORBA: System Integration Using Distributed Objects. John Wiley & Sons and The Object Management Group, New York.
79. NICOL, J., WILKES, T., AND MANOLA, F. 1993. Object-orientation in heterogeneous distributed computing systems. IEEE Comput. 26, 6, 57-67.
80. OKAMURA, H. AND ISHIKAWA, Y. 1994. Object location control using metalevel programming. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP '94). Lecture Notes in Computer Science, vol. 821. Springer-Verlag, New York, 299-319.
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. Tsichritizis, ed. Centre Universitaire d'Informatique, Université de Genève, Geneva, Switzerland.
84. PAPATHOMAS, M. 1995. Concurrency in object-oriented programming languages. In Object-Oriented Software Composition, O. Nierstrasz and D. Tsichritzis, Eds. Prentice-Hall, Englewood Cliffs, NJ, 31-68.
85. PARRINGTON, G. D. AND SHRIVASTAVA, S. K. 1988. Implementing concurrency control in reliable distributed object-oriented systems. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP '88). Lecture Notes in Computer Science, vol. 322. Springer-Verlag, New York, 234-249.
86. ROZIER, M. 1992. Chorus. In Proceedings of the Usenix International Conference on MicroKernels and Other Kernel Architectures, 27-28.
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. SCHRÖDER-PREIKSCHAT, W. 1994. The Logical Design of Parallel Operating Systems. Prentice-Hall, Englewood Cliffs, NJ.
90. SHEFFLER, T. J. 1996. The Amelia vector template 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. STROUSTRUP, B. 1993. The C++ Programming Language. Addison-Wesley, Reading, MA.
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. THOMAS, L. 1992. Extensibility and reuse of object-oriented synchronisation components. In Proceedings of the International Conference on Parallel Languages and Environments (PARLE '92). Lecture Notes in Computer Science, vol. 605. Springer-Verlag, New York, 261-275.
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. WEGNER, P. 1990. Concepts and paradigms of object-oriented programming. ACM OOPS Manager 1, 1.
98. WEIHL, W. 1989. Local atomicity properties: Modular concurrency control for abstract data types. ACM Trans. Program. Lang. Syst. 11, 2.
99. WILSON, G. V. AND LU, P., EDS. 1996. Parallel Programming Using C++. MIT Press, Cambridge, MA.
100. YOKOTE, Y. 1992. The Apertos reflective operating system: The concept and its implementation. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA '92). ACM SIGPLAN Not. 27, 10, 414-434.
101. YOKOTE, Y. AND TOKORO, M. 1987. Experience and evolution of Concurrent Smalltalk. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA '87). ACM SIGPLAN Not. 22, 12.
102. YONEZAWA, A. AND TOKORO, M., EDS. 1987. Object-Oriented Concurrent Programming. Computer Systems Series, MIT Press, Cambridge, MA.
103. YONEZAWA, A., BRIOT, J.-P., AND SHIBAYAMA, E. 1986. Object-oriented concurrent programming in ABCL/1. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA '86). ACM SIGPLAN Not. 21, 11.
104. YONEZAWA, A., MATSUOKA, S., YASUGI, M., AND TAURA, K. 1993. Implementing concurrent object-oriented languages on multicomputers. IEEE Parallel Distrib. Technol. (May).