企业网站建设代理公司,wordpress 4.5.7,东莞推广系统哪里找,做第三方库个人网站讨论了1primary 1backup的情况#xff0c;比较好理解#xff0c; 6.824中以该论文为例#xff0c;介绍了分布式系统中复制的概念#xff0c;复制的方式。以下简要讲述一些关键点#xff0c;来源于MIT6.824课程#xff0c;翻译版本 https://mit-public-courses-cn-transl…讨论了1primary 1backup的情况比较好理解 6.824中以该论文为例介绍了分布式系统中复制的概念复制的方式。以下简要讲述一些关键点来源于MIT6.824课程翻译版本 https://mit-public-courses-cn-translatio.gitbook.io/mit6-824/lecture-04-vmware-ft 文章目录 一、两种复制方法二、工作原理三、非确定性事件四、Log格式猜测五、防止脑裂的第三方机构test-and-set服务 一、两种复制方法
状态转移复制状态机
区别在于状态转移转移的是系统内部信息而复制状态机则是传输外部事件。一条执行语句可能会改变很多甚至全部内部状态比如涉及到数据库中schema的改变如果每次都转移内部状态那涉及到的太多了。而传输执行指令的操作粒度则比较小。 人们倾向于使用复制状态机的原因是通常来说外部操作或者事件比服务的状态要小。如果是一个数据库的话它的状态可能是整个数据库可能到达GB这个级别而操作只是一些客户端发起的请求例如读key27的数据。所以操作通常来说比较小而状态通常比较大。所以复制状态机通常来说更吸引人一些。复制状态机的缺点是它会更复杂一些并且对于计算机的运行做了更多的假设。而状态转移就比较简单粗暴我就是将我整个状态发送给你你不需要再考虑别的东西。 二、工作原理
VMware FT的FT Fault tolerance。 想要实现错误容忍那么就需要replication防止一台机器挂掉了导致的状态丢失
VMware FT需要两个服务器在两台物理机上有两台虚拟机primary和backupVMM为每个虚拟机分配一段内存它们的内存镜像需要完全一致。 客户端向primary发送指令 然后primary会向backup也发送同样指令。primary和backup都会执行指令生成response但是只有primary会回复客户端而backup会把response丢弃。VMware FT论文中将Primary到Backup之间同步的数据流的通道称之为Log Channel 。
正常来说是primary接收指令然后通过log channel 将其传给backup。 如果backup在一个规定时间内无法收到primary的指令可以认为是primary挂了/有问题了此时Backup不会再等待来自于Primary的Log Channel的事件 backup此时不受primary事件驱动同时告知客户端后续的请求发往backup而不是primary backup生成的response此时也不会直接丢弃它成为了新的primary。
三、非确定性事件
可以理解为同一事件在不同机器上结果不同的事件。也是复制状态机方式需要考虑的特殊情况。 客户端输入 在分布式系统中这里的系统输入指的是网络数据包。一个网络数据包包括两个部分一个是数据包中的数据另一个是提示数据包到达的中断。 中断在哪个位置触发对于primary和backup来说需要一致否则状态就会偏差。 “怪异”指令这些指令在不同机器上的执行结果不同 比如随机数生成 获取当前时间的指令获得计算机唯一id指令 多CPU并发 当服务运行在多CPU上时指令在不同的CPU上会交织在一起运行因此指令运行的顺序不可预期
假设两个核同时向同一份数据请求锁 在primary上CPU core1得到锁 在backup上由于细微的时间差别CPU core2获得了锁那么执行结果可能很不一样。
四、Log格式猜测
Robert教授猜测log log channel 中传递的信息中有三样东西
事件编号日志条目类型普通的网络数据 or 怪异指令数据网络数据包内容也就是普通指令的内容 or 怪异指令执行结果
五、防止脑裂的第三方机构test-and-set服务
网络分区导致脑裂问题的解决需要有一个第三方的权威机构决定primary还是backup允许上线这就是test-and-set服务。
这个就像锁一样该服务在内存中保留一些标志位primary和backup需要向这个服务发送test-and-set请求。 当第一个请求送达时Test-and-Set服务会说这个标志位之前是0现在是1。第二个请求送达时Test-and-Set服务会说标志位已经是1了你不允许成为Primary。对于这个Test-and-Set服务我们可以认为运行在单台服务器。当网络出现故障并且两个副本都认为对方已经挂了时Test-and-Set服务就是一个仲裁官决定了两个副本中哪一个应该上线。 节点成为primary必须向这个第三方机构进行请求得到许可得到0。 也就是test and set当前如果是0那么该节点可以成为primary成为primary后将标志位设置为1 如果当前标志位1就不能再成为primary了。 本质上来说这是一种简化了的锁服务哪台机器拿到“锁”哪台机器才能成为primary。
