Record/play in the presence of benign data races (2002) [1 citations — 0 self]
Abstract:
Abstract In this article we present our experience with the integration of record/replay in the Jalapeo virtual machine. The goal of record/replay is to be able to faithfully replay an application. Previous work in Jalapeo focused on the replay of Java applications on uni-processors. 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. I-Iowever we found that Jalapeo 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.
Citations
| 1767 | Time, clocks, and the ordering of events in a distributed system – Lamport - 1978 |
| 231 | The Jalapeño virtual machine – Alpern, Attanasio, et al. - 2000 |
| 216 | Debugging parallel programs with instant replay – LeBlanc, Mellor-Crummey - 1987 |
| 22 | Hardware-Assisted Replay of Multiprocessor Programs – Bacon, Goldstein - 1991 |
| 11 | A Pertrubation-Free Replay Platform for Cross-Optimized Multithreaded Applications – Choi, Alpern, et al. - 2001 |
| 8 | Interrupt Replay: A Debugging Method for Parallel Programs with Interrupts – Audenaert, Levrouw - 1994 |
| 3 | Reducing the space requirements of instant replay – Audenaert, Levrouw - 1993 |
| 1 | An efficient record-replay mechanism for shared-memory programs – Levrouw, Audenaert - 1993 |
