Summary of Study |
Summary of Branches |
All Subject Groups |
All Subjects |
List of Roles |
Explanatory Notes
Instructions
| XP36DSV |
Distributed Systems |
| Roles: | S |
Extent of teaching: | 2P |
| Department: | 13136 |
Language of teaching: | |
| Guarantors: | Janeček J. |
Completion: | ZK |
| Lecturers: | Janeček J. |
Credits: | 4 |
| Tutors: | Janeček J. |
Semester: | Z |
Anotation:
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.
Course outlines:
Exercises outline:
Literature:
| 1. | | Tanenbaum, A.: Computer Networks |
| 2. | | Stallings, W.: Handbook of Computer Communication Standards |
Requirements:
Subject is included into these academic programs:
| Page updated 20.1.2025 05:51:30, semester: Z,L/2024-5, Z/2025-6, Send comments about the content to the Administrators of the Academic Programs |
Proposal and Realization: I. Halaška (K336), J. Novák (K336) |