Distributed Systems

Semestr: Winter

Range: 2+0s

Completion:

Credits: 4

Programme type:

Study form:

Course language:

Summary:

Communication mechanisms - message exchange, procedural communication (RPC, ORB), distributed shared memory. Process algebras - CSP, CCS, and pi-calculus, cooperating automata, Petri nets. Distributed execution, global state, causality, logical time. Algorithms of: exclusive access, leader election, deadlock detection/prevention, termination. Faults, resiliency, qourum algorithms, replication. Mobility, search in distributed systems - DHT.

Keywords:

communication mechanisms, process calculi, distributed computation, distributed algorithms, searching in distributed systems - DHT

Course syllabus:

Seminar syllabus:

Literature:

1. Tanenbaum, A.: Computer Networks
2. Stallings, W.: Handbook of Computer Communication Standards

Examiners:

Lecturers:

Instructors: