[SERVER-44340] Write TLA+ spec for safe reconfig protocol Created: 31/Oct/19  Updated: 29/Oct/23  Resolved: 09/Dec/19

Status: Closed
Project: Core Server
Component/s: Replication
Affects Version/s: None
Fix Version/s: 4.3.3

Type: Task Priority: Major - P3
Reporter: Siyuan Zhou Assignee: Tess Avitabile (Inactive)
Resolution: Fixed Votes: 0
Labels: None
Remaining Estimate: Not Specified
Time Spent: Not Specified
Original Estimate: Not Specified

Backwards Compatibility: Fully Compatible
Sprint: Repl 2019-11-18, Repl 2019-12-02
Participants:

 Comments   
Comment by Githook User [ 18/Dec/19 ]

Author:

{'name': 'Tess Avitabile', 'email': 'tess.avitabile@mongodb.com', 'username': 'tessavitabile'}

Message: SERVER-44340 Clarify that spec was for exploratory purposes only
Branch: master
https://github.com/mongodb/mongo/commit/527ad1d4b805b2901a058219693c8706711bf4c1

Comment by Githook User [ 09/Dec/19 ]

Author:

{'name': 'Tess Avitabile', 'username': 'tessavitabile', 'email': 'tess.avitabile@mongodb.com'}

Message: SERVER-44340 Write TLA+ spec for Raft reconfig protocol
Branch: master
https://github.com/mongodb/mongo/commit/1f32f6c3952581833482a1c3b0b7ab913b60943f

Generated at Thu Feb 08 05:05:43 UTC 2024 using Jira 9.7.1#970001-sha1:2222b88b221c4928ef0de3161136cc90c8356a66.