4 ms·
It's off-topic. But yes, Cosmos DB has rigorous tests[1] including Jepsen (a tool). [1] https://twitter.com/dharmashukla/status/869104163510034432 https://twit
by rystsov 8y ago
It's off-topic. But yes, Cosmos DB has rigorous tests[1] including Jepsen (a tool).
[1] https://twitter.com/dharmashukla/status/869104163510034432 https://twitter.com/dharmashukla/status/869104163510034432
- aphyr 8y agoTo clarify: no, Jepsen, as an organization, has not worked with CosmosDB. I'm delighted they have rigorous tests, and I'm glad our tool has been helpful for them! We just can't say anything about those tests, because we haven't looked yet. Maybe someday!
- namibj 8y agoI understand them having developed TLA+ to guide their design and test consistency primitives.