邻域互斥余:Look-Compute-Move 机器人的自稳定实现(扩展摘要)
分布式、并行与集群计算
2019-03-08 v1
摘要
局部互斥保证没有两个相邻进程同时进入临界区,同时满足互斥和无饥饿性质。另一方面,进程可能希望与邻居同时执行某些操作。当然,我们可以使用全局同步时钟来完成该任务,但在一般的分布式系统中实现它非常昂贵。在本文中,我们定义了一个新的概念——邻域互斥余。满足邻域互斥余要求的分布式算法应满足全局公平性、l-互斥和重复局部会合要求。当每个进程(无限频繁地请求进入临界区)无限频繁地执行临界区时,满足全局公平性;当至多 l 个相邻进程同时进入临界区时,满足 l-互斥;当对每个进程无限频繁地在其闭邻域中没有进程处于临界区或尝试区时,满足重复局部会合。我们首先形式化了邻域互斥余的概念,并给出一个简单的自稳定算法来展示实现邻域互斥余的设计范式。我们还给出了邻域互斥余在 Look-Compute-Move 机器人系统中的两个应用。一个用于实现移动原子性性质,另一个用于实现 FSYNC 调度器,其中机器人拥有以相同速度推进的独立时钟。这些是 LCM 同步的首批自稳定实现。
引用
@article{arxiv.1903.02843,
title = {Neighborhood Mutual Remainder: Self-Stabilizing Implementation of Look-Compute-Move Robots (Extended Abstract)},
author = {Shlomi Dolev and Sayaka Kamei and Yoshiaki Katayama and Fukuhito Ooshita and Koichi Wada},
journal= {arXiv preprint arXiv:1903.02843},
year = {2019}
}
备注
16 pages