No Access

OPTIMIZING REFLECTIVE PRIMITIVES OF DYNAMIC LANGUAGES

JOSE MANUEL REDONDO

Department of Computer Science, University of Oviedo, Calvo Sotelo s/n, 33007, Oviedo, Spain

Search for more papers by this author

FRANCISCO ORTIN

Department of Computer Science, University of Oviedo, Calvo Sotelo s/n, 33007, Oviedo, Spain

Search for more papers by this author

, and

JUAN MANUEL CUEVA

Department of Computer Science, University of Oviedo, Calvo Sotelo s/n, 33007, Oviedo, Spain

Search for more papers by this author

https://doi.org/10.1142/S021819400800388XCited by:16 (Source: Crossref)

Abstract

Dynamic languages are becoming widely used in software engineering due to the flexibility needs of specific software systems. Different example scenarios are the development of dynamic aspect oriented software, Web applications, adaptable and adaptive software or application frameworks. One important lack of these languages is compile-time error detection offered by static languages. However, runtime performance is the most serious limitation to use them in commercial software development. Although JIT optimizing compilation is a widely used technique to speed up intermediate code execution, this has not been successfully applied to dynamically adaptive platforms yet.

We present an approach to improve the structural reflective primitives offered by dynamic languages. Looking for a language-neutral platform with a good JIT-based runtime performance, we have used the Microsoft shared source implementation of the CLI. Its model has been extended with semantics of prototype-based object-oriented models, much more suitable than the class-based one for reflective environments. This augmented semantics together with JIT generation of native code has produced significantly better runtime performance than the existing implementations.

The development of this project has been partially funded by Microsoft Research as the Second Rotor Request for Proposals, awarded in 2004. It has also been funded by the Department of Science and Technology (Spain) under the National Program for Research, Development and Innovation, project TIN2004-03453.

Keywords:

References

