[SERVER-47430] Update TLA+ to only vote for candidate with same config version and term as self Created: 09/Apr/20 Updated: 29/Oct/23 Resolved: 09/Apr/20 |
|
| Status: | Closed |
| Project: | Core Server |
| Component/s: | Replication |
| Affects Version/s: | None |
| Fix Version/s: | 4.4.0-rc2, 4.7.0 |
| Type: | Task | Priority: | Major - P3 |
| Reporter: | Siyuan Zhou | Assignee: | Siyuan Zhou |
| Resolution: | Fixed | Votes: | 0 |
| Labels: | None | ||
| Remaining Estimate: | Not Specified | ||
| Time Spent: | Not Specified | ||
| Original Estimate: | Not Specified | ||
| Issue Links: |
|
||||||||||||
| Backwards Compatibility: | Fully Compatible | ||||||||||||
| Backport Requested: |
v4.4
|
||||||||||||
| Sprint: | Execution Team 2020-04-20 | ||||||||||||
| Participants: | |||||||||||||
| Description |
|
Update the TLA+ spec to reflect the change in |
| Comments |
| Comment by Githook User [ 17/Apr/20 ] | |||||||||
|
Author: {'name': 'Siyuan Zhou', 'email': 'siyuan.zhou@mongodb.com', 'username': 'visualzhou'}Message: (cherry picked from commit 6e182b5c907f2965516b852311c9be6da05932d8) | |||||||||
| Comment by Githook User [ 09/Apr/20 ] | |||||||||
|
Author: {'name': 'Siyuan Zhou', 'email': 'siyuan.zhou@mongodb.com', 'username': 'visualzhou'}Message: | |||||||||
| Comment by Siyuan Zhou [ 09/Apr/20 ] | |||||||||
|
Safety check of "NeverRollbackCommitted" with 4 nodes passed.
But liveness checks with ConfigEventuallyPropagates and {{ElectableNodeEventuallyExists }} run for days and could not finish. | |||||||||
| Comment by Siyuan Zhou [ 09/Apr/20 ] | |||||||||
|
Spinning this ticket off |