Understanding Inconsistency in Azure Cosmos DB with TLA+
Murat (noreply@blogger.com)
This paper, by Finn Hackett, Joshua Rowe, Markus Kuppe, appeared in International Conference on Software Engineering 2023. It presents a specification of Azure Cosmos DB consistency behavior as exposed to the clients. During my sabbatical at CosmosDB in 2018, I was involved in a specification of CosmosDB as exposed to the clients . The nice thing about these specs is that they didn't need to model internal implementation but just captured the consistency semantics for clients precisely, rather