分布式系统理论:Nancy Lynch 及其合作者的工作综述
分布式、并行与集群计算
2025-03-03 v1
摘要
本文概述了我关于为分布式系统构建理论方面的工作——这一工作涉及许多学生和其他合作者。该工作始于20世纪70年代后期的乔治亚理工学院,随后于1981年起在麻省理工学院继续。本文强调了早期贡献及其对领域发展方向的影响。这些贡献包括新的分布式算法;严谨的证明与分析;发现先前算法中的错误;下界及其他不可行性结果,表明分布式系统固有限制;用于建模与分析分布式系统的通用数学基础;以及将这些方法应以理解多种实际分布式系统的能力,包括分布式数据管理系统、有线和无线通信系统以及生物系统。
关键词
引用
@article{arxiv.2502.20468,
title = {Building a Theory of Distributed Systems: Work by Nancy Lynch and Collaborators},
author = {Nancy Lynch},
journal= {arXiv preprint arXiv:2502.20468},
year = {2025}
}