NDLI: First-aid: surviving and preventing memory management bugs during production runs

Please wait, while we are loading the content...

SnowFlock: rapid virtual machine cloning for cloud computing

Orchestra: intrusion detection using parallel execution and monitoring of program variants in user-space

Memory resource allocation for file system prefetching: from a supply chain management perspective

SCAN-Lite: enterprise-wide analysis on the cheap

First-aid: surviving and preventing memory management bugs during production runs

Tralfamadore: unifying source code and execution experience

User interactions in social networks and their implications

xCalls: safe I/O in memory transactions

Koala: a platform for OS-level power management

Automated control of multiple virtualized resources

Multi-aspect profiling of kernel rootkit behavior

Towards practical page coloring-based multicore cache management

Effective and efficient compromise recovery for weakly consistent replication

Transparent checkpoints of closed distributed systems in Emulab

Isolating web programs in modern browser architectures

A runtime system for software lock elision

Predicting replicated database scalability from standalone database profiling

Improving the responsiveness of internet services with automatic cache placement

Pointless tainting?: evaluating the practicality of pointer tainting

Fair and timely scheduling via cooperative polling

Migrating server storage to SSDs: analysis of tradeoffs

Ksplice: automatic rebootless kernel updates

Privacy-preserving browser-side scripting with BFlow

Dingo: taming device drivers

Statistical profiling-based techniques for effective power provisioning in data centers

First-aid: surviving and preventing memory management bugs during production runs

Content Provider	ACM Digital Library
Author	Gao, Qi Qin, Feng Zhang, Wenbin Tang, Yan
Abstract	Memory bugs in C/C++ programs severely affect system availability and security. This paper presents First-Aid, a lightweight runtime system that survives software failures caused by common memory management bugs and prevents future failures by the same bugs during production runs. Upon a failure, First-Aid diagnoses the bug type and identifies the memory objects that trigger the bug. To do so, it rolls back the programto previous checkpoints and uses two types of environmental changes that can prevent or expose memory bug manifestation during re-execution. Based on the diagnosis, First-Aid generates and applies runtime patches to avoid the memory bug and prevent its reoccurrence. Furthermore, First-Aid validates the consistent effects of the runtime patches and generates on-site diagnostic reports to assist developers in fixing the bugs. We have implemented First-Aid on Linux and evaluated it with seven applications that contain various types of memory bugs, including buffer overflow, uninitialized read, dangling pointer read/write, and double free. The results show that First-Aid can quickly diagnose the tested bugs and recover applications from failures (in 0.084 to 3.978 seconds). The results also show that the runtime patches generated by First-Aid can prevent future failures caused by the diagnosed bugs. Additionally, First-Aid provides detailed diagnostic information on both the root cause and the manifestation of the bugs. Furthermore, First-Aid incurs low overhead (0.4-11.6% with an average of 3.7%) during normal execution for the tested buggy applications, SPEC INT2000, and four allocation intensive programs.
Starting Page	159
Ending Page	172
Page Count	14
File Format	PDF
ISBN	9781605584829
DOI	10.1145/1519065.1519083
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2009-04-01
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Error prevention Memory bug diagnosis Software reliability Software failure
Content Type	Text
Resource Type	Article

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

First-aid: surviving and preventing memory management bugs during production runs (2009)

First-aid: providing emergency treatments to memory bugs in software during production runs.

Leveraging the short-term memory of hardware to diagnose production-run software failures

An empirical study of reported bugs in server software with implications for automated bug diagnosis

Atom-Aid: Detecting and Surviving Atomicity Violations

Atom-Aid: Detecting and Surviving Atomicity Violations

SafeMem: exploiting ECC-memory for detecting memory leaks and memory corruption during production runs

Rx: treating bugs as allergies---a safe method to survive software failures

Leveraging the short-term memory of hardware to diagnose production-run software failures (CARN, Vol. 42, Issue. 1)

First-aid: surviving and preventing memory management bugs during production runs

Similar Documents

First-aid: surviving and preventing memory management bugs during production runs (2009)

First-aid: providing emergency treatments to memory bugs in software during production runs.

Leveraging the short-term memory of hardware to diagnose production-run software failures

An empirical study of reported bugs in server software with implications for automated bug diagnosis

Atom-Aid: Detecting and Surviving Atomicity Violations

Atom-Aid: Detecting and Surviving Atomicity Violations

SafeMem: exploiting ECC-memory for detecting memory leaks and memory corruption during production runs

Rx: treating bugs as allergies---a safe method to survive software failures

Leveraging the short-term memory of hardware to diagnose production-run software failures (CARN, Vol. 42, Issue. 1)

First-aid: surviving and preventing memory management bugs during production runs