[SERVER-44458] Productionize RaftMongo TLA+ spec Created: 06/Nov/19 Updated: 29/Oct/23 Resolved: 16/Jan/20 |
|
| Status: | Closed |
| Project: | Core Server |
| Component/s: | Replication |
| Affects Version/s: | None |
| Fix Version/s: | 4.3.3 |
| Type: | Task | Priority: | Major - P3 |
| Reporter: | Judah Schvimer | Assignee: | A. Jesse Jiryu Davis |
| Resolution: | Fixed | Votes: | 0 |
| Labels: | None | ||
| Remaining Estimate: | Not Specified | ||
| Time Spent: | Not Specified | ||
| Original Estimate: | Not Specified | ||
| Issue Links: |
|
||||||||||||||||||||||||
| Backwards Compatibility: | Fully Compatible | ||||||||||||||||||||||||
| Sprint: | Repl 2019-11-18, Repl 2019-12-02, Repl 2019-12-16, Repl 2019-12-30, Repl 2020-01-13, Repl 2020-01-27 | ||||||||||||||||||||||||
| Participants: | |||||||||||||||||||||||||
| Description |
|
|
| Comments |
| Comment by Githook User [ 29/Jan/20 ] |
|
Author: {'username': 'ajdavis', 'name': 'A. Jesse Jiryu Davis', 'email': 'jesse@mongodb.com'}Message: This is a combination of 6 commits. Revert " This reverts commit 88aaa47b815507e3ddd9a3a79f00d0eaca3ae071. Revert " This reverts commit e57438bd024d04f82dcbcbe68fe223b3f3aec838. Revert " This reverts commit f515d2ad5494e64c3be80189e7ea6bceaf267421. Revert " This reverts commit 744200de5f5667334457ee35abfa3747e2e26d55. Revert " This reverts commit eda99cf7ca668908e5eb0498845b0270265c44e7. Revert " This reverts commit a60ce00707f0ffdb5d2ec5c3a72993cc2b2d2978. delete mode 100644 jstests/replsets/tla_plus_trace_checking.js |
| Comment by Githook User [ 16/Jan/20 ] |
|
Author: {'name': 'A. Jesse Jiryu Davis', 'email': 'jesse@mongodb.com', 'username': 'ajdavis'}Message: |
| Comment by A. Jesse Jiryu Davis [ 14/Jan/20 ] |
|
Before closing, I'll upload a model config so future developers can run TLC on this spec. (Making progress toward solving |
| Comment by Githook User [ 14/Jan/20 ] |
|
Author: {'name': 'A. Jesse Jiryu Davis', 'email': 'jesse@mongodb.com', 'username': 'ajdavis'}Message: |