ScienceDirect® Home Skip Main Navigation Links
You have guest access to ScienceDirect. Find out more.
 
Home
Browse
My Settings
Alerts
Help
 Quick Search
 Search tips (Opens new window)
    Clear all fields    
Electronic Notes in Theoretical Computer Science
Volume 113, 3 January 2005, Pages 105-121
Proceedings of the Fourth Workshop on Runtime Verification (RV 2004)
 
Font Size: Decrease Font Size  Increase Font Size
 Abstract - selected
Purchase PDF (392 K)

 
 
 
Related Articles in ScienceDirect
View More Related Articles
 
View Record in Scopus
 
doi:10.1016/j.entcs.2004.01.031    How to Cite or Link Using DOI (Opens New Window)
Copyright © 2004 Elsevier B.V. All rights reserved.

Program Instrumentation and Run-Time Analysis of Scoped Memory in Java

D. Garbervetskya, 1, E-mail The Corresponding Author, C. Nakhlib, E-mail The Corresponding Author, S. Yovineb, 2, E-mail The Corresponding Author and H. Zorgatic, E-mail The Corresponding Author

aSchool of Computer Science, Universidad de Buenos Aires, Argentina bVERIMAG, France cVERIMAG, France, and University of Tunis, Department of Computer Science, Tunisia

Available online 11 January 2005.

Purchase the full-text article



References and further reading may be available for this article. To view references and further reading you must purchase this article.

Abstract

We present a method to analyze, monitor and control dynamic memory allocation in Java. It first consists in performing pointer and escape analysis to detect memory scopes. This information is used to automatically instrument Java programs in such a way memory is allocated and freed by a region-based memory manager. Our source code instrumentation fully exploits the result of scope analysis by dynamically mapping allocation places to the region stack at runtime via a registering mechanism. Moreover, it allows executing the same transformed program with different implementations of scoped-memory managers and perform different run-time analysis without changing the transformed code. In particular, we consider a class of managers that handle variable-size regions composed of fixed-size memory blocks for which we provide analytical models for the intra- and inter-region fragmentation. These models can be used to observe and control fragmentation at run-time with negligible overhead. We describe a prototype tool that implements our approach.

Keywords: Java; Memory management; Run-time analysis; Real-time and embedded systems


Electronic Notes in Theoretical Computer Science
Volume 113, 3 January 2005, Pages 105-121
Proceedings of the Fourth Workshop on Runtime Verification (RV 2004)
 
Home
Browse
My Settings
Alerts
Help
Elsevier.com (Opens new window)
About ScienceDirect  |  Contact Us  |  Information for Advertisers  |  Terms & Conditions  |  Privacy Policy
Copyright © 2008 Elsevier B.V. All rights reserved. ScienceDirect® is a registered trademark of Elsevier B.V.