Record/Replay in the Presence of Benign Data Races

摘要

In this article we present our experience with the integration of record/replay in the Jalapeno virtual machine. The goal of record/replay is to be able to faithfully replay an application. Previous work in Jalapeno focused on the replay of Java applications on uniprocessors. Here we describe additional work done to obtain replay with low intrusion on multi-processor systems by doing 'ordering based' record/replay. During ordering based record/replay we only record the order of the synchronization operations performed. A prerequisite of this technique is that there are no data races present in the application that is to be replayed. However, we found that Jalapeno contains many benign data races. A major contribution of this article is that we show how one can circumvent these data races and still perform a meaningful replay of the application.