分布式算法设计基础.docx

中文课程名分布式算法设计基础英文课程名Foundations of Design for Distributed Algorithms双语教学否周学时4中文内容简介“分布式算法设计基础”内容的重点是抽象的分布式计算模型，基于该模型基础之上的分布式基础算法的设计方法，算法的正确性分析和效率分析，以及分布式容错算法的设计与分析，教学的基本要求是通过教学，使每一个学生较好地掌握课程的主要内容，能够运用分布式计算模型与分布式基础算法的设计方法，解决相应的、一般的实际问题，包括分布式算法的设计问题。课程的教学内容主要包括如下知识点。其中，属于重点的内容用黑体标示，今后教学改革拟增加的内容用“{……}”标示，部分非重要的内容用括弧标注为“一般了解”：????一般背景与概念介绍：分布式系统的定义，同步与异步系统，分布式系统的体系结构和语言，分布式算法的非形式化定义，分布式算法与集中式算法之间的关系；分布式计算的理论基础与协议：分布式计算模型的形式化定义：变迁系统与分布式算法，同步与异步计算模型，公平性假设，变迁系统性质及其证明，分布式算法的正确性，安全性质，活性性质（生存性质），事件的因果序关系，逻辑时钟，计算执行的等价性；分布式计算的附加假设与复杂性：网络的拓扑结构，通信通道的性质，实时性假设，进程知识，分布式算法的复杂性及其分析方法；通信协议：平衡的滑动窗协议，基于计时器的协议；路由算法：基于目标结点的路由，结点之间的最短路径，基于完整路由表的路由算法，基于区间路由表的路由算法，无死锁邮包交换；分布式基础算法：波动算法与遍历算法：波动算法的定义与应用，一些典型的波动算法，遍历算法；选举算法：选举算法的意义，选举与波动，环网上的选举算法，任意网上的选举算法，{特殊网上的选举算法}；终止性检测：一些基本的终止性检测算法；匿名网络：匿名网络上的选举算法，匿名网络上的消息传递，匿名网络的规模计算；快照算法：快照的定义，一致全局快照，快照的基本性质，基本的快照算法，快照算法的适用条件，选取快照的时机，快照算法的应用；方向侦听与定向：方向侦听的定义与特性，方向侦听的应用，{各种网络拓扑结构上的侦听}；网络中的同步：网络同步，延迟与异步有限延迟网络，同步器算法，互斥（一般地提及即可）；{ 分布式容错计算初步：分布式系统中的容错计算，容错计算的意义，分布式容错，健壮算法，故障模型，判定问题。 }英文内容简介暂时无教学大纲“分布式算法设计基础”课程教学大纲和教学规程1. 课程基本信息课程编号：课程名称（中文）：分布式算法设计基础课程名称（英文）： Foundations of Design for Distributed Algorithms开课学期：见研究生培养方案与教学计划课程类别：研究生学位课程（可对本科生开放选修）课程学时数与学分： 68-72学时（4学分，不含实验课时，4学时/周）实验学时数与学分：实验教学主要通过开放实验室的方式由学生自主进行，不单独计算学分，实验学时数大约安排32学时（目前尚未严格执行实验部分）。先修课程：高级语言程序设计，数据结构，操作系统，Unix程序设计，计算机网络与通信，计算机系统结构，算法设计与分析，可计算性与计算复杂性，集合论与图论，近世代数，数理逻辑基础教学形式：课堂讲授 + 课外教学 + 实验教学（实验通过开放实验室进行）使用教材：[1] Gerard Tel著，有中译本（霍红卫译），Introduction to Distributed Algorithms（《分布式算法引论（第2版）》），机械工业出版社影印，2004教学参考书：[1] Nancy A. Lynch著，有中译本（舒继武等译），Distributed Algorithms（《分布式算法》），机械工业出版社，中信出版社，2004注：上述两本书可以互为教材和教学参考书，但以第一本作教材为好。大纲制定者：赵致琢（厦门大学计算机科学系）大纲审定者：????2．课程性质、类别与任务“分布式算法设计基础”是计算机科学与技术学科（专业）本科生选修课程，是学科相关专业方向研究生学位课程之一，也是该学科重点专业基础课程之一。并行与分布式计算是当今计算机科学与技术最为活跃的领域之一，以网络为基础的分布式计算是成本低，应用范围广，具有广阔发展前景的一个重要方向，而分布式算法是深入开展分布式计算的核心基础。本课程的教学任务和目标是针对以计算机网络为背景的大规模信息处理与计算机应用问题，介绍分布式计算中最基本的分布式算法设计的理论基础、核心思想、基本概念、基本原理、基本方法、基本技术以及一些重要的基础算法，帮助学生掌握分布式算法领域最基本的知识，使他们能够运用这些知识解决分布式计算领域内一些简单问题的分布式算法设计问题，能够对分布式算法的正确性和复杂性进行分析。此外，