图 书 馆
分布式系统的形式化模型Lecture 2. Unit 0. Formal Models of distributed systems |
|
| 课程网址: | https://videolectures.net/videos/EDSAcourses_haridi_lecture02 |
| 主讲教师: | Seif Haridi |
| 开课单位: | EDSA课程 |
| 开课时间: | 2018-02-28 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | complements Distributed Systems, Basic Course, and prepares the students for M.Sc projects, and Ph.D. studies in the area of distributed systems. The main objective of this course is to provide the students with a solid foundation for understanding, analyzing and designing distributed algorithms for reliable distributed systems. More specifically after the course is completed the student will: - Know how to specify the properties of distributed algorithms, so called liveness and safety properties.\\ - Explain the different models of distributed systems, including failure and timing models.\\ - Master basic algorithms for failure detection, leader elections, broadcast and multicast, basic shared memory in distributed systems, agreement protocols, and group communication.\\ - Practice in design and implementation of selected distributed algorithms in middleware designed for group communication. |
| 关 键 词: | 分布式系统; 形式化模型; 故障检测 |
| 课程来源: | 视频讲座网 |
| 数据采集: | 2024-11-23：liyq |
| 最后编审: | 2024-11-23：liyq |
| 阅读次数: | 8 |