行业情报
最新文章
关于基础设施运营商、政策决策、市场动向与数字权力转移的最新情报。

互联网历史
Adele Goldberg 与让 Smalltalk-80 远行的那份契约
“蓝皮书”把一个活的系统写成了可移植的约定:保留同一份虚拟镜像,在不同机器上实现对象内存、字节码、执行上下文与原语。它证明了 Smalltalk-80 可以被重新实现,却从未保证不同主机拥有相同的速度、字体、窗口、设备行为或使用体验。

互联网历史
Join 没有回执,树靠刷新存活:RFC 2117
RFC 2117 没有把稀疏组播树写成一次全网提交。一个本地成员指示产生一条记录,Join/Prune 逐跳刷新更多记录,新源先通过 Register 抵达汇合点,某些分支随后才转向源特定路径。协议之所以能扩展,正是因为每台路由器只需记住足够的局部事实,并允许未刷新的状态自然失效。

IETF
保存不是发送:RFC 9787 中的邮件草稿加密与承诺边界
假设一台设备自动保存了一封尚未完成的邮件,几分钟后,同一用户在另一台设备上打开邮箱,那些文字重新出现。这个转换只应说明作者重新取得了对未完成对象的控制:它不意味着预定收件人已经能够阅读,也不意味着作者已经用日常签名密钥对这些文字作出承诺。这不是一个真实事故,而是理解 RFC 9787 第 9.5 节最有用的起点——草稿被保存、同步、继续编辑和最终发送,并不是同一个权限状态的连续复制,而是一连串权力边界的变化。

互联网历史
Evelyn Berezin:系统在线,不等于库存为真
Teleregister 为 United Airlines 打造的系统能在一台处理器失效后继续应答,这是联机计算史上的突破;但“仍有回答”和“回答正确”从来不是同一个承诺。

案例档案
Internet Society已批准2026–2027选举时钟,下一步是公开激活回执
一份董事会决议可以让日程获得授权,却不能独自证明每一个环节已经对公众开放。Internet Society 在 9 月 14 日以一致书面同意补齐两个委员会并批准“作为附件”的 2026–2027 选举时间表。公司行动已经留下明确记录。现在需要补上的,是把附件、网页、通知、系统状态与最终认证串成同一条可复核证据链。

互联网历史
管理接口有地址,中继器端口却没有:RFC 2108 的观测边界
一台以太网集线器可以回答“哪个端口见过这个源地址”,却不意味着那个端口成了会读数据包的网络接口。RFC 2108 的价值,正是把管理实体与物理层中继器严格分开,再让二者之间的观测可复核。

互联网历史
Kathleen Booth:符号写完之后,机器才开始说话
1947 年,Kathleen H. V. Britten 与 Andrew D. Booth 把数学步骤、简略符号和机器指令排成一条可检查的链。符号让人更容易掌握机器,却没有替人判断计算是否值得相信。

案例档案
W3C 大模型说明把责任交给个人,却没有建立问责流程
W3C 咨询委员会在最新说明中写下了一条有分量的原则:不论是否使用大语言模型,分享内容的人都要对成果负责。但同一份文件的状态说明也划出边界:这是咨询委员会认可的 Group Note,既没有得到 W3C 整体背书,也没有得到 W3C 成员背书。个人责任与组织问责之间,还缺一份能说明谁有权制定规则、谁完成核验、错误如何纠正的证据记录。

互联网历史
地址显示“在家”,拨号线路却仍在远方:RFC 2107
RFC 2107 让远程拨号客户端借用家庭网络的路由外观。这个幻象依赖 Foreign Agent、Home Agent、共享密钥、Tunnel ID,以及必须按次序建立和撤销的状态。

互联网历史
Karen Spärck Jones:IDF 衡量集合中的稀有,不判定世界中的真实
一个词在两套文档中可以得到截然不同的权重,不是因为词义改变了,而是因为比较它的集合变了。Karen Spärck Jones 的关键贡献,正是把“特异性”从词典里的含义属性改写为可在语料集合中观察、测试和重算的使用统计。

