[論文レビュー] The Semantic Arrow of Time, Part II: The Semantics of Open Atomic Ethernet

Paul Borrill|arXiv (Cornell University)|Mar 4, 2026

Distributed systems and fault tolerance被引用数 0

ひとこと要約

論文は、Forward-In-Time-Only ではないプロトコルとして Open Atomic Ethernet (oae) を提案し、六状態リンク状態機械、Indefinite Logical Timestamps、セマンティック因果順序を確立するためのリフレクティブな acknowledgment を特徴とする。

ABSTRACT

This is the second of five papers comprising The Semantic Arrow of Time. Part I established that computing's arrow of time is semantic rather than thermodynamic, and that the Forward-In-Time-Only (FITO) assumption constitutes a category mistake. This paper develops the constructive alternative. We present the semantics of Open Atomic Ethernet (OAE) links as a concrete realization of a non-FITO protocol architecture. The key insight is that causal order is not assumed a priori but created through transaction structure: the link state machine progresses through TENTATIVE to REFLECTING to COMMITTED, with the option to abort at any point before commitment. Delivery does not imply commitment; commitment requires reflective acknowledgment -- proof that information has round-tripped and been semantically validated by both endpoints. We formalize this through three frameworks. First, the OAE link state machine, a six-state finite automaton whose normative invariants guarantee that semantic corruption cannot occur at the link level. Second, Indefinite Logical Timestamps (ILT), a four-valued causal structure that admits a genuinely indefinite relation between concurrent events, resolving only after symmetric link-level exchange. Third, the Slowdown Theorem applied to links, which establishes that round-trip measurement is the minimum interaction required to establish causal order. We show that ILT is strictly more expressive than Definite Causal Order systems for reversible link protocols. We connect these results to the Knowledge Balance Principle from quantum information theory. The paper concludes with a comparative analysis showing that OAE achieves infinite consensus number while RDMA, NVLink, and UALink remain limited to finite consensus numbers due to their FITO semantics.

研究の動機と目的

• 計算におけるセマンティックな時間の矢は、熱力学や前方のみの仮定ではなく、取引構造によって構成されることを示す。
• Open Atomic Ethernet リンクを通じて、具体的な非 fito プロトコルアーキテクチャを定義する。
• セマンティック整合性と因果順序を強制するための三つの形式的枠組み（リンク状態機械、Indefinite Logical Timestamps、Slowdown Theorem）を提示する。

提案手法

• 六状態と強制反映を用いた oae リンク状態機械を定義し、アトミシティとセマンティック整合性を強制する。
• 四値因果構造としてIndefinite Logical Timestamps (ilt) を導入し、indefinite relation a ↔ b を含む。
• Slowdown Theorem を適用してラウンドトリップが因果順序を確立するための最小の相互作用であると主張する。
• リンクレベルで Spekkens の Knowledge Balance Principle を統合し、認識状態を制約する。
• 意味論的保証と合意能力の点で oae を RDMA、NVLink、UALink、CXL と比較する。

実験結果

リサーチクエスチョン

• RQ1 因果順序は先験的な仮定ではなく、取引構造を通じてどのように作られるのか？
• RQ2 ネットワークリンクで indeterminate causal order を表現する形式的枠組みは何か？
• RQ3 反射的 acknowledgement は高性能インターコネクトにおけるアトミシティとセマンティック整合性にどう影響するのか？
• RQ4 oae は無限のコンセンサスと待ち行列なしで同時実装を可能にできるのか？
• RQ5 既存のインターコネクトはセマンティック不変条件をどこまで満たしていないのか？

主な発見

• oae のリンク状態機械はコミットメントの前に必須の反映フェーズを課し、両側の acknowledgment 後にのみセマンティックコミットメントを可能にする。
• Indefinite Logical Timestamps (ilt) は Definite Causal Order (dco) よりも表現力が高い真の indefinitte causal order を導入し、可逆リンクプロトコルに対してより表現力を持つ。
• Slowdown Theorem は回り道（ラウンドトリップ）が確定的因果順序を確立するための最小の相互作用であることを意味し、セマンティック矢印が取引境界で現れる。
• kbp ベースのリンクレジスタは各エンドポイントがリンク状態の半分を正確に知ることを保証し、コミットメントには両側の寄与を必要とする。
• oae は無限のコンセンサス数を有すると主張され、任意の同時実行オブジェクトの待ち無し実装を可能にする。一方、RDMA、NVLink、UALink は有限のコンセンサス数を持つ。
• RDMA、NVLink、CXL は完全な意味論的保証（A1–A3）とリフレクティブフェーズを欠くと特徴づけられるが、部分的な特性が存在する領域もある。