并发多重栈集合算法：SetStackLogic
摘要：并发和集合并发算法的理论基础的描述和解释 在一个异步共享内存系统中，任意数量的进程可能会崩溃 并发算法的验证通常在进展条件的方面加以描述，该条件保证最终会发生某些好事，也被称为算法的安全性，以及正确性，该条件保证不会发生不良事件，也被称为算法的活力 对并发算法的正确性含义进行了详细解释，重点是线性化，并讨论了一个更为最新且鲜为人知的概括，即集合并发 介绍了SetStackLogic算法，它是一个集合并发算法，也是一个具有多重性的栈的实现 以正式和详细的方式展示了SetStackLogic算法的属性，以便提出一种对这类算法进行形式化的严格方案，同样该方案也可以用于其他算法 此外，通过场景示例解释了算法的操作，以说明其在某些可能的执行中的动态行为
作者：Jose Damian Lopez Diaz
论文ID：2307.13915
分类：Distributed, Parallel, and Cluster Computing
分类简称：cs.DC
提交时间：2023-07-27