3、同步网络算法与系统模型解析

同步网络算法与系统模型解析

1. 研究资料与符号说明

1.1 研究资料来源

研究资料的主要来源是研究文献，特别是计算机协会年度分布式计算原理研讨会（PODC）上发表的众多论文。其他包含该领域大量论文的研讨会有：计算机科学基础研讨会（FOCS）、计算理论研讨会（STOC）、并行算法与架构研讨会（SPAA）以及分布式算法研讨会（WDAG）。许多研究成果也发表在计算机科学期刊上，如《ACM期刊》《分布式计算》《信息与计算》《SIAM计算期刊》《信息学学报》和《信息处理快报》等。

此前也有一些收集和总结该领域材料的尝试：
- Lamport和Lynch关于分布式计算的章节对一些建模和算法思想进行了简要概述。
- Raynal的两本书分别介绍了互斥算法和异步网络算法领域。
- Raynal和Helary的书给出了网络同步器的相关结果。
- Chandy和Misra以UNITY编程模型呈现了大量分布式算法。
- Tel则提供了该领域的另一种视角。

此外，Karp和Ramachandran的论文收集了同步共享内存系统的PRAM模型相关结果；Leighton的书收集了固定连接网络的同步并行算法结果；Lynch、Merritt、Weihl和Fekete以及Bernstein、Hadzilacos和Goodman提出了分布式数据处理系统中并发控制和恢复的许多算法；Hadzilacos和Toueg给出了基于具有原子广播原语的通信系统实现分布式系统的结果。

1.2 数学符号

以下是一些常用的数学符号：
|符号|含义|
| ---- | ---- |
|N|自