aboutsummaryrefslogtreecommitdiffstats
path: root/scripts
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2026-11-08 19:40:54 +0000
committertv <tv@krebsco.de>2026-11-08 20:42:14 +0100
commitdff76228f103f36118f19c4492e20cd46f234fb8 (patch)
treefda6488786b28d1761787d018d08eaaa796d4f6c /scripts
parentf61c1ed401aff8feb7a36c92d88500053e9566cf (diff)
access: read once what rules read at the same heads
bench_screening shows judging at about 17 µs of a change's 25: some two and a half reads at its heads (the policy, bans, its node's member entry, whether there is a registry, the sealed declarations), each costing as much as working out what the heads cover. Screening judges most of a batch at the same heads, and those reads are the same for every change judged there. Keep them (rules::Reads), by node and by user where they depend on one, while the heads stay the same; screening keeps one for a batch. What the heads hold doesn't change as the document takes changes, so nothing goes stale but by other heads. The benchmark breakdown shows judging so and afresh.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions