DDIR bench spike, parked: findings and open items - #860

Draft

frankmcsherry wants to merge 25 commits into

master-nextfrom

bench-spike

Commits on Sep 6, 2026

DDIR bench: a server-driven benchmark harness, first reports, first profile

frankmcsherry
and
claude
committed
12d4e4f
DDIR bench: medium-scale sweep at d875d6e0 (vec/corgi, 1 and 4 workers)

frankmcsherry
and
claude
committed
54ba85c
DDIR bench: AoC parts on both backends at a452c428

frankmcsherry
and
claude
committed
f6654ae
DDIR bench: strip inspect taps for timing; medium sweep redone; findings so far

frankmcsherry
and
claude
committed
80b3bb7
Corgi chunks: advance each distinct time once, not once per row

frankmcsherry
and
claude
committed
485eeef
Corgi join: compile the projection once per operator, not once per output block

frankmcsherry
and
claude
committed
020bd14
Corgi typer: memoize shape_of_term within one lowering

frankmcsherry
and
claude
committed
34c37a8
DDIR: connected components and triangle counting as example programs

frankmcsherry
and
claude
committed
29bc893
DDIR bench: four-worker profile and the TPC-H/LDBC assessment in the findings

frankmcsherry
and
claude
committed
9df7b52
DDIR bench: the open-loop tick is blocked by leave_dynamic's singleton stamps

frankmcsherry
and
claude
committed
6583fb2
DDIR bench: large-scale sweep (kcore does not scale)

frankmcsherry
and
claude
committed
065c4b7
DDIR bench: strip applicative INSPECT taps too; kcore re-timed (it scales)

frankmcsherry
and
claude
committed
8680326
DDIR bench: galloping find_ranges is a loss; recorded

frankmcsherry
and
claude
committed
a06c4cc
Corgi reduce: probe each chunk with its slice of the change set

frankmcsherry
and
claude
committed
b19e1cf
DDIR bench: standing medium report at 9d23a526

frankmcsherry
and
claude
committed
0b308db
DDIR bench: a hierarchical-min variant of ast, measured at three fan-outs

frankmcsherry
and
claude
committed
114c5be
DDIR bench: where corgi's reduce loses on ast_hier (structural compares in the merge)

frankmcsherry
and
claude
committed
006f3a6
Corgi reduce: check id order with one adjacent-compare pass, not a compare per row

frankmcsherry
and
claude
committed
9e5e701
Corgi chunks: merge integer lanes with integer compares

frankmcsherry
and
claude
committed
da105bf
DDIR bench: standing medium and AoC reports at fb387759

frankmcsherry
and
claude
committed
6f94b66
DDIR bench: follow the server's feed…from spelling

frankmcsherry
and
claude
committed
7510f8a
DDIR bench: drive the live server crate

frankmcsherry
and
claude
committed
3824ab7
DDIR bench: standing report through the live server; the driver under-counted initial epochs

frankmcsherry
and
claude
committed
9152dd9
DDIR bench: correct the corgi-vs-vec reading for initial epochs

frankmcsherry
and
claude
committed
766d59f
DDIR bench: the spike's parked state and open items, in one place

frankmcsherry
and
claude
committed
567d8dd

Navigation Menu

Uh oh!

DDIR bench spike, parked: findings and open items - #860

DDIR bench spike, parked: findings and open items#860
frankmcsherry wants to merge 25 commits into
master-nextfrom
bench-spike

Commits on Sep 6, 2026

DDIR bench: a server-driven benchmark harness, first reports, first profile

DDIR bench: medium-scale sweep at d875d6e0 (vec/corgi, 1 and 4 workers)

DDIR bench: AoC parts on both backends at a452c428

DDIR bench: strip inspect taps for timing; medium sweep redone; findings so far

Corgi chunks: advance each distinct time once, not once per row

Corgi join: compile the projection once per operator, not once per output block

Corgi typer: memoize shape_of_term within one lowering

DDIR: connected components and triangle counting as example programs

DDIR bench: four-worker profile and the TPC-H/LDBC assessment in the findings

DDIR bench: the open-loop tick is blocked by leave_dynamic's singleton stamps

DDIR bench: large-scale sweep (kcore does not scale)

DDIR bench: strip applicative INSPECT taps too; kcore re-timed (it scales)

DDIR bench: galloping find_ranges is a loss; recorded

Corgi reduce: probe each chunk with its slice of the change set

DDIR bench: standing medium report at 9d23a526

DDIR bench: a hierarchical-min variant of ast, measured at three fan-outs

DDIR bench: where corgi's reduce loses on ast_hier (structural compares in the merge)

Corgi reduce: check id order with one adjacent-compare pass, not a compare per row

Corgi chunks: merge integer lanes with integer compares

DDIR bench: standing medium and AoC reports at fb387759

DDIR bench: follow the server's feed…from spelling

DDIR bench: drive the live server crate

DDIR bench: standing report through the live server; the driver under-counted initial epochs

DDIR bench: correct the corgi-vs-vec reading for initial epochs

DDIR bench: the spike's parked state and open items, in one place