Note: You are looking at a static copy of the former PineWiki site, used for class notes by James Aspnes from 2003 to 2012. Many mathematical formulas are broken, and there are likely to be other bugs as well. These will most likely not be fixed. You may be able to find more up-to-date versions of some of these notes at http://www.cs.yale.edu/homes/aspnes/#classes.

This is the web page for CS 422/522: Operating Systems for the Spring 2007 semester. Here you can find pointers to various resources for students taking the course. You should check this page periodically for new announcements.

1. Announcements

2007-05-12: Final exam grades and semester grades are available in grade-o-matic. Graded final exams can be picked up outside AKW 401 starting Monday. Thanks to everybody for participating in the course.
2007-05-12: HW5 grades are available (on grade-o-matic). Let me know if you have questions. --Rodrigo
2007-05-06: Write (i.e. commit) access to the Subversion repository will be turned off in a couple of days. We will leave it up for read access for a while, but eventually the entire repository will be retired. Please let us know if this is a problem for you.

/OldAnnouncements

2. Final exam info

The final exam was given 2007-05-11 14:00-17:00 in SCL 18.

Sample solutions are available: final-2007-solutions.pdf.

3. Staff

Instructor: Jim Aspnes (<aspnes@cs.yale.edu>, JamesAspnes). Phone: 432-1232. Office: AKW 401. See Schedule-o-Matic for drop-in office hours or to make appointments.

Teaching Fellow: Rodrigo Ferreira (<rodrigo.ferreira@yale.edu>, RodrigoFerreira). Phone: 432-2349. Office: AKW 312. Office hours: MF 2-4pm.

4. Course materials

/Schedule: list of lectures and events. Includes reading assignments and pointers to lecture notes.
/Assignments: list of homeworks and exams.
/Syllabus
Grade-o-Matic
Schedule-o-Matic for Jim Aspnes

5. Resources

5.1. Readings

/Notes: notes on various topics relevant to the course.
/ReservedBooks: books on reserve at the EngineeringAndAppliedSciencesLibrary.
/AdvancedReadings
OSNews, OS Research, SIGOPS.

5.2. Tools

Bochs: UsingBochs, project page, user manual, FAQ.
ELF format
GNU online manuals including as (the GNU assembler), gdb, gcc, and emacs.
UsingSubversion. Subversion project home. Version Control with Subversion.

5.3. Programming

IntelAssemblyProgramming
The Art of Assembly Language.
Official IA32 Intel architecture software developer's manuals:
- Volume 1: Basic Architecture: ia32-vol1.pdf.
- Volume 2: Instruction Set Reference Manual: ia32-vol2.pdf.
- Volume 3: System Programming Guide: ia32-vol3.pdf.
An excellent online C reference.
Birrell, Andrew D. An Introduction to Programming with Threads. DEC-SRC TR 35, January 1989: thread.pdf
Resources for x86 interrupt architecture and PIC programming: http://www.acm.uiuc.edu/sigops/roll_your_own/i386/irq.html, http://www.beyondlogic.org/interrupts/interupt.htm.
Keyboard interface: http://www.computer-engineering.org/ps2keyboard/

5.4. Other OS courses

6. Questions and comments

Please feel free to send questions or comments on the class or anything connected to it to <aspnes@cs.yale.edu>.