https://Orangex-position0.github.io/tags/theory/Recent content in Theory on Orangex-position0的技术博客Hugo -- gohugo.iozh-cnMon, 16 Mar 2026 13:00:00 +0800https://Orangex-position0.github.io/posts/distributed-systems/cap-theorem/Mon, 16 Mar 2026 13:00:00 +0800https://Orangex-position0.github.io/posts/distributed-systems/cap-theorem/<h2 id="cap-定理"><a href="#cap-%e5%ae%9a%e7%90%86" class="header-anchor"></a>CAP 定理 </h2><p>CAP 定理指出，分布式系统最多只能同时满足以下三个特性中的两个：</p> <h3 id="一致性-consistency"><a href="#%e4%b8%80%e8%87%b4%e6%80%a7-consistency" class="header-anchor"></a>一致性 (Consistency) </h3><p>所有节点在同一时间看到相同的数据。</p> <h3 id="可用性-availability"><a href="#%e5%8f%af%e7%94%a8%e6%80%a7-availability" class="header-anchor"></a>可用性 (Availability) </h3><p>每个请求都能得到响应（成功或失败），保证系统持续服务。</p> <h3 id="分区容错性-partition-tolerance"><a href="#%e5%88%86%e5%8c%ba%e5%ae%b9%e9%94%99%e6%80%a7-partition-tolerance" class="header-anchor"></a>分区容错性 (Partition Tolerance) </h3><p>系统在网络分区的情况下仍能继续运行。</p> <h2 id="三种权衡组合"><a href="#%e4%b8%89%e7%a7%8d%e6%9d%83%e8%a1%a1%e7%bb%84%e5%90%88" class="header-anchor"></a>三种权衡组合 </h2><table> <thead> <tr> <th>组合</th> <th>说明</th> <th>典型系统</th> </tr> </thead> <tbody> <tr> <td>CA</td> <td>放弃分区容错</td> <td>单机数据库（RDBMS）</td> </tr> <tr> <td>CP</td> <td>放弃可用性</td> <td>HBase, MongoDB, Redis</td> </tr> <tr> <td>AP</td> <td>放弃强一致性</td> <td>Cassandra, DynamoDB</td> </tr> </tbody> </table> <h2 id="base-理论"><a href="#base-%e7%90%86%e8%ae%ba" class="header-anchor"></a>BASE 理论 </h2><p>CAP 的替代方案：</p> <ul> <li><strong>Basically Available</strong>：基本可用</li> <li><strong>Soft state</strong>：软状态</li> <li><strong>Eventually consistent</strong>：最终一致性</li> </ul> <h2 id="总结"><a href="#%e6%80%bb%e7%bb%93" class="header-anchor"></a>总结 </h2><p>在设计分布式系统时，需要根据业务场景选择合适的权衡：</p> <ul> <li>金融交易：优先保证一致性（CP）</li> <li>社交媒体：优先保证可用性（AP）</li> </ul>