From: Godmar Back Date: Fri, 29 Aug 2008 13:08:12 +0000 (+0000) Subject: more fixes X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=37ef93b68fdeedab580c67d2e0bbbaa5374c391d;p=pintos-anon more fixes --- diff --git a/sigcse2009/assignments.tex b/sigcse2009/assignments.tex index f2332a5..5fd3b88 100644 --- 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 3a85363..5d00318 100644 --- 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 da1357c..359ee88 100644 --- 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 847646b..1259104 100644 --- 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} }