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
 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
 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
 
  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
 
 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.
 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
 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}.
 
 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
 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
 
 @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
 @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
 
 @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 )
 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
 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
 @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
 
 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.
 
 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
 
 @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
 
 @end group
 @end example
 
@@ -175,7 +175,7 @@ You will need to design the following data structures:
 @table @asis
 @item Supplemental page table
 
 @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
 @xref{Managing the Supplemental Page Table}.
 
 @item Frame table