-
Type: Task
-
Resolution: Won't Do
-
Priority: Major - P3
-
None
-
Affects Version/s: None
-
Component/s: None
-
None
-
Serverless
-
Server Serverless 2021-08-23, Server Serverless 2021-08-30, Server Serverless 2021-09-06, Server Serverless 2021-09-13, Server Serverless 2021-09-20, Server Serverless 2021-09-27, Server Serverless 2021-10-04
Copy and enhance MultiTenantMigrations.tla to specify the slice merge algorithm. For this ticket, we'll restrict ourselves to the protocol of the Begin Implementing Merge project; we'll add more details to the TLA+ spec as we design them in later Merge projects.
- is depended on by
-
SERVER-57991 Architecture Guide updates for PM-2353
- Closed