见证结构与即时快照复合体
摘要：研究一种新的组合单纯复形家族，称为直接快照复形。我们的构造和术语受到理论分布式计算的强烈驱动，因为这些复形是与即时快照读/写共享内存通信模型相关的标准协议复形的组合模型。为了定义直接快照复形，我们需要一种新的组合对象，称为见证结构。这些对象索引直接快照复形中的单纯形，而一个称为幽灵化的特殊操作描述了单纯边界的组合。总体来说，我们发展了见证结构的理论并用它来证明直接快照复形的几个组合和拓扑性质。
作者：Dmitry N. Kozlov
论文ID：1404.4250
分类：Distributed, Parallel, and Cluster Computing
分类简称：cs.DC
提交时间：2023-06-22