Instrumenting annotated programs

ABSTRACT

Instrumentation is commonly used to track application behavior: to collect program profiles; to monitor component health and performance; to aid in component testing; and more. Program annotation enables developers and tools to pass extra information to later stages of software development and execution. For example, the .NET runtime relies on annotations for a significant chunk of the services it provides. Both mechanisms are evolving into important parts of software development %, in the context of modern platforms such as Java and .NET.Instrumentation tools are generally not aware of the semantics of information passed via the annotation mechanism. This is especially true for post-compiler, e.g., run-time, instrumentation. The problem is that instrumentation may affect the correctness of annotations, rendering them invalid or misleading, and producing unforeseen side-effects during program execution. This problem has not been addressed so far.In this paper, we show the subtle interaction that takes place between annotations and instrumentation using several real-life examples. Many annotations are intended to provide information for the runtime; the virtual environment is a prominent annotation consumer, and must be aware of this conflict. It may also be required to provide runtime support to other annotation consumers. We propose an annotation taxonomy and show how instrumentation affects various annotations that were used in research and in industrial applications. We show how the annotations can expose enough information about themselves to prevent the instrumentation from accidentally corrupting the annotations. We demonstrate this approach on our annotations benchmark.

REFERENCES

• 1: Jonathan Aldrich , Valentin Kostadinov , Craig Chambers, Alias annotations for program understanding, Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, November 04-08, 2002, Seattle, Washington, USA
• 2: A. Azevedo, A. Nicolau, and J. Hummel. An annotation-aware Java virtual machine implementation. Concurrency: Practice and Experience, 12(6):423--444, 2000.
• 3: Carlos Baquero , Francisco Moura, Concurrency annotations in C++, ACM SIGPLAN Notices, v.29 n.7, p.61-67, July 1994 [doi>10.1145/181593.181603]
• 4: J. Bloch. JSR 175: A metadata facility for the Java programming language. http://jcp.org/en/jsr/detail?id=175.
• 5: Edwin C. Chan , John T. Boyland , William L. Scherlis, Promises: limited specifications for analysis and manipulation, Proceedings of the 20th international conference on Software engineering, p.167-176, April 19-25, 1998, Kyoto, Japan
• 6: M. Debusmann and K. Geihs. Efficient and transparent instrumentation of application components using an aspect-oriented approach. In 14th IFIP/IEEE Workshop on Distributed Systems: Operations and Management (DSOM 2003), Heidelberg, Germany, October 2003.
• 7: D. Detlefs, K. R. M. Leino, G. Nelson, and J. Saxe. Extended Static Checking. Technical Report 159, Compaq Systems Research Center, Palo Alto, CA, Dec. 1998.
• 8: ECMA. Standard ECMA-335. Common Language Infrastructure (CLI). ECMA, 2nd edition, December 2002.
• 9: O. Edelstein, E. Farchi, Y. Nir, G. Ratsaby, and S. Ur. Multithreaded Java program test generation. IBM Systems Journal, 41(1):111--125, 2002. Also available as http://www.research.ibm.com/journal/sj/411/edelstein.html.
• 10: David Evans , John Guttag , James Horning , Yang Meng Tan, LCLint: a tool for using specifications to check code, Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering, p.87-96, December 06-09, 1994, New Orleans, Louisiana, United States
• 11: R. Field. JSR 163: Java platform profiling architecture. http://jcp.org/en/jsr/detail?id=163.
• 12: A. Goldberg and K. Havelund. Instrumentation of Java bytecode for runtime analysis. In Proceedings of the ECOOP 2003 Workshop on Formal Techniques for Java-like Programs, Technical Report 408, 2003.
• 13: J. Jones and S. N. Kamin. Annotating Java class files with virtual registers for performance. Concurrency: Practice and Experience, 12(6):423--444, 2000.
• 14: Sarfraz Khurshid , Darko Marinov , Daniel Jackson, An analyzable annotation language, Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, November 04-08, 2002, Seattle, Washington, USA
• 15: G. Kniesel, P. Costanza, and M. Austermann. Independent extensibility for aspect-oriented systems. In ASC Workshop, ECOOP 2001, Budapest, Hungary, 2001.
• 16: Bernd Krieg Brückner , David C. Luckham, ANNA: Towards a language for annotating Ada programs, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, p.128-138, January 1980 [doi>10.1145/800004.807943]
• 17: Chandra Krintz, Coupling on-line and off-line profile information to improve program performance, Proceedings of the international symposium on Code generation and optimization: feedback-directed and runtime optimization, March 23-26, 2003, San Francisco, California
• 18: Chandra Krintz , Brad Calder, Using annotations to reduce dynamic optimization time, Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, p.156-167, June 2001, Snowbird, Utah, United States
• 19: Sorin Lerner , Todd Millstein , Craig Chambers, Automatically proving the correctness of compiler optimizations, Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, June 09-11, 2003, San Diego, California, USA
• 20: Tim Lindholm , Frank Yellin, Java Virtual Machine Specification, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1999
• 21: Klaus-Peter Löhr, Concurrency annotations, conference proceedings on Object-oriented programming systems, languages, and applications, p.327-340, October 18-22, 1992, Vancouver, British Columbia, Canada
• 22: Microsoft. The .NET framework class library. http://msdn.microsoft.com/library/default.asp?url=/library/en-us/cpref/html/cpref_start.asp.
• 23: Naftaly H. Minsky, Towards Alias-Free Pointers, Proceedings of the 10th European Conference on Object-Oriented Programming, p.189-209, July 08-12, 1996
• 24: James Newkirk , Alexei A. Vorontsov, DESIGN: How .NET's Custom Attributes Affect Design, IEEE Software, v.19 n.5, p.18-20, September 2002 [doi>10.1109/MS.2002.1032846]
• 25: OOPSLA 2002. Proceedings of the 17th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, Seattle, Washington, Nov. 4--8 2002. ACM SIGPLAN 36(11) Nov. 2002.
• 26: Open Group. Technical Standard C014: Application Response Measurement Issue 3.0 Java Binding. Open Group, October 2001.
• 27: Igor Pechtchanski , Benjamin Goldberg, A framework for optimistic program optimization, 2003
• 28: Igor Pechtchanski , Vivek Sarkar, Immutability specification and its applications, Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, p.202-211, November 03-05, 2002, Seattle, Washington, USA [doi>10.1145/583810.583833]
• 29: Amir Pnueli , Michael Siegel , Eli Singerman, Translation Validation, Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems, p.151-166, March 28-April 04, 1998
• 30: Feng Qian , Laurie J. Hendren , Clark Verbrugge, A Comprehensive Approach to Array Bounds Check Elimination for Java, Proceedings of the 11th International Conference on Compiler Construction, p.325-342, April 08-12, 2002
• 31: M. Rinard and D. Marinov. Credible compilation with pointers. In Proceedings of the Workshop on Run-Time Result Verification, Trento, Italy, July 1999.
• 32: Barbara G. Ryder , Frank Tip, Change impact analysis for object-oriented programs, Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, p.46-53, June 2001, Snowbird, Utah, United States [doi>10.1145/379605.379661]
• 33: M. Sihman and S. Katz. Superimpositions and aspect-oriented programming. The Computer Journal, 46(5):529--541, September 2003.
• 34: A. Taivalsaari. JSR 139: Connected limited device configuration 1.1. http://jcp.org/en/jsr/detail?id=139.
• 35: L. Wittgenstein. Philosophische Untersuchungen --- Philosophical Investigations, chapter I.22. Blackwell, Oxford, 1953.

INDEX TERMS

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

General Terms:
Languages, Standardization

Keywords:
annotation, custom attributes, meta-annotation, program instrumentation