From: Ben Pfaff Date: Tue, 3 Jan 2006 17:00:02 +0000 (+0000) Subject: Partial mmap'd pages need not be lazy loaded. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=43258fffb5bd0a6bedb0e906682922e138cf5b29;p=pintos-anon Partial mmap'd pages need not be lazy loaded. --- diff --git a/doc/vm.texi b/doc/vm.texi index 733a830..0f6fa4f 100644 --- a/doc/vm.texi +++ b/doc/vm.texi @@ -521,6 +521,8 @@ If the file's length is not a multiple of @code{PGSIZE}, then some bytes in the final mapped page ``stick out'' beyond the end of the file. Set these bytes to zero when the page is faulted in from disk, and discard them when the page is written back to disk. +A partial page need not be lazily loaded, as in the case of a partial +page in an executable (@pxref{Lazy Loading}). If successful, this function returns a ``mapping ID'' that uniquely identifies the mapping within the process. On failure,