diff options
| author | eunhhu <[email protected]> | 2026-10-06 05:08:16 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-10-06 05:08:16 +0100 |
| commit | b94de93a5ae36bab5e00b5b479afeb59e9702a61 (patch) | |
| tree | 48418e7d8477f3a055f0adfe2a6330dd623fd44c /docs/research/084-parallel-syncs.md | |
| parent | 9cb6985c0d9459ccf4dbbab4b05109168c362f75 (diff) | |
| download | pure-b94de93a5ae36bab5e00b5b479afeb59e9702a61.tar.gz pure-b94de93a5ae36bab5e00b5b479afeb59e9702a61.zip | |
Batch: a batch's appends made at once (pure_list_add_many, a call a chunk of 128) when every list takes its items so (an event's list, no index into it, one append to it: FLAT not keyed at its end, DENSE by keys it holds at its count, HASHED by number; never past its arrays' limit) and the memory budget takes them all (each item only grows what it counts): columns grown and widened once, the first key there already the executor's EXISTS at its round; else round by round as before, tried at once again after a round that changed a list's form. 50,000 DENSE adds 5.18 to 0.65 ms (the compiled code 0.28). APPEND_SOURCE: keys there already at rounds q and p, keys past a DENSE list's from round p, two appends to one list, widened columns, under memory budgets (seeds 1, 2, 3, 5, 23 alike: 31,402 batches at once in seed 23's, 292 by the budget round by round)
Diffstat (limited to 'docs/research/084-parallel-syncs.md')
0 files changed, 0 insertions, 0 deletions
