Dynamo是Amazon 2007年提出的高可用键值存储系统,核心设计是牺牲强一致性换取可用性和分区容错性。它采用一致性哈希和虚拟节点实现数据分布,通过可调节的Quorum协议(N/R/W参数)平衡读写性能,使用向量时钟检测并发冲突,并利用Sloppy Quorum和Hinted Handoff保证节点故障时写入不中断。该系统深刻影响了Cassandra、Riak等后续分布式数据库的设计。
在分布式系统中,多个节点的协作使事件顺序影响系统状态。由于物理时间无法准确判断事件顺序,引入了逻辑时钟,包括Lamport时钟和向量时钟。Lamport时钟满足基本条件但缺乏因果信息,而向量时钟能识别并发事件但开销较大。Chandy-Lamport算法用于获取一致的全局快照,强调因果关系的重要性超过物理时间。
完成下面两步后,将自动完成登录并继续当前操作。