227-0555-00L  Distributed Systems

SemesterHerbstsemester 2020
DozierendeR. Wattenhofer
Periodizitätjährlich wiederkehrende Veranstaltung
LehrspracheEnglisch
KommentarEnrolled students will be notified by e-mail about the lecture start.



Lehrveranstaltungen

NummerTitelUmfangDozierende
227-0555-00 GDistributed Systems
The lecture start will be notified by e-mail.
The lecturers will communicate the exact lesson times of ONLINE courses.
Lecture: Monday or Friday 10-12 h
Exercises: Friday 14 - 16 h
3 Std.
Mo10-12ON LI NE »
Fr10-12ON LI NE »
14-16CAB G 51 »
R. Wattenhofer
227-0555-00 ADistributed Systems
tba
1 Std.R. Wattenhofer

Katalogdaten

KurzbeschreibungThis course introduces the fundamentals of distributed systems. We study different protocols and algorithms that allow for fault-tolerant operation, and discuss practical systems that implement these techniques.
LernzielThe objective of the course is for students to understand the theoretical principles and practical considerations of distributed systems. This includes the main models of fault-tolerant distributed systems (crash failures, byzantine failures, and selfishness), and the most important algorithms, protocols and impossibility results. By the end of the course, students should be able to reason about various concepts such as consistency, durability, availability, fault tolerance, and replication.
InhaltWe discuss the following concepts related to fault-tolerant distributed systems: client-server, serialization, two-phase protocols, three-phase protocols, paxos, two generals problem, crash failures, impossibility of consensus, byzantine failures, agreement, termination, validity, byzantine agreement, king algorithm, asynchronous byzantine agreement, authentication, signatures, reliable and atomic broadcast, eventual consistency, blockchain, cryptocurrencies such as bitcoin and ethereum, proof-of-work, proof-of-*, smart contracts, quorum systems, fault-tolerant protocols such as piChain or pbft, distributed storage, distributed hash tables, physical and logical clocks, causality, selfishness, game theoretic models, mechanism design.
SkriptA script is available on the web page.
LiteraturThe script is self-contained, but links to additional material are available on the web page.
Voraussetzungen / BesonderesThis lecture takes place in roughly the second half of the semester, as the lecture is the second part of the lecture "Computer Systems" (252-0217-00). Students may attend at most one of the two lectures, NOT both.

Leistungskontrolle

Information zur Leistungskontrolle (gültig bis die Lerneinheit neu gelesen wird)
Leistungskontrolle als Semesterkurs
ECTS Kreditpunkte4 KP
PrüfendeR. Wattenhofer
FormSessionsprüfung
PrüfungsspracheEnglisch
RepetitionDie Leistungskontrolle wird in jeder Session angeboten. Die Repetition ist ohne erneute Belegung der Lerneinheit möglich.
Prüfungsmodusschriftlich 90 Minuten
Zusatzinformation zum PrüfungsmodusCompletion of a learning task awards a bonus of up to 0.25 grade points on the final grade. The final exam may be computer-based.
Hilfsmittel schriftlichNone
Diese Angaben können noch zu Semesterbeginn aktualisiert werden; verbindlich sind die Angaben auf dem Prüfungsplan.

Lernmaterialien

 
HauptlinkCourse Webpage
Es werden nur die öffentlichen Lernmaterialien aufgeführt.

Gruppen

Keine Informationen zu Gruppen vorhanden.

Einschränkungen

Keine zusätzlichen Belegungseinschränkungen vorhanden.

Angeboten in

StudiengangBereichTyp
Elektrotechnik und Informationstechnologie MasterVertiefungsfächerWInformation
Elektrotechnik und Informationstechnologie MasterEmpfohlene FächerWInformation