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
{{ message }}
Repository navigation
Docs: three reference statements disagree with the runtime (reply, constant-time compare, call deadline) #3480
Three statements in the reference documentation disagree with what the code does. Found by the review of PR #3477 (which fixes the same misreadings where the learning path made them) and filed for the next batch.
docs/language-reference.md, "Reply Statement" says that omitting reply in a handler invoked with ? makes the caller time out ("ask timed out after 5000 ms"). The runtime ends the ask at once when the handler returns without replying (AETHER_ASK_NO_REPLY, runtime/actors/aether_step_barrier.h, "A handler that took an ask and returned without replying"), with "the handler returned without replying". The error table a few screens up in the same file already says so; the timeout is for a handler that has not returned.
docs/emit-lib.md, "Per-call resource caps" calls aether_set_call_deadline(50) "50 ms wall-clock" and the knobs per-call. The deadline is one instant per thread, now + ms when it is set (aether_caps_set_deadline_ms, runtime/aether_resource_caps.c), not a budget each call gets: every call made after that instant is cut at its first safe point until the host sets a fresh one or 0. The section should say that, as the header comment in libaether.h nearly does.
Activity
docs, examples: what the review of the whole diff found (#3475, #3476, …
docs: three reference statements say what the runtime does (#3480)