more fixes

diff --git a/sigcse2009/assignments.tex b/sigcse2009/assignments.tex
index f2332a53cad706040aa6cc6bbc8173e51c1b9846..5fd3b8805e194ff198a89f8e490cd24206911108 100644 (file)
--- a/sigcse2009/assignments.tex
+++ b/sigcse2009/assignments.tex
@@ -138,7 +138,7 @@ The principles learned in this exercise carry over to all scenarios
 in which applications must be robust in the face of input coming from untrusted 
 sources and uncertain resource availability, as is the case in many server systems.
 
-\subsection{Project 3}
+\subsection{Project 3 -- Virtual Memory}
 Project 3 asks students to implement several virtual memory techniques, including
 on-demand paging of programs, stack growth, page replacement, and memory-mapped files.
 This functionality is implemented in a page fault service handler and during the
@@ -186,7 +186,7 @@ and have the opportunity to observe their performance impact.
 %
 %
 %
-\subsection{Project 4}
+\subsection{Project 4 -- File Systems}
 Project 4 asks the students to design and implement a hierarchical, multi-threaded
 filesystem and buffer cache.  In projects 2 and 3, students use a basic filesystem
 to access the disk, which supports only fixed-size files, no subdirectories,

diff --git a/sigcse2009/introduction.tex b/sigcse2009/introduction.tex
index 3a85363fc3eeb6971183cd86b709d2530b195925..5d003182f995a6fbe254496560835047914bbdd8 100644 (file)
--- a/sigcse2009/introduction.tex
+++ b/sigcse2009/introduction.tex
@@ -60,7 +60,8 @@ Although Pintos follows in the tradition of instructional operating systems
 such as Nachos~\cite{Christopher1993Nachos}, OS/161~\cite{Holland2002New}, and
 GeekOS~\cite{Hovemeyer2004Running}, 
 PortOS~\cite{Atkin2002PortOS},
-JOS~\cite{1088822}, or Yalnix~\cite{1088822} 
+BLITZ~\cite{PorterOverview},
+JOS~\cite{1088822}, or Yalnix~\cite{1088822},
 we believe that it is unique in two
 aspects.  First, Pintos runs on both real hardware and in emulated and
 simulated environments.\footnote{GeekOS claims to also run on real hardware, it requires,
@@ -79,9 +80,9 @@ work on concrete or virtualized hardware, but does not require that students
 understand the often arcane and ill-documented interfaces of the Linux kernel,
 which were not designed from an educational perspective.
 
-This paper reports on the design philosophy that underlies Pintos,
+This paper summarizes the design philosophy that underlies Pintos,
 details its structure, and outlines the nature and learning goals of each
-assignments.
+assignment.
 
 \pintosenvfigure{}
 

diff --git a/sigcse2009/principles.tex b/sigcse2009/principles.tex
index da1357ce9b523f67de8a2241aec35c93068c3df7..359ee88b83916f87cdfaf67c9dc161104d225dfe 100644 (file)
--- a/sigcse2009/principles.tex
+++ b/sigcse2009/principles.tex
@@ -3,7 +3,7 @@
 
 The Pintos series of projects are built on a number of principles.
 
-\paragraph{Read before You code.}
+\paragraph{Read before you Code}
 Each project involves a significant amount of reading code before
 students write the first line of their code.  
 Because software maintenance constitutes the vast majority of all

diff --git a/sigcse2009/sigcse2009.bib b/sigcse2009/sigcse2009.bib
index 847646b534c1e4319c6a706bf9e0517c61442a6a..12591041c69d37d4ba786bd7d910775d170281cc 100644 (file)
--- a/sigcse2009/sigcse2009.bib
+++ b/sigcse2009/sigcse2009.bib
@@ -1,6 +1,17 @@
 %
 % This file is automatically generated by citeulike.org
 %
+@misc{PorterOverview,
+       author = {Porter, Harry  H. },
+       citeulike-article-id = {3172389},
+       organization = {Portland State University},
+       posted-at = {2008-08-29 14:20:05},
+       priority = {2},
+       title = {An Overview of the {BLITZ} System}
+}
+
+
+
 @inproceedings{Yu2005RaceTrack,
        address = {New York, NY, USA},
        author = {Yu, Yuan   and Rodeheffer, Tom   and Chen, Wei  },
@@ -12,7 +23,7 @@
        posted-at = {2008-08-29 13:59:10},
        priority = {2},
        publisher = {ACM},
-       title = {RaceTrack: efficient detection of data race conditions via adaptive tracking},
+       title = {{RaceTrack:} efficient detection of data race conditions via adaptive tracking},
        url = {http://portal.acm.org/citation.cfm?id=1095810.1095832},
        year = {2005}
 }
@@ -84,7 +95,7 @@
        posted-at = {2008-08-29 02:36:03},
        priority = {2},
        publisher = {ACM},
-       title = {Teaching operating systems administration with user mode linux},
+       title = {Teaching operating systems administration with {User Mode Linux}},
        url = {http://dx.doi.org/http://doi.acm.org/10.1145/1007996.1008027},
        year = {2004}
 }
@@ -120,7 +131,7 @@
        posted-at = {2008-08-29 02:32:08},
        priority = {2},
        publisher = {ACM},
-       title = {PortOS: an educational operating system for the Post-PC environment},
+       title = {{PortOS:} an educational operating system for the Post-PC environment},
        url = {http://dx.doi.org/http://doi.acm.org.ezproxy.lib.vt.edu:8080/10.1145/563340.563384},
        year = {2002}
 }
@@ -208,7 +219,7 @@
        posted-at = {2008-08-29 02:18:53},
        priority = {2},
        publisher = {ACM},
-       title = {Using iPodLinux in an introductory OS course},
+       title = {Using iPodLinux in an introductory {OS} course},
        url = {http://dx.doi.org/http://doi.acm.org/10.1145/1352322.1352199},
        volume = {40},
        year = {2008}
@@ -346,7 +357,7 @@ systems.},
        posted-at = {2008-08-20 04:38:57},
        priority = {2},
        publisher = {USENIX Association},
-       title = {The Nachos instructional operating system},
+       title = {The {Nachos} instructional operating system},
        url = {http://portal.acm.org/citation.cfm?id=1267307},
        year = {1993}
 }