research-article

Using program metadata to support SDT in object-oriented applications

Authors:

Daniel Williams,

Jason D. Hiser,

Jack W. DavidsonAuthors Info & Claims

ICOOOLPS '09: Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems

Pages 55 - 62

https://doi.org/10.1145/1565824.1565832

Published: 06 July 2009 Publication History

Abstract

Software dynamic translation (SDT) is a powerful technology that enables software malleability and adaptivity at the instruction level by providing facilities for run-time monitoring and code modification. SDT has been used as the basis for many valuable tools, including dynamic optimizers, profilers, security policy enforcement, and binary translation to name a few. However, modern object-oriented programming techniques and their implementations (e.g., virtual functions, exceptions, dynamic code, etc.) pose unique challenges to high performing SDT systems. In this paper, we present Metaman, a generalized program metadata manager that stores and manages program information so that it can be efficiently accessed by emerging SDT systems to improve overall runtime performance of a managed executable. Using the information collected by Metaman, the run-time performance of an existing SDT system was improved by 22% making its execution speed only 3% slower than native (i.e., non-managed) execution.

References

[1]

M. Arnold, S. Fink, D. Grove, M. Hind, and P. F. Sweeney. Adaptive optimization in the Jalapeño JVM. In OOPSLA '00: Proceedings of the 15th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 47--65, New York, NY, USA, 2000. ACM Press.

Digital Library

[2]

V. Bala, E. Duesterwald, and S. Banerjia. Dynamo: a transparent dynamic optimization system. In PLDI '00: Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation, pages 1--12, New York, NY, USA, 2000. ACM Press.

Digital Library

[3]

D. Bruening. Efficient, Transparent, and Comprehensive Runtime Code Manipulation. PhD thesis, Massachusetts Institute of Technology, 2004.

Digital Library

[4]

K. Ebcioglu and E. R. Altman. Daisy: dynamic compilation for 100% architectural compatibility. In ISCA '97: Proceedings of the 24th annual International Symposium on Computer Architecture, 1997.

Digital Library

[5]

J. L. Henning. SPEC CPU2006 benchmark descriptions. SIGARCH Comput. Archit. News, 34(4):1--17, 2006.

Digital Library

[6]

J. Hiser, D. Williams, A. Filipi, B. Childers, and J. Davidson. Evaluating fragment construction policies for SDT systems. In VEE'06: Second International Conference on Virtual Execution Environments, pages 122--131, New York, NY, USA, 2006. ACM Press.

Digital Library

[7]

J. D. Hiser, D. Williams, W. Hu, J. W. Davidson, J. Mars, and B. R. Childers. Evaluating indirect branch handling mechanisms in software dynamic translation systems. In CGO '07: Proceedings of the International Symposium on Code Generation and Optimization, pages 61--73, Washington, DC, USA, 2007. IEEE Computer Society.

Digital Library

[8]

W. Hu, J. Hiser, D. Williams, A. Filipi, J. W. Davidson, D. Evans, J. C. Knight, A. Nguyen-Tuong, and J. Rowanhill. Secure and practical defense against code-injection attacks using software dynamic translation. In VEE'06: Second International Conference on Virtual Execution Environments, pages 2--12, New York, NY, USA, 2006. ACM Press.

Digital Library

[9]

V. Kiriansky, D. Bruening, and S. P. Amarasinghe. Secure execution via program shepherding. In Proceedings of the 11th USENIX Security Symposium, pages 191--206, Berkeley, CA, USA, 2002. USENIX Association.

Digital Library

[10]

T. Kistler and M. Franz. Continuous program optimization: A case study. ACM Trans. Program. Lang. Syst., 25(4):500--548, 2003.

Digital Library

[11]

S. Knight. SCons design and implementation. In Tenth International Python Conference, 2002.

[12]

N. Kumar, J. Misurda, B. R. Childers, and M. L. Soffa. Instrumentation in software dynamic translators for self-managed systems. In WOSS '04: Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems, pages 90--94, New York, NY, USA, 2004. ACM Press.

Digital Library

[13]

C.-K. Luk, R. Cohn, R. Muth, H. Patil, A. Klauser, G. Lowney, S. Wallace, V. J. Reddi, and K. Hazelwood. Pin: building customized program analysis tools with dynamic instrumentation. In PLDI' 05: Proceedings of the 2005 ACM SIGPLAN conference on Programming Language Design and Implementation, 2005.

Digital Library

[14]

M. O. McCracken. The design and implementation of the lens program information framework. Technical report, UCSD CSE, 2006.

[15]

K. Scott and J. Davidson. Safe virtual execution using software dynamic translation. In Computer Security Applications Conference, 2002. Proceedings. 18th Annual, pages 209--218, 2002.

Digital Library

[16]

K. Scott, N. Kumar, B. R. Childers, J. W. Davidson, and M. L. Soffa. Overhead reduction techniques for software dynamic translation. In IPDPS Next Generation Software Program - NSFNGS - PI Workshop, 2004.

[17]

