forked from lei.chen/myxce
test(ha-commit-barrier-rollout): RED commit-first-then-reply tests per opcode (task 3.1)
New test_commit_barrier_reply.c drives do_jobcontrol_op / do_queuecontrol_op / do_hostcontrol_op / handle_worker_join directly (pthread harness, ep->outq reply capture, wired engine n_peers=3). 12 cases: 8 RED (reply-before-commit + bug-447 pins), 4 validation pins green. DISCOVERY bug-447 (reviewer-confirmed): key_find found-rc leak means queue/host control never append WAL in production — 3.2's rc normalization is the fix point. Census 484 = 472 + 12; zero baseline regressions.
This commit is contained in:
parent
8f688eace1
commit
e1c3c173f4
8 changed files with 1036 additions and 140 deletions
140
.wolf/memory.md
140
.wolf/memory.md
|
|
@ -249,119 +249,13 @@
|
|||
> Consolidated session (0 actions)
|
||||
|
||||
## Session: 2026-06-04 04:46
|
||||
> Consolidated session (144 actions)
|
||||
> Consolidated session (0 actions)
|
||||
|
||||
## Session: 2026-06-05 18:53
|
||||
|
||||
| Time | Action | File(s) | Outcome | ~Tokens |
|
||||
|------|--------|---------|---------|--------|
|
||||
> Consolidated session (0 actions)
|
||||
|
||||
## Session: 2026-06-05 18:57
|
||||
|
||||
| Time | Action | File(s) | Outcome | ~Tokens |
|
||||
|------|--------|---------|---------|--------|
|
||||
| 19:12 | Edited .kiro/specs/ha-repl-hardening/tasks.md | inline fix | ~18 |
|
||||
| 19:19 | Edited src/controller/testsuite/test_ha_evaluate_committing.c | modified XCE_TESTING() | ~2119 |
|
||||
| 19:21 | Edited src/controller/ha.c | added 6 condition(s) | ~955 |
|
||||
| 19:21 | Edited src/controller/ha.h | modified 1() | ~209 |
|
||||
| 19:21 | Edited src/controller/ha.c | added 2 condition(s) | ~379 |
|
||||
| 19:22 | Edited src/controller/ha.c | modified if() | ~27 |
|
||||
| 19:41 | Edited .kiro/specs/ha-repl-hardening/tasks.md | inline fix | ~23 |
|
||||
| 19:46 | Edited src/controller/testsuite/test_ha_evaluate_committing.c | modified XCE_TESTING() | ~1408 |
|
||||
| 19:47 | Edited src/controller/testsuite/test_ha_evaluate_committing.c | 2→2 lines | ~41 |
|
||||
| 20:05 | Edited src/controller/ha.c | modified if() | ~348 |
|
||||
| 20:28 | Edited .kiro/specs/ha-repl-hardening/tasks.md | inline fix | ~22 |
|
||||
| 20:35 | Edited src/controller/config_repl.c | removed 207 lines | ~418 |
|
||||
| 20:38 | Edited src/controller/testsuite/test_config_repl.c | modified test_ctrlhello_no_repl_messages_enqueued() | ~1189 |
|
||||
| 20:38 | Edited src/controller/testsuite/test_config_repl.c | 3→5 lines | ~68 |
|
||||
| 20:54 | Edited .kiro/specs/ha-repl-hardening/tasks.md | inline fix | ~16 |
|
||||
| 20:59 | Edited src/controller/testsuite/test_ha_role.c | modified XCE_TESTING() | ~1320 |
|
||||
| 21:00 | Edited src/controller/testsuite/test_ha_role.c | 5→9 lines | ~135 |
|
||||
| 21:01 | Edited src/controller/ha.c | added 7 condition(s) | ~846 |
|
||||
| 21:02 | Edited src/controller/ha.h | modified node() | ~242 |
|
||||
| 21:02 | Edited src/controller/ha.c | modified XCE_TESTING() | ~338 |
|
||||
| 21:04 | Edited src/controller/ha.c | modified ha_check_majority_convergence() | ~574 |
|
||||
| 21:42 | Edited src/controller/ha.h | 1→2 lines | ~34 |
|
||||
| 21:42 | Edited .kiro/specs/ha-repl-hardening/tasks.md | inline fix | ~15 |
|
||||
| 21:49 | Edited src/controller/testsuite/test_ha_role.c | added 1 condition(s) | ~1918 |
|
||||
| 21:52 | Edited src/controller/ha.h | 10000 → 60000 | ~14 |
|
||||
| 21:52 | Edited src/controller/ha.h | 10000 → 60000 | ~30 |
|
||||
| 21:53 | Edited src/controller/ha.c | added 1 condition(s) | ~441 |
|
||||
| 21:53 | Edited src/controller/testsuite/test_ha_evaluate_committing.c | inline fix | ~18 |
|
||||
| 22:03 | Edited .kiro/specs/ha-repl-hardening/tasks.md | inline fix | ~17 |
|
||||
| 22:10 | Edited src/controller/config_repl.c | 6→11 lines | ~112 |
|
||||
| 22:10 | Edited src/controller/config_repl.c | 11→16 lines | ~142 |
|
||||
| 22:10 | Edited src/controller/config_repl.c | added 1 condition(s) | ~91 |
|
||||
| 22:26 | Edited src/controller/ha.c | added 2 condition(s) | ~248 |
|
||||
| 22:36 | Edited .kiro/specs/ha-repl-hardening/tasks.md | inline fix | ~12 |
|
||||
| 22:39 | Edited src/controller/testsuite/test_ha_role.c | modified test_evaluate_repl_action_stream_wal() | ~447 |
|
||||
| 22:39 | Edited src/controller/testsuite/test_ha_role.c | 6→8 lines | ~127 |
|
||||
| 22:39 | Edited src/controller/testsuite/test_config_repl.c | added error handling | ~1326 |
|
||||
| 22:40 | Edited src/controller/testsuite/test_config_repl.c | 5→8 lines | ~123 |
|
||||
| 22:59 | Edited .kiro/specs/ha-repl-hardening/tasks.md | inline fix | ~17 |
|
||||
| 22:59 | Edited .kiro/specs/ha-repl-hardening/tasks.md | inline fix | ~15 |
|
||||
| 23:02 | Edited src/controller/ha.h | 6→11 lines | ~213 |
|
||||
| 23:03 | Edited src/controller/ha.c | my_lsn() → self_lsn() | ~247 |
|
||||
| 23:03 | Edited src/controller/ha.c | modified if() | ~242 |
|
||||
| 23:03 | Edited src/controller/ha.c | modified self_tag() | ~130 |
|
||||
| 23:04 | Edited src/controller/testsuite/test_ha_evaluate_committing.c | 18→20 lines | ~224 |
|
||||
| 23:04 | Edited src/controller/testsuite/test_ha_evaluate_committing.c | 9→11 lines | ~112 |
|
||||
| 23:04 | Edited src/controller/testsuite/test_ha_evaluate_committing.c | modified XCE_TESTING() | ~418 |
|
||||
| 23:04 | Edited src/controller/testsuite/test_ha_evaluate_committing.c | 5→7 lines | ~74 |
|
||||
| 23:05 | Edited src/controller/testsuite/test_ha_evaluate_committing.c | 6→9 lines | ~108 |
|
||||
| 23:05 | Edited src/controller/ha.h | fields() → fix() | ~179 |
|
||||
| 23:06 | Edited src/controller/testsuite/test_config_repl.c | modified test_snapshot_recv_128kb_two_chunks() | ~1174 |
|
||||
| 23:07 | Edited src/controller/testsuite/test_config_repl.c | 6→8 lines | ~123 |
|
||||
| 23:20 | Edited .kiro/specs/ha-repl-hardening/tasks.md | inline fix | ~16 |
|
||||
| 23:20 | Edited .kiro/specs/ha-repl-hardening/tasks.md | inline fix | ~13 |
|
||||
| 23:21 | Session end: 54 writes across 7 files (tasks.md, test_ha_evaluate_committing.c, ha.c, ha.h, config_repl.c) | 22 reads | ~171678 tok |
|
||||
| 23:41 | Edited src/controller/ha.c | 2→6 lines | ~118 |
|
||||
| 23:42 | Edited src/controller/ha.c | 21→23 lines | ~362 |
|
||||
| 06:50 | task 6.5 integration test: found bug in ha->n_peers (total=3 instead of other=2), fixed, retested — all checks pass | src/controller/ha.c | PASS majority convergence | ~8000 |
|
||||
| 00:03 | Edited .kiro/specs/ha-repl-hardening/tasks.md | inline fix | ~18 |
|
||||
| 00:26 | Edited src/controller/ha.c | modified if() | ~144 |
|
||||
| 00:31 | Edited src/controller/ha.c | modified liveness_poll_fn() | ~133 |
|
||||
| 00:32 | Edited src/controller/ha.c | modified if() | ~170 |
|
||||
| 00:36 | Edited src/controller/ha.c | modified XCE_TESTING() | ~165 |
|
||||
| 01:02 | Edited src/controller/ha.c | 3→2 lines | ~38 |
|
||||
| 01:06 | Edited .kiro/specs/ha-repl-hardening/tasks.md | inline fix | ~18 |
|
||||
| 01:26 | Edited src/controller/ha.c | added 4 condition(s) | ~1172 |
|
||||
| 01:27 | Edited src/controller/ha.c | 13→8 lines | ~164 |
|
||||
| 01:33 | Session end: 65 writes across 7 files (tasks.md, test_ha_evaluate_committing.c, ha.c, ha.h, config_repl.c) | 34 reads | ~360703 tok |
|
||||
| 01:37 | Edited src/controller/ha.c | count() → size() | ~102 |
|
||||
| 01:37 | Edited src/controller/ha.c | 2→2 lines | ~31 |
|
||||
| 01:37 | Edited src/controller/ha.c | modified for() | ~124 |
|
||||
| 01:37 | Edited src/controller/ha.c | modified for() | ~162 |
|
||||
| 01:38 | Edited src/controller/ha.c | modified for() | ~131 |
|
||||
| 01:38 | Edited src/controller/ha.h | inline fix | ~29 |
|
||||
| 01:38 | Edited src/controller/ha.h | modified node() | ~34 |
|
||||
| 01:39 | Edited src/controller/testsuite/test_ha_role.c | n_peers() → immediately() | ~54 |
|
||||
| 01:40 | Edited src/controller/testsuite/test_ha_role.c | 2 → 3 | ~17 |
|
||||
| 01:40 | Edited src/controller/testsuite/test_ha_role.c | 10→10 lines | ~143 |
|
||||
| 01:41 | Edited src/controller/testsuite/test_ha_role.c | 2 → 3 | ~15 |
|
||||
| 01:42 | Edited src/controller/testsuite/test_ha_role.c | 7→7 lines | ~71 |
|
||||
| 01:42 | Edited src/controller/testsuite/test_ha_role.c | 2 → 3 | ~19 |
|
||||
| 01:42 | Edited src/controller/testsuite/test_ha_role.c | inline fix | ~13 |
|
||||
| 01:47 | Session end: 79 writes across 7 files (tasks.md, test_ha_evaluate_committing.c, ha.c, ha.h, config_repl.c) | 34 reads | ~361671 tok |
|
||||
| 09:55 | E2E cluster lifecycle test (task 6.7) | logs/ctrl-*.log | PASS: build green, RDHUP→election→promotion, config tag preserved, ASAN clean | ~4k |
|
||||
| 02:56 | Edited .kiro/specs/ha-repl-hardening/tasks.md | inline fix | ~12 |
|
||||
| 02:57 | Session end: 80 writes across 7 files (tasks.md, test_ha_evaluate_committing.c, ha.c, ha.h, config_repl.c) | 34 reads | ~361683 tok |
|
||||
| 03:51 | Session end: 80 writes across 7 files (tasks.md, test_ha_evaluate_committing.c, ha.c, ha.h, config_repl.c) | 34 reads | ~361683 tok |
|
||||
| 04:00 | Edited src/controller/ha.c | 8→5 lines | ~49 |
|
||||
| 04:06 | Edited src/controller/ha.c | 6→8 lines | ~131 |
|
||||
| 04:06 | Edited src/controller/ha.c | DEBUG2() → INFO() | ~36 |
|
||||
| 04:28 | Edited src/controller/ha.c | modified if() | ~180 |
|
||||
| 04:40 | Edited src/controller/ha.c | modified 1() | ~44 |
|
||||
| 04:41 | Edited src/controller/ha.c | modified no() | ~121 |
|
||||
| 04:46 | Edited src/controller/ha.c | INFO() → DEBUG2() | ~115 |
|
||||
| 05:04 | Edited src/controller/ha.c | added 1 condition(s) | ~304 |
|
||||
| 05:11 | Edited src/controller/ha.c | 2→1 lines | ~20 |
|
||||
| 05:27 | Edited src/controller/ha.c | added 1 condition(s) | ~72 |
|
||||
| 05:43 | Edited src/controller/ha.c | modified no() | ~52 |
|
||||
| 06:02 | Edited src/lib/delay.c | added 5 condition(s) | ~270 |
|
||||
| 06:18 | Edited src/controller/ha.c | reduced (-6 lines) | ~32 |
|
||||
| 06:18 | Edited src/controller/ha.c | modified no() | ~52 |
|
||||
| 06:28 | Session end: 94 writes across 8 files (tasks.md, test_ha_evaluate_committing.c, ha.c, ha.h, config_repl.c) | 35 reads | ~364937 tok |
|
||||
> Consolidated session (102 actions)
|
||||
|
||||
## Session: 2026-06-08 01:03
|
||||
|
||||
|
|
@ -1003,3 +897,31 @@
|
|||
| 05:45 | Adversarial review ha-commit-barrier-rollout task 2.2 (barrier helper + walAck retirement): boundary clean (persist.c+repl.c only), 15/15 group, full census 472 Unity PASS / 0 FAIL (= 465 prior + 7 new), configAck byte-equivalent, LSN-0 absorption commented, ce==NULL asymmetry judged defensible — APPROVED | src/controller/persist.c, src/controller/repl.c | APPROVED | ~30k |
|
||||
| 22:36 | Edited .kiro/specs/ha-commit-barrier-rollout/tasks.md | inline fix | ~21 |
|
||||
| 22:36 | Edited .kiro/specs/ha-commit-barrier-rollout/tasks.md | modified RESOLVED() | ~148 |
|
||||
|
||||
## Session: 2026-06-12 00:02
|
||||
|
||||
| Time | Action | File(s) | Outcome | ~Tokens |
|
||||
|------|--------|---------|---------|--------|
|
||||
|
||||
## Session: 2026-06-12 00:39
|
||||
|
||||
| Time | Action | File(s) | Outcome | ~Tokens |
|
||||
|------|--------|---------|---------|--------|
|
||||
| 01:55 | Created src/controller/testsuite/test_commit_barrier_reply.c | — | ~7971 |
|
||||
| 01:55 | Edited src/controller/testsuite/test_commit_barrier_reply.c | modified cbrp_op_thread_fn() | ~102 |
|
||||
| 01:56 | Edited src/controller/testsuite/test_commit_barrier_reply.c | 6→5 lines | ~87 |
|
||||
| 01:56 | Edited src/controller/meson.build | 2→6 lines | ~37 |
|
||||
| 01:56 | Edited src/controller/testsuite/controller_test.c | 1→2 lines | ~25 |
|
||||
| 01:56 | Edited src/controller/testsuite/controller_test.c | 3→4 lines | ~27 |
|
||||
| 01:57 | Edited src/controller/testsuite/test_commit_barrier_reply.c | 2→3 lines | ~15 |
|
||||
| 01:58 | Edited src/controller/testsuite/test_commit_barrier_reply.c | modified notify() | ~392 |
|
||||
| 02:01 | Edited src/controller/testsuite/test_commit_barrier_reply.c | added 1 condition(s) | ~115 |
|
||||
| 02:06 | Edited src/controller/testsuite/test_commit_barrier_reply.c | expanded (+6 lines) | ~132 |
|
||||
| 02:08 | Edited src/controller/testsuite/test_commit_barrier_reply.c | added 1 condition(s) | ~200 |
|
||||
| 02:09 | Edited src/controller/testsuite/test_commit_barrier_reply.c | 3→5 lines | ~89 |
|
||||
| 02:09 | Edited src/controller/testsuite/test_commit_barrier_reply.c | added 1 condition(s) | ~217 |
|
||||
| 02:20 | Edited src/controller/testsuite/test_commit_barrier_reply.c | modified notify() | ~218 |
|
||||
| 02:20 | Edited src/controller/testsuite/test_commit_barrier_reply.c | 46→42 lines | ~673 |
|
||||
| 09:35 | Task 3.1 ha-commit-barrier-rollout: created RED integration tests for commit-first-then-reply (4 opcodes x withheld/acked/validation) | src/controller/testsuite/test_commit_barrier_reply.c, meson.build, controller_test.c | 484 results, 8 RED fails (new file only), 472 baseline green; discovered key_find rc==1 leak in queue_ctrl/worker_ctrl/job_ctrl (bug-447) | ~90k |
|
||||
| 03:00 | Edited .kiro/specs/ha-commit-barrier-rollout/tasks.md | inline fix | ~21 |
|
||||
| 03:00 | Edited .kiro/specs/ha-commit-barrier-rollout/tasks.md | 1→3 lines | ~255 |
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue