摘要

  • RFC 2353 有意把 UDP/IPv4 用作 APPN/HPR 的原生数据链路控制，由 HPR 自己的 RTP 承担端到端恢复与排序，由 LDLC 承担链路存活检测。
  • 空闲时停发存活探测可以节省流量，却可能让一端先发现故障并删除链路，另一端继续保留“活动”状态。
  • 流量恢复后，真正的重激活可能被当作不支持的并行链路拒绝；或者新的会话激活被发往对端早已删除的状态。修复依靠重新探测和重建，而不是宣布某一端天然正确。

设想一条已经安静下来的链路。为了不发送无用探测，两个节点停止了周期性交换。网络随后短暂中断，一端通过其他事件发现故障，删除了本地链路实例；另一端没有数据、没有断链通知，也没有到期的探测结果，因此继续显示“活动”。

这段状态分叉写在 RFC 2353 里。文件于 1998 年 5 月以 Informational RFC 发布，明确不是互联网标准。它记录了 APPN Implementers’ Workshop 在 1997 年 12 月批准为“Closed Pages”的 APPN/HPR over IP 架构，表示在该流程中已经细化到可实现互通，并不等于全球采用。

设计目标是把 IP 当作 HPR 的原生数据链路控制，同时保留 APPN 的路由与服务等级机制，并可用连接网络减少预定义链路。选择 UDP 而非 TCP，是为了让已有的 HPR 层承担自己已经具备的可靠性功能。

UDP 没有承诺连接状态

RFC 768 定义的是最小数据报服务：端口、长度与校验和，没有连接断开通知。RFC 791 提供 IPv4 数据报与路由。RFC 2353 因而明确把丢失、重复、延迟、乱序和连通性丧失交给上层处理。

HPR 的 RTP——不是后来 IETF 的实时传输协议——负责选择性重传、重新排序以及自适应速率和拥塞控制。LDLC 负责逻辑链路控制与存活。若再使用 TCP，就会重复维护重传队列、计时器和控制块，削弱扩展性。

这不是把 UDP 变成了可靠连接，而是把证明分开了。UDP/IP 只能说明数据报在某处被发送或观察。HPR RTP 在自身范围内说明恢复与有序。LDLC 说明某个链路实例完成了探测。任何一张回执都不包含邻居此刻保存的完整状态。

节省探测，等于推迟共同认知

由于 UDP 不通知断链，RFC 2353 要求 HPR/IP 链路使用 LDLC 存活检测。文档给出的默认参数包括十秒存活周期、十五秒重试周期和三次重试。

可选优化允许链路空闲时停发探测，让底层设施保持安静甚至暂时休眠。代价是，一端可能远早于另一端发现失败。

已知故障的一端重新激活时，邻居仍保留同一对端口之间的旧活动链路，于是可能把请求拒绝为“不支持的并行链路”。反过来，不知道故障的一端可能继续发送数据，甚至启动新会话；已经删除实例的对端可能直接丢弃。

两端的日志都可以是真实的。分歧来自观察窗口不同，而不是必须存在一个恶意或损坏的节点。

拒绝码触发核验，不是终局裁决

RFC 2353 的恢复机制没有指定一台“权威节点”。当激活因并行链路而被拒绝时，节点应对相关活动链路运行存活探测，尤其检查相同 IP 地址对、不同 SAP 对的实例，从而识别陈旧状态。

若收到的激活 XID 与现有活动链路具有完全相同的 IP 对和 SAP 对，节点应删除旧实例并允许重建，同时用计时器限制游离 XID 的伤害。文件还建议，在依据 LDLC 故障作最终处理之前先尝试重激活，以应对远端更早发现故障、网络却已经恢复的情形。

X'10160045' 和 X'10160046' 等意义码说明本地为什么拒绝定义链路或动态链路。它们不证明哪一端先失败，也不证明远端是否处理过业务，更不证明会话结果。

可靠传输、活链路和成功会话是三件事

HPR RTP 可以在端到端范围恢复和排序数据，但并不自动统一两个 LDLC 状态机。一次成功的存活探测可以证明该实例在探测时响应，却不能证明 APPN 会话已经激活。带意义码的会话失败也不能重建对端此前的全部处理历史。

安全又是另一条轴。RFC 2353 保留 SNA 会话认证与加密，允许 IPsec 保护 HPR 数据报，并讨论按地址与端口过滤的防火墙。保护、准入与状态对账并不相同。

RFC Editor 信息页和 IETF Datatracker只能证明文件身份和轨迹。RFC 1122提供主机要求背景，不能替 HPR 邻居确认链路。

Lu Heng 的运行代码优先给出恰当尺度：本地状态的现实意义止于对端运行行为是否接受它。最小初始规范、本地未来决策与自愿采用强调可本地核验的规则。现实层则把数据报、存活、激活、可靠传输和结果彻底分开。

RFC 2353 的历史教训不是“永远多发 keepalive”。它说明，少观察会改变系统达成一致的时间。恢复时，本地状态只能是一项需要重新询问邻居的假设。