Module deadline_check 

DeadlineCheck syscall op - a clock-driven gate that passes a trigger through if the current time is before its deadline_ns attribute, fails with "deadline exceeded" otherwise.

Authors don’t typically record this op directly; the compiler pass bb-compiler/src/insert_async_deadlines.rs inserts one upstream of every Async-shaped op that carries a deadline_ns attribute (Pattern C in the design). This is the pre-suspension gate; the engine’s Phase-5 scan over PendingAsync.deadline_ns is the post-suspension timer.

Structs

DeadlineCheckOp

Marker struct for register_syscall::<DeadlineCheckOp>.

Constants

ATTR_DEADLINE_NS

Attribute name carrying the absolute deadline in nanoseconds on the engine’s scheduler.now_ns() clock.

DOMAIN

(domain, op_type) registration key.

OP_TYPE

Op type name.

Functions

invoke

Invoke fn - if now_ns < deadline_ns, emit a TriggerValue; otherwise return OpError("deadline exceeded") which surfaces as EngineStep::OpFailed.