Distributed Systems
The course is not on the list Without time-table
| Code | Completion | Credits | Range |
|---|---|---|---|
| XP36DSY | ZK | 4 | 2P |
- Garant předmětu:
- Lecturer:
- Tutor:
- Supervisor:
- Department of Computer Science
- Synopsis:
-
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.
- Requirements:
- Syllabus of lectures:
- Syllabus of tutorials:
- Study Objective:
- Study materials:
-
1. Tanenbaum, A.: Computer Networks
2. Stallings, W.: Handbook of Computer Communication Standards
- Note:
- Further information:
- No time-table has been prepared for this course
- The course is a part of the following study plans:
-
- Doctoral studies, daily studies (compulsory elective course)
- Doctoral studies, combined studies (compulsory elective course)
- Doctoral studies, structured daily studies (compulsory elective course)
- Doctoral studies, structured combined studies (compulsory elective course)