Loading [MathJax]/extensions/MathMenu.js
Offline symbolic analysis for multi-processor execution replay | IEEE Conference Publication | IEEE Xplore

Offline symbolic analysis for multi-processor execution replay


Abstract:

Ability to replay a program's execution on a multi-processor system can significantly help parallel programming. To replay a shared-memory multi-threaded program, existin...Show More

Abstract:

Ability to replay a program's execution on a multi-processor system can significantly help parallel programming. To replay a shared-memory multi-threaded program, existing solutions record its program input (I/O, DMA, etc.) and the shared-memory dependencies between threads. Prior processor based record-and-replay solutions are efficient, but they require non-trivial modifications to the coherency protocol and the memory sub-system for recording the shared-memory dependencies. In this paper, we propose a processor-based record-and-replay solution that does not require detecting and logging shared-memory dependencies to enable multi-processor execution replay. We show that a load-based checkpointing scheme, which was originally proposed for just recording program input, is also sufficient for replaying every thread in a multi-threaded program. Shared-memory dependencies between threads are reconstructed offline, during replay, using an algorithm based on an SMT solver. In addition to saving log space, the proposed solution significantly reduces the complexity of hardware support required for enabling replay.
Date of Conference: 12-16 December 2009
Date Added to IEEE Xplore: 08 January 2010
Print ISBN:978-1-60558-798-1

ISSN Information:

Conference Location: New York, NY, USA

Contact IEEE to Subscribe

References

References is not available for this document.