11、确认消息的案例研究与算法分析

确认消息的案例研究与算法分析

1. 最终解决方案

在消息传输中，最终步骤撤销了从接收者到发送者的可靠传输线路的假设。处理这个问题的方法在结构上与管理从发送者到接收者的不可靠线路的方法相同。这产生了最终的算法，该算法涉及公平性问题，因为发送者的发送副本和接收收据之间可能会出现冲突。如果其中一个操作被无限忽略，将不会有新消息被传输，因此需要为两者都假设公平性。同样，接收者的接收副本和发送收据也需要考虑公平性。接收者可以将收据扩展为完整的消息发送给发送者，这样会形成一个对称算法，双方都同时扮演发送者和接收者的角色。

2. 平衡滑动窗口协议

2.1 协议概述

交替位协议遵循严格的策略，即发送者在发送第 (i + 1) 条消息之前必须收到第 i 条消息的收据。而平衡滑动窗口协议则更加灵活，它沿着消息序列移动一个“窗口”，该窗口由两个索引组成，发送者可以发送两个索引之间的任何数据，收据的顺序也在一个“窗口”内变化。

2.2 左站点的实际窗口

在每个可达状态下，左站点都有其实际窗口，即一对索引 (a; b)，左站点可以自由选择一个索引 i，满足 a < i ≤ b，并将第 i 条消息 (i; x)（lr - 消息）发送到右站点。实际窗口 (a; b) 由下窗口索引 a = k（在图 28.1 中明确表示）和上窗口索引 b = j + w 组成，其中 j 是仍期望的 rl - 消息的最小索引的实际值，w 是窗口常量，是系统的一个整数常量。转换 a 会在实际窗口内发送 lr - 消息。

sort     message
const w