ECS 251, Operating Systems

Winter Quarter, 2001

Department of Computer Science, UC Davis

Introduction

A survey of formal models for the study of operating systems. Modeling of parallel processes and their synchronization in terms of partial orderings and procedure relations. Deterministic and probabilistic models for the evaluation of system performance.
Prerequisites

This contains the index to all handouts and notes for ECS 251, Winter Quarter 2001.

Class Information

General Information

Syllabus

Project

All About Homework
The above are in one document: [FM] [PDF] [PS] [TXT]

Homework

Homework #1 [FM] [PDF] [PS] [TXT], due January 16, 2001
Answers to Homework #1 [FM] [PDF] [PS] [TXT]
Homework #2 [FM] [PDF] [PS] [TXT], due February 1, 2001
Answers to Homework #2 [FM] [PDF] [PS] [TXT]
Homework #3 [FM] [PDF] [PS] [TXT], due February 27, 2001
Answers to Homework #3 [FM] [PDF] [PS] [TXT]

Exam

Final Exam [FM] [PDF] [PS] [TXT], due March 20, 2001 at 12:30PM

Lecture Outlines

Handouts

These are printed on the lecture outlines.

January 9, 2001
Improper Nesting Example, Maximally Parallel Systems, Producer/Consumer Problem, First Readers Writers Problem, send/receive Chart, Producer Consumer Problem, Producer Consumer Problem, First Readers Writers Problem, Monitors and Semaphores, Monitors and Priority Waits, First Readers Writers Problem, Producer Consumer Problem, First Readers Writers Problem, Producer Consumer Process, Producer Consumer Problem
January 11, 2001
Mutual Non-Interference and Determinism
January 23, 2001
Lamport's Clocks, Vector Clocks, Birman-Schiper-Stephenson Protocol, Schiper-Eggli-Sandoz Protocol, Chandy-Lamport Global State Recording Protocol, Huang's Termination Detection Protocol
February 6, 2001
Chandy-Lamport Global State Recording Protocol, Huang's Termination Detection Protocol, Lamport's Mutual Exclusion Algorithm, Ricart-Agrawala Mutual Exclusion Algorithm,
February 8, 2001
Maekawa's Algorithm, Sander's Algorithm
February 22, 2001
Saltzer's and Schroeder's Design Principles

Matt Bishop
Office: 3059 Engineering Unit II Phone: +1 (530) 752-8060
Fax: +1 (530) 752-4767
Email: bishop@cs.ucdavis.edu

Copyright Matt Bishop, 2001. All federal and state copyrights reserved for all original material presented in this course through any medium, including lecture or print.

Page last modified on 3/5/2001