摘要

  • RFC 3450 让接收端在获得足够 FEC 编码符号后重建对象，无须为每个漏掉的包请求重传，发送端负载也不随接收者数量线性增长。
  • 这种规模化同时移除了核心协议中的回执链路；会话发现、重建完成报告、整体验证与应用使用必须分别证明。

不点名的可靠传输

可靠组播最棘手的地方，不只是把一个包复制给许多人，而是避免每次丢包都触发请求、每增加一个接收端都给发送端增加状态。2002 年 12 月发布的 RFC 3450 把三块机制组合成 ALC：LCT 分层编码传输、多个速率的拥塞控制，以及前向纠错。

它设想的规模很大：同时接收者可能达到数百万，对象可能从数百 KB 延伸到数百 GB，接收者还能在不同时刻异步加入。发送端不断产生编码符号并投放到多个信道；每个接收端根据自己的路径状况加入或离开信道，在收集到可解码的足够符号后重建对象并退出。

接收端不必指出每一个缺失包，也不必向发送端提供核心反馈。规范由此给出一个鲜明结果：从发送端看，一个接收者与一百万个接收者可以带来相同的负载和发出速率。纯文本、RFC Editor 记录、Datatracker 档案、文档历史、引用文献、后续引用与勘误检索能够证明设计文本和演进，不能证明任何部署真的服务过多少接收者。

足够符号，不要求相同包历史

FEC 改变了修复单位。发送端从对象生成编码符号；不同接收端即使丢掉不同的包，也可以从各自得到的有效集合恢复相同字节。RFC 3452 给出 FEC 构件框架，RFC 3453 描述紧凑的无编码与奇偶校验方案。ALC 把 FEC Payload ID 与 LCT 信息结合，使符号能够落到特定对象语境中。

独立重建并不等于摆脱前提。接收端需要 FEC Object Transmission Information，才能知道编码方案和对象参数。一部分可以随包携带，一部分可以带外提供；RFC 规定必须有这些信息，却没有把传送方法纳入 ALC。因此，“足够”实际上是足够符号加上正确解释它们的坐标。

接收端在加入前还必须获得 Session Description，其中包括拥塞控制构件、发送地址、信道数量与地址端口、TSI、是否包含多个对象、扩展格式和认证信息。它可以来自网页、会话公告、邮件或专有机制。ALC 依赖这份描述，却不负责把它送到接收端。

标识符只在边界内有效

发送端 IP 地址与 TSI 的组合标识一个会话；TOI 则只在该会话中标识一个对象。它们是分流坐标，不是全球内容身份。同一个对象在另一会话里可以有不同 TOI，相同数字脱离发送端和会话范围也没有独立证明力。

这条边界直接影响审计。日志里的 TSI 与 TOI 可以说明某个包属于哪个协议坐标，却不能单独证明对象已重建、字节已通过完整性检查、某一法律主体已收到、或者应用已经采用。标识符整理了流量，但没有把流量自动升级为交付证言。

关闭提示没有关闭证据缺口

ALC 继承了 Close Session 与 Close Object 标志，用于提示发送即将停止。然而 RFC 明确称其为不完全可靠的提示。最后几个带标志的包本身也可能丢失；接收端看到停止时仍可能缺少符号；较晚加入者甚至可能从未见到提示。

推送模式的例子恰好揭示了缺口：完成重建的接收端可以另外向发送端报告成功，应用也可以等所有预期对象都回报之后再停。但接收者名册、成功报告和停止规则属于应用，而不是 ALC。核心协议没有定义完成消息、收件人账本或法律意义上的回执。

因此，“某接收端成功重建”与“发送端收到该接收端的完成证明”是两个事实。前者可以在后者完全不存在时成立；反过来，应用报告也可能错误，或者报告的对象随后未通过完整性检查。完整系统可以把各层相连，但新增的责任来自应用协议，而不是从 ALC 的“可靠”二字中推导出来。

可恢复、可信与被使用仍是三件事

无逐接收端对话也放大了伪造包风险。一个恶意符号可能污染大型对象的重建，并同时影响很多接收端。RFC 3450 建议包认证与整体对象完整性检查，最好使用可验证数字签名；检查失败的对象应被丢弃。

这里又出现一条清晰分界：FEC 判断现有编码材料能否恢复字节；认证判断包来源或可接受性；对象签名判断重建字节是否匹配签名对象。三者都不会告诉发送端究竟是谁已经接受或使用结果。

拥塞控制同样是必要条件。RFC 2357 要求可靠组播具有适当拥塞控制，RFC 3450 因证据尚待成熟而以 Experimental 发布。RFC 3048 提供构件架构，RFC 3269 提供编写指南，RFC 3451 规定 LCT。底层组播历史可追溯至 RFC 1112，源特定组播后来由 RFC 4607 标准化。2010 年，RFC 5775 以积累经验为基础，用向后兼容的 Proposed Standard 取代 RFC 3450。这证明规范成熟，不证明普遍部署或商业效果。

规模来自对主张的克制

Heng Lu 的现实层次要求把收到符号、重建对象、验证完整性、应用接受、接收端报告、发送端记账分别保存。把六个事件压成“已交付”，只会让仪表盘好看、让追责失去路径。

运行代码优先意味着主张必须停在机制真正观察到的地方。ALC 接收端可以证明自己完成了何种计算，发送端却不能从沉默中取得一份不存在的完成账本。最小初始规范则帮助理解这种克制：先解决可扩展传输，让需要问责的应用明确增加报告层。这是后来的编辑分析，并非对 RFC 作者私人动机的代言。

RFC 3450 的历史价值正是这组双重结果：去掉核心回执，百万级接收成为可能；去掉核心回执，也要求任何诚实系统承认自己不知道每一个完成者。

来源