T. B. Steel Jr , A first version of UNCOL , Western Joint Comp. Conference ( 1961 ) . Google Scholar
S. Diehl, P. Hartel and P. Sestoft, Future Generation Computer Systems 16(7), 739 (2000), DOI: 10.1016/S0167-739X(99)00088-6. Crossref, Web of Science, Google Scholar
R. Clark and S. Koehler , The UCSD Pascal Handbook ( Prentice-Hall , Englewood Cliffs, NJ , 1982 ) . Google Scholar
F. Moore, Astron. Astrophys. (Suppl.) 15, 497 (1974). Google Scholar
Open Systems Foundation, OSF Architecture-Neutral Distribution, Format Rationale, June 1991 . Google Scholar
A. Goldberg and D. Robson , The Language and Its Implementation ( Addison-Wesley , Reading, MA , 1983 ) . Google Scholar
P. J. Landin, Computer J. 6(4), 308 (1964). Crossref, Web of Science, Google Scholar
D. H. D. Warren , Technical Note 309 ( SRI International , Menlo Park, CA , 1983 ) . Google Scholar
V. S. Sunderam, Concurrency: Practice and Experience 2(4), 315 (1990), DOI: 10.1002/cpe.4330020404. Crossref, Google Scholar
G. Van Rossum and F. L. Drake Jr. , The Python Language Reference Manual ( Network Theory , 2003 ) . Google Scholar
D. Thomas , C. Fowler and A. Hunt , Programming Ruby , 2nd edn. ( Addison-Wesley Professional , 2004 ) . Google Scholar
A. Shalit , D. Moon and O. Starbuck , The Dylan Reference Manual ( Addison-Wesley , 1996 ) . Google Scholar
2nd Workshop on Object-Oriented Language Engineering for the Post-Java Era: Back to Dynamicity, ECOOP 2004 Workshop Reader, LNCS, Vol. 3344 (2004) . Google Scholar
F. Ortin and J. M. Cueva, J. Systems and Software 71(3), 229 (2004), DOI: 10.1016/S0164-1212(02)00157-7. Crossref, Web of Science, Google Scholar
W. L. Hürsch and C. V. Lopes, Separation of Concerns, Technical Report NU-CCS-95-03, (Northeastern University, Boston, 1995) . Google Scholar
F. Ortinet al., IEEE Software 21(6), 41 (2004), DOI: 10.1109/MS.2004.52. Crossref, Web of Science, Google Scholar
R. Laddad , JavaWorld ( 2002 ) . Google Scholar
The Pythius Website, http://pythius.sourceforge.net . Google Scholar
K. Böllert , On weaving aspects , European Conf. on Object-Oriented Programming (ECOOP) Workshop on Aspect Oriented Programming ( 1999 ) . Google Scholar
Ruby Garden, AspectOrientedRuby, http://www.rubygarden.org/ruby?Aspect-OrientedRuby . Google Scholar
A. Nicoara and G. Alonso , Dynamic AOP with PROSE , Proc. Int. Workshop on Adaptive and Self-Managing Enterprise Applications (ASMEA) ( 2005 ) . Google Scholar
JoyAop, Dynamic AOP Framework, http://joyaop.sourceforge.net . Google Scholar
A. Vasseur , Dynamic AOP and runtime weaving for Java — How does AspectWerkz address it? , Proc. Dynamic AOP Workshop in conjunction with 3rd Int. Conf. Aspect-Oriented Software Development (AOSD) ( 2004 ) . Google Scholar
B. Venners , Orthogonality and the DRY Principle ( Artima Developer , 2003 ) . Google Scholar
JSR 223: Scripting for the Java TM Platform, http://www.jcp.org/en/jsr/detail?id=223 . Google Scholar
D. Thomas and D. H. Hansson , Agile Web Development with Rails. A Pragmatic Guide ( Pragmatic Bookshelf , 2005 ) . Google Scholar
D. Crane , E. Pascarello and D. James , Ajax in Action ( Manning Publications , 2005 ) . Google Scholar
J. Ralph, E. Johnson and J. Oakes, OOPSLA '92 ACM SIGPLAN Notices 27(10), (1992). Google Scholar
D. Manolescu, Micro-Workflow: A Workflow Architecture Supporting Compositional Object-Oriented Software Development, PhD thesis, Computer Science Technical Report UIUCDCS-R-2000-2186 (University of Illinois at Urbana-Champaign, 2000) . Google Scholar
J. W. Yoder , F. Balaguer and R. Johnson , Architecture and design of adaptive object models , Proc. Conf. on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA) , ACM SIGPLAN Notices ( 2001 ) . Google Scholar
D. Mertz and M. Simionato , Metaclass Programming in Python — Pushing Object-Oriented Programming to the Next Level ( IBM DeveloperWorks , 2003 ) . Google Scholar
S. Richter , Zope 3 Developer's Handbook ( Sams , 2005 ) . Google Scholar
A. Fettig , Twisted Network Programming Essentials ( O'Reilly , 2005 ) . Google Scholar
Peak, Python Enterprise Application Kit, http://peak.telecommunity.com . Google Scholar
E. Meijer and P. Drayton , Dynamic typing when needed: The end of the cold war between programming languages , Proc. OOPSLA Workshop on Revival of Dynamic Languages ( 2004 ) . Google Scholar
R. Cartwright and M. Fagan , Soft typing , Proc. PLDI ( ACM Press , 1991 ) . Google Scholar
R. C. Martin , Are Dynamic Languages Going to Replace Static Languages? ( Artima Developer , 2003 ) . Google Scholar
J. Udell , Dynamic Languages and Virtual Machines ( InfoWorld , 2003 ) . Google Scholar
A. Popovici, Th. Gross, and G. Alonso, Dynamic Homogenous AOP with PROSE, Technical Report (Department of Computer Science, ETH Zurich, 2001) . Google Scholar
U. Hölzle and D. Ungar , A third-generation self implementation: Reconciling responsiveness with performance , Proc. ACM OOPSLA Conf. ( 1994 ) . Google Scholar
D. Stutz , T. Neward and G. Shilling , Shared Source CLI Essentials ( O'Reilly , 2003 ) . Google Scholar
The mono project, http://www.mono-project.com/ . Google Scholar
DotGNU Project — GNU freedom for the Net, http://www.dotgnu.org/ . Google Scholar
W. Cazzola , S. Chiba and G. Saake , RAMSES: A reflective middleware for software evolution , ECOOP Workshop on Reflection, AOP, and Meta-Data for Software Evolution ( 2004 ) . Google Scholar
P. Maes, Computational Reflection, PhD Thesis (Laboratory for Artificial Intelligence, Vrije Universiteit, 1987) . Google Scholar
A. H. Skarra and S. B. Zdonik , Research Directions in Object-Oriented Programming ( MIT Press , 1987 ) . Google Scholar
L. Tan and T. Katayama , Meta operations for type management in object-oriented databases — a lazy mechanism for schema evolution , Proc. First Int. Conf. on Deductive and Object-Oriented Databases ( 1989 ) . Google Scholar
M. Golm and J. Kleinöder , System Mechanisms , LNCS 1357 ( Springer-Verlag , 1997 ) . Google Scholar
J. Roddick, Information and Software Technology 37, (1995), DOI: 10.1016/0950-5849(95)91494-K. Google Scholar
A. H. Borning, Classes versus prototypes in object-oriented languages, Proc. ACM/IEEE Fall Joint Computer Conf. (1986) pp. 36–40. Google Scholar
D. Ungar et al. , Organizing Programs without Classes, Lisp and Symbolic Computation ( Kluwer Academic Publishers , 1991 ) . Google Scholar
M. Wolczko , O. Agesen and D. Ungar , Towards a Universal Implementation Substrate for Object-Oriented Languages ( Sun Microsystems Laboratories , 1996 ) . Google Scholar
P. Mulet and P. Cointe , Definition of a reflective kernel for a prototype-based language , Int. Symp. on Object Technologies for Advanced Software ( 1993 ) . Google Scholar
D. Ungar and R. B. Smith, Proc. OOPSLA Conf. SIGPLAN Notices 22(12), (1987). Google Scholar
A. Taivalsaari, Kevo: A prototype-based object-oriented language based on concatenation and module operations, Technical Report DCS–197–1R (University of Victoria, British Columbia, Canada, 1992) . Google Scholar
J. M. Bullet al., Concurrency: Practice and Experience 12, 375 (2000). Crossref, Web of Science, Google Scholar
T. Bruckschlegel , Microbenchmarking C++, C#, and Java ( Dr. Dobb's Portal , 2005 ) . Google Scholar
Rotor Research for Proposals Project Awards, 2004, http://research.microsoft.com/collaboration/university/europe/RFP/rotor/2004Projects.aspx . Google Scholar

Vol. 18, No. 06

Metrics

Downloaded 23 times

History

Accepted 13 May 2007

Keywords

PDF download

OPTIMIZING REFLECTIVE PRIMITIVES OF DYNAMIC LANGUAGES

Abstract

Recommended