关注微信公众号 “程序员小胖” 每日技术干货,第一时间送达!
引言
在现代的微服务架构中,系统被拆分成了许多小型服务,每个服务可能有自己的数据库。这种架构带来了灵活性和可扩展性,但也引入了新的挑战,尤其是在事务管理方面。分布式事务确保了在跨多个服务的操作中,所有事务的参与者要么全部成功提交,要么在遇到错误时全部回滚,从而保持了数据的最终一致性。
CAP理论
CAP理论是分布式系统设计中的一个核心原则,它指出在分布式系统中,一致性(Consistency)、可用性(Availability)和分区容错性(Partition tolerance)这三个特性无法同时完全满足。一个分布式系统只能满足这三个特性中的两个。
一致性(Consistency)
在分布式系统中,一致性意味着所有节点在同一时间看到的数据是相同的。当一个写操作完成后,所有节点在同一时间的数据完全一致,等同于所有节点拥有数据的最新版本。
可用性(Availability)
可用性强调分布式系统在任何时候都能够响应请求,即使在部分节点故障的情况下,系统也能够继续处理请求。
我们平时会看到一些 IT 公司的对外宣传,比如系统稳定性已经做到 3 个 9、4 个 9,即 99.9%、99.99%,这里的 N 个 9 就是对可用性的一个描述,叫做 SLA,即服务水平协议。比如我们说月度 99.95% 的 SLA,则意味着每个月服务出现故障的时间只能占总时间的 0.05%,如果这个月是 30 天,那么就是 21.6 分钟。
分区容错性(Partition tolerance)
当部分节点出现消息丢失或者分区故障的时候,分布式系统仍然能够继续运行,即系统容忍网络出现分区,并且在遇到某节点或网络分区之间网络不可达的情况下,仍然能够对外提供满足一致性和可用性的服务
使用场景分析
CA系统(一致性与可用性)
**场景:**需要强一致性的数据库系统,如关系型数据库 mysql。
**设计:**通过引入事务机制、两阶段提交等协议来保证一致性。在网络分区发生时,可能会牺牲一部分可用性,例如通过锁定机制来防止数据不一致。
由于严格的CA系统在分布式环境中难以实现,我们可以展示一个简化版的伪代码思路,模拟一个中心化服务,它在理想状态下提供了高可用性和强一致性。但请记住,这并不直接对应于真实的分布式系统设计。
// 简化模拟:中心化服务,模拟一致性与可用性优先
class CentralizedService {
private Map<String, String> dataStore = new ConcurrentHashMap<>();
// 写入数据,确保所有操作直接作用于单一存储源,保证一致性
synchronized void put(String key, String value) {
dataStore.put(key, value);
}
// 读取数据,直接从单一存储源读取,保证一致性
String get(String key) {
return dataStore.get(key);
}
}
public class CADemo {
public static void main(String[] args) {
CentralizedService service = new CentralizedService();
// 模拟写操作
new Thread(() -> {
service.put("exampleKey", "exampleValue");
}).start(