ecs150 "Operating Systems" (Fall of 2007)


Instructor: S. Felix Wu

Office: 3057 Engineering II
Telephone: (530) 754-7070
Fax: (530) 752-4767
Office Hours: 1:30-2:30 p.m. on Monday and Friday
ECS150 related Emails:
Web: http://www.cs.ucdavis.edu/~wu

TA: Sean Whelan

Office Hours: TBA
Discussion Hour: 04:10-05:00 p.m. on Monday at 146 Olson
Email: shwhalen@gmail.com
Discussion news groups: ucd.class.ecs150-001 & ucd.class.ecs150-001.d

Textbook:

"The Design and Implementation of the FreeBSD Operating Systems"
by Marshall Kirk McKusick and George V. Neville-Neil
Addison Wesley Professional, 2005, ISBN 0-201-70245-2.


Powerpoint Slides & Extra Readings:

09/27/2007 "Processes, Threads, and the Kernel"
* reading chapters 2,3
+ "Asynchronous I/O" Wikipedia
+ "Scheduler Activation", 1992
+ "Kernel Scheduled Entity", 2000
+ "It's time to wake up"

10/11/2007 "Scheduling and Mutual Exclusion"
* reading chapter 4
+ "Kernel Synchronization Primitives"
+ "Test and Set Lock" Wikipedia
+ "Compare and Swap" Wikipedia
+ "Lock-free and wait-free algorithms" Wikipedia
+ "Wait Free Synchronization" the paper

10/23/2007 "Priority Inversion"
+ "Turstiles and Priority Inheritance"
+ "Priority Ceiling Protocol", the classical paper .

11/11/2007 "Memory Management"
reading chapter 5
11/21/2007 "File Systems"
reading chapters 6 & 8


Virtual Machines:

VirtualPC, VMWare, Parallel

Homework Assignments:

"Homework Assignment #1" Due: 23:59 PST on Monday 10/15/2007

"Sample code programs for KLD" 01/09/2006
"(NEW) Test program 1 for HW#1" 04/16/2006
"Test program 1 for HW#1" 01/20/2006
"Typescript for running the test program 1 for HW#1" 01/21/2006
"Test program 2 for HW#1" 01/23/2006
$ handin wu ecs150_f2007_hw1 ecs150_f2007_hw1.tar.gz

"Homework Assignment #2" Due: 23:59 PST on Monday 11/12/2007

$ handin wu ecs150_f2007_hw2 ecs150_f2007_hw2.tar.gz


Information about FreeBSD

torrent files for ISO Images for FreeBSD 5.4. Version 5.4 is the mandatory version for ecs150.

ftp site for FreeBSD CD ISO Image 5.4 (not recommended)

Building and installing a Custom FreeBSD Kernel

x86 System Calls
What is "int 80h"?
FreeBSD Assembly Language Programming

Dynamic Kernel Linker Facility - KLD
Dynamic Kernel Linker (KLD) Facility Programming Tutorial
Attacking FreeBSD with Kernel Modules
Daemon News / Blueprint -- excellent technical information for FreeBSD

Kernel Profiling
Another Kernel Profiling page

Kernel Debugging

Papers about Scheduler Activation and KSE:

Scheduler Activation, 1992
Kernel Scheduled Entity, 2000

Papers about File System Meta-data Handling:

Soft Updates, ACM TOCS, Vol.18, No. 2, May, 2000
Soft Updates, Usenix 1999
Recent File Optimization in FreeBSD
Soft Updates versus Journaling, Usenix 2000
Running FSCK in the Background, Bsdcon/Usenix 2002

FiST: Stackable File System: (Prof. Erez Zadok at Stony Brook University)

an unofficial/UCDavis-local fistgen release download
Please do NOT redistribute as Professor Zadok will release an official release later.
"FiST: Stackable File System Translator" (Official fistgen website)
"FiST: A Language for Stackable File Systems" (paper to read)

Papers/Articles about Priority Inversion:

Priority Ceiling on Mars .
Priority Ceiling Protocol: the classical paper .
Victor Yodaiken's arguments against PCP .
Doug Locke's response to Victor's arguments .

HW#3 interactive grading:

HW#3 Schedule