[논문 리뷰] The Semantic Arrow of Time, Part II: The Semantics of Open Atomic Ethernet

Paul Borrill|arXiv (Cornell University)|2026. 03. 04.

Distributed systems and fault tolerance인용 수 0

한 줄 요약

본 논문은 Open Atomic Ethernet (oae)를 Forward-In-Time-Only가 아닌 프로토콜로 제안하며, 여섯 상태 링크 상태 머신, Indefinite Logical Timestamps, 그리고 시맨틱 인과 순서를 확립하기 위한 왕복 반영적 확인을 특징으로 한다.

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.

연구 동기 및 목표

• 계산에서의 시맨틱 시간 화살이 열역학이나 단순한 선형_forward-만의 가정이 아니라 거래 구조에 의해 구성된다는 것을 보인다.
• Open Atomic Ethernet 링크를 통해 구체적인 비 fito 프로토콜 아키텍처를 정의한다.
• 시맨틱 무결성과 인과 순서를 강제하기 위해 세 가지 형식적 프레임워크(링크 상태 머신, Indefinite Logical Timestamps, Slowdown Theorem)를 제시한다.

제안 방법

• six-state 링크 상태 머신과 원자성 및 시맨틱 무결성을 강제하기 위한 mandatory reflections를 정의한다.
• Indefinite Logical Timestamps (ilt)를 네 가지 값의 인과 구조로 도입하여 indefinite 관계 a ↔ b를 포함시킨다.
• Slowdown Theorem을 적용하여 라운드 트립이 인과 순서를 확립하는 데 필요한 최소한의 상호작용임을 주장한다.
• 링크 수준에서 Spekkens’ Knowledge Balance Principle를 통합하여 인식 상태를 제약한다.
• Semantic guarantees와 합의 기능 측면에서 oae를 RDMA, NVLink, UALink, CXL과 비교한다.

실험 결과

연구 질문

• RQ1 거래 구조를 통해 인과 순서를 어떻게 창출할 수 있는가? 선험적으로 가정하는 방법이 아닌가?
• RQ2 네트워크 링크에서 무한한 인과 순서를 표현할 수 있는 형식적 프레임워크는 무엇인가?
• RQ3 고성능 상호연결에서 reflective acknowledgment가 원자성과 시맨틱 무결성에 어떤 영향을 미치는가?
• RQ4 oae가 무한한 합의 수를 달성하고 동시 객체에 대해 wait-free 구현을 할 수 있는가?
• RQ5 기존의 인터커넥트가 시맨틱 불변량을 강제하는 데 어디에서 부족한가?

주요 결과

• oae 링크 상태 머신은 커밋 전에 반영 단계를 의무적으로 강제하여 양방향 확인 후에만 시맨틱 커밋이 가능하도록 한다.
• Indefinite Logical Timestamps (ilt)는 Definite Causal Order (dco)보다 더 표현력이 강한 진정한 무한정 인과 순서를 도입한다.
• Slowdown Theorem은 라운드 트립이 결정적 인과 순서를 확립하는 최소한의 상호작용임을 시사하며, 시맨틱 화살은 거래 경계에서 나타난다.
• kbp 기반의 링크 레지스터는 각 엔드포인트가 링크 상태의 절반을 정확히 알도록 보장하여 커밋을 위해 양방향 기여를 필요로 한다.
• oae는 무한 합의 수를 가진다고 주장되며, RDMA, NVLink, UALink와 달리 wait-free 구현이 가능한 임의의 동시 객체를 가능하게 한다.
• RDMA, NVLink, CXL은 전체 시맨틱 보장(A1–A3)과 반영적 단계를 결여한 것으로 특징지어지며, 부분적인 특성이 있을 때를 제외한다.