wdgzyjx/myxce
1
0
Fork 0
forked from lei.chen/myxce
Code Pull requests Activity

docs(ha-single-leader-role): sync steering + contributor docs to three-state model + own-term gate (task 6.1)

Browse source
This commit is contained in:
Rongsong Shen 2026-06-13 14:58:55 +00:00
parent 93dfc02717
commit dbc631664d
6 changed files with 9 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/controller/CLAUDE.md
View file

@ -37,7 +37,7 @@ The file `raft/raft.tla` contains Diego Ongaro's TLA+ specification of the Raft
| TLA+ Variable | XCE Code | Location |
|--------------|----------|----------|
| `currentTerm[i]` | `ha->term` (_Atomic uint64_t) | `ha.h:139` |
| `state[i]` ∈ {Follower,Candidate,Leader} | `ha->role` ∈ {INIT,ELECTING,PRIMARY_COMMITTING,PRIMARY,STANDBY} | `ha.h:139` |
| `state[i]` ∈ {Follower,Candidate,Leader} | `ha->role` ∈ {INIT,ELECTING,PRIMARY,STANDBY} | `ha.h:139` |
| `votedFor[i]` | `ha->voted_for_name[XCE_MAXNAME_LEN]` | `ha.h:161` |
| `log[i]` | WAL segments in `persist->wal_path` | `persist.c` |
| `commitIndex[i]` | `persist->committed_lsn` (_Atomic uint64_t) | `persist.h` |