Mirages: behavioral intercession in a mirror-based architecture

ABSTRACT

Mirror-based systems are object-oriented reflective architectures built around a set of design principles that lead to reflective APIs which foster a high degree of reusability, loose coupling with base-level objects and whose structure and design corresponds to the system being mirrored. However, support for behavioral intercession has been limited in contemporary mirror-based architectures, in spite of its many interesting applications. This is due to the fact that mirror-based architectures only support explicit reflection, while behavioral intercession requires implicit reflection. This work reconciles mirrors with behavioral intercession. We discuss the design of a mirror-based architecture with implicit mirrors that can be absorbed in the interpreter, and mirages, base objects whose semantics are defined by implicit mirrors. We describe and illustrate the integration of this reflective architecture for the distributed object-oriented programming language AmbientTalk.

REFERENCES

• 1: AGESEN, O., BAK, L., CHAMBERS, C., CHANG, B.-W., HÖLSZLE, U., MALONEY, J., SMITH, R., UNGAR, D., AND WOLCZKO, M. The SELF 4.1 programmer's reference manual. Tech. rep., Sun Microsystems, Inc. and Stanford University, 2000.
• 2: Gul Agha, Actors: a model of concurrent computation in distributed systems, MIT Press, Cambridge, MA, 1986
• 3: Christoph Bockisch , Michael Haupt , Mira Mezini , Klaus Ostermann, Virtual machine support for dynamic join points, Proceedings of the 3rd international conference on Aspect-oriented software development, p.83-92, March 22-24, 2004, Lancaster, UK [doi>10.1145/976270.976282]
• 4: Gilad Bracha , David Griswold, Strongtalk: typechecking Smalltalk in a production environment, Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, p.215-230, September 26-October 01, 1993, Washington, D.C., United States
• 5: Gilad Bracha , David Ungar, Mirrors: design principles for meta-level facilities of object-oriented programming languages, Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 24-28, 2004, Vancouver, BC, Canada
• 6: John Brant , Brian Foote , Ralph E. Johnson , Don Roberts, Wrappers to the Rescue, Proceedings of the 12th European Conference on Object-Oriented Programming, p.396-417, July 20-24, 1998
• 7: CAROMEL, D. Service, asynchrony and wait-by-necessity. Journal of Object-Oriented Programming 2, 4 (November-December 1989), 12--18.
• 8: Shigeru Chiba , Muga Nishizawa, An easy-to-use toolkit for efficient Java bytecode translators, Proceedings of the 2nd international conference on Generative programming and component engineering, p.364-376, September 22-25, 2003, Erfurt, Germany
• 9: Jessie Dedecker , Tom Van Cutsem , Stijn Mostinckx , Theo D'Hondt , Wolfgang De Meuter, Ambient-oriented programming, Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 16-20, 2005, San Diego, CA, USA [doi>10.1145/1094855.1094867]
• 10: DENKER, M., DUCASSE, S., AND TANTER, É. Runtime bytecode transformation for Smalltalk. Journal of Computer Languages, Systems and Structures 32, 2-3 (2006), 125--139.
• 11: DUCASSE, S. Evaluating message passing control techniques in Smalltalk. Journal of Object-Oriented Programming 12, 6 (1999), 39--44.
• 12: Erik Hilsdale , Jim Hugunin, Advice weaving in AspectJ, Proceedings of the 3rd international conference on Aspect-oriented software development, p.26-35, March 22-24, 2004, Lancaster, UK [doi>10.1145/976270.976276]
• 13: Gregor Kiczales , Jim Des Rivieres, The Art of the Metaobject Protocol, MIT Press, Cambridge, MA, 1991
• 14: LIEBERHERR, K., Ed. Proceedings of the 3rd International Conference on Aspect-Oriented Software Development (2004), ACM Press.
• 15: Henry Lieberman, Using prototypical objects to implement shared behavior in object-oriented systems, Conference proceedings on Object-oriented programming systems, languages and applications, p.214-223, September 29-October 02, 1986, Portland, Oregon, United States
• 16: B. Liskov , L. Shrira, Promises: linguistic support for efficient asynchronous procedure calls in distributed systems, Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, p.260-267, June 20-24, 1988, Atlanta, Georgia, United States
• 17: Pattie Maes, Concepts and experiments in computational reflection, Conference proceedings on Object-oriented programming systems, languages and applications, p.147-155, October 04-08, 1987, Orlando, Florida, United States
• 18: Pattie Maes , D. Nardi, Meta-Level Architectures and Reflection, Elsevier Science Inc., New York, NY, 1988
• 19: MILLER, M., TRIBBLE, E. D., AND SHAPIRO, J. Concurrency among strangers: Programming in E as plan coordination. In Symposium on Trustworthy Global Computing (2005), LNCS vol. 3705, Springer, pp. 195--229.
• 20: Philippe Mulet , Jacques Malenfant , Pierre Cointe, Towards a methodology for explicit composition of metaobjects, ACM SIGPLAN Notices, v.30 n.10, p.316-330, Oct. 17, 1995
• 21: Andreas Paepcke, User-level language crafting: introducing the CLOS metaobject protocol, Object-oriented programming: the CLOS perspective, MIT Press, Cambridge, MA, 1993
• 22: David Röthlisberger , Marcus Denker , íric Tanter, Unanticipated partial behavioral reflection: Adapting applications at runtime, Computer Languages, Systems and Structures, v.34 n.2-3, p.46-65, July, 2008 [doi>10.1016/j.cl.2007.05.001]
• 23: Brian Cantwell Smith, Reflection and semantics in LISP, Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.23-35, January 15-18, 1984, Salt Lake City, Utah, United States [doi>10.1145/800017.800513]
• 24: Éric Tanter , Jacques Noyé , Denis Caromel , Pierre Cointe, Partial behavioral reflection: spatial and temporal selection of reification, Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, October 26-30, 2003, Anaheim, California, USA
• 25: David Ungar , Craig Chambers , Bay-Wei Chang , Urs Hölzle, Organizing programs without classes, Lisp and Symbolic Computation, v.4 n.3, p.223-242, July 1991 [doi>10.1007/BF01806107]
• 26: Ian Welch , Robert J. Stroud, Kava - using byte code rewriting to add behavioural reflection to Java, Proceedings of the 6th conference on USENIX Conference on Object-Oriented Technologies and Systems, p.9-9, January 29-February 02, 2001, San Antonio, Texas
• 27: 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
• 28: Chris Zimmermann, Advances in Object-Oriented Metalevel Architectures and Reflection, CRC Press, Inc., Boca Raton, FL, 1996

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features

General Terms:
Design, Languages

Keywords:
AmbientTalk, metaprogramming, mirages, mirrors, reflection