diff options
| author | eunhhu <[email protected]> | 2026-10-06 11:09:18 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-10-06 11:09:18 +0100 |
| commit | 4cb98b7beb83278e33a5577b9e83239eca403187 (patch) | |
| tree | 81801f06f4036adef7b973f035ebb13c85671810 /docs/research/128-batch-executor-tables-and-costs.md | |
| parent | 5f76620996a75affaec0d97c622ed79debe0d7db (diff) | |
| download | pure-4cb98b7beb83278e33a5577b9e83239eca403187.tar.gz pure-4cb98b7beb83278e33a5577b9e83239eca403187.zip | |
Batch: a count's loop whose block begins if slot >= L.count { break } (L only grown in it) batches to L's count as each batch opens (PLAN_GUARD; fewer than LEAST rounds left there: the executor's, then batches again); a walk in a batch's block (its slice per lane, no where's range) runs each lane's items, its work counted as each opens: together round by round (BREAK as a nested loop's), or spread into lanes in the rounds' order a chunk of up to 1024 at a time when its items' rounds may run apart (PLAN_SPREAD: no break, the locals it sets reductions or its items' own: an outer lane's value read by each item's outer lane, a reduction added into its outer lane's in the items' order, an own local left as the last item that set it); rows in four bytes read and checked by loops of their own. A frontier walk of the suite's graph (each node's edges' to summed) PURE_JIT=0 55.2 to 10.4 ms (the compiled code 6.24). module_tier makes guarded loops with a walk in each (seeds 1, 2, 3, 5, 23 alike: 8,819 spread and 7,651 together in seed 23's); FRONT_SOURCE
Diffstat (limited to 'docs/research/128-batch-executor-tables-and-costs.md')
0 files changed, 0 insertions, 0 deletions
