匿名动态网络中局部互斥的运行时间分析
分布式、并行与集群计算
2025-05-23 v1
摘要
互斥算法旨在隔离对同一共享资源的并发访问。为了受动分布式计算中可编程物质和人口协议研究的启发，其中假设实体之间的相互作用往往是孤立的，Daymude等人（SAND`22）引入了一种适用于任意动态网络的局部互斥问题的变体：每个节点在发出锁请求时，必须获取对自身及其所有持久邻居的独占锁，即在锁请求持续期间保持与其相连的邻居。假设对抗性边动态、半同步或异步并发以及匿名节点通过消息传递通信，他们的随机算法实现了互斥（非交叉锁集）和无 lockout 永久成功（概率为1）。然而，他们没有分析该算法的运行时间。本文我们证明，任何节点将在其锁请求的 O(nΔ³) 个开放轮的预期内成功锁定自身及其持久邻居，其中n为动态网络中的节点数，Δ为动态网络的最大度，轮次归一化为“最慢”节点的执行时间，“封闭”轮当某些持久邻居已被另一个节点锁定时忽略（即仅考虑“开放”轮）。
引用
@article{arxiv.2505.16139,
title = {On the Runtime of Local Mutual Exclusion for Anonymous Dynamic Networks},
author = {Anya Chaturvedi and Joshua J. Daymude and Andréa W. Richa},
journal= {arXiv preprint arXiv:2505.16139},
year = {2025}
}
备注
16 pages, 1 table