Locating Failure-Inducing Environment Changes

Traditionally, debugging refers to the process of locating the pro-gram portions which are responsible for a program failure. How-ever, a program also fails when the execution environment does not meet the requirement/assumption of the program. Unfortu-nately, few existing debugging techniques addresses the problem of changing operating system environment. In this paper, we propose an effective record-replay technique called Semi-replay to solve this problem. Semi-replay records all the essential interactions be-tween an application and its underlying operating system environ-ment where it successfully executed. Semi-replay then allows the recorded interactions to be partially replayed and partially executed in another operating system to identify those interactions which contribute to the root cause of the application failure induced by the environment changes. We have conducted three case studies on real-life programs which show the significance and efficiency of the Semi-replay technique in locating failure-inducing environment changes. We have also implemented a tool for the Linux kernel to demonstrate the feasibility of the proposed approach