CS 633 Advanced Operating Systems

 

                                                                                                          Fall 2003
 

---

Homepage        :  http://courses.csusm.edu/cs633ke

Units                 :     3
Prerequisities   :    CS 433 and graduate standing
Catalog Description: Operating Systems review, threads and process synchronization, distributed system communication, synchronization                 in distributed systems, distributed algorithms, static and dynamic scheduling in distributed systems, group communication, fault tolerance, distributed real-time systems
Lecture             : TR 5:30-8:15 p SCI2 242
Instructor          : Kayhan Erciyes SCI2 227 Office Hours: TR 4:00-5:30p SCI2 227
Textbook           : None. We will use lecture notes heavily

 

---

References:

 

• Singhall and Shivaratri, Advanced Concepts in Operating System, McGraw-Hill, 1994
• Distributed Computing, Fundamentals, Simulations and Advanced Topics Hagit Attiya and Jennifer Welch, McGraw-Hill, 1997
• Tanenbaum, Distributed Systems, Principles and Paradigms, Prentice-Hall,2001.
• Coulouris et all, Distributed Systems,third edition, Addison-Wesley, 2001.

 

---

 

Reading

 

·  Logical Time : A way to capture casuality in Distributed SystemsRaynal and Singhal

·  FaultTolerant Distributed Systems : A Modular Approach to Non-Blocking Atomic Commitment Problem M.Raynal

·  Consensus in Byzantine Asynchronous Systems Baldoni, Helary, et all

Goals: To introduce the theory and implementation of advanced operating systems
 

---

Topics :

• Overview of Operating Systems
• Process Synchronization and Deadlocks
• Threads and Thread Synchronization
• Communication Protocols 
• Introduction to Distributed Systems 
• Synchronization In Distributed Systems
  • Management of Time: Logical Clocks, Vector Clocks, Global States, Termination Detection
  • Distributed Mutual Exclusion: Central Algorithms, Lamport's Distributed Algorithm, Token Based and Heuristic Algorithms
  • Distributed Deadlock Detection: Centralized and Distributed Algorithms
  • Election Algorithms
  • Agreement Protocols : Byzantine Agreement
• Group Communication
• Protocol Design for Distributed Systems
• Dynamic Scheduling in Distributed Systems 
• Static Scheduling in Distributed Systems 
• Distributed File Systems
• Fault Tolerance in Distributed Systems
• Distributed Real-Time Systems
• Prof. Jennifer Welch's notes for her book "Distributed Computing Fundamentals, Simulations and Advanced Topics" co-authored by Hagit Attiya first.ps sec.ps third.ps

 

---

Lecture Notes :

1. Introduction, Computer Networks and Architectures for Distributed Systems

3. Theory I : Management of Time and Synchronization

4. Theory II : Distributed Mutual Exclusion

5. Theory III : Distributed Synchronization (review)

6. Distributed File systems

7. Load Balancing in Distributed Systems

8. Fault Tolerance in Distributed Systems

The first two of the lecture notes are based on UNO course CS6450 Principles of Distributed Systems with major modifications

---

Programming Assignments :

• 1. Stop and Wait Data Link Protocol

• 2. File Transfer using TCP connecting code passive sock code (use FSM for the server) (Out : 11/6/03, In: 11/20/03)
  
• 3. Distributed Synchronization :  (Out: 12/2/03, In: 12/21/03)

        Fifo - header Fifo - Code   
        Buffer Pool- header
        Buffer Pool - code 

---

Paper  :  (In : 12/18/03 - The Final exam date)

Choose a topic from below or propose one. All are surveys :

• Fault Tolerance in Distributed Systems
• Distributed Real-time Systems
• Distributed Mutual Exclusion Algorithms
• Group Communication in Distributed Systems

 

---

Grading :

• Assignments (programming and written) 40 %
• Dr. Soni's paper review grade : 20 %
• Paper (document and presentation) 10 %
• Final Exam 30 %

 

---

Links  ·  Programming Threads

·  Pthreads Tutorial

·  Introduction to Programming Threads. Written by Christopher Angelo Provenzano at MIT.

·  Solaris Documentation (including Multithreaded Programming Guide)

 

• IEEE Real-Time Systems Page
• Distributed Systems Home Page
• Real-time links from Korea