CSE 531: Distributed and Multiprocessor Operating Systems

Books and papers (for reference)

• Distributed Operating Systems, Concepts and Design. Pradeep K. Sinha

In addition, the following topics will/may be covered from papers:

• Distributed Snapshots: Lamport
• Distributed Clock Synchronization: Lamport
• Common Knowledge: Halpern and Moses
• Distributed Deadlocks: Chandy and Misra
• Nested Transactions: Moss
• Replication: excerpts

Course Contents

A comprehensive overview of the state of the technology in constructing distributed operating systems. The topics outlined in this handout are not necessarily complete. Topics include the following (not necessarily in that order).:

• Multiprocessor Operating Systems
  • Architecture of Multiprocessor Systems
  • Shared Memory Multiprocessors and Cache Coherency
  • Programming Multiprocessors
  • Concurrency in Multiprocessors
  • Scheduling in Multiprocessors
     
• Distributed OS Paradigms:

• Network Operating Systems,
• Message Based Systems,
• Object-Based systems.

• Distributed Programming Techniques:

• Message passing,
• RPC,
• Shared Memory.

• Distributed OS Theory:

• Agreement and Common Knowledge,
• Distributed Snapshots,
• Recovery and Concurrency control,
• Clock Synchronization,
• Distributed Algorithm Design,
• Distributed Mutual Exclusion.

• Distributed OS Algorithms and Programming:

• Replication Algorithms,
• Coherence of Distributed Memory,
• Process Failure detection,
• Concurrency control,
• distributed locking,
• distributed dictionary management.

Project

Programming project is included. Details will be forthcoming