FA-280 / Runtime and resources / Member archive

Callback duration accumulates into periodic task drift · case 05

A task sleeps a full period after finishing, or the attempted correction schedules overlapping callbacks.

Member previewVariant 5 · 3 implementations · 7 checks per implementation

Case contract

Period is a positive integer, start and durations are nonnegative integers. The first callback starts at start. Later starts are the earliest start+k*period >= preceding completion and strictly greater than preceding start. Missed slots are skipped, not caught up. Return one start per duration.

Why this case matters

Models a fixed-phase periodic scheduler with nonoverlapping callbacks; it separates arithmetic policy from OS scheduling, clock drift, and real-time execution guarantees.

One recorded failure

Sample boundary fixture

This sample comes from the broken implementation of a controlled reproducer.

Boundary fixture	Actual	Expected	Outcome
short callbacks do not accumulate drift	`[0, 55, 110]`	`[0, 50, 100]`	Failed

MEMBER ARCHIVE

The complete case is available to members.

This record includes three runnable implementations, regression fixtures, execution results, and source hashes.

Member access is invitation-based. Sign in with your invited account to inspect the sources.