Engineering Record and Replay for Deployability¶
O'Callahan, R. (2017). Engineering Record and Replay for Deployability.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Domain-specific¶
- Heisenbug
- Mozilla built a production tool precisely for this class of defect:
rr, a record-and-replay debugger.This sourceThe tool paper for rr, whose authors state they initiated the project to build a record-and-replay system suitable for Mozilla's use against hard-to-reproduce failures. Carries rr's mechanism and its overhead claim - one low-overhead recording of nondeterministic inputs and thread scheduling, deterministically replayable and reversible without perturbing the run. Establishes that rr was built for Mozilla's use, debugs Firefox, and by 2017 was reported by its authors as in daily use on several large open-source projects; it does not support a present-day industry-wide adoption claim.
SupportedVerified against the source
- Mozilla built a production tool precisely for this class of defect:
Verification¶
Does it exist? Not checked yet. This entry carries no identifier to resolve. It was extracted from the citation as written in the article, normalized, and deduplicated against the rest of the registry.
Does it back the claim? Read against the text for 1 of 1 citation: 1 supported. Each verdict is shown under its citation below, with what in the work backs the sentence.
Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.
See how references were verified.
Registry ID ref:0f75d294e6ac · see in the full table