分布式系统（一）

最新推荐文章于 2023-06-09 16:06:43 发布

fragile98

最新推荐文章于 2023-06-09 16:06:43 发布

阅读量501

点赞数

分类专栏：分布式系统文章标签：分布式

本文链接：https://blog.csdn.net/fragile98/article/details/113548532

版权

分布式系统专栏收录该内容

3 篇文章 4 订阅

订阅专栏

系统模型

什么是分布式系统

在这里插入图片描述

分布式系统特性

进程需要与另一个进程沟通，并且通信时间是变化的

进程之间的关系

1.客户-服务器
一台服务器也可以是其他服务器的客户
2.对等体系结构（peer to peer）
所有参与的进程运行相同的程序并且相互之间提供相同的接口集合

通信范型（分布式中实体如何通信）

1.进程间通信
使用套接字编程

2.远程调用
分布式系统中最常见

3.请求-应答协议
确认了发送方和接收方

通信通道

在这里插入图片描述

延迟（latency）：m从p段开始发送到q段接受m的时间

带宽(bandwidth)：单位时间内通道内能传输的最多的信息量

传送信息的总时间由延迟和带宽决定。
这两个都是随时间变化会变化的。

不同的进程有不同的时钟

在每个电脑内部有内部时钟。
时钟都与标准时间有偏差。

两种方式建模

1.同步分布式系统
(1)知道进程每一步中的时间段（upper bound and lower bound）
(2)知道信息发送延迟的界限
(3)知道时钟偏移的界限（bound）
同步系统不会出现drop packet的问题
2.异步分布式系统

同步与异步（Synchronous and Asynchronous）

1.实际世界中都是异步系统
2.可以建立一个同步系统

进程与通信通道都可能会发生故障

遗漏故障（Omission）

1.定义
进程或通信通道不能完成它应该做的动作
(1)进程遗漏故障主要为崩溃(crash),就说明进程停止了。
(2)如果其他进程能够检测到进程崩溃，称为 故障-停止 Fail-stop
(3)通信遗漏(Communication Omission)

2.两种检测崩溃的方式
（1）
在这里插入图片描述
每Ts，p ping q一次，如果在一个Timeout的时间内还没收到ack,就说明q崩溃了。

(2)

q 每T s发送一次心跳给p。如果p在T+timeout时间之内，没有收到第二次心跳，那么q崩溃。

在这里插入图片描述
为什么是最大延迟减去最小的，因为考虑到两次心跳的时间差 time gap。上一次最短时间收到了，这一次为最大时间。

在这里插入图片描述

故障检测的正确性

1.完整性(completeness)
每个故障最后都能检测出来
2.准确性(accuracy)
每个检测到的故障都对应一次崩溃

同步系统：
ping-ack 和heartbeat 这两种故障检测方式都是完整且准确的

异步系统：
ping-ack 和heartbeat 这两种故障检测方式是完整的。
因为既然停止了，timeout设置多大，最后都能检测到。
但是不能保证是准确的，因为timeout这个值说不准，也许这一次延迟特别长，导致以为发生了崩溃。
如何得到一个准确但不完整的系统呢？
Never report a failure(不报错，就永远不会检测错)