Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
76 commits
Select commit Hold shift + click to select a range
de2167e
feat(ir): define joint summary observation coverage
zzylol Oct 3, 2026
43e83dd
refactor(ir): name represented observations ObservationExtent
zzylol Oct 3, 2026
cddfe93
refactor(ir): rename observation extent to SummaryCoverage and trim i…
zzylol Oct 3, 2026
fa39b62
docs(ir): describe coverage source as any observation data source
zzylol Oct 3, 2026
3127b07
feat(ir): require coverage on summary nodes; allow regions without ti…
zzylol Oct 3, 2026
2b04993
docs: explain the summary coverage problem with examples
zzylol Oct 3, 2026
f87df8d
refactor(ir): keep only time and population in SummaryCoverage
zzylol Oct 3, 2026
05cb0eb
refactor(cost): rename SourceCoverage to ScanSelection
zzylol Oct 3, 2026
be8f40c
docs: turn summary coverage into a design document
zzylol Oct 3, 2026
dbee720
docs: design doc for ASAP primitive schema and summary semantics
zzylol Oct 3, 2026
9a310a7
Update asap-primitive-schema.md
zzylol Oct 3, 2026
3cbfea0
Update asap-primitive-schema.md
zzylol Oct 3, 2026
0f4b677
Update asap-primitive-schema.md
zzylol Oct 3, 2026
23663bd
Update asap-primitive-schema.md
zzylol Oct 3, 2026
d0bd0e7
docs: add code interfaces and per-operator examples to the ASAP primi…
zzylol Oct 3, 2026
4a91371
docs: move the ASAP primitive schema design to #573
zzylol Oct 3, 2026
b001233
feat(ir): define compatible logical summary merges
zzylol Oct 3, 2026
0fb19d3
feat(ir): require disjoint coverage for summary merges
zzylol Oct 3, 2026
c10e267
refactor(ir): use SummaryCoverage names in summary merges
zzylol Oct 3, 2026
02f0b92
feat(ir): check merge update/reduction on producers; test documented …
zzylol Oct 3, 2026
b2271e2
test(ir): point coverage examples at the design document
zzylol Oct 3, 2026
700838b
test(ir): point coverage examples at the ASAP primitive schema design…
zzylol Oct 3, 2026
44c5f39
feat(ir): add logical sub-DAG sharing and phase-free export
zzylol Oct 3, 2026
8a46c8a
feat(ir): require summary coverage in logical transport
zzylol Oct 3, 2026
b90c8ca
test(ir): use typed coverage source in logical export
zzylol Oct 3, 2026
6f21638
docs(ir): describe logical export as having no execution timing assigned
zzylol Oct 3, 2026
0f6f539
feat(ir): export a query batch as one DAG with one root per query
zzylol Oct 3, 2026
c2c329b
feat: lower SQL through unified operators and scalars
zzylol Oct 2, 2026
ca8b839
feat(promql): lower queries to unified operator and scalar IR
zzylol Oct 2, 2026
7eba90f
feat(ir): restore execution timing assignment for physical plans
zzylol Oct 3, 2026
5b1fa8c
feat(ir): export timed plans as PhysicalASAPDAG
zzylol Oct 3, 2026
0dafa6c
feat(runtime): compile unified operator and scalar graphs
zzylol Oct 2, 2026
aaa8467
feat(ir): give physical ASAP DAGs one root per batch query
zzylol Oct 3, 2026
b52e696
refactor(planner): plan one shared unified workload DAG
zzylol Oct 3, 2026
420ffe6
feat(planner): declare whole-source coverage on planned summary states
zzylol Oct 3, 2026
e629370
feat(planner): export a planned workload as one physical ASAP DAG
zzylol Oct 3, 2026
9db7220
refactor(ir): remove the legacy QueryExpr and SummaryExpr IRs
zzylol Oct 3, 2026
c20aeb7
docs: describe the unified operator IR instead of the removed legacy IRs
zzylol Oct 3, 2026
5c344df
chore(tools): align the DAG viewer with the unified operator kinds
zzylol Oct 3, 2026
d0228a3
refactor(planner): remove the summary maintenance lifecycle
zzylol Oct 3, 2026
f830bac
refactor(ir): default to query-time materialization
zzylol Oct 3, 2026
eb78bce
docs: drop the summary maintenance lifecycle and document the query-t…
zzylol Oct 3, 2026
e529b6e
chore(tools): name OperatorNode in viewer comments
zzylol Oct 3, 2026
1c21189
feat(planner): enumerate phase-free local logical alternatives
zzylol Oct 3, 2026
39da475
docs(planner): say local candidates have no execution timing assigned
zzylol Oct 3, 2026
517cd55
test(planner): call the promoted PromQL workload lowering
zzylol Oct 3, 2026
e1106fc
feat(planner): compose a whole-workload candidate from Pass 1 choices
zzylol Oct 3, 2026
b7f6a2f
feat(devtools): stage_pipeline writes real Stage 0/1 viewer documents
zzylol Oct 3, 2026
dfe9a35
fix(planner): adapt Stage 1 candidates to the promoted frontend and e…
zzylol Oct 3, 2026
69042bf
fix(ir): name a finalized exact accumulator after the aggregate it re…
zzylol Oct 3, 2026
3c94cb5
fix(planner): rank Top-K summary items by the PromQL series identity …
zzylol Oct 3, 2026
084a8e2
test(devtools): regenerate the Stage 0/1 fixture after the accumulato…
zzylol Oct 3, 2026
8fcc859
feat(planner): #509 Stage 2 physical candidates and Stage 3 plan sele…
zzylol Oct 3, 2026
4b5b80c
feat(devtools): stage_pipeline emits all four stages for Example 1
zzylol Oct 3, 2026
2ee0442
test: acceptance spec and pending tests for planner-layering Example 1
zzylol Oct 3, 2026
0afc939
test: run the Example 1 acceptance tests against the real stages
zzylol Oct 3, 2026
dfaa958
refactor(types): arrange asap-types modules by #511 section (#572 B1)
zzylol Oct 3, 2026
0dafd93
fix(types): top-k sketch readout derives the selected rows
zzylol Oct 4, 2026
5796e23
test: Example 1 expectations follow the planner's 24 candidates
zzylol Oct 4, 2026
e00864a
fix(types): an exact top-k returns its selected rows, like a sketch r…
zzylol Oct 4, 2026
0afb19a
fix(planner): Stage 3 sizes every top-k realization by its logical re…
zzylol Oct 4, 2026
8a986cc
feat(planner): run the #509 stage pipeline with tree-DP selection; re…
zzylol Oct 4, 2026
25c09da
refactor(planner): move legacy candidate selection out of replacement
zzylol Oct 4, 2026
045f47d
refactor(planner): Stage 1 candidate generation no longer takes a cos…
zzylol Oct 4, 2026
7b35498
test(planner): guard that Stage 1 does not import the cost model
zzylol Oct 4, 2026
af65096
docs(planner): describe cost-free Stage 1 candidate generation
zzylol Oct 4, 2026
fceb3d9
refactor(planner): remove the Stage 1 to Stage 3 blockers before the …
zzylol Oct 4, 2026
f12411e
refactor(planner): extract the Stage 1 logical-optimizer crate
zzylol Oct 4, 2026
a3c2d63
refactor(planner): extract the Stage 2 physical-optimizer crate
zzylol Oct 4, 2026
452ed7d
refactor(planner): extract the Stage 3 plan-selection crate
zzylol Oct 4, 2026
999fd95
refactor(planner): move the pass facade into asap-planner and delete …
zzylol Oct 4, 2026
b9dfd33
refactor(planner): rename asap-physical-operators to the Stage 4 asap…
zzylol Oct 4, 2026
41c0c78
feat(planner): Pass 2 identical-expression rule as a Stage 1 sharing …
zzylol Oct 4, 2026
6575cfe
feat(planner): whole-expression top-k heap sketch over raw samples
zzylol Oct 4, 2026
287aebb
test(planner): acceptance specs and tests for #509 Examples 2-4
zzylol Oct 4, 2026
d064b46
feat(devtools): stage_pipeline examples for #509 Example 3
zzylol Oct 4, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
82 changes: 62 additions & 20 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

7 changes: 5 additions & 2 deletions Cargo.toml
Original file line number Diff line number Diff line change
@@ -1,9 +1,12 @@
[workspace]
members = [
"crates/asap-physical-operators",
"crates/executor",
"crates/types",
"crates/frontend-common",
"crates/sql-function-catalog",
"crates/asap-aware-mapping",
"crates/logical-optimizer",
"crates/physical-optimizer",
"crates/plan-selection",
"crates/frontend-promql",
"crates/frontend-metricsql",
"crates/metricsql-common-parser-support",
Expand Down
18 changes: 0 additions & 18 deletions crates/asap-aware-mapping/Cargo.toml

This file was deleted.

Loading