cs 6/73201
	Tentative Class Schedule (as of 9/03/00)



 #  date   due     topic(chapter)
--  ----   ---  -----------------------

I. Distributed Systems

 1. 8/29        Introduction (What is a distributed system?) (1)
		Classification of distributed Systems
 2. 8/31        Networking (2.1-2.4)
		Networking Communication (2.5-2.7)

 3. 9/5		Communication Models (3)
		Remote Procedure Calls (4)
 4  9/7         Distributed Shared memory (5)

 4. 9/12   	Distributed Shared memory cont.
 5. 9/14	Load distribution (7)


 6. 9/19  HW1 	Process migration (8)
		
 7. 9/21	Distributed file systems (9)	
		DFS examples: NFS, Andrew
		
 8. 9/26   	Atomic Transactions (9.9)
 9. 9/28   	Security (11)
		Security system imelementations: Kerberos, Secure Shell

 9. 10/3  HW2	Clusters        
10. 10/5	exam 1


II. Distributed Algorithms

11. 10/10	Introduction, wave algorithms 
12. 10/12       Traversal algorithms


16. 10/17	Election, Agreement
17. 10/19       Termination detection

Snapshots?

18. 10/24	Synchronizing physical clocks (6.2)
19. 10/26	Logical clocks (6.3)


20. 10/31 HW3	Distributed mutual exclusion - permission-based algorithms
21. 11/2	Distributed mutual exclusion - token-based algorithms

Deadlock handling (6.5)?

22. 11/7  	Fault Tolerance, Robust Algorithms
23. 11/9  HW4	Stabilizing Algorithms

24. 11/14	exam 2  


III. Concurrent Programming

25. 11/16  	Introduction, propositional logic

26. 11/21  	Predicate logic
27. 11/23	thanksgiving - no class

28. 11/28  	Temporal logic
29. 11/30  HW5	Notation and Logic for Sequential Programming	

30. 12/5	Concurrency and Interference
31. 12/7   HW6  last class


12:45pm - 3:00pm Thursday, Dec 14,  room MSB 228 - Final Exam