什么是强一致性？ 强一致性是一种系统设计保证，确保所有用户或进程同时看到最新版本的数据。当发生写入操作（例如更新数据库记录）时，任何后续的读取操作（无论在哪里或何时发生）都会立即反映该更改。这消除了某些用户可能看到过期数据而其他用户看到最新版本数据的情况。例如，在银行应用程序中，如果用户将资金从账户 A 转账到账户 B，强一致性确保两个账户的余额都原子地更新。转账后立即查看任一账户的余额都将显示正确、更新后的金额。
工作原理 为了实现强一致性，系统通常依赖于同步机制，这些机制在所有节点或组件之间强制执行严格的顺序和协调。在分布式数据库中，这可能涉及使用两阶段提交 (2PC) 或 Raft 或 Paxos 等共识算法，以确保所有节点在确认写入之前就数据状态达成一致。例如，当用户更新一个值时，系统会阻止该数据的所有读取和写入操作，直到每个节点都确认更新。这确保不会出现部分或冲突的状态。PostgreSQL 或 MySQL（具有 ACID 事务）等关系型数据库是经典的例子：它们在写入期间锁定行或表，以防止读取不一致。
权衡与用例 强一致性优先考虑数据准确性，而非系统性能或可用性。虽然它对于金融系统、库存管理或病历等应用至关重要（在这些应用中，过期数据可能导致严重错误），但它会引入延迟并降低容错性。例如，如果分布式数据库强制执行强一致性，网络分区可能会导致部分系统暂时不可用，直到节点重新同步。这符合 CAP 定理，该定理指出分布式系统无法同时保证一致性（Consistency）、可用性（Availability）和分区容错性（Partition tolerance）。开发者只有在数据正确性不容协商的情况下才必须选择强一致性，接受在速度或弹性方面的权衡，适用于实时事务处理等场景。