User-level Deterministic Replay via Accurate Non-deterministic Event Capture

Abstract

Recently, software that directly affects human life has increased and developed. For example, we use software on almost everything, such as cars, home appliances, and smart phones. Since bugs can have a devastating effect on people, ensuring software stability is becoming important. Many debuggers have been developed to help developers eliminate bugs. However, the debuggers did not help much in eliminating bugs such as synchronization faults. These bugs are caused by non-deterministic events. Non-deterministic events occur at unpredictable timing and affect the behavior of user processes. In this paper, our approach captures and replays non-deterministic events of single thread to make the thread run deterministically and will be useful for software debugging. We must replay the events at the same time as we capture all the non-deterministic events. For this, we get the help of the ARM debug architecture without having to modify the user program.