Skip to main content

Module replay_resume

Module replay_resume 

Source
Expand description

Replay-based resume: guarantee idempotent resume semantics.

This module provides ReplayResume which enforces that resuming a suspended state is strictly Replay + Inject Decision, ensuring no reliance on active memory.

Structsยง

ReplayResume
Replay-based resume: enforces Replay + Inject Decision semantics.
ResumeDecision
Resume decision: the value injected when resuming from an interrupt.
ResumeResult
Result of a replay resume operation.