X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fstandards.texi;h=5b5d50293cb4397168d4027b37ce45e19f209f94;hb=c0667e92ce6156b69ee962683dcfb78f5c4ec0f8;hp=a13058a91cf6a0de30483cda7ec622d853655001;hpb=4142d6dcf0e7f8d4f348c11b4cc5066db3261c63;p=pintos-anon

diff --git a/doc/standards.texi b/doc/standards.texi
index a13058a..5b5d502 100644
--- a/doc/standards.texi
+++ b/doc/standards.texi
@@ -47,6 +47,13 @@ specifications by writing a name inside square brackets, like this:
 @code{[IA32-v3]}.  These names refer to the reference names used in
 this documentation (@pxref{References}).
 
+If you remove existing Pintos code, please delete it from your source
+file entirely.  Don't just put it into a comment or a conditional
+compilation directive, because that makes the resulting code hard to
+read.  We're only going to do a compile in the directory for the current
+project, so you don't need to make sure that the previous projects also
+compile.
+
 @node Conditional Compilation
 @section Conditional Compilation
 
@@ -81,6 +88,13 @@ and off with a compile-time directive.  You must use the macro name we
 specify for that part.  @xref{Problem 1-4 Advanced Scheduler}, for
 details.
 
+@item
+Problem 3-2, paging to and from disk.  Your page replacement policy must
+default to LRU-like replacement, but we must be able to choose a random
+replacement policy with a compile-time directive.  You must use the
+macro name we specify for that part.  @xref{Problem 3-2 Paging To and
+From Disk}, for details.
+
 @item
 Code written for extra credit may be included conditionally.  If the
 extra credit code changes the normally expected functionality of the
@@ -193,7 +207,7 @@ terminator and it has performance problems besides.  Again, use
 @func{strlcpy}.
 
 @item strcat
-Same issue as @func{strcpy}, but substitute @func{strlcat}.
+Same issue as @func{strcpy}.  Use @func{strlcat} instead.
 Again, refer to comments in its source code in @code{lib/string.c} for
 documentation.