Skip to content

Execute Planner residual DAGs and record reproducible o11y comparisons - #530

Merged
zzylol merged 10 commits into
mainfrom
feat/o11y-acceptance
Sep 8, 2026
Merged

zzylol merged 10 commits into
mainfrom
feat/o11y-acceptance

Conversation

@zzylol

@zzylol zzylol commented Sep 8, 2026

Copy link
Copy Markdown
Contributor

Before this PR, retained Planner logical subtrees generally became whole-query external fallback, so binding coverage could not establish executable workload coverage. After this PR, the control plane compiles the selected residual tree into a typed installed DAG, preserving safe summary siblings and executing raw branches with explicit source, labels and evaluation times.

  • Adds typed residual execution, admitted raw storage, memoized subquery evaluation and per-request raw/summary provenance. Unsafe per-series or counter materializations remain residual; raw execution is never reported as summary-only warm.
  • Adds measured candidate calibration, ordinary cost-based selection, matched Prometheus replay, fresh trial lifecycle measurement and scoped estimated/measured query CPU reports. Every original workload occurrence and failure is retained.
  • Integrates main including Select dashboard tumbling pane sizes and enforce window correctness #527 pane boundary/coverage protection and fix: preserve per-series semantics for raw window queries #529 per-series safety.

Validation: real upstream o11ybench corpus contains 28 occurrences / 24 unique queries. Independent local operator comparison passed 112 evaluations over 4 timestamps. Frozen pre-integration benchmark ran 4 complete matched trials: 2240/2240 equal, all external exact fallback, zero warm/hybrid. Backend+fallback used 4.90–5.26 query CPU seconds per trial versus Prometheus 2.41–2.74 seconds. This is explicitly a no-benefit result, not completed acceleration acceptance. Frozen binaries, source/data hashes, candidate/selection evidence and per-query responses are archived in /mydata/o11y-acceptance-results.

Limitations: finite-input drain seals ingestion; repeated queries retain original timestamps. Fresh processes do not establish cold OS caches or concurrent throughput. Full lifecycle benefit and general PromQL coverage are not claimed. New filtered range-max materialization is separate follow-up work.

Final integrated validation: 682 control-plane library tests, 110 execution-engine tests, 5 real compatibility process tests and 31 Python tests passed. The full data-plane library suite passed 1001 tests before the final pane integration; focused engine/process checks cover that integration.

@zzylol
zzylol merged commit 91cb42f into main Sep 8, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant