Subject description - XP36DSV

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


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:


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


Subject is included into these academic programs:

Program Branch Role Recommended semester
DOKP Common courses S
DOKK Common courses S

Page updated 16.6.2024 17:52:04, semester: Z,L/2023-4, Z/2024-5, Send comments about the content to the Administrators of the Academic Programs Proposal and Realization: I. Halaška (K336), J. Novák (K336)