NDLI: Decoupled lifeguards:enabling path optimizations for dynamic correctness checking tools

Content Provider	ACM Digital Library
Author	Mowry, Todd C. Ruwase, Olatunji Chen, Shimin Gibbons, Phillip B.
Abstract	Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executables at run time. However, lifeguards that are implemented using dynamic binary instrumentation (DBI) often slow down the monitored application by 10-50X, while proposals that replace DBI with hardware still see 3-8X slowdowns. The remaining overhead is the cost of performing the lifeguard analysis itself. In this paper, we explore compiler optimization techniques to reduce this overhead. The lifeguard software is typically structured as a set of event-driven handlers, where the events are individual instructions in the monitored application's dynamic instruction stream. We propose to decouple the lifeguard checking code from the application that it is monitoring so that the lifeguard analysis can be invoked at the granularity of hot paths in the monitored application. In this way, we are able to find many more opportunities for eliminating redundant work in the lifeguard analysis, even starting with well-optimized applications and hand-tuned lifeguard handlers. Experimental results with two lifeguard frameworks - one DBI-based and one hardware-assisted - show significant reduction in monitoring overhead.
Starting Page	25
Ending Page	35
Page Count	11
File Format	PDF
ISSN	03621340 15581160
DOI	10.1145/1809028.1806600
Journal	ACM SIGPLAN Notices (SIGP)
Volume Number	45
Issue Number	6
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1983-05-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Dynamic correctness checking Dynamic code optimization Dynamic program analysis
Content Type	Text
Resource Type	Article
Subject	Computer Graphics and Computer-Aided Design Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools

Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools.

Checking correctness of TypeScript interfaces for JavaScript libraries

Proving optimizations correct using parameterized program equivalence

Dynamic optimization for efficient strong atomicity

Automatically proving the correctness of compiler optimizations

Online feedback-directed optimizations for parallel Java code

Pin:building customized program analysis tools with dynamic instrumentation

DoubleChecker:efficient sound and precise atomicity checking

Decoupled lifeguards:enabling path optimizations for dynamic correctness checking tools

Similar Documents

Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools

Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools.

Checking correctness of TypeScript interfaces for JavaScript libraries

Proving optimizations correct using parameterized program equivalence

Dynamic optimization for efficient strong atomicity

Automatically proving the correctness of compiler optimizations

Online feedback-directed optimizations for parallel Java code

Pin:building customized program analysis tools with dynamic instrumentation

DoubleChecker:efficient sound and precise atomicity checking

Decoupled lifeguards:enabling path optimizations for dynamic correctness checking tools