Skip to content
STIMSMITH

control-flow anchors

Technique
First seen 7/3/2026
Last seen 7/3/2026
Evidence 5 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

6 connections
landing zone uses → 100% 2e
Control-flow anchors use landing zones to confine non-deterministic interrupt arrival.
inter-processor interrupts uses → 100% 2e
Control-flow anchors handle non-determinism arising from inter-processor interrupts.
HARTBREAKER paper ← introduces 100% 2e
The paper introduces control-flow anchors as part of the determinism anchor framework.
HARTBREAKER ← implements 100% 2e
HARTBREAKER implements control-flow anchors to handle control-flow non-determinism.
program-level determinism implements → 100% 2e
Control-flow anchors ensure program-level determinism by handling control-flow non-determinism.
MIP register uses → 95% 1e
Control-flow anchors use the MIP register to check if the interrupt has been processed.