• DocumentCode
    864904
  • Title

    A Hardware Memory Race Recorder for Deterministic Replay

  • Author

    Xu, Min ; Bodik, Rastislav ; Hill, Mark D.

  • Volume
    27
  • Issue
    1
  • fYear
    2007
  • Firstpage
    48
  • Lastpage
    55
  • Abstract
    As hardware vendors transition to multicore chips, software vendors face increased software reliability challenges. To effectively debug software in this new world, developers must be able to replay executions that exhibit a bug so that they can zero in on concurrency bugs - especially intermittent ones. Such deterministic replay also aids fault detection and recovery, intrusion detection, and the like. Deterministic replay requires both a recorder and a replayer. The recorder logs information during multithreaded program execution that is sufficient to enable deterministic replay. In the postmortem analysis, the replayer uses the logged information, together with the program binary, to faithfully replay the original execution. The replay will always exercise the same bugs and produce the same outputs. Clearly, an investment in modest chip resources has great potential to ease the challenges of debugging the multithreaded software that both users and vendors will continue to demand
  • Keywords
    fault diagnosis; microprocessor chips; multi-threading; program debugging; software reliability; system recovery; concurrency bug; deterministic replay; fault detection; hardware memory race recorder; intrusion detection; multicore chip; multithreaded program execution; software debugging; software reliability; system recovery; Computer bugs; Concurrent computing; Face detection; Fault detection; Hardware; Information analysis; Intrusion detection; Multicore processing; Software debugging; Software reliability; cache coherence; determinism; multicore; multithreading; shared-memory race recording;
  • fLanguage
    English
  • Journal_Title
    Micro, IEEE
  • Publisher
    ieee
  • ISSN
    0272-1732
  • Type

    jour

  • DOI
    10.1109/MM.2007.2
  • Filename
    4205123