一篇文章搞清楚什么是分布式系统CAP定理本文是对GilbertandLynch'sspecificationandproofoftheCAPTheorem文章的概括版本.
大部分内容参照AnIllustratedProofoftheCAPTheorem文章的.
什么是CAP定理CAP定理是分布式系统中的基本定理,这个理论表明任何分布式系统最多可以满足以下三个属性中的两个.
一致性(Consistency)可用性(Availability)分区容错性(Partitiontolerance)CAP定理指出分布式系统不可能同时满足一致性,可用性和分区容忍性.
听起来很简单,但一致性、可用、分区容忍意味着什么在本文中,我们将介绍一个简单的分布式系统,并解释该系统可用性,一致和分区容错的含义.
什么是分布式系统分布式系统(DistributedSystem)是一组电脑,通过网络相互连接传递讯息与通讯后并协调它们的行为而形成的系统.
组件之间彼此进行交互以实现一个共同的目标.
把需要进行大量计算的工程数据分割成小块,由多台计算机分别计算,再上传运算结果后,将结果统一合并得出数据结论的科学.
现在让我们考虑一个非常简单的分布式系统.
该系统由\(G_1\)和\(G_2\)两个服务组成.
这两个服务都追踪相同的变量\(V\),这个变量的初始值为\(v_0\).
\(G_1\)和\(G_2\)彼此之间可以通信,并且能够和外部的客户端进行通信.
下图正是我们系统的架构:1/8如果想及时了解Spark、Hadoop或者Hbase相关的文章,欢迎关注微信公共帐号:iteblog_hadoop客户端可以向任何服务器发出读写请求.
当一个服务接收到请求,它会做任何需要的计算,之后对客户端发出响应.
比如下面就是一个写请求的例子:如果想及时了解Spark、Hadoop或者Hbase相关的文章,欢迎关注微信公共帐号:iteblog_hadoop下面是读请求的例子:2/8如果想及时了解Spark、Hadoop或者Hbase相关的文章,欢迎关注微信公共帐号:iteblog_hadoop现在我们有了分布式系统的基本概念,接下来的文章将进一步介绍分布式系统的可用性、一致性以及分区容错性.
一致性Gilbert和Lynch对一致性的描述为:anyreadoperationthatbeginsafterawriteoperationcompletesmustreturnthatvalue,ortheresultofalaterwriteoperation(中文意思是在写操作完成后开始的任何读操作都必须返回该值,或者后续写操作的结果).
也就是在一致的系统中,一旦客户端将值写入任何服务器并获得响应,那么后续的读客户端将从分布式系统中任何的服务器中读取到这个值.
下面系统就不满足这个特点:3/8如果想及时了解Spark、Hadoop或者Hbase相关的文章,欢迎关注微信公共帐号:iteblog_hadoop客户端更新\(G_1\)服务器上的\(v\)为\(v_1\),\(G_1\)服务器对此做出了响应.
但是客户端从\(G_2\)获取\(v\)的值得到的结果确是\(v_0\).
下面系统就是一致性的系统:4/8如果想及时了解Spark、Hadoop或者Hbase相关的文章,欢迎关注微信公共帐号:iteblog_hadoop在这个系统中,\(G_1\)服务器在响应客户端之前将\(v\)的值复制到\(G_2\)服务器上,这时候客户端从\(G_2\)获取\(v\)的值得到的结果是\(v_1\).
可用性(Availability)Gilbert和Lynch对可用性的描述为:everyrequestreceivedbyanon-failingnodeinthesystemmustresultinaresponse(中文意思:系统中非故障节点收到的每个请求都必须产生响应).
也就是说在可用系统中,客户端向服务器发送请求并且该服务器未崩溃,则该服务器必须最终响应客户端.
分区容错性(PartitionTolerance)5/8Gilbert和Lynch对可用性的描述为:thenetworkwillbeallowedtolosearbitrarilymanymessagessentfromonenodetoanother(中文意思:允许网络丢失从一个节点发送到另一个节点的任意多个消息).
这意味着\(G_1\)和\(G_2\)之间的通信消息可以被丢掉,如果他们之间所有的消息都被丢弃,那么我们的系统看起来像下面一样:如果想及时了解Spark、Hadoop或者Hbase相关的文章,欢迎关注微信公共帐号:iteblog_hadoop在分布式环境下,网络分区是一个必然的事实.
所以我们的系统必须满足分区容错性,这样我们的系统才能够正常运行.
CAP证明到这里我们已经明白了分布式系统的可用性、一致性以及分区容错性的含义,现在我们来证明为什么分布式系统不能同时满足这三者.
我们用反证法证明,假设现实中确实存在满足这三个条件的分布式系统,那么当系统之间的网络发生分区的时,它看起来像下面的情况:6/8如果想及时了解Spark、Hadoop或者Hbase相关的文章,欢迎关注微信公共帐号:iteblog_hadoop现在客户端\(C_1\)更新\(G_1\)服务器上的\(v\)为\(v_1\),因为我们的系统是可用的,所以\(G_1\)服务器会做出响应,但是因为网络发生了分区,\(G_1\)无法将数据复制到\(G_2\).
如果想及时了解Spark、Hadoop或者Hbase相关的文章,欢迎关注微信公共帐号:iteblog_hadoop写完数据之后,另外一个客户端\(C_2\)向\(G_2\)服务器发出读取\(v\)的请求,但是因为网络分区的存在,\(G_2\)服务器上\(v\)还是更新之前的值,所以客户端\(C_2\)得到的结果为\(v_0\).
7/8如果想及时了解Spark、Hadoop或者Hbase相关的文章,欢迎关注微信公共帐号:iteblog_hadoop这种情况下\(C_2\)并没有获取到\(C_1\)写入的值,也就不满足数据一致性.
由此可以得出分布式系统不能同时满足可用性、一致性以及分区容错性.
CP还是AP首先既然是分布式系统,那么网络分区是一定会存在的,所以分布式系统必须满足P,否则就不是一个正真的分布式系统.
所以我们必须在A和C之间做出选择.
如果分布式系统不要求强的可用性,也就是容许系统停机或者长时间无响应的话,这种情况我们就可以考虑舍弃A.
我们常见的Zookeeper就是满足CP的.
如果我们的系统可用性要求非常高,那么我们可以牺牲一致性来满足.
这里说的牺牲一致性并不是说系统一直处于不一致的状态,要是这样的话这系统就没啥用了.
我们说的牺牲一致性一般都是说牺牲强一致性,而保证最终一致性.
也就是说系统短暂是不一致性的,过段时间能保证一致,也就是最终一致性.
所以,对于一个分布式系统来说,P是一个基本要求,CAP三者中,只能根据系统要求在C和A两者之间做权衡,并且要想尽办法提升P.
关于最终一致性可以参见本博客的BASE理论.
本博客文章除特别声明,全部都是原创!
转载本文请加上:转载自过往记忆(https://www.
iteblog.
com/)本文链接:【】()PoweredbyTCPDF(www.
tcpdf.
org)8/8
蓝速数据金秋上云季2G58/年怎么样?蓝速数据物理机拼团0元购劲爆?蓝速数据服务器秒杀爆产品好不好?蓝速数据是广州五联科技信息有限公司旗下品牌云计算平台、采用国内首选Zkeys公有云建设多种开通方式、具有IDC、ISP从业资格证IDC运营商新老用户值得信赖的商家。我司主要从事内地的枣庄、宿迁、深圳、绍兴、成都(市、县)。待开放地区:北京、广州、十堰、西安、镇江(市、县)。等地区数据中心业务,均KV...
NameSilo是通过之前的感恩节优惠活动中认识到这家注册商的,于是今天早上花了点时间专门了解了NameSilo优惠码和商家的详细信息。该商家只销售域名,他们家的域名销售价格还是中规中矩的,没有像godaddy域名标价和使用优惠之后的价格悬殊很大,而且其特色就是该域名平台提供免费的域名停放、免费隐私保护等功能。namesilo新注册域名价格列表,NameSilo官方网站:www.namesilo....
点击进入亚云官方网站(www.asiayun.com)公司名:上海玥悠悠云计算有限公司成都铂金宿主机IO测试图亚洲云Asiayun怎么样?亚洲云Asiayun好不好?亚云由亚云团队运营,拥有ICP/ISP/IDC/CDN等资质,亚云团队成立于2018年,经过多次品牌升级。主要销售主VPS服务器,提供云服务器和物理服务器,机房有成都、美国CERA、中国香港安畅和电信,香港提供CN2 GIA线路,CE...
502gateway为你推荐
支付宝查询余额我的支付宝如何查询余额公章制作如何制作公章照片转手绘有什么软件可以把相片变成手绘的,不是美图秀秀里面的手机区号有的手机号中间的号码是地区区号,那是什么卡网店推广网站开网店如何做推广?中小企业信息化什么是企业信息化,应该这样实施童之磊网文大学很强吗?天天酷跑刷金币天天酷跑怎么刷金币?雅虎天盾我装了360安全卫士,原来的雅虎天盾需不需要卸载创维云电视功能什么是创维云电视啊?创维云电视是什么意思?
香港服务器租用 视频空间租用 备案域名出售 hawkhost 美国主机评论 免费cdn加速 外国空间 shopex空间 大容量存储 元旦促销 微信收钱 seednet 北京双线 速度云 域名接入 1美金 789电视剧 宏讯 net空间 贵阳电信 更多