AI 中文总结
本文针对相对运动参与者，用光锥重新定义租约安全属性，并修改PaxosLease算法，在包含和隔离规则中加入相对论多普勒因子，确保因果一致性。
AI 中文摘要
租约授予一个持有者在固定期限内对资源的独占权限，其安全属性保证在任何时刻最多只有一个持有者持有该租约。在狭义相对论下，对于相对运动的参与者，“任何时刻”没有与参考系无关的意义。本文首先用光锥重新表述经典安全属性，要求持有者的到期时间位于另一个持有者后续获取租约的因果过去中，这是所有观察者都认同的顺序。其次，本文修改了经典PaxosLease：核心变化在于包含规则和隔离规则各自增加了一个因子 $k = \sqrt{(1+\beta)/(1-\beta)}$，即相对论多普勒因子，其中 $\beta$ 是相对速度与光速的比值。
英文摘要
A lease grants one holder exclusive authority over a resource for a fixed term, and its safety property guarantees that at most one holder has the lease at any time. Under special relativity ``at any time'' has no frame-independent meaning for participants in relative motion. This note first restates the classical safety property with light cones, requiring a holder's expiry to lie in the causal past of any later acquisition by a different holder, an order every observer agrees about. Second, the paper modifies classical PaxosLease: the core change is that the containment and quarantine rules each gain a factor of $k = \sqrt{(1+β)/(1-β)}$, the relativistic Doppler factor, where $β$ is relative speed as a fraction of the speed of light.
Comments6 pages, 4 figures, 1 table
