CSCI 734 - Distributed Computing Systems

Fall or Spring 3 Prerequisite(s): CSCI 544 or equivalent.

Time and order in distributed systems. Synchronous and asynchronous systems. Models of faulty behavior in distributed systems. Paradigms of distributed computing: network mutual exclusion, deterministic agreement (Byzantine and fail-stop), elections, global state acquisition, atomic transactions. Issues in programming distributed systems. Reliable distributed systems. Distributed databases. Selected case studies.