校際選修

115-1 選課時程

進行中

  • 初選第一階段 6/15/2026
  • 初選第二階段 6/22/2026
  • 校際選修 8/24/2026
  • 初選第三階段 8/31/2026
  • 開學後加退選 9/7/2026
  • 逾期加退選 9/21/2026
選課資源

分散式系統

Distributed Systems

學期
112-2
學分
3 學分
當期課號
537601
永久課號
MGIM30004
開課單位
資訊管理研究所
授課教師
莊詠婷
校區
光復
類別
選修
上課時間表
週二
8
16:30–17:20
分散式系統
MB311
3 節連堂
9
17:30–18:20
A
18:30–19:20

* 根據陽明交大上課時間表所列

概述

Modern applications and systems are distributed for many reasons, which includes fault-tolerance, resource sharing, etc. This course aims at providing students with a deep understanding of distributed systems. In this class, students will learn: 1. The principles, techniques, complete overview, and practices relevant to the design and implementation of distributed systems. 2. Identifying the desired properties that should govern the design of well-structured distributed systems 3. Learning how to design, implement and evaluate the accuracy and efficiency of distributed algorithms, where distributed algorithms have arisen in a wide spectrum of applications, including distributed information processing, scientific computing, etc. 4. Realizing the challenges encountered during the design and analysis of a distributed system 5. Being able to identify features and design decisions that may cause problems, as well as others that cannot be realized by any correct distributed system implementation 6. The trend of the distributed systems and its related application technologies. 7. To practice and write academic papers To practice and present papers

先修科目

Data Communication and Networks (Recommended)

評分方式

Midterm 30% Presentation 30% Final Term Paper/Project 30% Participation 10%

週次計畫
週次主題
第 1 週Introduction: Definition of a distributed system, Resources, Resource sharing, Challenges, Hardware Concepts, Client-Server: An example
第 2 週Processes: Threads, Processes, Inter-process communication, Clients, Servers
第 3 週System Model: Architectural models, Software layers, Design requirements, Interaction model, Formal model for message-passing systems, Performance, Computer Clocks and Timing, Failures
第 4 週Communication: Layered Protocols, Remote Procedure Call, Remote Object Invocation, Message-oriented communication
第 5 週Naming: Naming entities, locating mobile entities, Removing unreferenced entities
第 6 週Basic Asynchronous Network Algorithms: Simple broadcast and converge-cast protocols, Leader Election in a Ring, Leader Election in an arbitrary network, Spanning Tree Construction, Breadth-first search and shortest paths, Minimum spanning trees
第 7 週The Consensus problem - Fault tolerance: Solving consensus in synchronous networks$
第 8 週Logical Time: Capturing causality, Examples of using causality, Logical time and logical clocks, Vector Clocks, Clock synchronization, Applications
第 9 週Network Resource Allocation: Mutual Exclusion, General Resource Allocation10thGlobal Snapshots and Stable Properties: Consistent global snapshots, Termination-detection
第 10 週Midterm
第 11 週Consistency and Replication: Consistency models, Distribution protocols, Consistency protocols
第 12 週P2P Systems: Chord, CAN, Discussion of unstructured P2P systems – Part1
第 13 週P2P Systems: Chord, CAN, Discussion of unstructured P2P systems – Part 2
第 14 週P2P Systems: Discussion of more unstructured P2P systems – Part 3
第 15 週Transactions and Concurrency Control: Transactions, Optimistic concurrency control, timestamp ordering, Distributed Transactions
第 16 週Discussion of IEEE transactions paper related to P2P, Distributed Systems, or Wireless networks – Part 1
第 17 週Discussion of IEEE transactions paper related to P2P, Distributed Systems, or Wireless networks – Part 2
第 18 週Final Presentation
教科書

 Andrew S. Tanenbaum and Maarten van Steen, “Distributed Systems: Principles and Paradigms”, 2nd edition, CreateSpace Independent Publishing Platform, ISBN: 153028175X  IEEE Transactions papers (TBD)

Office Hours
地點
MB307
時間
星期二PM1:00
聯絡方式
03/5712121-57407