![](https://img-blog.csdnimg.cn/20201014180756754.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
分布式算法学习
文章平均质量分 67
zakheav
这个作者很懒,什么都没留下…
展开
-
分布式算法 1 同步网络的形式化描述
同步的含义:在分布式系统中,同步指的就是每个进程都有一个统一的时钟,在每次时钟周期中,所有的进程一起同时做动作。进程形式化描述:同步网络用有向图G = (V,E)表示。每个V代表进程的集合。V中的每个进程 i 由以下几个部分组成:states:进程所处状态集合。start:进程的开始状态集合。msg(states,out-nbrs):消息生成函数,输入参数是出向邻接进程原创 2015-04-07 11:26:11 · 898 阅读 · 0 评论 -
分布式算法 2 领导者选择算法
算法产生于局部令牌环网:当令牌在环网中丢失,需要重新产生一个令牌,这就相当于产生一个领导者。这个领导者要求唯一。定理:如果每一个进程都相同,则无法选举出唯一领导者。(如果每个进程都相同,则在同步系统运行中,每个进程发出的消息,接收的消息,状态的变化都相同,会同时进入领导者状态)基本算法 LCR算法:每个进程都沿环网发送自己的标示符uid(各不相同),并且原创 2015-04-07 14:57:22 · 2743 阅读 · 2 评论 -
分布式算法 3 最大独立集
独立集就是指:图G=(V,E)中,I是G中的一个子集,如果I中任意两个点之间不存在e属于E,则I就是独立集。如果无法加入G中的任意一个点使得I依然保持独立集,那么I就是最大独立集。(最大独立集并不要求其中包含的点要最多,也就是说一个图G可以有多个最大独立集,例子:下图,白色和黑色都是最大独立集) 计算最大独立集的算法lubyMIS算法:(一种随机化算法,有一定的原创 2015-04-07 20:13:58 · 2953 阅读 · 0 评论 -
RandomAttack algorithm
有通信链路故障的同步完全图网络下,进程一致性算法问题形式化描述:有n个进程,每个进程可以选择(0,1)中的某个值,要求这些进程做决定前满足 1. 一致性(每个进程的最终结果要相同) 2. 有效性:如果所有进程都从0开始,那么0就是唯一可能的决定值; 如果进程都以1作为初值并且所有消息都被传递,则1是唯一的决定值。 3. 终止性:所有进程最后都会原创 2015-04-06 12:19:24 · 1201 阅读 · 0 评论