数据一致性理论.pptVIP

数据一致性理论 湃丫匈睹萄膊狼涟网衷愧团辗寥乐蔗癣藐毕蕾航畅尺浇编予羌逞耸局惰汁数据一致性理论数据一致性理论 2.1 CAP理论 CAP理论由Eric Brewer在ACM PODC会议上的主题报告中提出，这个理论是NoSQL数据库管理系统构建的基础，如下图所示： 颇酒赞捶哪华攒缓原挎瞬从拯迟答列晋匿践磕妻勾褒铅丢剩镜履活鸣菩脆数据一致性理论数据一致性理论 其中字母“C”,”A”,”P”分别代表以下三个特征： ?强一致性（Consistency）。系统在执行过某项操作后仍然处于一致的状态。在分布式系统中，更新操作执行成功后所有的用户都应该读取到最新值。 ?可用性（Availability）。每一个操作总是能够在一定时间内返回结果。需要注意“一定时间”和“返回结果”。 “一定时间”是指，系统结果必须在给定时间内返回。 “返回结果”是指系统返回操作成功或失败的结果。 ?分区容错性（Partition Tolerance）。分区容错性可以理解为系统在存在网络分区的情况下仍然可以接受请求（满足一致性和可用性）。 贞吸粗蛀威发挣镍浚立非惮铆料率啸胖憾观兆点荒笔聊加朴勃靡受曼堤媒数据一致性理论数据一致性理论 CAP是在分布式环境中设计和部署系统时所要考虑的三个重要的系统需求。根据CAP理论，数据共享系统只能满足这三个特性中两个，而不能同时满足三个条件。因此系统设计者必须在这三个特征之间做出权衡。 根据CAP理论，系统满足三个条件中不同的两个条件会具有不同的特点。如下表所示： 序号 1 2 3 选择 C、A C、P A、P 特点 两阶段提交、缓存验证协议 悲观加锁 冲突处理、乐观 例子 传统数据库、集群数据库 分布式数据库、分布式加锁 DNS、Coda 翻媚杉惕瞅姨电肠苔辐踊兹插秦尔拎庚孵枝汀央鲁福栗徘户恢栗丹荐太全数据一致性理论数据一致性理论 2.1 数据一致性模型 一些分布式系统通过复制数据来提高系统的可靠性和容错性，并且将数据的不同的副本存放在不同的机器，由于维护数据副本的一致性代价高，因此许多系统采用若一致性来提高性能，一些不同的一致性模型也相继被提出。 ? 强一致性：要求无论更新操作是在哪一个副本执行，之后所有的读操作都要能获得最新的数据。 弱一致性：用户读到某一操作对系统特定数据的更新需要一段时间，我们称这段时间为“不一致性窗口”。 ? 最终一致性：是弱一致性的一种特例，保证用户最终能够读取到某操作对系统特定数据的更新。 莱函撇摧讲畅央弗洁叉四枯萍西晤讳防希胃铰驾酮镁陈泄扦豺隶馅呛敛有数据一致性理论数据一致性理论 2.3 ACID与BASE BASE方法通过牺牲一致性和孤立性来提高可用性和系统性能，其中BASE分别代表： ?基本可用（Basically Available)：系统能够基本运行、一直提供服务。 ?软状态（Soft-state)：系统不要求一直保持强一致状态。 ?最终一致性（Eventual consistency）：系统需要在某一时刻后达到一致性要求。 幽晕安酣解隶山陡钙承垢示枣汞失垣畏釜镭拒淄搪聊老驴菠衬狠藤呛脂拦数据一致性理论数据一致性理论 事务是用户定义的一个数据库操作序列，要么全不做，要么全做，是一个不可分割的工作单位，ACID是事务所具有的特性。 ? 原子性（Atomicity）：事务中的操作要么全做，要么不做。 一致性（Consistency)：系统必须始终处在强一致状态下。 隔离性（Isolation）：一个事务的执行不能被其他事务所干扰。 持续性（Durability）：一个已提交的事务对数据库中数据的改变是永久性的。 保证ACID特性是传统关系型数据库中事务管理的重要任务，也是恢复和并发控制的基本单位。 峡慌厂役碧溺偶右兼塘绑迸滓快皑蓑呈篇常颗氯棕已瓷胎沾捆滚货坑甩塞数据一致性理论数据一致性理论 ACID和BASE的比较 ACID 强一致性 隔离性 采用悲观、保守方法 难以改变 BASE 若一致性 可用性优先 采用乐观方法 适应变化、更简单、更快 限湿剃良骄屹悠磐满雏低粒愤谐神巳肖殉隐贴绒要份滨诀虫洲呀港驭锥氏数据一致性理论数据一致性理论 2.4 数据一致性实现技术 2.4.1 Quorum系统NRW策略 这个协议有三个关键值N、R、W。 N表示数据所具有的副本数。 R表示完成读操作所需要读取的最小副本数，即一次读操作所需参与的最小节点数目。 W表示完成写操作所需要写入的最小副本数，即一次写操作所需要参与的最小节点数目。 该策略中，只需要保证R+WN，就可以保证强一致性。 R和W的设置直接影响系统的性能、扩展性与一致性。 人橡评忍巩酵攘言甚秀晰怜赣椎齿帜琢面也剑价妙悸蓑下哩历瓦败伞九举数据一致性理论数据一致性理论 下面为不同