Take a look at the new version of this page: [ beta version ]. Tell us what you think.

ABSTRACT

Recent embedded real-time software tends to be multithreaded and constrained by stringent timing requirements, thus often leading to serious faults depending on the precise timing of thread executions and event occurrences. A promising approach to debugging such complicated software is to log appropriate events during runtime and replay the same software execution based on them. This would allow one to effectively reproduce and track down the sources of faults. Unfortunately, previous software-based replayers have not paid much attention to the precise timing of software execution, but largely focused on the relative order of software events. Although some hardware-based replayers can provide such precise timing, they generally require a significant cost and are not available in usual development environments. In this paper, we present a software-based replayer, called RT-Replayer. RT-Replayer is based on two simple but effective software techniques, called virtual timestamps and instruction hooking, which enable faithful reproduction of the original software execution at instruction level accuracy.

REFERENCES

• 1: Jong-Deok Choi , Harini Srinivasan, Deterministic replay of Java multithreaded applications, Proceedings of the SIGMETRICS symposium on Parallel and distributed tools, p.48-59, August 03-04, 1998, Welches, Oregon, United States [doi>10.1145/281035.281041]
• 2: E. N. (Mootaz) Elnozahy , Lorenzo Alvisi , Yi-Min Wang , David B. Johnson, A survey of rollback-recovery protocols in message-passing systems, ACM Computing Surveys (CSUR), v.34 n.3, p.375-408, September 2002 [doi>10.1145/568522.568525]
• 3: Marek Gondzio, Microprocessor debugging techniques and their application in debugger design, Software—Practice & Experience, v.17 n.3, p.215-226, March 1987 [doi>10.1002/spe.4380170305]
• 4: Mark Scott Johnson, Some requirements for architectural support of software debugging, ACM SIGARCH Computer Architecture News, v.10 n.2, p.140-148, March 1982 [doi>10.1145/964750.801837]
• 5: T. J. LeBlanc , J. M. Mellor-Crummey, Debugging Parallel Programs with Instant Replay, IEEE Transactions on Computers, v.36 n.4, p.471-482, April 1987 [doi>10.1109/TC.1987.1676929]
• 6: J. Levrouw and M. Audenaert. An efficient record-replay mechanism for shared memory programs. In Proceedings Euromicro Workshop on Parallel and Distributed Processing, 1993.
• 7: Charles E. McDowell , David P. Helmbold, Debugging concurrent programs, ACM Computing Surveys (CSUR), v.21 n.4, p.593-622, Dec. 1989 [doi>10.1145/76894.76897]
• 8: J. M. Mellor-Crummey , T. J. LeBlanc, A software instruction counter, Proceedings of the third international conference on Architectural support for programming languages and operating systems, p.78-86, April 03-06, 1989, Boston, Massachusetts, United States [doi>10.1145/70082.68189]
• 9: Satish Narayanasamy , Gilles Pokam , Brad Calder, BugNet: Continuously Recording Program Execution for Deterministic Replay Debugging, Proceedings of the 32nd annual international symposium on Computer Architecture, p.284-295, June 04-08, 2005 [doi>10.1109/ISCA.2005.16]
• 10: M. Ronsse and K. D. Bosschere. Non-intrusive on-the-fly data race detection using execution replay. In Proceedings of Automated and Algorithmic Debugging, 2000.
• 11: Daniel J. Sorin , Milo M. K. Martin , Mark D. Hill , David A. Wood, SafetyNet: improving the availability of shared memory multiprocessors with global checkpoint/recovery, Proceedings of the 29th annual international symposium on Computer architecture, May 25-29, 2002, Anchorage, Alaska
• 12: Sudarshan M. Srinivasan , Srikanth Kandula , Christopher R. Andrews , Yuanyuan Zhou, Flashback: a lightweight extension for rollback and deterministic replay for software debugging, Proceedings of the annual conference on USENIX Annual Technical Conference, p.3-3, June 27-July 02, 2004, Boston, MA
• 13: Larry D. Wittie, Debugging distributed C programs by real time reply, Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging, p.57-67, May 05-06, 1988, Madison, Wisconsin, United States [doi>10.1145/68210.69221]
• 14: Min Xu , Rastislav Bodik , Mark D. Hill, A "flight data recorder" for enabling full-system multiprocessor deterministic replay, Proceedings of the 30th annual international symposium on Computer architecture, June 09-11, 2003, San Diego, California [doi>10.1145/859618.859633]

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.5 Testing and Debugging
          Subjects: Debugging aids

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.5 Testing and Debugging
          Subjects: Tracing

General Terms:
Algorithms, Design

Keywords:
debugging, embedded, instruction hooking, real-time, record, replay, timing, virtual timestamps