[NetKAT] Speed up PagedStableVector indexing with power-of-two page sizes#101

Draft

smolkaj wants to merge 7 commits into

google:mainfrom

smolkaj:paged-stable-vector-perf

Commits on Jun 10, 2026

[NetKAT] Shrink node storage pages from 64 MiB to 16 KiB.

smolkaj
and
claude
committed
[NetKAT] Define the small page sizes as power-of-two node counts.

smolkaj
and
claude
committed
[NetKAT] Simplify PagedStableVector bookkeeping; add a microbenchmark.

smolkaj
and
claude
committed
[NetKAT] Enforce power-of-two PagedStableVector pages at compile time.

smolkaj
and
claude
committed
[NetKAT] Add large-scale packet set benchmarks.

smolkaj
and
claude
committed
[NetKAT] Strengthen the PagedStableVector pointer-stability test.

smolkaj
and
claude
committed
[NetKAT] Align microbenchmark page size with the production page size.

smolkaj
and
claude
committed