Skip to content

docs: ASAPPlanner memo-based joint optimization with MILP #776

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
zzylol merged 53 commits into from
Oct 24, 2026
Merged

docs: ASAPPlanner memo-based joint optimization with MILP #776

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
53 commits
Select commit Hold shift + click to select a range
70db0cc
docs: design joint planning search with exact pruning
zzylol Oct 20, 2026
a2db922
docs: specify exact joint-search pruning conditions and heuristic bou…
zzylol Oct 20, 2026
7e50948
docs: make survey citations clickable and use stable MQO source
zzylol Oct 20, 2026
2628564
docs: present joint search as a standalone design
zzylol Oct 20, 2026
41dc9b2
docs: present optimizer survey before design and source memo terminology
zzylol Oct 20, 2026
714e14a
docs: focus joint search proposal on exact pruning
zzylol Oct 20, 2026
b05b4db
docs: add problem, goals, design overview, interfaces and a worked ex…
zzylol Oct 20, 2026
907790a
docs: memo-group search design and interfaces for the joint search
zzylol Oct 22, 2026
b3ba6bb
docs: memo over logical sub-expressions, coupled charges and stage in…
zzylol Oct 22, 2026
cfb01a7
docs: show how the stages and the memo groups work together, with a w…
zzylol Oct 22, 2026
9a95da6
docs: end-to-end walk-through of the memo with the sharing strategies
zzylol Oct 22, 2026
e55c6ef
docs: explain the memo search's threshold enumeration, branch and bou…
zzylol Oct 22, 2026
79f7699
docs: the memo's solver is a MILP; threshold enumeration gives its di…
zzylol Oct 22, 2026
d0ee6f1
docs: MILP solver rationale, the encoding of each non-additive term, …
zzylol Oct 22, 2026
52a94a1
docs: the memo MILP's formulation: sets, parameters, variables, objec…
zzylol Oct 22, 2026
158a6c9
docs: why dynamic programming alone does not apply to the memo search
zzylol Oct 22, 2026
236965e
docs: how the memo MILP's coefficients are derived; lower-bound coeff…
zzylol Oct 22, 2026
022f30c
docs: name coefficient derivation, solution decoding and incumbent ev…
zzylol Oct 23, 2026
2f961b1
docs: name the MILP lower bound and the report's milp fields
zzylol Oct 23, 2026
8ed66a7
docs: sharing as MQO, NP-hardness, solution families, LBBD algorithm
zzylol Oct 23, 2026
c8400cf
Update joint-planning-search.md
zzylol Oct 23, 2026
12bb072
docs: rewrite joint planning as memo group and MILP design
zzylol Oct 23, 2026
570beec
docs: align memo MILP proposal with planner stages and current archit…
zzylol Oct 23, 2026
8fc5062
docs: focus memo MILP proposal into eight sections
zzylol Oct 23, 2026
0f6b9e9
docs: call shared producer roles producer inputs
zzylol Oct 23, 2026
8acc8d1
docs: separate MILP variables and constraints
zzylol Oct 23, 2026
598f614
docs: represent shared intermediate states as memo groups
zzylol Oct 23, 2026
177ff8f
docs: explain traditional memo logical and physical rule expansion
zzylol Oct 23, 2026
f2008ec
docs: lead memo design with motivation and challenges
zzylol Oct 23, 2026
8418f53
docs: explain ASAP memo groups through staged rule expansion
zzylol Oct 23, 2026
daad379
docs: call per-computation KLL candidates local
zzylol Oct 23, 2026
161dfef
docs: extract window and materialization choices design
zzylol Oct 23, 2026
8005d2f
docs: select physical instances within memo groups
zzylol Oct 23, 2026
4304de0
docs: frame joint planning as covering queries with an execution DAG
zzylol Oct 24, 2026
9f94389
docs: state the optimization problem before the proposed solution
zzylol Oct 24, 2026
b400fa0
Update joint-planning-search.md
zzylol Oct 24, 2026
28e5081
Update joint-planning-search.md
zzylol Oct 24, 2026
07e44ce
docs: clarify shared decision and instance terminology
zzylol Oct 24, 2026
436a04e
docs: clarify instance notation and shared resource charges
zzylol Oct 24, 2026
ad24a0e
docs: simplify memo design to candidate selection and connections
zzylol Oct 24, 2026
7832eb7
docs: explain memo optimization through examples and design rationale
zzylol Oct 24, 2026
fdd0aee
docs: illustrate physical selection and shared cost accounting
zzylol Oct 24, 2026
ea64990
docs: explain candidate dependencies and unify resource cost ownership
zzylol Oct 24, 2026
c44b930
docs: name producer requirements and consumer connections consistently
zzylol Oct 24, 2026
6bc8c25
docs: define topological rank variables and acyclicity constraint
zzylol Oct 24, 2026
c6581a2
docs: distinguish shared cost ownership from execution frequency
zzylol Oct 24, 2026
e6f4666
docs: model execution demand from selected producer connections
zzylol Oct 24, 2026
0b0bc85
docs: define auxiliary variable indices semantics and examples
zzylol Oct 24, 2026
386d13b
docs: clarify query evaluation event terminology
zzylol Oct 24, 2026
8933389
docs: specify feasibility and resource constraints for joint optimiza…
zzylol Oct 24, 2026
633e165
docs: motivate workload pattern and repeated query optimization
zzylol Oct 24, 2026
ea290e9
docs: add workload-specific planning and execution expectations
zzylol Oct 24, 2026
30edb3c
docs: enumerate planner benchmark metrics
zzylol Oct 24, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions docs/design_docs/proposals/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11,4 +11,6 @@ extensions. A design document is not a promise of downstream runtime support.
- [Operator sharing](operator-sharing.md)
- [Decoupling operators from scalar expressions](decoupling_op_and_expr.md)
- [ASAPPlanner layering](planner-layering.md)
- [Memo-based joint optimization with MILP](joint-planning-search.md)
- [Window and materialization choices](window-materialization-choices.md)
- [Schema and physical data for ASAP primitives](asap-primitive-schema.md)
Loading
Loading