关于zookeeper是属于ap还是cp的讨论

backgroud

与朋友讨论zookeeper属于cap理论中的哪一个，在普遍的观点中，zookeper是属于cp模型。

核心观点来自于

https://www.elastic.co/cn/blog/found-zookeeper-king-of-coordination

Consistency, Availability and Partition tolerance are the the three properties considered in the CAP theorem. The theorem states that a distributed system can only provide two of these three properties. ZooKeeper is a CP system with regard to the CAP theorem. This implies that it sacrifices availabilty in order to achieve consistency and partition tolerance. In other words, if it cannot guarantee correct behaviour it will not respond to queries.

但是朋友提出了不一样的观点，他认为：zookeeper在默认参数情况下无法满足cp模型。观点论据来源：

https://baijiahao.baidu.com/s?id=1718646106068529193&wfr=spider&for=pc

于是我搜索了一下，发现有一篇比较著名的文章讨论这个CAP的问题：

https://martin.kleppmann.com/2015/05/11/please-stop-calling-databases-cp-or-ap.html

译文版本：

https://zhuanlan.zhihu.com/p/108002021

BASE理论

https://zhuanlan.zhihu.com/p/342727026