CS5204: Operating Systems

The overheads are provided as PDF documents, with either 2 slides per page or 6 slides per page. These are listed in the Overheads bullet for each day as "2-up" and "6-up", respectively. All PDF documents viewed should all appear in the same window, which will be separate from the main website window.

Please note that the contents of this page and the files to which it links may change at any time; please check for updates frequently. You may not want to print many slides ahead of time, as they will most likely change throughout the semester.

Course Introduction

1. Tuesday, August 27
• Topic: Course Overview
• Overheads: 2-up / 6-up
• Text: Read Chapter 1 by the next class.
• Text: Read Section 4.1-4.6 by the next class.
• Recorded Lecture (RealMedia format)
• Last term's Recorded Lecture (RealMedia format)

Section 1: Communication

2. Thursday, August 29
• Topic: Message Concepts; Communicating Sequential Processes
• Overheads: 2-up / 6-up
• Text: Read Section 4.7.1
• Text: Read Section 2.6.4
• Read: Hoare's CSP paper
• Optional References : the CSP archive of related work
• Recorded Lecture (RealMedia format) 
• Last year's Recorded Lecture (RealMedia format)
  
  
3. Tuesday, September 3
• Topic: Remote Invocation - Corba
• Overheads: 2-up / 6-up
• Text: Read Section 4.72-4.7.3
• Read: Corba overview ( postscript,PDF)
• Read: Corba  paper
• Optional Reading: An excellent introduction to remote procedure calls
• Optional Reading: Corba, DCOM and Java paper
• Recorded Lecture (RealMedia format) 
• Last year's Recorded Lecture (RealMedia format)
  
  
4. Thursday, September 5
• Topic: Tuple Spaces and Events
• Overheads: 2-up / 6-up
• Read: Linda tuple space paper
• Read: Two papers on the Siena event system ( [1], [2] )
• Recorded Lecture (RealMedia format)
• Last Year's Recorded Lecture (RealMedia format)
• Optional reading : NOW implementation of Linda
• Optional reading : S/Net implementation of Linda
• Optional Reading: Overview of event models
• Optional: Examples of tuple space systems
• IBM: Tspaces (HTML)
• Sun JavaSpaces:
• (Overview)
• Specification (in PDF)
• Optional reading: the Herald event system
• Optional reading : internet scale events
  
  
5. Tuesday, September 10
• Topic: Pi-Calculus
• Overheads : 2-up / 6-up
• Read: Milner's pi-calculus paper
• Recorded Lecture (RealMedia format)
  
  
6. Thursday, September 12
• Topic: Pi-Calculus (cont.)
• Overheads : 2-up / 6-up
• Read: Parrow's pi-calculus paper
• Recorded Lecture (RealMedia format)
  
• Last Year's Recorded Lecture (RealMedia format)

Section 2: Activity (Threads, Agents, Processes, Grids)

7. Tuesday, September 17
• Topic: Threads
• Text: Sections 17.1 -17.4
• Read: Paper on Scheduler Activitations
  
• Overheads : 2-up / 4-up 
• Recorded Lecture (Realmedia format)
  
  
8. Thursday, September 19
• Topic: Mobile Agents
• Term Project Proposals Due (see Projects )
• Overheads: 2-up / 6-up
• Read: Mobile Agents ( motivation, Java agents)
• Recorded Lecture (RealMedia format)
• Last year's Recorded Lecture (RealMedia format)
• Optional: Examples mobile agent systems
• Voyager ( site )
• Concordia ( overview, white paper, site )
• Aglets( overview, site )

 
9. Tuesday, September 24
• Topic: Distributed Scheduling
• Overheads: 2-up / 6-up
• Text: Section 11.1 - 11.5
• Recorded Lecture (RealMedia format)
  
• Last Year's Recorded Lecture  (RealMedia format)
  
  
10. Thursday, September 26
• Topic: Grid computing systems
• Term Project Proposals Approved (see Projects )
  
• Overheads: 2-up / 6-up
• Read: Anatomy of the Grid
• Recorded Lecture (RealMedia format)
• Last Year's Recorded Lecture (RealMedia format)
  
• Optional Background Reading
• Metasystems (in PDF)
• Overview of metasystems (in PDF)
• Globus Architecture (PS , PDF )
• Legion (PDF , PS )


11. Tuesday, October 1: FIRST EXAM
    
    

    Section 3: Security

    
    
    
