diff options
| author | tv <tv@krebsco.de> | 2026-11-08 19:40:54 +0000 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2026-11-08 20:42:14 +0100 |
| commit | dff76228f103f36118f19c4492e20cd46f234fb8 (patch) | |
| tree | fda6488786b28d1761787d018d08eaaa796d4f6c /docs/remakes.md | |
| parent | f61c1ed401aff8feb7a36c92d88500053e9566cf (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 'docs/remakes.md')
0 files changed, 0 insertions, 0 deletions
