arXiv:2601.21146cs.DCcs.CL2026-01被引 1

提出统一机制maxwait,让分布式系统实时性与一致性可配置

Maxwait: A Generalized Mechanism for Distributed Time-Sensitive Systems

  • 用maxwait统一多种经典分布式机制,显式配置时序与一致性权衡
  • 支持逻辑执行时间、发布订阅等模式,实现有界时延故障检测
  • 适合需确定性时序的工业级分布式系统开发人员

分布式时敏系统需在通信延迟和同步不确定性下平衡时效性与一致性。本文提出maxwait,一种简单而通用的协调机制,能显式配置此类权衡。该机制涵盖经典方法如PTIDES、Chandy-Misra(含/不含空消息)、Jefferson的时间回滚、Lamport基于时间的容错检测,并支持分布式系统常见模式:逻辑执行时间(LET)、发布订阅、演员模型、无冲突复制数据类型(CRDTs)及带未来对象的远程过程调用。更重要的是,它在统一语义框架内提供了更好的时序控制、有界时间故障检测能力,以及提升确定性的选项。作为Lingua Franca语言的扩展,maxwait在通信延迟有界时保证逻辑时一致性,在超出边界时提供结构化故障处理。

原文摘要 · Abstract (English)

Distributed time-sensitive systems must balance timing requirements (availability) and consistency in the presence of communication delays and synchronization uncertainty. This paper presents maxwait, a simple coordination mechanism with surprising generality that makes these tradeoffs explicit and configurable. We demonstrate that this mechanism subsumes classical distributed system methods such as PTIDES, Chandy-and-Misra with or without null messages, Jefferson's Time-Warp, and Lamport's time-based fault detection, while enabling real-time behavior in distributed cyber-physical applications. The mechanism can also realize many commonly used distributed system patterns, including logical execution time (LET), publish and subscribe, actors, conflict-free replicated data types (CRDTs), and remote procedure calls with futures. More importantly, it adds to these mechanisms better control over timing, bounded time fault detection, and the option of making them more deterministic, all within a single semantic framework. Implemented as an extension of the Lingua Franca coordination language, maxwait enforces logical-time consistency when communication latencies are bounded and provides structured fault handling when bounds are violated.

分布式系统时序控制容错机制实时系统

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。