你能保持秘密吗？关于发送端因果消息交付的新型协议
分布式、并行与集群计算
2026-03-17 v1
摘要
因果消息交付协议在分布式系统中广泛应用。传统方法可在发送方或接收方强制执行因果交付。发送方端方法避免接收方方法的消息元数据开销，但保守程度不够。我们提出Cykas("Can you keep a secret?"），一种新的发送方端因果交付协议，通过允许急切发送消息并约束接收者行为，规避了传统发送方方法的保守性。我们在Rust中实现了Cykas协议，并使用Stateright实现级模型检查器验证了实现的安全性和活性。实验表明，对于涉及长时间运行任务的应用，Cykas具有性能优势：Cykas使长时间运行任务更早启动(并结束)，相较于传统发送方方法，整体执行时间更短。
引用
@article{arxiv.2603.14690,
title = {Can you keep a secret? A new protocol for sender-side enforcement of causal message delivery},
author = {Yan Tong and Nathan Liittschwager and Lindsey Kuper},
journal= {arXiv preprint arXiv:2603.14690},
year = {2026}
}
备注
To be presented at PaPoC 2026