可恢复、可中止和自适应的互斥性，具有次对数级RMR复杂度
摘要：可恢复互斥（RME）算法的同时可中止性、适应性到点争用以及亚对数RMR复杂性。我们的算法具有O（min（K，log_W N））的RMR经过复杂性和O（F + min（K，log_W N））的RMR超越复杂性，其中K是并发进程的数量（点争用），W是寄存器的大小（以位为单位），F是一个超越复杂性中的崩溃次数。在W = Theta（log N）的标准假设下，这些界限可以转化为最坏情况下的O（frac{log N} {log log N}）的经过复杂性和O（F + frac{log N} {log log N}）的超越复杂性。我们的关键构件是： * D个进程可中止RME算法，对于D≤W，具有O（1）的经过复杂性和O（1 + F）的超越复杂性。我们通过使用Fetch-And-Add（FAA）原语获得该算法，而不像以前的RME工作使用Fetch-And-Store（FAS/SWAP）。 * 一个通用的转换，将任何具有经过复杂性为B < W的可中止RME算法转换为具有经过复杂性为O（min（K，B））的可中止RME锁。
作者：Daniel Katzan and Adam Morrison
论文ID：2011.07622
分类：Distributed, Parallel, and Cluster Computing
分类简称：cs.DC
提交时间：2023-07-11