← Research studies

ML systems / Independent technical report

When Timely Answers
Become Obsolete

A Model-Based Study of State-Validity-Aware Inference Scheduling

Ekansh Chawla12 October 2026Version 1.0.1 · UnreviewedDOI: 10.5281/zenodo.23328001

The question

An answer can arrive before its deadline and still be useless if the state it describes has changed. After every scheduler can cancel obsolete work, does using past state-change rates help choose which remaining requests to serve?

Apple GPU confirmation: aggregate decision success rises from 5.78% to 7.66%, while higher-change agents fall from 1.56% to 0.21% with survival prioritization.
Measured native confirmation at 16 agents and a base change rate of 4/s. Bars are mean opportunity success over 20 paired seeds. Aggregate improvement hides a substantial service trade-off.Open full-size figure ↗

A useful answer needs to survive until the decision.

The diagnostic heuristic combines estimated remaining work, request age, deadline feasibility and historical relevant state-change rates. Its matched “no hazard” control removes only the rate factor, helping distinguish freshness effects from ordinary size and deadline preferences.

In the 16-agent high-change native condition, aggregate success increases from 5.78% to 7.66% against that matched control. But higher-change agents fall from 1.56% to 0.21%. The aggregate gain is not a service guarantee.

The native asynchronous controls do not retain an advantage over the no-hazard policy. The positive finding is conditional on the tested timing pattern, rather than a general scheduling improvement.

Simulation, then separate real inference.

A Python discrete-event simulator models chunked prefill, continuous decode batching, bounded KV capacity, cancellation at iteration boundaries, and eviction with recomputation. Scheduling features use observed history and length priors, never the realized future output length.

A separate MLX harness runs a pinned 4-bit Qwen3-0.6B checkpoint on an Apple M5 GPU. It measures synchronized execution costs and replays requests with explicit version checks, cancellation, and a typed JSON-payload validator. Policies choose admission into a fixed batcher; this does not implement the simulator’s cache and preemption policy.

Count missed opportunities as well as completions.

The primary denominator includes every externally defined decision opportunity, even if the scheduler rejects a request or its output is stale, late, incomplete or incorrect.

  • 6,545 simulation policy runs: initial pilot, 31-scenario confirmation and exploratory mechanism controls.
  • 480 real-model replays: 80 pilot runs, 320 confirmation runs and 80 supplemental controls.
  • 84 measured GPU microbenchmark repetitions across 12 batch-size and prompt-length conditions.
  • 17 correctness tests plus exact outcome reproduction of 21 saved simulation runs.

Paired traces, disjoint phase seeds, original source snapshots, protocols, generated outputs and descriptive bootstrap intervals are retained. Local protocol freezing is not public preregistration.

What the evidence supports.

This is an unreviewed technical report, not a conference-accepted paper. The heuristic is not claimed novel or optimal, and the controls are local implementations rather than reproductions of published serving systems.

Simulation timing coefficients are uncalibrated. Native measurements use one Apple GPU, one small quantized model and a synthetic structured-copying task. The imposed concurrency cap and 600-ms decision period are experimental settings. These results do not validate autonomous planning, NVIDIA/CUDA serving performance or deployment readiness.

The next tests need application-grounded workloads, matched serving-system baselines and explicit service floors for agents whose state changes frequently.

Inspect the full artifact.

The Zenodo record archives the 14-page report, nine figures, editable LaTeX, original code, raw observations, archived experiment sources, protocols and checksums. A separate Overleaf-ready source package is also available below. Model weights are downloaded separately. The report and figures use CC BY 4.0; original code uses MIT.