6、高级系统建模与概念解析

高级系统建模与概念解析

1. 分布式消息线路测试

在分布式系统中，消息线路的正常运行至关重要。这里考虑一个由一个启动进程 s 和两个跟随进程 l （左进程）、 r （右进程）组成的系统，这三个进程两两之间通过有向消息线路连接，如下图所示：

graph LR
    s --> l
    s --> r
    l --> r
    r --> l
    l --> s
    r --> s
    classDef startend fill:#F5EBFF,stroke:#BE8FED,stroke-width:2px;
    classDef process fill:#E5F6FF,stroke:#73A6FF,stroke-width:2px;
    s:::process
    l:::process
    r:::process

每个通过线路的消息都会经历有限但不可预测的延迟，进程之间仅通过这些线路进行通信。我们的目标是构建一个分布式算法，使启动进程 s 能够快速测试所有消息线路的正常运行。测试通过发送测试消息来完成。

启动进程 s 的行为如下：
- 发送测试消息到 l 和 r 。
- 进入等待状态，直到收到来自 l 和 r 的测试