支持本地读取的复制对象的参数化算法

我们考虑在具有进程崩溃的消息传递系统中实现支持读操作和读-修改-写（RMW）操作的线性化对象的问题。由于在众多系统中读操作的数量远超 RMW 操作，我们关注强调读操作效率的实现。我们提出了一种用于部分同步系统的参数化算法，其中进程可访问在 $\epsilon$ 内同步的外部时钟。使用该算法，每个读操作都是本地的（直观地说，它不触发消息）。如果一次读不与冲突的 RMW 并发，它会立即执行而无需等待；此外，即便存在并发的冲突 RMW，读操作在最坏情况下也仅经历极小的延迟。例如，可将算法参数设置为确保每次读在最坏情况下耗时 $\epsilon$。据我们所知，这是在所假设的部分同步系统中首个达到该界的算法。我们的参数化算法推广了 Chandra 等人 [6] 的（非参数化）基于租约的算法，其中读的最坏情况时间为 $3\delta$，$\delta$ 为最大消息延迟。该算法的参数可用于权衡读与 RMW 操作的最坏情况时间，也可用于利用如下事实：在许多消息传递系统中，大多数消息的延迟比最大消息延迟 $\delta$ 小若干个数量级。例如，可设置参数使得在消息延迟为 $\delta^* \ll \delta$ 的“良好”时段内，读至多耗时 $\epsilon$，而 RMW 至多耗时 $3 \delta^*$。