互联网历史
路由器给工作站分配了地址,却没有赋予身份:RFC 2106
RFC 2106 用一台 DRAP 服务器承接大量远程 SNA 与 NetBIOS 工作站,解决了骨干侧连接随终端数量增长的问题。代价也同样明确:连接减少了,状态、判断与信任却集中到了边界网关。

互联网历史
标签推动了数据包,却没有证明路径:RFC 2105
一枚很短的标签进入交换机,成为精确查表的索引。机器找到出接口,换上一枚新的标签,再把数据包送往下一跳。这是 1997 年 Cisco Tag Switching 架构最简洁的一面。它之所以快,是因为真正复杂的工作早已在别处完成:路由协议先形成可达性,控制模块再建立并分发绑定。标签执行的是被记住的决定,却没有携带决定的来历、权限或最终结果。

IETF
当快速重路由必须停止:NFFRR 的委托否决权与责任边界
一个 CE 故障,为什么会让两台本来都在“救包”的 PE 把流量互相踢回去?过期的 `draft-kompella-mpls-nffrr-04` 给出的 EVPN active-active 示例很直接:CE2 故障后,PE2 只看到自己的接入链路失效,于是把流量快速重路由到 PE3;PE3 同样把这次真实的单点故障理解为自己一侧的接入失败,又把流量绕回 PE2。两次分别合理的本地保护叠加后,数据包在 PE2 与 PE3 之间往返,直到 TTL 耗尽。这个例子来自标准文档的论证场景,不是已测量的生产事故。真正值得追问的不是“FRR…

案例档案
同一源文件哈希,谁生成了现场的验证器?
设想一次发布核对:各条流水线填写了同一个 CDDL 源文件哈希,却只有一部分能说明实际执行的解析器版本。源文件相同,解释它的程序却未必可追溯。写进仓库的版本标签,不会自动随生成验证器、容器镜像和部署消费者一路传播。RFC 9682 的落地问题,就藏在这些交接处。

互联网历史
两遍哈希造出了可复用的 MAC,标签却没有替系统作出信任决定:RFC 2104
RFC 2104 用一个内层、一个外层,把既有迭代哈希包装成可复用的消息认证码。它让实现不必改写哈希核心,也为更换底层算法留下接口。这个标签能约束密钥、算法与确切字节之间的关系,却不会自动证明人物或主机身份、授权、新鲜度、唯一性、规范化、保密性、送达以及部署正确。

互联网历史
定位符变了,随后连网络也移动了:RFC 2103
Nimrod 的移动性论文从一个优雅的分离出发:端点身份保持稳定,只更新说明“从哪里可达”的定位符。随后它找到了让这种优雅失效的情形——网络可以移动,而端点定位符保持不变;关联记录仍然正确,路由地图却已经过时。

IETF
空白字段不能下令:IPv6 地址登记中的六种“没有”
安全运营中心收到一项自动隔离请求:某个可疑 IPv6 地址有成功的 ADDR-REG-REPLY,但“链路检查”字段为空。有人把空值理解为“没有发现问题”,也有人认为它代表“验证失败”。两种解释都可能错。RFC 9686 的关键治理意义,正在于迫使运营者承认:未执行、未记录、未建立、已过期与没有观察到流量,是彼此不同的事实。

互联网历史
没有统一的树,仍可读懂同一行状态:RFC 2102
RFC 2102 没有替 Nimrod 选定唯一的组播算法。它选择标准化更靠近执行的一层:无论分支由谁算出、由谁请求,路由器都必须以共同语义理解已经安装的复制关系。

互联网历史
链路已经开放,每个名称仍要单独获准:RFC 2097
PPP 可以把远端机器带到 NetBIOS Frames 网络的边缘,但 RFC 2097 没有把链路建立等同于可达。NBFCP 要求双方明确协商:哪些十六字节名称会被投射到对端网络、哪些名称失败、对端属于哪类实现、组播怎样限速与排序,以及每个 NBF 数据报是否必须携带十二字节 MAC 头。

互联网历史
Frances E. Allen 让编译器学会证明,也学会止步
定义可能到达哪条指令、一个值是否仍然活跃、某次移动会不会改变既定语义——Frances E. Allen 把这些问题变成系统分析。她留下的不是“优化后必然正确”的通行证,而是一套说明证明边界的语言。
