时间之箭的语义——第二部分：开放原子以太网的语义

本文为《时间之箭的语义》系列论文的第二篇。第一部分确立了计算的箭向是语义而非热力学的，且单向时间假设（FITO）构成类别错误。本文发展出具体化的替代方案。我们将开放原子以太网（OAE）链路的语义表述，作为非FITO协议架构的具体实现。关键洞见在于因果顺序并非先验假设，而是通过事务结构创建：链路状态机经历TENTATIVE至REFLECTING至COMMITTED的进程，提交前可随时中止。在OAE中，交付不等于提交；提交要求反射确认——即证明信息已来回传递并由双方端点进行语义验证。我们通过三个框架来形式化这一点。首先，OAE链路状态机——一个六状态有限自动机，其规范不变量保证链路层无法发生语义腐败。其次， indefinites逻辑时间戳（ILT）——一种四值因果结构，容许并发事件之间真正的不可判定关系，仅在双向链路级交换后才能确定。第三，应用到链路的减慢定理，确立往返测量是建立因果顺序所需的最小交互。我们表明，ILT在可逆链路协议方面严格优于确定因果顺序系统。我们将这些结果与量子信息论中的知识平衡原理相联系。本文以比较分析收尾，表明OAE实现了无限共识数，而RDMA、NVLink和UALink由于其FITO语义仅有限共识数。