(10) concurrency - #1762

Draft

daniel-noland wants to merge 21 commits into

pr/daniel-noland/pipeline-harnessfrom

pr/daniel-noland/model-checking

Commits on Sep 8, 2026

test(dataplane): Establish what the model checker can reach

daniel-noland
and
claude
committed
18e528f
fix(dpdk): Let the acl registry lock survive a model checker

daniel-noland
and
claude
committed
7ea0f05
docs(concurrency): Warn that OnceLock does not rescue a static lock

daniel-noland
and
claude
committed
b95615b
feat(routing): Publish reader factories from the test tables

daniel-noland
and
claude
committed
7166a9a
refactor(dataplane): Split the fuzz fabric into fleet, blueprint and worker

daniel-noland
and
claude
committed
9a0f66e
test(dataplane): Model-check two workers against one masquerade allocator

daniel-noland
and
claude
committed
f393216
fix(flow-filter): Make the acl table-name counter process-unique again

daniel-noland
and
claude
committed
2ced92c
test(dataplane): Draw the configuration for the multi-worker properties

daniel-noland
and
claude
committed
1228e72
feat(tracectl): Capture trace evidence, and print it only on a failure

daniel-noland
and
claude
committed
b02beea
test(dataplane): Split a flow's request and reply across two workers

daniel-noland
and
claude
committed
f0d715c
fix(nat): Do not hold a flow's read guard across the icmp handlers

daniel-noland
and
claude
committed
52030e5
test(dataplane): Republish routes while workers forward over them

daniel-noland
and
claude
committed
c1e65d4
test(dataplane): Move a next hop while workers forward over it

daniel-noland
and
claude
committed
ae02176
test(dataplane): Enact a configuration while workers carry its traffic

daniel-noland
and
claude
committed
0d5647c
test(config): Measure what the operation algebra cannot express

daniel-noland
and
claude
committed
f4773d1
test(dataplane): Change a configuration under the traffic it does not touch

daniel-noland
and
claude
committed
2919a77
test(dataplane): Model both of config-apply's generation mechanisms

daniel-noland
and
claude
committed
8ab637a
fix(nix): Restore the sanitizer ABI check, and stamp the sysroot

daniel-noland
and
claude
committed
b9467a5
test(dataplane): Sustain the traffic the enactment instrument measures against

daniel-noland
and
claude
committed
1fd444f
test(dataplane): Explain the masquerade swap transient

daniel-noland
and
claude
committed
b33264a
style(dataplane): Settle the sync facade for opengrep
daniel-noland
committed
66cf759

Navigation Menu

Uh oh!

(10) concurrency - #1762

(10) concurrency#1762
daniel-noland wants to merge 21 commits into
pr/daniel-noland/pipeline-harnessfrom
pr/daniel-noland/model-checking

Commits on Sep 8, 2026

test(dataplane): Establish what the model checker can reach

fix(dpdk): Let the acl registry lock survive a model checker

docs(concurrency): Warn that OnceLock does not rescue a static lock

feat(routing): Publish reader factories from the test tables

refactor(dataplane): Split the fuzz fabric into fleet, blueprint and worker

test(dataplane): Model-check two workers against one masquerade allocator

fix(flow-filter): Make the acl table-name counter process-unique again

test(dataplane): Draw the configuration for the multi-worker properties

feat(tracectl): Capture trace evidence, and print it only on a failure

test(dataplane): Split a flow's request and reply across two workers

fix(nat): Do not hold a flow's read guard across the icmp handlers

test(dataplane): Republish routes while workers forward over them

test(dataplane): Move a next hop while workers forward over it

test(dataplane): Enact a configuration while workers carry its traffic

test(config): Measure what the operation algebra cannot express

test(dataplane): Change a configuration under the traffic it does not touch

test(dataplane): Model both of config-apply's generation mechanisms

fix(nix): Restore the sanitizer ABI check, and stamp the sysroot

test(dataplane): Sustain the traffic the enactment instrument measures against

test(dataplane): Explain the masquerade swap transient

style(dataplane): Settle the sync facade for opengrep