diff options
| author | eunhhu <[email protected]> | 2026-10-01 05:34:25 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-10-01 05:34:25 +0100 |
| commit | be297ead16b41938e84bcc3f1be628bc8725f2f4 (patch) | |
| tree | 0f2e4a17b79781a751b2d8fe21e494384f1f0de6 /CHECKPOINT.md | |
| parent | d24881de03433c30ee619ee1eec3ae962ae3db19 (diff) | |
| download | pure-be297ead16b41938e84bcc3f1be628bc8725f2f4.tar.gz pure-be297ead16b41938e84bcc3f1be628bc8725f2f4.zip | |
Count work only under a budget, and say why a view failed only then (017)
The work budget added about 26 instructions to every row of a table a
host shows (bank, a table of 10,000 rows: +3.0% instructions an ask),
which 017's one-app criterion allows at 1%. A sample put most of it in
show_given asking every cell why it failed, and the rest in evaluate
and the row lookup writing that reason and the count for every cell.
Now nothing is counted without a budget (PureApp.work stays), the
reason is written only when a view, a cell or a row has no value, and
pure-serve asks it only of a cell without one. The table: +0.94%; the
other bank queries within 0.4%. The tests that read the count set a
budget that is never reached.
Diffstat (limited to 'CHECKPOINT.md')
0 files changed, 0 insertions, 0 deletions
