From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 4 Jan 2006 20:14:45 +0000 (+0000)
Subject: Clarify that swap needs to be written when needed, not before.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b843cc0694122df800c4908400a6986cd365c73b;p=pintos-anon

Clarify that swap needs to be written when needed, not before.
---

diff --git a/doc/vm.texi b/doc/vm.texi
index 6b07490..6f0c1a7 100644
--- a/doc/vm.texi
+++ b/doc/vm.texi
@@ -648,6 +648,12 @@ you like, but it should be the underlying mechanism.
 Also, you can use the @option{-u} option to @command{pintos} to limit
 the size of the user pool, which makes it easy to test your VM
 implementation with various user memory sizes.
+
+@item Data pages might need swap space.  Can I swap them out at process load?
+
+No.  Reading data pages from the executable and writing them to swap
+immediately at program startup is not demand paging.  You need to demand
+page everything (except partial pages).
 @end table
 
 @node Memory Mapped File FAQ