Affiliation:
1. Columbia University, New York, USA
Abstract
Software failures in server applications are a significant problem for preserving system availability. We present ASSURE, a system that introduces rescue points that recover software from unknown faults while maintaining both system integrity and availability, by mimicking system behavior under known error conditions. Rescue points are locations in existing application code for handling a given set of programmer-anticipated failures, which are automatically repurposed and tested for safely enabling fault recovery from a larger class of (unanticipated) faults. When a fault occurs at an arbitrary location in the program, ASSURE restores execution to an appropriate rescue point and induces the program to recover execution by virtualizing the program's existing error-handling facilities. Rescue points are identified using fuzzing, implemented using a fast coordinated checkpoint-restart mechanism that handles multi-process and multi-threaded applications, and, after testing, are injected into production code using binary patching. We have implemented an ASSURE Linux prototype that operates without application source code and without base operating system kernel changes. Our experimental results on a set of real-world server applications and bugs show that ASSURE enabled recovery for all of the bugs tested with fast recovery times, has modest performance overhead, and provides automatic self-healing orders of magnitude faster than current human-driven patch deployment methods.
Publisher
Association for Computing Machinery (ACM)
Reference31 articles.
1. Control-flow integrity
2. J. Boyd. Patterns of Conflict. Unpublished briefing http://www.d-n-i.net/boyd/pdf/poc.pdf 1986. J. Boyd. Patterns of Conflict. Unpublished briefing http://www.d-n-i.net/boyd/pdf/poc.pdf 1986.
3. Hypervisor-based fault tolerance
4. Creating Vulnerability Signatures Using Weakest Preconditions
5. An API for Runtime Code Patching
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献