Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2523 commits
Select commit Hold shift + click to select a range
605e1c5
cas: convert 5 CAS LOGICAL_ERROR tests to EXPECT_DEATH (sanitizer-safe)
filimonov Jul 18, 2026
2985c64
cas: fix teardown-incidental and background-thread LOGICAL_ERROR test…
filimonov Jul 18, 2026
f3cd6e1
cas: fetch — re-check pool uuid after reservation, byte-fallback on m…
filimonov Jul 18, 2026
aaf6108
io: reader executor falls back when a file_view byte window is config…
filimonov Jul 18, 2026
a7d171f
s3: conditional copy never falls back to an unconditional write (tria…
filimonov Jul 18, 2026
846a4f6
cas: lifecycle -- scheduler round holds its mutex, no post-shutdown c…
filimonov Jul 18, 2026
081c4e0
cas: removeDirectory also drops the same-txn in-flight build (triage …
filimonov Jul 18, 2026
804cbbf
cas: design note — decommission tombstones the owner anchor instead o…
filimonov Jul 18, 2026
2392641
cas: refuse to re-commit a transaction after a failed rollback (triag…
filimonov Jul 18, 2026
73f5051
cas: truncateFile fails closed instead of silently no-op (triage #23)
filimonov Jul 18, 2026
9707a61
cas: decommission tombstones the owner anchor instead of deleting it …
filimonov Jul 18, 2026
64f1f67
cas: mount-lease/gc-heartbeat decoders reject a body missing its iden…
filimonov Jul 18, 2026
814fbd1
cas: fold seal read rejects a body encoding a different generation th…
filimonov Jul 18, 2026
3804234
cas: header version field rejects a value outside uint32 range instea…
filimonov Jul 18, 2026
a853fbe
cas: post-durable promote telemetry never overrides a successful publ…
filimonov Jul 18, 2026
8fc0c96
cas: unlinkFile honors the if_exists contract instead of silently acc…
filimonov Jul 18, 2026
328d72b
cas: beginPartWrite retires its build-seq on a construction failure (…
filimonov Jul 18, 2026
7771bb6
cas: blob freshness-meta writes join the CasRequestController (S22 fix)
filimonov Jul 18, 2026
452d17a
cas: partAccess returns a shared-ownership snapshot; gcHealth no long…
filimonov Jul 18, 2026
8068d8c
cas: fresh-upload and resurrect meta writes reconcile Conflict/exhaus…
filimonov Jul 18, 2026
bec89a9
cas: decommission's owner tombstone write resolves ambiguous outcomes…
filimonov Jul 18, 2026
663c37d
cas: document the accepted same-UUID recreate residual window in deco…
filimonov Jul 18, 2026
28834db
s3: preserve the exception name on the conditional-copy fail-closed t…
filimonov Jul 18, 2026
08ea8d1
cas: bound emu_token_state growth with an amortized lazy-expiry sweep…
filimonov Jul 18, 2026
def7903
cas: fix 3 sanitizer-only findings in gtest_ca_wiring.cpp (CI PR#2073)
filimonov Jul 18, 2026
47ea8f3
cas: freeze the test clock in ManifestCapEncodedBytesJustUnderStagesS…
filimonov Jul 18, 2026
99879af
cas: fix event-sink UAS bugs + convert legitimate LOGICAL_ERROR asser…
filimonov Jul 18, 2026
0d5f0be
cas: convert 3 more legitimate LOGICAL_ERROR asserts to death tests
filimonov Jul 18, 2026
4efc898
cas: stop using LOGICAL_ERROR for arbitrary test-injected observer fa…
filimonov Jul 18, 2026
0e06935
cas: stop using LOGICAL_ERROR for expected external/data failures
filimonov Jul 18, 2026
426b3db
docs(cas): record the CAS gtest battery no longer needs a known-abort…
filimonov Jul 18, 2026
35faaae
ca-soak: quiesce_cluster grace-period for transient replication_queue…
filimonov Jul 18, 2026
aeb4b03
docs: #38 campaign final results table (S01-S40, ci scale)
filimonov Jul 19, 2026
944085e
docs: worklog — issue #2052 verification complete, task queue empty
filimonov Jul 19, 2026
af2a9f5
docs: full-session summary — all findings/fixes across the CAS stabil…
filimonov Jul 19, 2026
f439ffd
cas: fix all 28 arm_tidy findings on CAS-touched files (PR#2073)
filimonov Jul 19, 2026
455daf1
docs: worklog — arm_tidy findings fixed, native-vs-cross-compile conf…
filimonov Jul 19, 2026
0d18313
ca-soak: campaign auto-log updates (S07/S31/S36/S40/S08 findings, run…
filimonov Jul 19, 2026
a932b96
docs: worklog — pushed 14 commits to altinity/cas-gc-rebuild (user-au…
filimonov Jul 19, 2026
c061d71
ca-soak: add a parallel background SELECT read-workload to phase-3 soak
filimonov Jul 19, 2026
5d4b641
ca-soak: expose SELECT_WORKERS/SELECT_INTERVAL_S env knobs in run_24h.sh
filimonov Jul 19, 2026
25d572c
ca-soak: tolerate du's benign TOCTOU race in the pool_size() physical…
filimonov Jul 19, 2026
3502909
docs: worklog — SELECT read-workload + pool_size TOCTOU fix, 5h soak …
filimonov Jul 19, 2026
2e13f06
docs: worklog — 5h soak v3 chaos stage progress checkpoint
filimonov Jul 19, 2026
3339984
ca-soak: tolerate transient transport errors in quiesce()'s checkpoin…
filimonov Jul 19, 2026
93f93a3
docs: worklog — soak v3 TRANSPORT FAILURE RCA + quiesce transport-ret…
filimonov Jul 19, 2026
bf21161
docs: worklog — waiting for user decision on soak retry after 6 conse…
filimonov Jul 19, 2026
940ac18
ca-soak: log CAS disk-lifecycle-leak product bug (mount-lease abort o…
filimonov Jul 19, 2026
86801e7
worklog: state snapshot before power outage / UPS shutdown
filimonov Jul 19, 2026
259fe60
ca-soak: log ref-ledger JSON encoding CPU-optimization opportunity
filimonov Jul 19, 2026
a458721
ca-soak: sharpen ref-ledger JSON encoding backlog entry with precise …
filimonov Jul 19, 2026
2e2027a
ca-soak: add batch/template record-assembly option to ref-ledger back…
filimonov Jul 19, 2026
f3a9eab
ca-soak: log admits() O(N)-per-op ref-table re-encode optimization op…
filimonov Jul 19, 2026
1af08c5
ca-soak: add Real-trace corroborating evidence to admits() backlog entry
filimonov Jul 19, 2026
7de159d
ca-soak: log local-staging open()+hash+unlink() round-trip as a compl…
filimonov Jul 19, 2026
8f15f94
ca-soak: log metrics-based findings (S3 errors explained, admits() ba…
filimonov Jul 19, 2026
ead7275
ca-soak: close CANNOT_PARSE_INPUT_ASSERTION_FAILED as benign, log S3_…
filimonov Jul 19, 2026
4ea6d3e
ca-soak: retract unsupported outdated-parts claim in admits() backlog…
filimonov Jul 19, 2026
0d5b782
ca-soak: quantify admits() bottleneck precisely via CasRefQueueWaitMi…
filimonov Jul 19, 2026
a310d5e
ca-soak: log S3 ProfileEvents attribution gap found via budget-table …
filimonov Jul 19, 2026
e8e8a91
ca-soak: fill in S3 budget gaps using CAS semantic per-kind counters
filimonov Jul 19, 2026
af33d53
docs(cas): add live health-verification playbook to testing-and-soak doc
filimonov Jul 19, 2026
427a9ce
ca-soak: cross-validate S3 attribution gap via direct query_id JOIN
filimonov Jul 19, 2026
2f48c56
ca-soak: resolve S3 PUT attribution gap -- ~100% explained, not a gap
filimonov Jul 19, 2026
37a54ee
docs(cas): add per-operation-kind S3 cost measurement to s3-budget doc
filimonov Jul 19, 2026
85d7b7c
cas: add standalone Google Benchmark suite for the 3 perf findings
filimonov Jul 19, 2026
089dd73
ca-soak: cross-reference the benchmark suite from the JSON-encoding e…
filimonov Jul 19, 2026
98bb1c0
ca-soak: log v11 PHASE3 FAILED RCA — transient rustfs saturation perm…
filimonov Jul 19, 2026
33a8dba
ca-soak: confirm via system.asynchronous_loader + AsyncLoader source …
filimonov Jul 20, 2026
4a2f558
ca-soak: confirm manual DETACH/ATTACH does NOT recover a stuck AsyncL…
filimonov Jul 20, 2026
3b9325f
ca-soak: record proposed fix for the stuck-CAS-table-startup finding …
filimonov Jul 20, 2026
2ef3f61
cas: spec for the stuck-table-load fix — bounded recovery retry + laz…
filimonov Jul 20, 2026
b84ad10
review: umbrella 14-perspective review of the CAS branch vs antalya-2…
filimonov Jul 20, 2026
979b2d6
cas: implementation plan for the stuck-table-load fix
filimonov Jul 20, 2026
49f9314
cas: plan — umbrella-review fixes with minimal dangerous interventions
filimonov Jul 20, 2026
d18c2fd
cas: deferred/rejected items register for the umbrella-review fix plan
filimonov Jul 20, 2026
11bf17f
cas: drop docs/superpowers worklog-path citations from permanent comm…
filimonov Jul 20, 2026
4fafb4e
cas: move parseRefObjectKey/parseManifestKey/checkNamespace out of Ca…
filimonov Jul 20, 2026
3b2c9ab
cas: observability — srid in the GC round log + per-disk GC-health as…
filimonov Jul 20, 2026
cb11151
cas: SYSTEM CONTENT ADDRESSED GARBAGE COLLECTION / GC REBUILD return …
filimonov Jul 20, 2026
aa1055d
cas: deferred register — mark items 9-11, 14-15 executed
filimonov Jul 20, 2026
e716007
cas: fail-close read-only guard for SYSTEM CONTENT ADDRESSED DROP POO…
filimonov Jul 20, 2026
dc1e5f8
cas: decommission admin claim always renews its lease (force backgrou…
filimonov Jul 20, 2026
e932c38
cas: reject explicit use_fake_transaction on content_addressed/Keeper…
filimonov Jul 20, 2026
d26ac5c
cas: RefCowMap::find keeps the merge iterator valid for overlay-only …
filimonov Jul 20, 2026
f554f30
cas: outcome-log decode fails closed with CORRUPTED_DATA on digest wi…
filimonov Jul 20, 2026
8ae30ee
cas: fix stale assertion in decommission heal test (tombstoned re-run…
filimonov Jul 20, 2026
4208f11
cas: abandon() audit emission guarded + retryable precommit removal (…
filimonov Jul 20, 2026
1376968
cas: publishEntries abandons its build on exception (no leaked live-e…
filimonov Jul 20, 2026
aaf1e23
cas: transaction destructor logs failed abandon instead of silently s…
filimonov Jul 20, 2026
0d25ada
cas: system.content_addressed_mounts scopes GC health to the local mo…
filimonov Jul 20, 2026
e3d7b8d
cas: GC round-engine logs carry the disk/srid-scoped logger
filimonov Jul 20, 2026
1353f7f
cas: part-manifest decode rejects malformed entry paths (fail-close o…
filimonov Jul 20, 2026
e785d96
cas: PartPathParser anchors only on real hex-prefix/UUID pairs (revie…
filimonov Jul 20, 2026
0a65e22
cas: deduplicate content-addressed disk detection into tryFromDisk
filimonov Jul 20, 2026
2c0ef80
cas: hygiene — dead includes, renewOnce lock invariant note, GC prune…
filimonov Jul 20, 2026
5e422b0
cas: prepareRead casts to the narrow IContentAddressedExchange seam, …
filimonov Jul 20, 2026
9a1b476
cas: existence probes use hasAnyRefWithPrefix instead of materializin…
filimonov Jul 20, 2026
afef625
cas: rename lowercase-Ca* gtest suites to Cas* so the CI gate covers …
filimonov Jul 20, 2026
a5d2ae2
cas: access-control negative tests for GC and DROP POOL MEMBER verbs
filimonov Jul 20, 2026
c7133bd
cas: mock-S3 unit tests for conditional remove/copy and copyS3File fa…
filimonov Jul 20, 2026
2fa99ef
tests: dedup-log null-writer fails with an exception, not a crash (B3…
filimonov Jul 20, 2026
2b4e67c
docs: sync CAS system tables, SYSTEM verbs, and disk config keys with…
filimonov Jul 20, 2026
6fa9550
cas: rewrite ProfileEvents descriptions for operators (remove interna…
filimonov Jul 20, 2026
a60bfde
cas: one ForceFresh body proof per (transaction, ref) on the fast-rem…
filimonov Jul 20, 2026
9dc41f0
cas: RefResolve audit fires on real resolve work, not on warm view-ca…
filimonov Jul 20, 2026
73a9448
cas: spec — incremental byte-budget accounting for ref-ledger admits()
filimonov Jul 20, 2026
12428c2
cas: implementation plan for incremental admits() budget accounting
filimonov Jul 20, 2026
d29d314
cas: route adoptPartFromManifest read-only rejection through checkNot…
filimonov Jul 20, 2026
5474f70
cas: snapshot per-row + framing size helpers (byte-exact vs full encode)
filimonov Jul 20, 2026
e8b67c2
cas: re-verify stuck-table-load plan/spec against current tip after u…
filimonov Jul 20, 2026
c2794b7
cas: removal-op + removal-framing size helpers (byte-exact vs full en…
filimonov Jul 20, 2026
13ab814
cas: maintain incremental body-byte counters on RefTableState (debug …
filimonov Jul 20, 2026
26840d6
cas: guard admits() drift-check with DEBUG_OR_SANITIZER_BUILD (was ND…
filimonov Jul 20, 2026
b5f448e
cas: rewrite admits() to O(1) via incremental budget-size accessors
filimonov Jul 20, 2026
fcc6531
cas: record admits() after-benchmark and mark backlog finding resolved
filimonov Jul 20, 2026
d351dcf
cas: tighten admits() header comment on where the drift-check reasserts
filimonov Jul 20, 2026
fb0963c
cas: retry ref-table recovery on transient object-store errors before…
filimonov Jul 20, 2026
7060959
ca-soak: host the CAS stress table in a lazy_load_tables database
filimonov Jul 20, 2026
e1ae53c
docs: draft upstream issue for the AsyncLoader stuck-FAILED-table / D…
filimonov Jul 20, 2026
ea12e86
ca-soak: integration test — lazy CAS table self-heals after a transie…
filimonov Jul 20, 2026
71b9722
ca-soak: note lazy CAS first-access build blocks for the whole S3 out…
filimonov Jul 20, 2026
ad6c0ca
cas: harden Layer 1 recovery retry — cover LIST/GET transients, guard…
filimonov Jul 20, 2026
0b1adcb
ca-soak: correct block-until-recovered note — the wait is the ref-LIS…
filimonov Jul 20, 2026
8ff2500
ca-soak: harden lazy-load integration test — assert the probe hit the…
filimonov Jul 20, 2026
908a148
cas: design spec for CasJsonWriter bulk-append text encoding (near-me…
filimonov Jul 20, 2026
90e3c22
cas: implementation plan for CasJsonWriter bulk-append encoding
filimonov Jul 20, 2026
2362311
cas: pin canonical encoder bytes for ref log / ref snapshot / source-…
filimonov Jul 20, 2026
eb2fa2a
cas: assert full-byte identity in SourceEdgeRunLines pin (single EXPE…
filimonov Jul 20, 2026
1f9ed91
cas: CasJsonWriter bulk-append core (keys, numbers, hex128, bool, fra…
filimonov Jul 20, 2026
05b2f57
cas: CasJsonWriter bulk-run string escaping, differential-fuzzed agai…
filimonov Jul 20, 2026
7651f70
cas: scalar bulk-run JSON scan (drop hand-rolled SIMD; SIMD deferred …
filimonov Jul 20, 2026
24d9c2a
cas: CasJsonWriter overloads of the shared JSON vocabulary, different…
filimonov Jul 20, 2026
1f2c667
cas: ref log + ref snapshot encoders on CasJsonWriter (hotpath, zero …
filimonov Jul 20, 2026
586ebf4
cas: part manifest + gc state + gc outcomes + fold seal encoders on C…
filimonov Jul 20, 2026
f5ee8bd
cas: pool meta + blob meta + blob envelope + server-root encoders on …
filimonov Jul 20, 2026
3d9e4e3
cas: cas_run writer assembles each NDJSON line in a reused scratch, o…
filimonov Jul 20, 2026
8471ca5
cas: retire the WriteBuffer JSON vocabulary; CasJsonWriter is the onl…
filimonov Jul 20, 2026
843d8eb
cas: BM_MemcpyTxnBytes floor benchmark + post-CasJsonWriter encode nu…
filimonov Jul 20, 2026
a3005ab
cas: mark the byte-by-byte ref-ledger encoding BACKLOG item RESOLVED …
filimonov Jul 20, 2026
18c74c4
cas: post-review cleanup — drop dead WriteHelpers include (11 files),…
filimonov Jul 20, 2026
63ea202
ci: content-addressed stateless tests on amd + sanitizers (s3)
filimonov Jul 20, 2026
c1cf699
cas: design spec for consistency-review fixes F1-F11 (GC RUN rename, …
filimonov Jul 20, 2026
81eaea9
cas: implementation plan for consistency findings F1-F11 (14 tasks, p…
filimonov Jul 20, 2026
0f70a96
worklog: close r5-r6 unattended round (rotation)
filimonov Jul 20, 2026
3ff9893
backlog: log CAS-on-S3 INSERT ~7.6x slowness — write-path serializati…
filimonov Jul 20, 2026
f839203
cas: rename SYSTEM CONTENT ADDRESSED GARBAGE COLLECTION -> GC RUN (F1…
filimonov Jul 20, 2026
5060c14
cas: sweep SYSTEM CONTENT ADDRESSED GC RUN spelling through tests, do…
filimonov Jul 20, 2026
e1c83a4
cas: CasGC* -> CasGc* asynchronous metrics (F2: one casing for the CA…
filimonov Jul 20, 2026
794104d
cas: spell out system.content_addressed_mounts columns (F3: server_ro…
filimonov Jul 20, 2026
73f4969
cas: ContentAddressedSettings — declarative BaseSettings table with u…
filimonov Jul 20, 2026
6bcecb7
cas: backlog the dead legacy config-key cleanup (from F4a review)
filimonov Jul 20, 2026
f572182
cas: factory + constructor on ContentAddressedSettings; 25 positional…
filimonov Jul 21, 2026
0c76bd8
cas: fix scratch_path relative-override anchor (review Critical, F4b …
filimonov Jul 21, 2026
a578303
cas: generic ObjectStorageRetryProfile + S3 single-attempt client own…
filimonov Jul 21, 2026
58ac1af
cas: fix ABA hazard on single-attempt client cache key, avoid eager c…
filimonov Jul 21, 2026
c66a2bd
cas: conditional writes select the retry profile; WriteSettings loses…
filimonov Jul 21, 2026
1daa274
cas: setThreadName for GC scheduler/heartbeat/remount/lease-keeper/sn…
filimonov Jul 21, 2026
3f5e899
cas: ProfileEvents descriptions to 'Number of ... / Total ...' hybrid…
filimonov Jul 21, 2026
3fb925a
cas: content_addressed_log config section gets the standard key set; …
filimonov Jul 21, 2026
5cf71da
cas: s3_skip_check_objects_after_upload -> optional s3_check_objects_…
filimonov Jul 21, 2026
be8ba3f
cas: S3 error-name predicates shared via S3Common (F10: one list per …
filimonov Jul 21, 2026
d515041
cas: CurrentMetrics for the manifest-decode and dedup caches (F11) — …
filimonov Jul 21, 2026
1155665
cas: skip generic local-disk `path` (+ full tests/config enumeration)…
filimonov Jul 21, 2026
41fffc1
cas: close the non_cas_keys enumeration gap — scan 04278-04300 statel…
filimonov Jul 21, 2026
354b1df
cas: final-review polish — truthful S3 predicate comment, CasProbe te…
filimonov Jul 21, 2026
0257ffb
ca-soak: recovery gate waits for the workload table to load as Replic…
filimonov Jul 21, 2026
48246f2
cas: clamp CAS write-buffer size so an extreme compress-block-size ca…
filimonov Jul 21, 2026
de3faca
ca-soak: 900s phase-3 recovery gate (slow post-churn CA table load, m…
filimonov Jul 21, 2026
2ba28ac
SYSTEM SYNC REPLICA (and sibling per-table SYSTEM verbs) materialize …
filimonov Jul 21, 2026
d2d5957
ca-soak: revert 900s recovery bound; recovery gate probes with a mate…
filimonov Jul 21, 2026
6f45d11
cas: backlog — lazy-proxy misdiagnosis resolved (fix 2ba28ac4b6f), T1…
filimonov Jul 21, 2026
6cffeef
cas: spec — mount-lease abort hardening + operator-driven disk lifecy…
filimonov Jul 21, 2026
33a45ad
cas: spec rev.2 — explicit idempotent MOUNT/UNMOUNT/FSCK lifecycle (p…
filimonov Jul 21, 2026
f61cac9
cas: implementation plan for mount-lease hardening + explicit disk li…
filimonov Jul 21, 2026
980c198
worklog + soak backlog: f1f11 unattended round record — health snapsh…
filimonov Jul 21, 2026
8742d74
cas: vanished mount slot stops renewal without LOGICAL_ERROR (STID 39…
filimonov Jul 21, 2026
cafb646
cas: absent mount lease at clean release is a no-op, not a LOGICAL_ER…
filimonov Jul 21, 2026
f63a905
cas: startup publishes the pool atomically as its last step
filimonov Jul 21, 2026
ccfb546
cas: mount-state gate + single coherent pool/facade snapshot accessor
filimonov Jul 21, 2026
4cbd8d3
cas: synchronous draining unmount + idempotent explicit mount on the …
filimonov Jul 21, 2026
ac4c02c
cas: SYSTEM CONTENT ADDRESSED UNMOUNT/MOUNT verbs with live-table guard
filimonov Jul 21, 2026
b335f78
cas: dormant-only SYSTEM CONTENT ADDRESSED FSCK + GC RUN pending_* dr…
filimonov Jul 21, 2026
dbeb254
cas: spec+plan amend — Part 6 / Task 8a (dormant disk existence probe…
filimonov Jul 21, 2026
1a2a01f
cas: a dormant CA disk answers existence/enumeration probes as absent…
filimonov Jul 21, 2026
183c2c2
cas: no-leftovers tests tear down via GC RUN -> UNMOUNT -> FSCK -> rm…
filimonov Jul 21, 2026
a7a9590
cas: rename offline disks applet fsck -> ca-fsck, keep deprecated alias
filimonov Jul 21, 2026
d780fa7
cas: em-dash house-style in new operator-visible strings + align ca-f…
filimonov Jul 21, 2026
d7bd8a6
cas: design spec for RefTableState closed class + experiment-driven o…
filimonov Jul 21, 2026
52b7338
cas: implementation plan for RefTableState closed-class experiment round
filimonov Jul 21, 2026
d72ca26
cas: bench RefTableState critical ops; expose add-precommit O(N) hots…
filimonov Jul 21, 2026
fb3aca0
cas: RefTableState is a closed class -- invariants by construction (P…
filimonov Jul 21, 2026
0f1ec41
cas: E1 relaxed replay -- trusted history skips the O(N) cross-owner …
filimonov Jul 21, 2026
d796842
cas: add SYSTEM CONTENT ADDRESSED FSCK to 01271_show_privileges.refer…
filimonov Jul 21, 2026
073d530
cas: E2 COW owned-manifest index -- add-precommit uniqueness O(1)
filimonov Jul 21, 2026
aa3f63a
cas: E2 report -- append full-suite benchmark confirmation + disabled…
filimonov Jul 21, 2026
c82e1b7
cas: E3 experiment -- in-place replay apply replaces scratch copy
filimonov Jul 21, 2026
65ebbdd
cas: rename TxnValidation -> ApplyMode{LiveAppend,TrustedReplay} (pos…
filimonov Jul 21, 2026
09d7616
cas: ApplyMode doc -- cross-owner check is O(1) since E2, drop stale …
filimonov Jul 21, 2026
93eb995
cas: E4 experiment -- flat sorted-vector base inside RefCowMap
filimonov Jul 21, 2026
274265f
Revert "cas: E4 experiment -- flat sorted-vector base inside RefCowMap"
filimonov Jul 21, 2026
1383caa
cas: RefTableState experiments -- final comparison table + verdicts (t7)
filimonov Jul 21, 2026
eb8d435
cas: final-review nits M1-M5 -- bench-header final numbers, report ac…
filimonov Jul 21, 2026
cf79e86
cas: backlog -- three deferred ref-ledger items from the two-model ad…
filimonov Jul 21, 2026
0c0e5cb
cas: RefTableState fail-closed restore + privatize trusted-replay (tw…
filimonov Jul 21, 2026
3e88f4b
cas: recovery materialize + BM_FlushInstall + consult-fix report (two…
filimonov Jul 21, 2026
e65ab73
cas: round-2 consult outcomes -- wedge-resolved txns join tail counte…
filimonov Jul 21, 2026
f5d77cd
cas: backlog -- disk-error (ENOSPC/inode) audit follow-ups
filimonov Jul 21, 2026
3b96172
cas: StorageProxy forwarding audit (consult) + lazy_load_tables decis…
filimonov Jul 21, 2026
e2778b5
cas: TLA+ models directory README -- full index with per-model code-c…
filimonov Jul 21, 2026
492be61
cas: remove TLA+ Toolbox pretty-print artifacts for CaIncarnationCore
filimonov Jul 21, 2026
c93b743
cas: remove obsolete TLA+ model CaGcCore (superseded EBR GC design)
filimonov Jul 21, 2026
9c5d7e8
cas: remove obsolete TLA+ model CaB140Dangle (superseded producer model)
filimonov Jul 21, 2026
72d6c31
cas: remove stale TLA+ model CaResurrectLiveness (guard never impleme…
filimonov Jul 21, 2026
b0fa403
cas: remove stale TLA+ model CaBuildWatermark (blob-guard removed by …
filimonov Jul 21, 2026
e87995c
cas: remove stale TLA+ model CaBuildWatermarkNum (blob-guard removed …
filimonov Jul 21, 2026
308dd89
cas: remove rejected TLA+ model CaMetaDescriptorRaw (raw-body tombsto…
filimonov Jul 21, 2026
9577543
cas: remove rejected TLA+ model CaMetaIncarnationKey (generation-in-k…
filimonov Jul 21, 2026
e825270
cas: remove TLA+ model CaMetaAbsenceClean (gated design blocked; mode…
filimonov Jul 21, 2026
9852df5
cas: models README -- replace internal ticket codes and doc links wit…
filimonov Jul 21, 2026
0c09ad3
cas: remove historical TLA+ model CaB140DangleFaithful (dead-mechanis…
filimonov Jul 21, 2026
621acf9
cas: remove TLA+ model CaManifestSweepWindow (gtest fully covers the …
filimonov Jul 21, 2026
70e274a
cas: remove TLA+ model CaGcResurrectReuploadOrphan (gtests fully cove…
filimonov Jul 21, 2026
8c64d9e
docs: design spec for CAS parallel write path (concurrent per-part co…
filimonov Jul 21, 2026
6f34a41
cas: shared owner-transition shape classifier -- illegal shapes fail …
filimonov Jul 21, 2026
7ab1fc1
Fix mutations on lazy_load_tables tables: forward checkMutationIsPoss…
filimonov Jul 21, 2026
663c413
ca-soak: run the stress DB without lazy_load_tables while the proxy i…
filimonov Jul 21, 2026
5f3b315
cas: remove stale unverifiable TLA+ model CaIncarnationProofCore + Ap…
filimonov Jul 21, 2026
7d6f506
cas: remove stale TLA+ model CaGcIndegRefoldCore (superseded integer …
filimonov Jul 21, 2026
e947191
cas: remove stale TLA+ model CaMetaDescriptor (INV-META-BODY false vs…
filimonov Jul 21, 2026
5974131
cas: remove 4 broken stale configs of CaB140DangleMerge
filimonov Jul 21, 2026
c64ec60
cas: implementation plan for PR#2073 sanitizer aborts (GCS + dedup-lo…
filimonov Jul 21, 2026
adafa03
cas: rewrite 06-tla-models.md Area 4 (mount) to the rev.6 observation…
filimonov Jul 21, 2026
de85d59
docs: revise CAS parallel-write-path spec to bounded-concurrency per-…
filimonov Jul 21, 2026
d5a40b7
cas: correct 06-tla-models.md currency notes for STALE-drifted GC/wri…
filimonov Jul 21, 2026
9a099e2
cas: README audit note + STALE-drift statuses (2026-07-22 model audit)
filimonov Jul 21, 2026
b0500f3
cas: record CaGcRootLocalPartManifestCore EnableSharding-arm crash (a…
filimonov Jul 21, 2026
d38d8b8
cas: E5 experiment -- COW materialize mutates uniquely-owned base in …
filimonov Jul 21, 2026
aded0bd
cas: fix two stale code-comment drifts surfaced by the model audit
filimonov Jul 21, 2026
5edd987
docs: amend CAS parallel-write-path spec with round-2 review hardening
filimonov Jul 21, 2026
a516a4e
docs: implementation plan for CAS parallel write path (6 tasks, harde…
filimonov Jul 21, 2026
bf62881
cas: make E5 in-place materialize reachable, race-free, and coherent-…
filimonov Jul 21, 2026
8009d6e
Revert lazy-table checkTableCanBeRenamed forward (self-deadlock)
filimonov Jul 21, 2026
7ac3a90
ca-soak: single deterministic eager-DB setup for every phase
filimonov Jul 21, 2026
49f50fe
ca-soak: unreachable tripwire is a convergence assertion, not a mid-c…
filimonov Jul 22, 2026
5173ca2
cas: death-test the GCS conditional-dialect LOGICAL_ERROR guards (PR#…
filimonov Jul 22, 2026
d2ee04c
cas: death-test the dedup-log null-writer LOGICAL_ERROR guards (PR#20…
filimonov Jul 22, 2026
d6f5b85
cas: guard empty-file memcpy in ReadBufferFromMemory to avoid UBSan n…
filimonov Jul 22, 2026
cca162d
cas: unattended worklog -- reftablestate round + xhigh reviews + soak…
filimonov Jul 22, 2026
ab6821e
Merge remote-tracking branch 'altinity/antalya-26.6' into cas-gc-rebuild
filimonov Jul 22, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
314 changes: 313 additions & 1 deletion .github/workflows/master.yml

Large diffs are not rendered by default.

302 changes: 301 additions & 1 deletion .github/workflows/pull_request.yml

Large diffs are not rendered by default.

288 changes: 288 additions & 0 deletions .github/workflows/pull_request_community.yml
Original file line number Diff line number Diff line change
Expand Up @@ -2073,6 +2073,294 @@ jobs:
. ./ci/tmp/praktika_setup_env.sh
PYTHONUNBUFFERED=1 python3 -m praktika run 'Stateless tests (arm_binary, sequential)' --workflow "Community PR" --ci --timestamp

stateless_tests_amd_binary_content_addressed_s3_storage_parallel:
runs-on: [self-hosted, altinity-on-demand, altinity-builder, 16c]
needs: [build_amd_binary, build_amd_debug, build_arm_binary, config_workflow, fast_test, stateless_tests_amd_debug_parallel, stateless_tests_arm_binary_parallel]
if: ${{ !cancelled() && !contains(needs.*.outputs.pipeline_status, 'failure') && !contains(needs.*.outputs.pipeline_status, 'undefined') && !contains(fromJson(needs.config_workflow.outputs.data).workflow_config.cache_success_base64, 'U3RhdGVsZXNzIHRlc3RzIChhbWRfYmluYXJ5LCBjb250ZW50X2FkZHJlc3NlZCBzMyBzdG9yYWdlLCBwYXJhbGxlbCk=') }}
name: "Stateless tests (amd_binary, content_addressed s3 storage, parallel)"
outputs:
data: ${{ steps.run.outputs.DATA }}
pipeline_status: ${{ steps.run.outputs.pipeline_status || 'undefined' }}
steps:
- name: Checkout code
uses: actions/checkout@v6
with:
ref: ${{ env.CHECKOUT_REF }}

- name: Setup
uses: ./.github/actions/runner_setup
- name: Docker setup
uses: ./.github/actions/docker_setup
with:
test_name: "Stateless tests (amd_binary, content_addressed s3 storage, parallel)"

- name: Prepare env script
run: |
rm -rf ./ci/tmp
mkdir -p ./ci/tmp
cat > ./ci/tmp/praktika_setup_env.sh << 'ENV_SETUP_SCRIPT_EOF'
export PYTHONPATH=./ci:.:

cat > ./ci/tmp/workflow_job.json << 'EOF'
${{ toJson(job) }}
EOF
cat > ./ci/tmp/workflow_status.json << 'EOF'
${{ toJson(needs) }}
EOF
ENV_SETUP_SCRIPT_EOF

- name: Download artifact CH_AMD_BINARY
uses: actions/download-artifact@v8
with:
name: CH_AMD_BINARY
path: ./ci/tmp

- name: Run
id: run
run: |
. ./ci/tmp/praktika_setup_env.sh
PYTHONUNBUFFERED=1 python3 -m praktika run 'Stateless tests (amd_binary, content_addressed s3 storage, parallel)' --workflow "Community PR" --ci --timestamp

stateless_tests_amd_asan_ubsan_content_addressed_s3_storage_parallel:
runs-on: [self-hosted, altinity-on-demand, altinity-builder, 16c]
needs: [build_amd_asan_ubsan, build_amd_debug, build_arm_binary, config_workflow, fast_test, stateless_tests_amd_debug_parallel, stateless_tests_arm_binary_parallel]
if: ${{ !cancelled() && !contains(needs.*.outputs.pipeline_status, 'failure') && !contains(needs.*.outputs.pipeline_status, 'undefined') && !contains(fromJson(needs.config_workflow.outputs.data).workflow_config.cache_success_base64, 'U3RhdGVsZXNzIHRlc3RzIChhbWRfYXNhbl91YnNhbiwgY29udGVudF9hZGRyZXNzZWQgczMgc3RvcmFnZSwgcGFyYWxsZWwp') }}
name: "Stateless tests (amd_asan_ubsan, content_addressed s3 storage, parallel)"
outputs:
data: ${{ steps.run.outputs.DATA }}
pipeline_status: ${{ steps.run.outputs.pipeline_status || 'undefined' }}
steps:
- name: Checkout code
uses: actions/checkout@v6
with:
ref: ${{ env.CHECKOUT_REF }}

- name: Setup
uses: ./.github/actions/runner_setup
- name: Docker setup
uses: ./.github/actions/docker_setup
with:
test_name: "Stateless tests (amd_asan_ubsan, content_addressed s3 storage, parallel)"

- name: Prepare env script
run: |
rm -rf ./ci/tmp
mkdir -p ./ci/tmp
cat > ./ci/tmp/praktika_setup_env.sh << 'ENV_SETUP_SCRIPT_EOF'
export PYTHONPATH=./ci:.:

cat > ./ci/tmp/workflow_job.json << 'EOF'
${{ toJson(job) }}
EOF
cat > ./ci/tmp/workflow_status.json << 'EOF'
${{ toJson(needs) }}
EOF
ENV_SETUP_SCRIPT_EOF

- name: Download artifact CH_AMD_ASAN_UBSAN
uses: actions/download-artifact@v8
with:
name: CH_AMD_ASAN_UBSAN
path: ./ci/tmp

- name: Run
id: run
run: |
. ./ci/tmp/praktika_setup_env.sh
PYTHONUNBUFFERED=1 python3 -m praktika run 'Stateless tests (amd_asan_ubsan, content_addressed s3 storage, parallel)' --workflow "Community PR" --ci --timestamp

stateless_tests_amd_tsan_content_addressed_s3_storage_parallel:
runs-on: [self-hosted, altinity-on-demand, altinity-func-tester, 16c]
needs: [build_amd_debug, build_amd_tsan, build_arm_binary, config_workflow, fast_test, stateless_tests_amd_debug_parallel, stateless_tests_arm_binary_parallel]
if: ${{ !cancelled() && !contains(needs.*.outputs.pipeline_status, 'failure') && !contains(needs.*.outputs.pipeline_status, 'undefined') && !contains(fromJson(needs.config_workflow.outputs.data).workflow_config.cache_success_base64, 'U3RhdGVsZXNzIHRlc3RzIChhbWRfdHNhbiwgY29udGVudF9hZGRyZXNzZWQgczMgc3RvcmFnZSwgcGFyYWxsZWwp') }}
name: "Stateless tests (amd_tsan, content_addressed s3 storage, parallel)"
outputs:
data: ${{ steps.run.outputs.DATA }}
pipeline_status: ${{ steps.run.outputs.pipeline_status || 'undefined' }}
steps:
- name: Checkout code
uses: actions/checkout@v6
with:
ref: ${{ env.CHECKOUT_REF }}

- name: Setup
uses: ./.github/actions/runner_setup
- name: Docker setup
uses: ./.github/actions/docker_setup
with:
test_name: "Stateless tests (amd_tsan, content_addressed s3 storage, parallel)"

- name: Prepare env script
run: |
rm -rf ./ci/tmp
mkdir -p ./ci/tmp
cat > ./ci/tmp/praktika_setup_env.sh << 'ENV_SETUP_SCRIPT_EOF'
export PYTHONPATH=./ci:.:

cat > ./ci/tmp/workflow_job.json << 'EOF'
${{ toJson(job) }}
EOF
cat > ./ci/tmp/workflow_status.json << 'EOF'
${{ toJson(needs) }}
EOF
ENV_SETUP_SCRIPT_EOF

- name: Download artifact CH_AMD_TSAN
uses: actions/download-artifact@v8
with:
name: CH_AMD_TSAN
path: ./ci/tmp

- name: Run
id: run
run: |
. ./ci/tmp/praktika_setup_env.sh
PYTHONUNBUFFERED=1 python3 -m praktika run 'Stateless tests (amd_tsan, content_addressed s3 storage, parallel)' --workflow "Community PR" --ci --timestamp

stateless_tests_amd_msan_content_addressed_s3_storage_parallel:
runs-on: [self-hosted, altinity-on-demand, altinity-func-tester]
needs: [build_amd_debug, build_amd_msan, build_arm_binary, config_workflow, fast_test, stateless_tests_amd_debug_parallel, stateless_tests_arm_binary_parallel]
if: ${{ !cancelled() && !contains(needs.*.outputs.pipeline_status, 'failure') && !contains(needs.*.outputs.pipeline_status, 'undefined') && !contains(fromJson(needs.config_workflow.outputs.data).workflow_config.cache_success_base64, 'U3RhdGVsZXNzIHRlc3RzIChhbWRfbXNhbiwgY29udGVudF9hZGRyZXNzZWQgczMgc3RvcmFnZSwgcGFyYWxsZWwp') }}
name: "Stateless tests (amd_msan, content_addressed s3 storage, parallel)"
outputs:
data: ${{ steps.run.outputs.DATA }}
pipeline_status: ${{ steps.run.outputs.pipeline_status || 'undefined' }}
steps:
- name: Checkout code
uses: actions/checkout@v6
with:
ref: ${{ env.CHECKOUT_REF }}

- name: Setup
uses: ./.github/actions/runner_setup
- name: Docker setup
uses: ./.github/actions/docker_setup
with:
test_name: "Stateless tests (amd_msan, content_addressed s3 storage, parallel)"

- name: Prepare env script
run: |
rm -rf ./ci/tmp
mkdir -p ./ci/tmp
cat > ./ci/tmp/praktika_setup_env.sh << 'ENV_SETUP_SCRIPT_EOF'
export PYTHONPATH=./ci:.:

cat > ./ci/tmp/workflow_job.json << 'EOF'
${{ toJson(job) }}
EOF
cat > ./ci/tmp/workflow_status.json << 'EOF'
${{ toJson(needs) }}
EOF
ENV_SETUP_SCRIPT_EOF

- name: Download artifact CH_AMD_MSAN
uses: actions/download-artifact@v8
with:
name: CH_AMD_MSAN
path: ./ci/tmp

- name: Run
id: run
run: |
. ./ci/tmp/praktika_setup_env.sh
PYTHONUNBUFFERED=1 python3 -m praktika run 'Stateless tests (amd_msan, content_addressed s3 storage, parallel)' --workflow "Community PR" --ci --timestamp

stateless_tests_arm_binary_content_addressed_s3_storage_parallel:
runs-on: [self-hosted, altinity-on-demand, altinity-func-tester-aarch64, 16c]
needs: [build_amd_debug, build_arm_binary, config_workflow, fast_test, stateless_tests_amd_debug_parallel, stateless_tests_arm_binary_parallel]
if: ${{ !cancelled() && !contains(needs.*.outputs.pipeline_status, 'failure') && !contains(needs.*.outputs.pipeline_status, 'undefined') && !contains(fromJson(needs.config_workflow.outputs.data).workflow_config.cache_success_base64, 'U3RhdGVsZXNzIHRlc3RzIChhcm1fYmluYXJ5LCBjb250ZW50X2FkZHJlc3NlZCBzMyBzdG9yYWdlLCBwYXJhbGxlbCk=') }}
name: "Stateless tests (arm_binary, content_addressed s3 storage, parallel)"
outputs:
data: ${{ steps.run.outputs.DATA }}
pipeline_status: ${{ steps.run.outputs.pipeline_status || 'undefined' }}
steps:
- name: Checkout code
uses: actions/checkout@v6
with:
ref: ${{ env.CHECKOUT_REF }}

- name: Setup
uses: ./.github/actions/runner_setup
- name: Docker setup
uses: ./.github/actions/docker_setup
with:
test_name: "Stateless tests (arm_binary, content_addressed s3 storage, parallel)"

- name: Prepare env script
run: |
rm -rf ./ci/tmp
mkdir -p ./ci/tmp
cat > ./ci/tmp/praktika_setup_env.sh << 'ENV_SETUP_SCRIPT_EOF'
export PYTHONPATH=./ci:.:

cat > ./ci/tmp/workflow_job.json << 'EOF'
${{ toJson(job) }}
EOF
cat > ./ci/tmp/workflow_status.json << 'EOF'
${{ toJson(needs) }}
EOF
ENV_SETUP_SCRIPT_EOF

- name: Download artifact CH_ARM_BIN
uses: actions/download-artifact@v8
with:
name: CH_ARM_BIN
path: ./ci/tmp

- name: Run
id: run
run: |
. ./ci/tmp/praktika_setup_env.sh
PYTHONUNBUFFERED=1 python3 -m praktika run 'Stateless tests (arm_binary, content_addressed s3 storage, parallel)' --workflow "Community PR" --ci --timestamp

stateless_tests_amd_binary_content_addressed_storage_parallel:
runs-on: [self-hosted, altinity-on-demand, altinity-builder, 16c]
needs: [build_amd_binary, build_amd_debug, build_arm_binary, config_workflow, fast_test, stateless_tests_amd_debug_parallel, stateless_tests_arm_binary_parallel]
if: ${{ !cancelled() && !contains(needs.*.outputs.pipeline_status, 'failure') && !contains(needs.*.outputs.pipeline_status, 'undefined') && !contains(fromJson(needs.config_workflow.outputs.data).workflow_config.cache_success_base64, 'U3RhdGVsZXNzIHRlc3RzIChhbWRfYmluYXJ5LCBjb250ZW50X2FkZHJlc3NlZCBzdG9yYWdlLCBwYXJhbGxlbCk=') }}
name: "Stateless tests (amd_binary, content_addressed storage, parallel)"
outputs:
data: ${{ steps.run.outputs.DATA }}
pipeline_status: ${{ steps.run.outputs.pipeline_status || 'undefined' }}
steps:
- name: Checkout code
uses: actions/checkout@v6
with:
ref: ${{ env.CHECKOUT_REF }}

- name: Setup
uses: ./.github/actions/runner_setup
- name: Docker setup
uses: ./.github/actions/docker_setup
with:
test_name: "Stateless tests (amd_binary, content_addressed storage, parallel)"

- name: Prepare env script
run: |
rm -rf ./ci/tmp
mkdir -p ./ci/tmp
cat > ./ci/tmp/praktika_setup_env.sh << 'ENV_SETUP_SCRIPT_EOF'
export PYTHONPATH=./ci:.:

cat > ./ci/tmp/workflow_job.json << 'EOF'
${{ toJson(job) }}
EOF
cat > ./ci/tmp/workflow_status.json << 'EOF'
${{ toJson(needs) }}
EOF
ENV_SETUP_SCRIPT_EOF

- name: Download artifact CH_AMD_BINARY
uses: actions/download-artifact@v8
with:
name: CH_AMD_BINARY
path: ./ci/tmp

- name: Run
id: run
run: |
. ./ci/tmp/praktika_setup_env.sh
PYTHONUNBUFFERED=1 python3 -m praktika run 'Stateless tests (amd_binary, content_addressed storage, parallel)' --workflow "Community PR" --ci --timestamp

integration_tests_amd_asan_ubsan_db_disk_old_analyzer_1_8:
runs-on: [self-hosted, altinity-on-demand, altinity-func-tester, 16c]
needs: [build_amd_asan_ubsan, build_amd_debug, build_arm_binary, config_workflow, fast_test, stateless_tests_amd_debug_parallel, stateless_tests_arm_binary_parallel]
Expand Down
Loading
Loading