联邦分布式系统的一致性技术DB CAP、模拟等

我正在寻找用于一致性管理的技术的权威来源（比尽力而为更好）。指南、书籍或其他资源会很棒。

比如在分布式云dbs中，熟悉Azure CosmosDB提供的五种技术 https://docs.microsoft.com/en-us/azure/cosmos-db/consistency-levels（当然还有 Dynamo、CouchDB 等类似方法）

在模拟中。 HLA（高级架构）具有“ACID”级别的分布式更新与对等系统。请参阅：https://www.acm-sigsim-mskr.org/Courseware/Fujimoto/Slides/FujimotoSlides-21-HLATimeManagement.pdf

我发现的最好的调查是 https://en.m.wikipedia.org/wiki/PACELC_theorem ，但它很薄。

如果没有调查，是否有一些大学的教职员工将其作为自己的职业，我们可以咨询？

这方面的权威来源（以我的拙见）是 Martin Kleppmann 和他的书 Designing Data-Intensive Applications。特别是第 9 章涉及一致性模型，尽管还有其他章节讨论复制和其他与构建分布式数据库相关的问题，因此第 9 章本身应该与其他章节一起阅读。