LEAP: lightweight deterministic multi-processor replay of concurrent java programs

Abstract

The technique of deterministic record and replay aims at faithfully reenacting an earlier program execution. For concurrent programs, it is one of the most important techniques for program understanding and debugging. This demo presents LEAP: an efficient technique as well as a tool prototype to deterministically replay concurrent Java programs on multi-processors without any changes to the host's environment. During execution, LEAP records the thread access orders w.r.t. each shared memory location. The same thread access orders are then enforced in the replay execution to drive the program to the same states. The replay determinism of this approach is underpinned by formal models and a replay theorem developed in this work. Compared to the related approaches, LEAP records much less information, and thus much more efficient.

BibTeX

@inproceedings{Huang-al:FSE10,
  author    = {Jeff Huang and
               Peng Liu and
               Charles Zhang},
  title     = {{LEAP:} lightweight deterministic multi-processor replay of concurrent java programs},
  booktitle = {FSE},
  pages     = {385--386},
  publisher = {{ACM}},
  year      = {2010},
}

LEAP: lightweight deterministic multi-processor replay of concurrent java programs

Abstract

Related papers