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

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:

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


Page updated 29.3.2024 05:51:24, 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)