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
Introduction
,
Classification of distributed systems
Networks for distributed systems
Network communication
Communcation models
Remote procedure calls
Distributed shared memory
Load distribution
Process migration
Distributed file systems
DFS examples: Sun's NFS, Andrew FS
Atomic transactions
Security
Security system implementations: Keberos, Secure Shell
Clusters
High availability clusters
Waves
Traversal
Election
Termination detection
Managing physical clocks in distributed systems
Logical clocks: Lamport's and vector clocks
Distributed mutual exclusion - permission based algorithms
Distributed mutual exclusion - token based algorithms
Fault tolerance in distributed systems
Robust and stabilizing algorithms
Introduction to concurrency theory, propositional logic
Predicate logic, programming logic
Reasoning about concurrent execution
Introduction to temporal logic
Additional reading material
Homeworks
Homework 1 (due 9/19/00)
Homework 2 (due 10/3/00)
Homework 3 (due 10/31/00)
Homework 4 (due 11/9/00)
Homework 5 (due 11/30/00)
Homework 6 (due 12/07/00)