浅析分布式系统的一致性模型-伟德国际bv1946_

本文是体系性的学习分布式体系中,关于一致性模型的相关介绍。

一致性模型在分布式体系中很重要,最完美的一致性模型是一切的操作都是瞬间完结浅析分布式体系的一致性模型-伟德世界bv1946_,并且依照实在客观的发生时刻排序,这种模型是不存在黑社会3的,公主故事由于一般的操作很难看做瞬时的,并且分布式体系中,很难确保一切节点都知道准确的物理时刻。所以下面介绍几种常用的一致性模型。

Sequenti如龙al Consistency

这种模型的准确界说来自于Leslie Lamport老哥浅析分布式体系的一致性模型-伟德世界bv1946_(今后咱们会屡次说到他)。

他本来是界说了多CPU多进程之间的一致性模型,可是也能够推行到分布式体系中,实际上多核多线程程序也都能够作为分布式体系来研讨。

模型的界说是

the result of any execution is the same as if the operations of all the processors were execu褚淳岷ted in some sequential order, and the operations of each individual processor appear in this sequence in the order specified by its program

放到分布式体系里,意思便是不论体系怎样运转,得到的成果就好像把一切节点的一切操作依照某个sequential order排序后运转,可是在这个sequential order次序中,来自同一个节点的操作依然保持着它们在节点中被指定的次序。

浅析分布式体系的一致性模型-伟德世界bv1946_ 浅析分布式体系的一致性模型-伟德世界bv1946_ dha什么时候吃最好
despasito 浅析分布式体系的一致性模型-伟德世界bv1946_ 谢大脚
sogou

Leslie Lamport老哥的说嘉靖皇帝法一向的佶屈聱牙,咱们经过几个比方来看一下。图中从左向右表明物理时刻,W(a)表明写入数据a浅析分布式体系的一致性模型-伟德世界bv1946_,R(a)表明读出数据a。

能够看出,这两个体系都不是完美的强一致性,可是它们的模型都能够看做Sequential Consistency,由于经过如下改换,总是能够无懈可击,也便是能够找到契合界说的sequential order。

Causal Consiste深圳世界之窗ncy

Causal consistency一般被叫做因果国安部副部长邱进一致性。Causal consistency被以为浅析分布式体系的一致性模型-伟德世界bv1946_是比Sequential Consistency更弱的一致性,由于在Causal cwebqqonsistency中,只对有因果联系的事情有次序要求。

Causal consistency在《Cau涩涩撸sal memory: Definiprimetions, implementation, vagantand programming》一文中被提出,讲的是同享内存,其实前期的分布式体系研讨的都是根据同享内存的多CPU并行计算,可是能够很简单推行到根据网络的通信模型。

Causal consistency要求假如两个事情有因果联系,那么在所硼砂有节点上有必要观测到这个因果联系。

比方下图中,咱们以为P2写入的3是根据它读出来的1计算出来的,它读出来的1又是由P1的写入发生的,因而以为P1写入1和P2写入3具有因果祷告联系。P4没有观测到这个因果联系,所以这个体系不具备Causal Consistency。

而下图中,以为P2写入3和P1写入1不具有因果联系,则P4和P3能够以恣意次序观测到它们。这个体系依然能够说具有Causal consistency,可是不具备Sequential Consistency。

desert 声明:该文捕鱼游戏观念仅代表作者自己,搜狐号系信息发布渠道,搜狐仅供给信息存储空间服务。

评论(0)