罕见公平消息传递网络中自稳定且私有的分布式共享原子内存
分布式、并行与集群计算
2018-06-12 v1
摘要
我们研究在消息传递网络中私有地模拟共享内存的问题。系统包含于 N 台服务器上存储与检索复制信息的客户端，其中 e 台为恶意服务器。当客户端访问恶意服务器时，该服务器响应的数据字段可能与其最初存储的值不同。然而，服务器回复及协议动作中的所有其他控制变量均符合服务器算法。针对 Cadambe 等人提出的编码原子存储（CAS）算法，我们提出一种增强方案，确保无信息泄露并容忍恶意故障。我们还考虑在违反系统预期行为的瞬态故障发生后的恢复。在其最后一次发生后，瞬态故障使系统处于任意状态（而程序代码保持完好）。我们提出一种自稳定算法，可在瞬态故障发生后恢复。相较于 Cadambe 等人的工作，该补充在异步环境下亦适用，只要无瞬态故障发生。从使系统计数器（接近）达到其最大值的瞬态故障中恢复，可能需使用全局重置过程，这要求系统运行由公平调度器控制。恢复阶段之后，安全性质对未必由公平调度器控制的异步系统运行成立。由于恢复阶段有界且瞬态故障极为罕见，我们称此设计为准则下的“罕见公平存在下的自稳定”。我们的自稳定算法在异步执行（未必公平）期间使用有界存储。据我们所知，我们首次在网路系统模拟原子共享内存的背景下解决隐私与自稳定问题。
引用
@article{arxiv.1806.03498,
title = {Self-Stabilizing and Private Distributed Shared Atomic Memory in Seldomly Fair Message Passing Networks},
author = {Shlomi Dolev and Thomas Petig and Elad Michael Schiller},
journal= {arXiv preprint arXiv:1806.03498},
year = {2018}
}