快速且可扩展的群组互斥算法
分布式、并行与集群计算
2019-07-09 v3
摘要
群组互斥（GME）问题是经典互斥问题的推广，其中每个临界区均关联一个类型或会话。属于同一会话的临界区可以并发执行，而属于不同会话的临界区必须串行执行。著名的读写互斥问题是群组互斥问题的一个特例。在本研究中，我们为异步共享内存系统提出了一种新颖的 GME 算法，该算法除了满足无锁、有界退出和并发进入特性外，在系统不含冲突请求时具有 O(1) 的步复杂度，并且在系统包含足够数量的 GME 对象时，每个 GME 对象具有 O(1) 的空间复杂度。据我们所知，尚无现有的 GME 算法能在并发进入时达到 O(1) 的步复杂度。此外，大多数现有的 GME 算法中每个 GME 对象的空间复杂度为 \Omega(n)，其中 n 表示系统中的进程数。我们还证明了我们的 GME 算法可以很容易地修改为使用有界空间变量。
引用
@article{arxiv.1805.04819,
title = {Fast and Scalable Group Mutual Exclusion},
author = {Shreyas Gokhale and Neeraj Mittal},
journal= {arXiv preprint arXiv:1805.04819},
year = {2019}
}