一、故障模型:
1、初始死进程:在局部算法中没执行过一步,则称进程为初始死进程。
2、损毁模型:如果进程正确地执行局部算法到某一时刻,此后并不进一步执行则称它是损毁。
3、BYzantine行为:如果它执行了与局部算法不一致的任意步,则称进程是Byzatine的。
二、判定问题:
1、终止性:所有正确进程都将进行判定,即最终向输出写值。
2、一致性:在不同进程所进行的判定之间强加了一种关系。最简单的情形是要求所有判定是相同的。
3、非平凡性:排除了基于问题的固定输出的算法,其中每个进程不经通信就可以判定。
三、故障检测:
每个节点向各节点发送一条消息。对于每个进程q,每个节点等待(收集N-T条消息),直到来自q的消息到达,或者q受到怀疑。
四、利用◇S的旋转协调器算法
xi:=input;
r:=o;
while true do
begin (*开始新一的轮,计算
r:=r+1;c:=(r mod N)+1;
(*1:所有进程送值给协调者*)
send <value,xi,r> to pc;
(*2:协调者计算输出*)
if i=c then
begin wait N-t mesgs. <value,vj,r> have been received;
v:=majority of values;
d:=(所有j:vj=v);
for j do send <outcome,d,v,r> to pj
end;
(*3:计算轮*)
if collect <outcome,d,v,r> from pc then
begin xi:=v;
if (d∧(yi=@)) then decide(v)
end
end
协调器必须扩展它的活动,首先收集所有进程的当前值,并检查它们是否一致,但是由于错误的怀疑,协调器可能只有效地收集不到一半的活动值,就宣布一个值为最终结果,所以要做出限制:在收集阶段,等待N-T的进程的投票,绝大多数进程已经计算这个值,不必所有正确进程都这样做,由于协调器仅仅等待固定的票数,有些不一致的投票可能漏掉。
分享到:
相关推荐
FourInOne(中文名字“四不像”)是一个四合一分布式计算框架,在写这个框架之前,我也看了老外写的其他开源框架,也对分布式计算进行了长时间的思考,当我们把复杂的hadoop当作一门学科学习时,似乎忘记了我们想...
#资源达人分享计划#
根据影响操作系统完整性的内核模块、二进制可执行文件等因素,通过定义直接信任度、间接信任度和综合信任度等计算公式构建了一个操作系统的完整性信任度评估模型,该模型利用模糊集合理论将完整性度量化为[0,1]之间...
不同于Hadoop,Fourinone采用工头链式结合工人并行的计算的方法,由于不依赖分布式文件系统,从而简化了分布式计算。 Fourinone把domain看作为mq队列,开发者根据自己的需求可以基于Fourinone自己去扩充这些功能,...
从逆变型分布式电源(IIDG)的数学模型、控制原理和参数设计角度出发,分析不同参数、故障前工况和故障严重程度条件下变流器电流对其指令的跟踪情景,进而提出一种考虑变流器电流指令跟踪能力的IIDG对称故障模型。...
Fourinone(中文名字“四不像”)是一个四合一分布式计算框架,在写这个框架之前,我对分布式计算进行了长时间的思考,也看了老外写的其他开源框架,当我们把复杂的hadoop当作一门学科学习时,似乎忘记了我们想解决问题...
在分布式环境中,相同的业务应用分布在不同的机器上,有些业务逻辑(例如一些耗时的计算,网络I/O处理),往往只需要让整个集群中的某一台机器进行执行,其余机器可以共享这个结果,这样可以大大减少重复劳动,提高...
7.5.3 基于其他故障模型的路由 7.6 超立方中的容错单播 7.6.1 基于局部信息的模型 7.6.2 基于有限全局信息的模型:安全 等级 7.6.3 基于扩展安全等级模型的路由: 安全向量 7.7 容错广播 7.7.1 一般方法 ...
《大规模分布式存储系统:原理解析与架构实战》内容分为四个部分:基础篇--分布式存储系统的基础知识,包含单机存储系统的知识,如数据模型、事务与并发控制、故障恢复、存储引擎、压缩/解压缩等;分布式系统的...
Hadoop:Apache Hadoop是一个用于分布式存储和处理大规模数据的开源框架。它包括Hadoop Distributed File System(HDFS)用于数据存储和MapReduce用于数据处理。 Spark:Apache Spark是一个快速、通用的集群计算...
Apache Hadoop (hadoop-3.3.3-src.tar.gz)项目为可靠、可扩展的分布式计算开发开源软件。 Apache Hadoop 软件库是一个框架,它允许使用简单的编程模型跨计算机集群分布式处理大型数据集。它旨在从单个服务器扩展到...
Apache Hadoop (hadoop-3.2.3-src.tar.gz)项目为可靠、可扩展的分布式计算开发开源软件。 Apache Hadoop 软件库是一个框架,它允许使用简单的编程模型跨计算机集群分布式处理大型数据集。它旨在从单个服务器扩展到...
Apache Hadoop (hadoop-3.3.3.tar.gz)项目为可靠、可扩展的分布式计算开发开源软件。 Apache Hadoop 软件库是一个框架,它允许使用简单的编程模型跨计算机集群分布式处理大型数据集。它旨在从单个服务器扩展到数千...
Apache Hadoop (hadoop-3.2.3.tar.gz)项目为可靠、可扩展的分布式计算开发开源软件。 Apache Hadoop 软件库是一个框架,它允许使用简单的编程模型跨计算机集群分布式处理大型数据集。它旨在从单个服务器扩展到数千...
Apache Hadoop (hadoop-3.3.1-aarch64.tar.gz)项目为可靠、可扩展的分布式计算开发开源软件。 Apache Hadoop 软件库是一个框架,它允许使用简单的编程模型跨计算机集群分布式处理大型数据集。它旨在从单个服务器...
Apache Hadoop (hadoop-3.3.1-src.tar.gz 源代码)项目为可靠、可扩展的分布式计算开发开源软件。 Apache Hadoop 软件库是一个框架,它允许使用简单的编程模型跨计算机集群分布式处理大型数据集。它旨在从单个...
Apache Hadoop (hadoop-3.2.2-src.tar.gz 源代码)项目为可靠、可扩展的分布式计算开发开源软件。 Apache Hadoop 软件库是一个框架,它允许使用简单的编程模型跨计算机集群分布式处理大型数据集。它旨在从单个...
Apache Hadoop (hadoop-2.10.1-src.tar.gz 源代码)项目为可靠、可扩展的分布式计算开发开源软件。 Apache Hadoop 软件库是一个框架,它允许使用简单的编程模型跨计算机集群分布式处理大型数据集。它旨在从单个...
通过建立改进的开关函数模型,能够满足目前分布式电源广泛接入的现状,处理多DG、多故障的定位要求。通过配电网结构划分降维策略进一步增加了算法的计算速度,建立改进的评价函数,防止故障定位误判。介绍了蝙蝠算法...
Apache Hadoop (hadoop-3.2.2.tar.gz)项目为可靠、可扩展的分布式计算开发开源软件。 Apache Hadoop 软件库是一个框架,它允许使用简单的编程模型跨计算机集群分布式处理大型数据集。它旨在从单个服务器扩展到数千...