知识卡片
HAT扩大了限制
内容
HAT 指出在完全可用条件下，不仅线性一致性不可得，RR、SI、serializable、Strong-1SR 等很多事务一致性也不可得。发散：分布式事务的可用性代价比 CAP 口号展示得更广。
参考来源
- 位置：《分布式系统与一致性》第16章《架构设计中的权衡》"16.4.1 HAT"一节（源文件：_epub-src/OEBPS/Text/chapter20.xhtml）
- 结论依据：原文明确"在CAP-Availability的条件下，系统不但不能拥有线性一致性，而且实际上很多种一致性模型，系统也不可能拥有"，具体列出"RR、SI、1SR不能与CAP-Availability被同时拥有……线性一致性和1SR的组合Strong-1SR，也自然不能获得"。
- 原始内容：简单来说，就是在CAP-Availability的条件下，系统不但不能拥有线性一致性，而且实际上很多种一致性模型，系统也不可能拥有……其次，RR、SI、1SR不能与CAP-Availability被同时拥有……最后，我们来看Strong-1SR。在具有CAP-Availability的系统中，线性一致性和1SR都不能获得，那么线性一致性和1SR的组合Strong-1SR，也自然不能获得。