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 26
   • Topic: Course Overview
   • Overheads: 2-up / 6-up
   • Text: Read Section 1-1.4 by the next class.
   • Text: Read Section 2.1 by the next class.
   • Recorded Lecture( 2003, 2002, 2001)

   Section 1: Communication, Processing, and Naming

2. Thursday, August 28
   • Topic: Remote Invocation (Procedures & Object/Corba)
   • Overheads: 2-up / 6-up
   • Text: Read Section 2.2-2.3
   • Text: Read Section 9.1
   • 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( 2003, 2002, 2001)
     
     
3. Tuesday, September 2
1. Topic: Message Concepts; Communicating Sequential Processes
2. Overheads: 2-up / 6-up
3. Text: Read Section 2.4
4. Read: Hoare's CSP paper
5. Optional References : the CSP archive of related work
6. Recorded Lecture(2003, 2002, 2001)
   
   
4. Thursday, September 4
   • Topic: Tuple Spaces and Events
   • Overheads: 2-up / 6-up
   • Text: Read Chapter 12
   • Read: Linda tuple space paper
   • Read: Two papers on the Siena event system ( [1], [2] )
   • 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
   • Recorded Lecture(2003, 2002, 2001)
     
     
5. Tuesday, September 9
   • Topic: Threads
   • Text: Sections 3.1-3.2
   • Read: Paper on Scheduler Activitations
     
   • Overheads : 2-up / 6-up 
   • Recorded Lecture(2003, 2002)

    

6. Thursday, September 11
1. Topic: Mobile Agents
2. Text: Sections 3.4-3.5
1. Overheads: 2-up / 6-up
2. Read: Mobile Agents ( motivation, Java agents)
3. Recorded Lecture(2003, 2002, 2001)
1. Optional: Examples mobile agent systems
1. Voyager ( site )
2. Concordia ( overview, white paper, site )
3. Aglets( overview, site )

 

7. Tuesday, September 16
   • Topic: Pi-Calculus
   • Overheads : 2-up / 6-up
   • Read: Milner's pi-calculus paper
   • Recorded Lecture(2003, 2002, 2001)
     
     
8. Thursday, September 18
1. Topic: Pi-Calculus (cont.)
2. Term Project Proposals Due (see Projects )
3. Overheads : 2-up / 6-up
4. Read: Parrow's pi-calculus paper
5. Recorded Lecture(2003, 2002)
   
   
9. Tuesday, September 23
   • Topic: Pi-Calculus (cont.)
     
   • Overheads: 2-up / 6-up
   • Recorded Lecture(2003)
     
     
10. Thursday, September 25
1. Topic: Naming
2. Term Project Proposals Approved (see Projects )
3. Overheads: 2-up / 6-up
4. Read: Pages from Understanding LDAP
   
5. Text: Section 4.1 - 4.3
6. Recorded Lecture(2003)




11. Tuesday, September 30: FIRST EXAM
    
    

    Section 2: Security

     
12. Thursday, October 2
1. Topic: Protection Models
2. Overheads: 2-up / 6-up
3. Recorded Lecture(2003, 2002, 2001)
4. Read: Lampson's original paper on protection.

 
13. Tuesday, October 7
    • Topic: Cryptography and Digitial Signatures
    • Overheads:: 2-up / 6-up
    • Text: Chapter 8
    • Recorded Lecture(2003, 2002, 2001(1),2001(2))
    • Read: An overview of cryptography
    • Read: An introduction to cryptography
    • Optional Reference : Handbook of Applied Cryptography
    
     
14. Thursday, October 9
1. Topic: Cryptography and Digital Signatures (cont.)
   
2. Overheads:: 1-up/ 2-up / 6-up
3. Text: Chapter 8
4. Recorded Lecture(2003, 2002, 2001(1), 2001(2))

 
15. Tuesday, October 14
    • Topic: Authentication and Certificates
    • Overheads:: 1-up/ 2-up / 6-up
    • Text: Chapter 8
    • Recorded Lecture(2003, 2002, 2001(1), 2001(2))
    • Read: An overview of Certificates and Authentication
    • Read : A critical commentary on certification
    • Optional Reference: X.509 RFC
      
      
16. Thursday, October 16
    • Topic: Private Key Systems - Kerberos
    • Overheads: 2-up / 6-up
    • Text: Section 8.5
    • Recorded Lecture(2003, 2001)

    Section 3: Ordering of Events 

     
17. Tuesday, October 21
1. Topic: Time and Event Ordering
2. Overheads: 2-up / 6-up
3. Read: Lamport's original paper
4. Text: Sections 5.1 - 5.2
5. Recorded Lecture(2003, 2002, 2001-1, 2001-2)

 
18. Thursday, October 23
    • Topic: Event and Message Ordering
      
    • Intermediate Reviewers Assigned  
    • Overheads: 2-up / 6-up
    • Text: Sections 5.3
    • Read: State recording paper
    • Recorded Lecture(2003)
    
     
19. Tuesday, October 28
    • Topic: State Recording (Distributed Snapshots)
    • Intermediate Reviews Begin (See  Projects )
    • Text: Sections 5.3
    • Read: State recording paper
    • Recorded Lecture(2003, 2002, 2001)
    
     
20. Thursday, October 30
1. Topic: Transactions
2. Overheads: 2-up / 6-up
3. Text: Sections 5.6
4. Recorded Lecture(2003, 2002 , 2001)
5. Optional Reference: Jim Gray's tutorial on transactions

 
21. Tuesday, November 4
1. EXAM 2


  Section 4: Replication and Fault Tolerance

22. Thursday, November 6
1. Topic: Project Review MeetingsConsistency in Replicated Data

 

23. Tuesday, November 11
1. Topic: Transactions (cont.) and Two Phase Locking
   
2. Overheads: 2-up / 6-up
3. Text: Section 5.6
   
4. Recorded Lecture(2003, 2002, 2001)
   
5. Intermediate Review Reports Due (see Projects )
 
 
24. Tuesday, November 13
    
1. Topic: Timestamps
   
2. Overheads: 2-up / 6-up
3. Text: Section 5.6
   
4. Recorded Lecture(2003, 2002, 2001)
   
   
25. Tuesday, November 18
1. Topic: Two Phase Commit
2. Overheads: 2-up / 6-up
3. Text: Sections 7.5
4. Recorded Lecture(2003, 2002, 2001)
   
   
26.   Thursday, November 20
1. Topic: Consistency in Replicated Data
2. Overheads: 2-up / 6-up
3. Text: Section 6.1- 6.6
4. Recorded Lecture(2003)

Thanksgiving Break

Section 5: Distributed File Systems



27. Thursday, December 2
    
• Topic: NFS
• Text: Section  10.1
• Overheads: 2-up / 6-up
• Read: A survey of distributed file systems.
• Recorded Lecture(2003, 2002)
  
  
28. Tuesday, December 4
    
• Topic: CODA
• Overheads: 2-up / 6-up 
• Text: Section  10.2
• Read: the CODA file system
• Recorded Lecture(2003, 2002)
  
  
29. Thursday, December 9
    
• Topic: Peer-to-Peer File Systems
• Overheads: 2-up / 6-up
• Read:  a paper about CFS and a paper about Chord
• Recorded Lecture(2003, 2002)
• Term Projects Due (see  Projects)
• review
• class evaluation