Message passing is widely assumed to be a fundamental primitive of distributed systems. This paper argues that conventional message systems embed a category mistake: they misinterpret logical dependency relations as temporal propagation processes. This error arises from an implicit Forward-In-Time-Only (FITO) assumption, which treats causality as intrinsically directed along a temporal axis. We formalize FITO as the imposition of a partial order over events and show that clocks, scheduling, and message propagation are representational artifacts rather than ontological primitives. We then reformulate interaction in terms of symmetric constraint relations, identify the minimal substrate of interaction independent of temporal direction, and prove an equivalence theorem: under mild assumptions, a broad class of message-passing executions can be represented as constraint satisfaction problems, and conversely, constraint satisfaction instances can be realized as message-passing protocols. We connect the result to Lamport clocks, Hewitt actors, Pratt pomsets, category theory, relativity, and indefinite causal order, and interpret engineering consequences for reflective and reversible link architectures such as Open Atomic Ethernet.


翻译:消息传递被广泛认为是分布式系统的基本原语。本文论证传统消息系统隐含着一个范畴错误:它们将逻辑依赖关系错误地解释为时间传播过程。这一错误源于隐含的"仅向前时间"假设,该假设将因果关系本质视为沿时间轴定向。我们将FITO形式化为对事件施加偏序,并证明时钟、调度和消息传播是表征性产物而非本体论原语。随后我们基于对称约束关系重构交互作用,识别出独立于时间方向的交互最小基底,并证明一个等价定理:在温和假设下,一大类消息传递执行过程可表示为约束满足问题,反之,约束满足实例可实现为消息传递协议。我们将该结果与Lamport时钟、Hewitt参与者模型、Pratt偏序多集、范畴论、相对论及不定因果序相联系,并阐释其对反射式与可逆链路架构的工程影响,例如开放原子以太网。

0
下载
关闭预览

相关内容

【ICML2024】TIMEX++: 通过信息瓶颈学习时间序列解释
专知会员服务
17+阅读 · 2024年5月16日
【ICML2023】无消息传递的transformer图归纳偏差
专知会员服务
26+阅读 · 2023年6月1日
【GNN】MPNN:消息传递神经网络
深度学习自然语言处理
17+阅读 · 2020年4月11日
一文搞懂反向传播
机器学习与推荐算法
18+阅读 · 2020年3月12日
从信息论的角度来理解损失函数
深度学习每日摘要
17+阅读 · 2019年4月7日
读扩散?写扩散?推拉架构一文搞定!
架构师之路
17+阅读 · 2019年2月1日
从信息瓶颈理论一瞥机器学习的“大一统理论”
网络表示学习介绍
人工智能前沿讲习班
18+阅读 · 2018年11月26日
误差反向传播——CNN
统计学习与视觉计算组
31+阅读 · 2018年7月12日
文本分类问题不需要ResNet?小夕解析DPCNN设计原理(上)
夕小瑶的卖萌屋
36+阅读 · 2018年4月3日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
VIP会员
最新内容
BES:让语言模型通过双向进化搜索自我改进
专知会员服务
1+阅读 · 5月30日
以色列-美国-伊朗战争中的无人机:关键要点
专知会员服务
3+阅读 · 5月30日
《Palantir任务保障性软件安全标准(MA-S2)》
专知会员服务
8+阅读 · 5月30日
基于声学的无人机检测技术综述
专知会员服务
5+阅读 · 5月30日
《当代混合战争分析框架:俄乌战争经验教训》
战略前沿人工智能的再思考(中文)
专知会员服务
7+阅读 · 5月29日
《量化地基防空系统间接效应的博弈论方法》
专知会员服务
5+阅读 · 5月29日
相关VIP内容
【ICML2024】TIMEX++: 通过信息瓶颈学习时间序列解释
专知会员服务
17+阅读 · 2024年5月16日
【ICML2023】无消息传递的transformer图归纳偏差
专知会员服务
26+阅读 · 2023年6月1日
相关资讯
【GNN】MPNN:消息传递神经网络
深度学习自然语言处理
17+阅读 · 2020年4月11日
一文搞懂反向传播
机器学习与推荐算法
18+阅读 · 2020年3月12日
从信息论的角度来理解损失函数
深度学习每日摘要
17+阅读 · 2019年4月7日
读扩散?写扩散?推拉架构一文搞定!
架构师之路
17+阅读 · 2019年2月1日
从信息瓶颈理论一瞥机器学习的“大一统理论”
网络表示学习介绍
人工智能前沿讲习班
18+阅读 · 2018年11月26日
误差反向传播——CNN
统计学习与视觉计算组
31+阅读 · 2018年7月12日
文本分类问题不需要ResNet?小夕解析DPCNN设计原理(上)
夕小瑶的卖萌屋
36+阅读 · 2018年4月3日
相关基金
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
Top
微信扫码咨询专知VIP会员