~/talk

Reverse Debugging of Kernel Failures in Deployed Systems

Talkat USENIX ATC '20 · 2020-07-15..07-17
links:none on file
name:Ben Niu
links:none on file
links:none on file
slides:none on file

Kernel REPT is a system for reverse debugging Windows kernel failures in deployed machines that records efficient hardware traces (per-processor control flow) and uses context-switch history to attribute traces to software threads. It reconstructs data flow by selectively emulating machine instructions and hardware events (interrupts, exceptions) without adding extra software layers, enabling interactive reverse debugging, automated root-cause analysis for some failures, and proactive bug detection by checking reconstructed histories against invariants.

AI-written summary · about

  1. 0:00Start
  2. 1:47REPT: Reverse Execution with Processor Trace
  3. 2:37How REPT works?
  4. 6:55Can we simply inverse the tracing?
  5. 10:23Key Techniques
  6. 11:02Automatic Root-Cause Analysis
  7. 12:29Proactive Bug Detector
  8. 15:18Conclusion
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.