From: Ben Pfaff 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