Skip to content

Synchronize public AFT state queries (leader_id, leadership_state) #8181

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
Eddy Ashton (eddyashton) wants to merge 8 commits into from
Closed

Synchronize public AFT state queries (leader_id, leadership_state) #8181

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
cdac4a0
Synchronize public AFT state queries
eddyashton Aug 14, 2026
07879b5
Refactor raft.h to improve code clarity and reduce complexity
eddyashton Aug 14, 2026
5a9c72b
Add unit test demonstrating unsynchronized Raft public state reads
eddyashton Aug 19, 2026
7ce8538
Add CHANGELOG entry for AFT public state synchronization fix (#8181)
eddyashton Aug 19, 2026
3e8b8ab
Document and extend public_state_lock coverage in AFT Raft
eddyashton Aug 19, 2026
bcc9eb5
Move changelog entry to 7.0.13, describe test as long-term regression…
eddyashton Aug 19, 2026
ec336b8
Correct overclaim: locking fixes the data race, not cross-call consis…
eddyashton Aug 19, 2026
66284be
Replace contrived splice test with a real concurrent TSAN stress test
eddyashton Aug 19, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 10 additions & 0 deletions CHANGELOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,16 @@ All notable changes to this project will be documented in this file.
The format is based on [Keep a Changelog](http://keepachangelog.com/en/1.0.0/)
and this project adheres to [Semantic Versioning](http://semver.org/spec/v2.0.0.html).

## [Unreleased]

## [7.0.13]

[7.0.13]: https://github.com/microsoft/CCF/releases/tag/ccf-7.0.13

### Fixed

- Fixed a data race where `primary()`/`is_primary()` could read Raft's `leader_id`/`leadership_state` concurrently with a leadership transition writing them, by guarding both with a dedicated lock (#8181).

## [7.0.12]

[7.0.12]: https://github.com/microsoft/CCF/releases/tag/ccf-7.0.12
Expand Down
2 changes: 1 addition & 1 deletion python/pyproject.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"

[project]
name = "ccf"
version = "7.0.12"
version = "7.0.13"
authors = [
{ name="CCF Team", email="CCF-Sec@microsoft.com" },
]
Expand Down
Loading