分布式复习纲要

最新推荐文章于 2021-10-21 10:04:48 发布

Bennett 黄柏禧

最新推荐文章于 2021-10-21 10:04:48 发布

阅读量459

点赞数

文章标签：分布式复习

本文链接：https://blog.csdn.net/huangbx_tx/article/details/94917026

版权

第3章

向量推进时间

考试内容：向量时间的推进计算

接收到消息，以最大值更新本地
发生本地事件，增大1

NTP时间同步

求t + t'的最小值

求O

第4章全局快照

在这里插入图片描述

LAI-Yang 算法

每个进程开始是白色的，记录快照时变成红色，进程变红时发送标记发送规则，促进其他进程也变红

红色进程发送红色消息，白色进程发送白色消息（本地状态记录前和记录后的信息被分为两类）

每个进程必须在收到第一个红色消息之前记录本地状态

每个白色进程记录它沿着每个通道发送和接受的白色消息

通道状态： $SC_{ij} = p_{i}在通道C_{ij}上发送的白色消息 - p_j在通道C_{ij}上接受的的白色消息$

（表示在PAST发送，却还没接收到的消息）

第5章基于洪泛的异步单一启动者生成树算法

三种消息的类型：QUERY, ACCEPT, REJECT

初始化：对于每个节点
1. 因为自己还没加入生成树中，所以还不知道父节点，因此， parent⟸⊥
2. Children、Unrelated均为空
3. 记录自己的所有邻居节点，准备发送消息
如果自己是根节点，启动QUERY洪泛
若收到来自节点J的QUERY:
1. 假如本节点已经有parents（已经加入生成树），则向J发送REJECT
2. 假如本节点没有parents，则把J当作parents，向j发送ACCEPT，并向所有的邻居（除了j）发送QUERY
3. 若所有的邻居节点已经都加入生成树，则终止
若收到ACCEPT消息时，增加一个孩子节点
若收到REJECT消息时，增加一个无关节点，因为该节点已经从其它路径加入了生成树
所有邻居节点处理完成时，算法终止

第6章基本图算法

全源最短路算法：异步FLoyd-Warshall

在这里插入图片描述

理解：

在这里插入图片描述

不依赖于生成树的受限洪泛算法

最小权重生成树算法（同步）

在这里插入图片描述

第8章P2P中的查询算法

Chord法

参考

目标：P2P环境下的对象查找问题

主要思路：

每个存储在集群中的对象，都有一个经哈希生成的ID（如160位SHA1）
每个组成集群的服务节点，也有一个经哈希生成的ID
存储对象与服务节点共享一个哈希空间，因此，可以将存储对象放置在与其具有相近哈希值的服务节点上

所有的N都是服务集群中的服务节点。要存储对象的某个key K，在环中找到K的大致位置，顺时针往下的第一个N就是这个对象要存储的位置。这就实现了节点与对象具有相近哈希值。

如何寻找：遍历所有服务节点，找到那个key。复杂度为：O(N)

如何优化（右边的图）：

为每个节点设置一个路由表（finger），路由表中存储着本节点之后的后续节点（按2的指数间隔存储）。因此寻找某个key时，直接到finger表寻找即可。此时的复杂度为O(logN)

第9章

最大独立集MIS

定义

对于图(N, L)，存在一个节点子集 $N^′$ ， $N^′⊂N$ ，使得任何在 $N^′$ 中的两个顶点i和j，边 $(i, j) \in / L$ ，则 $N^′$ 被称为一个独立集

独立集为原集合的一个子集，该子集中任何两个顶点在原图中不相邻

如果一个子集 $N^′$ 是独立集，且没有一个更大的独立集$N^{′′} $ ，使得$N^′⊂N{′′} $，则$ N^′$被称为一个最大独立集

一个图中可能存在多个“最大独立集”，这些“最大独立集”中的顶点个数可能是不同的，但寻找顶点数最多的那个“最大独立集”是一个NP问题

算法思路：

采用贪心算法，每当一个节点纳入最大独立集中时，将其邻居节点从原图中删除，因为这些节点不会再纳入最大独立集

重复以上过程，直到图中的顶点要么纳入最大独立集，要么被删除

算法分析：

三种消息类型：
RANDOM(real random): 向其他节点发送的随机数。以随机数最小者作为优选者
SELECTED(int pid, bool indicator): 告诉其他节点自己是否被选为独立节点
ELIMINATED(int pid, bool indicator): 告诉其他节点自己是否要自我消灭

if 没有邻居节点
	设置自己为独立节点并退出
else
	生成一个随机数，包装成RANDOM信息发送给其他节点。
	
等待其他节点发来的RANDOM信息
if 自己的RANDOM数小于所有的邻居节点发来的RANDOM
	设置自己为独立节点
	发送SELECTED(self, true)给邻居节点
else
	发送SELECTED(self, false)给邻居节点 // 自己无望称为独立节点

等待其他节点发来的SELECTED信息
if 收到来自其他节点的SELECTED(j, true) // 表示可以自灭了
	向自己的所有邻居节点发送ELIMINATED(self, true)
	自灭
else
	发送ELIMINATED(self, false)给其他所有邻居

等待其他节点发来的ELIMINATED信息
if 收到来自某个节点的ELIMINATED(j, true)
	将该节点从Neighbor节点数组中删除

第10章

Gossip协议的优势分析

可扩展性
1. gossip协议是可扩展的，一般仅需要O(log⁡N)轮就可以将信息传播到所有的节点，其中N代表节点的个数
2. 每个节点仅发送固定数量的消息，并且与网络中节点数目无关
3. 在数据传送的时候，节点无需等待消息的ack，允许消息传送失败，因为可以通过其他节点将消息传递给之前传送失败的节点
4. 系统很容易扩展到数百万个进程
容错性
1. 网络中任何节点的重启或者宕机都不会影响gossip协议的运行
健壮性
1. gossip协议是去中心化的协议，集群中的所有节点都是对等的，任何节点出现问题都不会阻止其他节点继续发送消息，任何节点都可以随时加入或离开
最终一致性
1. Gossip协议实现信息指数级的快速传播，但不能应用于强一致性场景