CE 40-424: Operating Systems

Description:

Acknowledgment:

Policies:

• Grading policy is as follows. This is tentative.
  • 25% Homeworks
    
  • 40% Group Homeworks
    
  • 15% Midterm
    
  • 20% Final
    
  
  There will be no exceptions to the following rules:
  
  • There will be a zero tolerance policy for cheating/copying. The first time you are caught, you will receive a zero for the task at hand. If you are caught for a second time, you will fail the course. Providing your assignment to someone else is considered cheating on your behalf.
    
  • If you turn in your assignments one day late you will lose 25% of the grade, two days will cost you 50% and three days 75% of the grade. No submissions will be accepted after the third day. Penalty may be calculted continuously and per hour of delay. This applies to both individual and group assignments.
  • Each of you has a 3 day extension you could use over the individual assignments. The minimum you could use at each instance is a 1 day extension. So you can not extend HW1 by 12 hours and then HW2 by 60 hours. You could use the 3 days with one HW, or 1 day for each HW, or 2 days for hW1 and 1 day for HW2, or 1 day for HW1 and 2 days for HW2, or ... (I hope you get the idea!)
  • The 3 day extension will be applied to HW0 and what ever remains would be carried over to HW1 and so on. Again, this applies only to the individual assignments.
  • There is a good probability that things go south (i.e. you get sick, network fails, your computer crashes, there is a bug in the HW/GHW, server fails, etc.) as the deadline approaches. Such issues will not result in an extension to the deadline. So keep that in mind and plan for Murphy's law in advance, don't leave things for the last minute.
  • There will be a zero tolerance policy for any misuse of the course infrastructure (i.e. Judge, Tarasht, etc.), regardless of the intent
  • If any of the class policies are unclear, they should be brought up and discussed in the first week of the semester at hand.

Announcements:

• You should study the class policies carefully.
• Midterm will be on 1400/2/11.
  
  

Homeworks:

• HW0, VM Patch, Available: 1399/11/25, Deadline: 1399/12/5, 11:59PM.
• HW1, Available: 1399/12/2, Deadline: 1399/12/12, 11:59PM.
• HW2, Available: 1400/1/14, Deadline: 1400/1/23, 11:59PM.
• HW3, Available: 1400/1/26, Deadline: 1400/2/4, 11:59PM.

Group Homeworks:

• GHW1 WarmUp: Available: 1399/12/5, GHW1: Available: 1399/12/11, Design Deadline: 1399/12/19, Code + Report Submission Deadline: 1399/12/28, 11:59PM.
• GHW2 [Lab]: Available: 1400/1/17, Design Deadline: 1400/1/26, Code + Report Submission Deadline: 1400/2/7, 11:59PM.
• GHW3: Available: 1400/2/11, Design Deadline: 1400/2/18, Code + Report Submission Deadline: 1400/3/1, 11:59PM.

Course Material:

-11/25

• Lecture 1- Overview, User/Kernel virtualization, HW management, protected sharing [PDF]
  • Reflections on Trusting Trust, Ken Thompson, Turing Award Lecture ,1984
  • Measuring Pay-per-Install: The Commoditization of Malware Distribution, J. Caballero, C. Grier, C. Kreibich, V. Paxson, 2011

-11/27

• Lecture 2- Four Fundamental Concepts of Operating Systems [PDF]

-12/2

• Lecture 3- Process concepts, mechanisms, and representation [PDF]

-12/4

• Lecture 4- Threads, Concurrency, and Synchronization [PDF]
  • The Bug Heard round the World, John R. Garman, ACM SIGSOFT Software Engineering Notes, Vol 6 No 5, Oct 1981
  • Medical Devices: The Therac-25, Nancy Leveson, Safeware: System Safety and Computers, Adison-Wesley, 1995

-12/9

• Lecture 5- Concurrency and Mutual Exclusion [PDF]

-12/11

• Lecture 6- Synchronization: locks and Semaphores [PDF]

-12/16

• Lecture 7- Semaphores, Monitors and readers/writers [PDF]

-12/18

• Lecture 8- Introduction to I/O, Sockets, Networking [PDF]

-12/23

• Lecture 9- Sockets/Networking (Con't), Scheduling [PDF]

-12/25

• Lecture 10- Scheduling(Con't) [PDF]

-1/14

• Lecture 11- Scheduling (finished), Deadlock [PDF]

-1/16

• Lecture 12- Address Translation [PDF]

-1/21

• Lecture 13- Address Translation(Con't), Caching and TLBs [PDF]

-1/23

• Lecture 14- Caching and TLBs (Finished), Demand Paging (start) [PDF]

-1/28

• Lecture 15- Demand Paging [PDF]

-1/30

• Lecture 16- Demand Paging (Finished), General I/O, Storage Devices [PDF]

-2/6

• Lecture 17- Performance, Storage Devices, Queueing Theory [PDF]

-2/11

• Lecture 18- Queueing Theory (Con't), Disk Scheduling, FileSystems [PDF]

-2/13

• Lecture 19- File Systems (Con't), Distributed File Systems [PDF]

-2/18

• Lecture 20- Filesystems, Reliability, Transactions [PDF]

-2/20

• Lecture 21- Filesystems (Con't), End-to-End Arguments, Distributed Decision Making [PDF]

-3/1

• Lecture 22- Distributed Decision Making (Finished),
TCP/IP Networking, RPC [PDF]

-3/8

• Lecture 23- Distributed Storage, Key Value Stores, Chord [PDF]