35、原子对象与异步网络算法解析

原子对象与异步网络算法解析

原子对象相关内容

1. 分层构造与通用化
   • 分层构造 ：通过定理和无等待的快照原子对象实现，可以使用 1 - 写者/m + p - 读者共享寄存器实现 m - 写者/p - 读者读写原子对象。这一证明基于特定推论，不过在应用该推论时，需要对快照原子对象的外部接口和实现进行调整，使其每个进程只有一个端口。
   • 通用化 ：Snapshot - Register 算法有两个有趣的通用化形式。一是在 WRITE 操作中，如果进程自身的标签对最大，它可以选择重用之前的标签；二是可以使用非负实数值标签代替整数值标签，写者选择的标签只要大于它看到的最大标签即可，若自身标签对最大，同样可重用之前的标签。这两种通用化对证明使用快照共享变量实现读写原子对象的其他算法的正确性很有帮助。
2. 原子对象概念的起源与发展
   • “原子对象”的概念起源于对读写原子对象的研究。之后，原子性的概念被扩展到任意变量类型，并被重命名为线性izability。
   • 一些重要的理论和算法也有其特定的起源，如 Khnig’s Lemma 由 Khnig 证明，规范的无等待原子对象自动机源自 Merritt 的工作等。
3. 读写原子对象的实现算法
   • 多种算法介绍 ：有众多算法用于