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 28
• 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)

Section 1: Communication

2. Thursday, August 30
• 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)

 
3. Tuesday, September 4
• 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)

 
4. Thursday, September 6
• Topic: Remote Invocation - SOAP
• Overheads: 2-up / 6-up
• Read: SOAP paper
• Recorded Lecture (RealMedia format)

 
5. Tuesday, September 11
• Topic: Tuple Spaces and Events
• Overheads: 2-up / 6-up
• Read: Linda tuple space paper
• Read: Overview of event models
• Recorded Lecture (RealMedia format)

 
• Optional reading: NOW implementation of Linda
• Optional reading: S/Net implementation of Linda
• Optional: Examples of tuple space systems
• IBM: Tspaces (HTML)
• Sun JavaSpaces:
• (Overview)
• Specification (in PDF)\
• Optional reading: the Herald event system
• Optional reading: the Siena event system
• Optional reading: internet scale events
 
6. Thursday, September 13
• Topic: Pi-Calculus
• Overheads: 2-up / 6-up
• Read: Milner's pi-calculus paper

 
7. Tuesday, September 18
• Topic: Pi-Calculus (cont.)
• Overheads: 2-up / 6-up
• Read: Parrow's pi-calculus paper
• Recorded Lecture (RealMedia format)

 

Section 2: Agents, Mobility, and Migration

8. Thursday, September 20
• Topic: Mobile Agents
• Overheads: 2-up / 6-up
• Read: Mobile Agents ( motivation, Java agents)
• Recorded Lecture (RealMedia format)
• Optional: Examples mobile agent systems
• Voyager (site)
• Concordia (overview, white paper, site)
• Aglets(overview, site)

 
9. Tuesday, September 25
• Topic: Distributed Scheduling
• Overheads: 2-up / 6-up
• Text: Section 11.1 - 11.5
• Term Project Proposals Due (see Projects)
• Recorded Lecture (RealMedia format)

 
10. Thursday, September 27
• Topic: Process Migration
• Overheads: 2-up / 6-up
• Read: Process migration survey
• Recorded Lecture (RealMedia format)
• Optional Reading: another overview of migration

 
11. Tuesday, October 2
• Topic: Grid computing systems
• Overheads: 2-up / 6-up
• Read: Anatomy of the Grid
• Recorded Lecture (RealMedia format)
• Term Project Proposals Approved (see Projects)
• Optional Background Reading
• Metasystems (in PDF)
• Overview of metasystems (in PDF)
• Globus Architecture (PS, PDF)
• Legion (PDF , PS)

 

Section 3: Security

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

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

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

 
15. Tuesday, October 16
• MIDTERM EXAMINATION

 
16. Thursday, October 18
• Topic: Authentication and Certificates
• Overheads:: 1-up/ 2-up / 6-up
• Read: An overview of Certificates and Authentication
• Read: A survey of public key infrastructures
• Read: A critical commentary on certification
• Recorded Lecture (RealMedia format)
• Optional Reference: X.509 RFC

 
17. Tuesday, October 23
• Topic: Authentication and Certificates (cont.); SSL
• Recorded Lecture (RealMedia format)
18. Thursday, October 25
• Topic: Private Key Systems - Kerberos
• Overheads: 2-up / 6-up
• Text: Section 15.8 - 15.9
• Recorded Lecture (RealMedia format)

 
1. Tuesday, October 30
• 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)

 
2. Thursday, November 1
• Topic: Event Ordering (cont.)
• Recorded Lecture (RealMedia format)
• Intermediate Reviewers Assigned  (see Reviewer Assignment)
• Intermediate Reviews Begin (See  Projects)

 
3. Tuesday, November 6
• Topic: Distributed Snapshots
• Overheads: 2-up / 6-up
• Text: Sections 5.5 - 5.8
• Read: State recording paper
• Recorded Lecture (RealMedia format)

 
4. Thursday, November 8
• 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)

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

 
6. Thursday, November 15
• Topic: Fault Tolerance - Three Phase Commit
• Text: Section 13.5
• Recorded Lecture (RealMedia format)
• Intermediate Review Reports Due (see Projects)

Thanksgiving Break

Section 5: Transactions

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

 
8. Thursday, November 29
• Topic: Public Key Infrastructure - Future Direction
• Guest Lecturer: Russ Housley (RSA Laboratories)
• Overheads: 2-up / 6-up
• Recorded Lecture (RealMedia format)

 
9. Tuesday, December 4
• Topic: Two Phase Locking
• Text: Sections 20.1-20.3.4
• Overheads: 2-up / 6-up
• Recorded Lecture (RealMedia format)

 
10. Thursday, December 6
• Topic: Timestamp-Based Locking
• Text: Section 20.3.5, Section 20.4
• Recorded Lecture (RealMedia format)

 
11. Tuesday, December 11
• review
• evaluation