Minor documentation updates
authorJohn Ousterhout <ouster@cs.stanford.edu>
Thu, 17 Dec 2015 17:28:35 +0000 (09:28 -0800)
committerJohn Ousterhout <ouster@cs.stanford.edu>
Thu, 17 Dec 2015 17:28:35 +0000 (09:28 -0800)
Fixed typos and obsolete info, removed Stanford dependencies.

doc/filesys.texi
doc/intro.texi
doc/localsettings.texi
doc/threads.texi
doc/userprog.texi
doc/vm.texi

index 4c77d305fb3a162da64060e10a836770a0b67941..41f860f63eea2cc53627e0b711d5bd5bf0d263c3 100644 (file)
@@ -11,7 +11,7 @@ You may build project 4 on top of project 2 or project 3.  In either
 case, all of the functionality needed for project 2 must work in your
 filesys submission.  If you build on project 3, then all of the project
 3 functionality must work also, and you will need to edit
-@file{filesys/Make.vars} to enable VM functionality.  You can receive up
+@file{filesys/Make.vars} to enable VM functionality. You can receive up
 to 5% extra credit if you do enable VM.
 
 @menu
@@ -457,7 +457,7 @@ modified by the reference solution.
  30 files changed, 2721 insertions(+), 286 deletions(-)
 @end verbatim
 
-@item Can @code{BLOCk_SECTOR_SIZE} change?
+@item Can @code{BLOCK_SECTOR_SIZE} change?
 
 No, @code{BLOCK_SECTOR_SIZE} is fixed at 512.  For IDE disks, this
 value is a fixed property of the hardware.  Other disks do not
index ad5e28633fb49629e43ec6b34748dff1bbbc8e60..8e935bb5a57d9456546f7d7112215972d30ca9c3 100644 (file)
@@ -9,7 +9,7 @@ project team will strengthen its support in all three of these areas.
 You will also add a virtual memory implementation.
 
 Pintos could, theoretically, run on a regular IBM-compatible PC.
-Unfortunately, it is impractical to supply every @value{coursenumber} student
+Unfortunately, it is impractical to supply every student
 a dedicated PC for use with Pintos.  Therefore, we will run Pintos projects
 in a system simulator, that is, a program that simulates an 80@var{x}86
 CPU and its peripheral devices accurately enough that unmodified operating
@@ -19,7 +19,7 @@ systems and software can run under it.  In class we will use the
 QEMU} simulators.  Pintos has also been tested with
 @uref{http://www.vmware.com/, , VMware Player}.
 
-These projects are hard.  @value{coursenumber} has a reputation of taking a lot of
+These projects are hard.  They have a reputation of taking a lot of
 time, and deservedly so.  We will do what we can to reduce the workload, such
 as providing a lot of support material, but there is plenty of
 hard work that needs to be done.  We welcome your
index 4f061595d860e446bad1a7f4de1865458ab0d23f..3e41b8b1f7a4f0c0f3d44eadebc7d02a521a2c27 100644 (file)
@@ -1,6 +1,5 @@
 @c Local settings
 
-@set coursenumber CS 140
 @set localpintostarpath /usr/class/cs140/pintos/pintos.tar.gz
 @set localpintoshttppath http://@/www.stanford.edu/@/class/@/cs140/@/pintos/@/pintos.@/tar.gz
 @set localpintosbindir /usr/class/cs140/`uname -m`/bin
@@ -17,8 +16,8 @@ ITSS webpage}.  You may use the Solaris or Linux machines.
 
 @macro localpathsetup{}
 Under @command{csh}, Stanford's login shell, you can do so
-with this command:@footnote{The term @samp{`uname -m`} expands to either
-@file{sun4u} or @file{i686} according to the type of computer you're
+with this command:@footnote{The term @samp{`uname -m`} expands to a value
+such as @file{x86_64} that indicates the type of computer you're
 logged into.}
 @example
 set path = ( @value{localpintosbindir} $path )
index c1f3bfcd62c2caf43a0b1cbf1118b0cf8ffdb62f..5a18ec49d9fa2a59b88710121204d7adc63a4833 100644 (file)
@@ -726,7 +726,7 @@ kernel thread but the first.
 Don't worry about the possibility of timer values overflowing.  Timer
 values are expressed as signed 64-bit numbers, which at 100 ticks per
 second should be good for almost 2,924,712,087 years.  By then, we
-expect Pintos to have been phased out of the @value{coursenumber} curriculum.
+expect Pintos to have been phased out of the Computer Science curriculum.
 @end table
 
 @node Priority Scheduling FAQ
index 4082db12025d8e1f98279fd60865bbda0e13832a..7d734c616109ef741fade27dcc422de77dbf40c8 100644 (file)
@@ -261,7 +261,7 @@ processor's floating-point unit when switching threads.
 
 The @file{src/examples} directory contains a few sample user
 programs.  The @file{Makefile} in this directory
-compiles the provided examples, and you can edit it
+compiles the provided examples, and you can edit it to
 compile your own programs as well.  Some of the example programs will
 only work once projects 3 or 4 have been implemented.
 
index 98a5db28ee581bb437472db99b3c14a324b05532..6683170661d707513d1240e8d1794252afed6060 100644 (file)
@@ -147,15 +147,15 @@ address, on the right.
 
 @example
 @group
-                         +----------+
-        .--------------->|Page Table|-----------.
-       /                 +----------+            |
-   0   |  12 11 0                            0   V  12 11 0
-  +---------+----+                          +---------+----+
-  |Page Nr  | Ofs|                          |Frame Nr | Ofs|
-  +---------+----+                          +---------+----+
-   Virt Addr   |                             Phys Addr   ^
-                \_______________________________________/
+                          +----------+
+         .--------------->|Page Table|---------.
+        /                 +----------+          |
+   31   |   12 11    0                    31    V   12 11    0
+  +-----------+-------+                  +------------+-------+
+  |  Page Nr  |  Ofs  |                  |  Frame Nr  |  Ofs  |
+  +-----------+-------+                  +------------+-------+
+   Virt Addr      |                       Phys Addr       ^
+                   \_____________________________________/
 @end group
 @end example
 
@@ -175,7 +175,7 @@ You will need to design the following data structures:
 @table @asis
 @item Supplemental page table
 
-Enables page fault handling by supplementing the page table.
+Enables page fault handling by supplementing the hadrware page table.
 @xref{Managing the Supplemental Page Table}.
 
 @item Frame table