Distributed Computing Group Distributed Computing Group
ETH Zurich Distributed Computing Group
ETH ZurichITETTIKDistributed Computing Group Lectures – Hs15 – Distsys

HOME
MEMBERS  
PUBLICATIONS  
COURSES  
THESES  
WIKI  
CONTACT  
     
SOFTWARE & APPS  
benG  
BitThief  
Conference Search  
DiscoMark  
jukefox  
Kännsch  
Smart Cloud Storage  
Newspaper 2.0  
Sinalgo  
sound mate  
TinyOS IDE  
     
SPIN-OFFs  
BitSplitters  
     
FORMER  
Spamato  
StreamForge  
Wuala  

Distributed Systems Part 2 (HS 2015)


Note: Only second part, visit the first part of this course held by Prof. Mattern.

We present the characteristics and concepts of distributed systems, and discuss distributed control algorithms (flooding, mutual exclusion, logical clocks), communications models (remote procedure call, client-server models, synchronous and asynchronous communication), abstract communication principles (broadcast, events, tupel spaces), name services, communication middleware for open systems, infrastructure for ad hoc networking (JINI), cloud computing, and mechanisms for security and safety. Having a distributed system may permit getting away with failures and malfunctions of parts of the system. We discuss fault-tolerance issues (models, consensus, agreement) as well as replication issues (primary copy, 2PC, 3PC, Paxos, quorum systems).

Topics: Distributed control algorithms (mutual exclusion, logical clocks), communication models (RPC, client-server, synchronous and asynchronous communication), abstract communication principles (broadcast, events, tuple spaces), communication middleware, security mechanisms, fault-tolerance (failure models, consensus, agreement), replication (primary copy, 2PC, 3PC, Paxos, quorum systems).

Course pre-requisites: - .

Course language: German or English.

Lecture by Prof. Roger Wattenhofer, Monday 9-11 @ NO C6, Friday 9-11 NO C6.

Exercises by David Stolz, Christian Decker and Michael König. Monday 11-12 @ NO C6, Friday 11-12 @ NO C6.

Bonus Your task is to create an exam question including a solution for one of the topics covered in the lecture. See here for detailed information.


News

  • 25. January: Small fixes on slides 38/39 and 45 in Chapter 10. Thanks for the notification!
  • 23. January: Small typo in Definition 5.33. Thanks for the email!
  • 19. January: Two typo fixes in master solutions: Master solution 1, task 2: One arrow renamed from ok(1,22) to ok(2,22). Master solution 8, task 3 (i): D_w = {v} (before: D_w = {u}). Thanks for the feedback!
  • 18. January: Some material which is in the lecture notes was not covered during the lecture itself, and is thus will not be tested in the exam: Chapter 5, after Definition 5.30. And Chapter 9, after Slide 39.
  • 11. January: Solution 11, task 1b: corrected master solution.
  • 6. January: There will be a Q&A session on Friday 22nd of January 14:00 at CAB G52.
  • 23. December: Notified all people who submitted a bonus question for round 2. If you submitted something but did not get feedback, please let us know.
  • 21. December: Some exams of our part of the Distributed Systems lecture can be downloaded here (HS09), here(HS10) and here(HS11)
  • 11. December: Added Bonus Round 2.
  • 3. December: Solution 3, task 3: corrected master solution.
  • 23. November: Added Bonus.
  • 10. November: Chapter 2: Clarification in Algorithm 2.15: added "received" in Line 7 and 17.
  • 10. November: Exercise sheet 2: Minor clarifications.
  • 5. November: Updated layout of this website.
  • 4. November: Chapter 2, 2.4: Small changes to algorithm and proof (Lemma 2.16, 2.18).
  • 2. November: Exercise sheet 1, task 2: Renamed function name consistently from "execute()" to "suggestValue()".


Lecture material


Title Lecture Notes Exercises Additional Material

Chapter 0
Introduction
2015/11/02
PDF 1:1
PDF 2:1
--- ---

Chapter 1
Fault-Tolerance & Paxos
2015/11/02
PDF 1:1
PDF 2:1
Exercises
Solutions
---

Chapter 2
Consensus
2015/11/06
PDF 1:1
PDF 2:1
Exercises
Solutions
---

Chapter 3
Byzantine Agreement
2015/11/09
PDF 1:1
PDF 2:1
Exercises
Solutions
---

Chapter 4
Authenticated Agreement
2015/11/20
PDF 1:1
PDF 2:1
Exercises
Solutions
Slides

Chapter 5
Quorum Systems
2015/11/16
PDF 1:1
PDF 2:1
Exercises
Solutions
---

Chapter 6
Eventual Consistency & Bitcoin
2015/11/23
PDF 1:1
PDF 2:1
Exercises
Solutions
---

Chapter 7
Distributed Storage
2015/11/27
PDF 1:1
PDF 2:1
Exercises
Solutions
---

Chapter 8
Game Theory
2015/11/13
PDF 1:1
PDF 2:1
Exercises
Solutions
---

Chapter 9
Clock Synchronization
2015/11/30
PDF 1:1
Exercises
Solutions
---

Chapter 10
Network Updates
2015/12/04
PDF 1:1
Exercises
Solutions
---

Chapter 11
Locking
2015/12/07
PDF 1:1
Exercises
Solutions
Additional Material

Chapter 12
Concurrency
2015/12/11
PDF 1:1
Exercises
Solutions
Additional Material

Chapter 13
Consistency & Shared Memory
2015/12/14
PDF 1:1
---