cs6/73201
Advanced Operating Systems

Fall 2000, TU 1:45-3:00pm
room: MSB 228

instructor: Dr. Mikhail Nesterenko
office:MSB 356
office hours: TU 3:15-4:30pm or by appointment
phone:672-9109
email:mikhail@mcs.kent.edu
.
teaching assistant:Mr. Qingzhao Guo
office: MSB 201
office hours:WF 8:00-9:30pm or by appointment
phone:672-9025
email:qguo@mcs.kent.edu
All non-html materials are in PDF format. They can be viewed with Adobe Acrobat reader that can be downloaded from Adobe website

textbook: Distributed Operating Systems: Concepts and Design, IEEE press, 1997, ISBN 0-7803-1119-1
syllabus ,class schedule ,grades

Mailing list: how to subscribe, archive

Lecture notes

  1. Introduction, Classification of distributed systems
  2. Networks for distributed systems Network communication
  3. Communcation models Remote procedure calls
  4. Distributed shared memory
  5. Load distribution Process migration
  6. Distributed file systems DFS examples: Sun's NFS, Andrew FS
  7. Atomic transactions
  8. Security Security system implementations: Keberos, Secure Shell
  9. Clusters High availability clusters

  10. Waves
  11. Traversal
  12. Election
  13. Termination detection
  14. Managing physical clocks in distributed systems
  15. Logical clocks: Lamport's and vector clocks
  16. Distributed mutual exclusion - permission based algorithms
  17. Distributed mutual exclusion - token based algorithms
  18. Fault tolerance in distributed systems
  19. Robust and stabilizing algorithms

  20. Introduction to concurrency theory, propositional logic
  21. Predicate logic, programming logic
  22. Reasoning about concurrent execution
  23. Introduction to temporal logic
Additional reading material

Homeworks

  1. Homework 1 (due 9/19/00)
  2. Homework 2 (due 10/3/00)
  3. Homework 3 (due 10/31/00)
  4. Homework 4 (due 11/9/00)
  5. Homework 5 (due 11/30/00)
  6. Homework 6 (due 12/07/00)