AvailabilityGuaranteefor: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

24 December 2023

  • curprev 14:3614:36, 24 December 2023SatoshiNakamoto talk contribs 1,507 bytes +1,507 Created page with "Title: AvailabilityGuaranteefor Main Research Question: How can we ensure that a replay execution of a non-deterministic or real-time system can be deterministically recreated, allowing for cyclic debugging? Methodology: The researchers propose a method called deterministic replay. This involves monitoring and logging the events of a reference execution of the system. By inserting probes into the system, they can record control-flow and data-flow events, which describe..."