[SERVER-49581] Architecture Guide Updates for Use TLA+ to model an aspect of the sharding system Created: 16/Jul/20  Updated: 06/Dec/22  Resolved: 06/Oct/20

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

Type: Task Priority: Major - P3
Reporter: Steven Vannelli Assignee: [DO NOT USE] Backlog - Sharding Team
Resolution: Won't Fix Votes: 0
Labels: None
Remaining Estimate: Not Specified
Time Spent: Not Specified
Original Estimate: Not Specified

Assigned Teams:
Sharding
Participants:

 Description   

Please investigate if this project requires changes to the architecture guide.


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