You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Maintainer triage: keep open as needs-verification before implementing anything. DESIGN.md says Firecracker assigns a fresh tsc_offset on restore, but the repository has no executable regression test or implementation evidence for that claim, and the upstream snapshot documentation does not make it a closure-grade guarantee.
First add a Linux/KVM test that restores at least two children from the same snapshot and compares an observable TSC/clock signal. If uniqueness is demonstrated, close this with the captured evidence and tighten the design-doc wording; otherwise implement the offset change with that test as the acceptance gate.
Activity
design: v0.4 use cases — six production scenarios live-fork unlocks
WaylandYang commentedon Aug 11, 2026
Maintainer triage: keep open as
needs-verificationbefore implementing anything.DESIGN.mdsays Firecracker assigns a freshtsc_offseton restore, but the repository has no executable regression test or implementation evidence for that claim, and the upstream snapshot documentation does not make it a closure-grade guarantee.First add a Linux/KVM test that restores at least two children from the same snapshot and compares an observable TSC/clock signal. If uniqueness is demonstrated, close this with the captured evidence and tighten the design-doc wording; otherwise implement the offset change with that test as the acceptance gate.
design: v0.4 use cases — six production scenarios live-fork unlocks