12. Thursday, October 3
• Topic: Protection Models
• Overheads: 2-up / 6-up
• Recorded Lecture (RealMedia format)
• Last Year's Recorded Lecture (RealMedia format)
• Text: Sections 14.1 - 14.6
• Read: Lampson's original paper on protection.

 
13. Tuesday, October 8
• Topic: Cryptography and Digitial Signatures
• Overheads:: 2-up / 6-up
• Text: Section 15.1 - 15.6
• Recorded Lecture (RealMedia format)
• Last Year's Recorded Lecture (RealMedia format)
• Read: An overview of cryptography
• Read: An introduction to cryptography
• Optional Reference : Handbook of Applied Cryptography

 
14. Thursday, October 10
• Topic: Crytography and Digital Signatures (cont.)
• Overheads:: 2-up / 6-up
• Text: Section 15.1 - 15.6
• Last Year's Recorded Lecture (RealMedia format)

 
15. Tuesday, October 15
• Topic: Authentication and Certificates
• Overheads:: 1-up/ 2-up / 6-up
• Read: An overview of Certificates and Authentication
• Read : A critical commentary on certification
• Recorded Lecture (Real Media format)
  
• Last Year's Recorded Lecture (RealMedia format)
• Last Year's Recorded Lecture (RealMedia format)
• Optional Reference: X.509 RFC
  
  
16. Thursday, October 17
• Topic: Private Key Systems - Kerberos
• Overheads: 2-up / 6-up
• Text: Section 15.8 - 15.9
• Last Year's Recorded Lecture (RealMedia format)

Section 4: State 

 
17. Tuesday, October 22
• Topic: Time and Event Ordering
• Overheads: 2-up / 6-up
• Read: Lamport's original paper
• Text: Sections 5.1-5.4
• Recorded Lecture (RealMedia format)
  
• Last Year's Recorded Lecture (RealMedia format)

 
18. Thursday, October 24
• Topic: Event Ordering (cont.)
• Last Year's Recorded Lecture (RealMedia format)
• Intermediate Reviewers Assigned  

 
19. Tuesday, October 29
• Topic: Distributed Snapshots
• Intermediate Reviews Begin (See  Projects )
• Overheads: 2-up / 6-up
• Text: Sections 5.5 - 5.8
• Read: State recording paper
• Recorded Lecture (RealMedia format)
• Last Year's Recorded Lecture (RealMedia format)

 
20. Thursday, October 31
• Topic: Recovery and Checkpointing
• Overheads: 2-up / 6-up
• Text: Sections 12.1 - 12.8
• Read: Survey of rollback-recovery protocols
• Recorded Lecture (RealMedia format)
• Last Year's Recorded Lecture (RealMedia format)

 
21. Tuesday, November 5
• Topic: Fault Tolerance - Two Phase Commit
• Overheads: 2-up / 6-up
• Text: Sections 13.1-13.4
• Recorded Lecture (RealMedia format)
• Last Year's Recorded Lecture (RealMedia format)

 
22. Thursday, November 7
• EXAM 2
  
• Intermediate Review Reports Due (see Projects )

Section 5: Data

23. Tuesday, November 12
• Topic: Distributed Database Model; Serializability
• Overheads: 2-up / 6-up
• Text: Chapter 18,
• Text: Sections 19.1-19.5
• Recorded Lecture (RealMedia format)
• Last Year's Recorded Lecture (RealMedia format)
• Optional Reference: Jim Gray's tutorial on transactions

 
24. Thursday, November 14
• Topic: Two Phase Locking
• Text: Sections 20.1-20.3.4
• Recorded Lecture (RealMedia format)
• Last Year's Recorded Lecture (RealMedia format)
  
  
25. Tuesday, November 19
• Topic: Timestamp-Based Locking
• Text: Section 20.3.5, Section 20.4
• Overheads: 2-up / 6-up
• Recorded Lecture (RealMedia format)
• Last Year's Recorded Lecture (RealMedia format)
  
  
26.   Thursday, November 21
• Topic: File Systems
• Text: Section  9.1 - 9.5.1
• Overheads: 2-up / 6-up
• Read: A survey of distributed file systems.
• Recorded Lecture (Real Media format)
  

Thanksgiving Break

27. Tuesday, December 3
• Topic: File Systems
• Overheads: 2-up / 6-up 
• Read: the CODA file system
• Recorded Lecture (Real Media format)
  
  
28. Thursday, December 5
• Topic: Peer-to-Peer File Systems
• Overheads: 2-up / 6-up
• Read:  a paper about CFS and a paper about Chord
• Recorded Lecture (Real Media format)
  
  
29. Tuesday, December 10
• Topic: Peer-to-Peer File Systems
• Overheads: 2-up / 6-up
  
• Read: a paper about Freenet (PDF , PS) and a paper about Free Haven (PDF , PS)
• First Part of Recorded Lecture (Real Media format)
• Second Part of Recorded Lecture (Real Media format)
  
• Term Projects Due (see  Projects)
• review
• class evaluation