分布式计算 (基础与系统)

本课程教授分布式计算机系统的基本算法与原理,例如逻辑时钟,协同问题,失效检测,拜占庭移植性协议,分布式加锁,流言协议等。学生还将通过学习若干先进分布式系统了解如何将基本算法和原理用于设计和分析分布式系统。