benchmarksPublic
benchmarksPublic
Commit d234051b
A
scenarios/robustness.yaml
1+
# Robustness lane (suites/robustness): scenario and operation names are2+
# immutable identity (ADR-0005). Semantics: suites/robustness/README.md.3+
lane: robustness4+
suite: suites/robustness/run_robustness.py5+
scenarios:6+
crash_time_v1: kill -9 the client at fractions of the calibrated op duration7+
crash_syscall_v1: kill -9 before the N-th durability boundary (fsync/F_FULLFSYNC/rename)8+
fault_proxy_v1: one injected network fault per request (503, drop-after-send, truncated reply, kill before/after upstream) plus slow and jitter modes9+
conc_same_branch_v1: N clients push one branch; linearizability + no lost acknowledged write10+
conc_distinct_branches_v1: N clients push distinct branches11+
lock_shared_commit_v1: N concurrent commits in one checkout (workdir lock)12+
lock_shared_push_v1: N concurrent pushes from one checkout (publication lock)13+
lock_stale_owner_v1: lock owner SIGKILLed mid-commit; contenders must reap it14+
lock_credentials_v1: concurrent credential saves (unsupported in v1)15+
env_disk_full_v1: operation on a full RAM disk16+
env_readonly_v1: store or worktree subdir read-only17+
env_fsync_load_v1: same-branch concurrency under an fsync storm18+
hosted_merge_invariants_v1: merge-owner invariants for hosted merge (spec; needs local oakspace)19+
operation_catalog:20+
commit:21+
push:22+
pull_ff:23+
pull_diverged:24+
clone:25+
switch:26+
merge_local:27+
merge_hosted:28+
mount_finish:29+
concurrent.push:30+
concurrent.commit:31+
credentials.save:
M
scripts/oakbench/lane_contract.py
Loading diff…
M
scripts/oakbench/rows.py
Loading diff…
A
suites/robustness/README.md
Loading diff…
A
suites/robustness/repro/concurrent-push-lost-ack.sh
Loading diff…
A
suites/robustness/repro/pull-kill.sh
Loading diff…
A
suites/robustness/repro/switch-kill.sh
Loading diff…
A
suites/robustness/robustness/__init__.py
Loading diff…
A
suites/robustness/robustness/adapters.py
Loading diff…
A
suites/robustness/robustness/concurrency.py
Loading diff…
A
suites/robustness/robustness/crash.py
Loading diff…
A
suites/robustness/robustness/crashpoints.py
Loading diff…
A
suites/robustness/robustness/engine.py
Loading diff…
A
suites/robustness/robustness/envfaults.py
Loading diff…
A
suites/robustness/robustness/faultproxy.py
Loading diff…
A
suites/robustness/robustness/fixtures.py
Loading diff…
A
suites/robustness/robustness/hosted.py
Loading diff…
A
suites/robustness/robustness/lincheck.py
Loading diff…
A
suites/robustness/robustness/procs.py
Loading diff…
A
suites/robustness/robustness/proxycases.py
Loading diff…
A
suites/robustness/robustness/readers.py
Loading diff…
A
suites/robustness/run_robustness.py
Loading diff…
A
tests/test_robustness_faultproxy.py
Loading diff…
A
tests/test_robustness_invariants.py
Loading diff…
A
tests/test_robustness_lincheck.py
Loading diff…
A
tests/test_robustness_runner.py
Loading diff…