分布式系统 2012-2013夏季学期 2011级计算机科学

任课老师

基本信息

学分:2.0

学时:32

时间:周一 14:00-17:40 & 周五 14:00-17:40 (19-22周)

地点: 上院308

课程代码:CS220

Course description

In this course you will learn some of the key ideas that have proved useful or are expected to be useful for designing and building tomorrow’s distributed systems. The course focuses on fundamentals. We will cover problems, models, algorithms, and impossibility results. But to keep ourselves honest, we will integrate the theoretical discussions with a substantial project, that will allow to apply some of the concepts discussed in class.

Syllabus

  1. Global states and event ordering
  2. Logical clocks
  3. Vector clocks
  4. Consistent cuts and global property detection
  5. Rollback-recovery and message-logging protocols
  6. State machine approach
  7. Agreement protocols
  8. Failure detectors
  9. Replication and consistency
  10. Byzantine fault tolerance
  11. Atomic Commit
  12. Epidemic Protocols