K. Scott, N. Kumar, S. Velusamy, B. Childers, J. W. Davidson, and M. L. Soffa. Retargetable and reconfigurable software dynamic translation. In CGO '03: Proceedings of the International Symposium on Code Generation and Optimization, 2003.

Digital Library

[18]

D. Soroker, M. Karasick, J. Barton, and D. Streeter. Extension mechanisms in montana. In ICCSSE '97: Proceedings of the 8th Israeli Conference on Computer-Based Systems and Software Engineering, page 119, Washington, DC, USA, 1997. IEEE Computer Society.

Digital Library

[19]

S. Sridhar, J. S. Shapiro, E. Northup, and P. P. Bungale. Hdtrans: an open source, low-level dynamic instrumentation system. In VEE '06: Proceedings of the 2nd international conference on Virtual execution environments, pages 175--185, New York, NY, USA, 2006. ACM.

Digital Library

[20]

C. Xu, J. Li, T. Bao, Y. Wang, and B. Huang. Metadata driven memory optimizations in dynamic binary translator. In VEE '07: Proceedings of the 3rd International Conference on Virtual Execution Environments, pages 148--157, New York, NY, USA, 2007. ACM.

Digital Library

Cited By

Leach KTimperley CAngstadt KNguyen-Tuong AHiser JPaulos APal PHurley PThomas CDavidson JForrest SGoues CWeimer W(2022)START: A Framework for Trusted and Resilient Autonomous Vehicles (Practical Experience Report)2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE)10.1109/ISSRE55969.2022.00018(73-84)Online publication date: Oct-2022
https://doi.org/10.1109/ISSRE55969.2022.00018
Hong DLiu YFu SWu JHsu W(2018)Improving SIMD Parallelism via Dynamic Binary TranslationACM Transactions on Embedded Computing Systems10.1145/317345617:3(1-27)Online publication date: 12-Feb-2018
https://dl.acm.org/doi/10.1145/3173456
Jia NYang CHe YCheng XTrancoso PFranklin DMcKee S(2014)DTTProceedings of the 11th ACM Conference on Computing Frontiers10.1145/2597917.2597944(1-10)Online publication date: 20-May-2014
https://dl.acm.org/doi/10.1145/2597917.2597944
Show More Cited By

Index Terms

Using program metadata to support SDT in object-oriented applications
1. Software and its engineering
  1. Software notations and tools
    1. Compilers
    2. General programming languages
      1. Language types
        Object oriented languages

Recommendations

An efficient and reliable object-oriented exception handling mechanism

This paper proposes an exception handling mechanism for developing reliable object-oriented systems based on analyzing some problems encountered in the C++ programming language. The exceptions are organized into a knowledge sharing inheritance hierarchy ...
An Object-Oriented Exception Handling System for an Object-Oriented Language
ECOOP '88: Proceedings of the European Conference on Object-Oriented Programming

We present an original exception handling system especially designed for object-oriented languages, making actual information hiding possible and taking into account specific issues of object-oriented languages. It allows association of handlers with ...
Static analysis to support the evolution of exception structure in object-oriented systems

Exception-handling mechanisms in modern programming languages provide a means to help software developers build robust applications by separating the normal control flow of a program from the control flow of the program under exceptional situations. ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

ICOOOLPS '09: Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems

July 2009

73 pages

ISBN:9781605585413

DOI:10.1145/1565824

Conference Chair:
Ian Rogers

Copyright © 2009 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

In-Cooperation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 06 July 2009

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ECOOP '09

ECOOP '09: European Conference on Object-Oriented Programming

July 6, 2009

Genova, Italy

Acceptance Rates

Overall Acceptance Rate 11 of 14 submissions, 79%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
106
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 03 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Leach KTimperley CAngstadt KNguyen-Tuong AHiser JPaulos APal PHurley PThomas CDavidson JForrest SGoues CWeimer W(2022)START: A Framework for Trusted and Resilient Autonomous Vehicles (Practical Experience Report)2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE)10.1109/ISSRE55969.2022.00018(73-84)Online publication date: Oct-2022
https://doi.org/10.1109/ISSRE55969.2022.00018
Hong DLiu YFu SWu JHsu W(2018)Improving SIMD Parallelism via Dynamic Binary TranslationACM Transactions on Embedded Computing Systems10.1145/317345617:3(1-27)Online publication date: 12-Feb-2018
https://dl.acm.org/doi/10.1145/3173456
Jia NYang CHe YCheng XTrancoso PFranklin DMcKee S(2014)DTTProceedings of the 11th ACM Conference on Computing Frontiers10.1145/2597917.2597944(1-10)Online publication date: 20-May-2014
https://dl.acm.org/doi/10.1145/2597917.2597944
Williams DDavidson JCohn RHollingsworth JKumar N(2009)MetamanProceedings of the Workshop on Binary Instrumentation and Applications10.1145/1791194.1791200(34-42)Online publication date: 12-Dec-2009
https://dl.acm.org/doi/10.1145/1791194.1791200

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents