projects
/
pintos-anon
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
97c0fe7
)
Partial mmap'd pages need not be lazy loaded.
author
Ben Pfaff
<blp@cs.stanford.edu>
Tue, 3 Jan 2006 17:00:02 +0000
(17:00 +0000)
committer
Ben Pfaff
<blp@cs.stanford.edu>
Tue, 3 Jan 2006 17:00:02 +0000
(17:00 +0000)
doc/vm.texi
patch
|
blob
|
history
diff --git
a/doc/vm.texi
b/doc/vm.texi
index 733a830b6882d04cb8a598e8dfbe334b73b55284..0f6fa4f9a95a57fcebbd1c6e02056d0bbfd9b7e9 100644
(file)
--- 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.
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,
If successful, this function returns a ``mapping ID'' that
uniquely identifies the mapping within the process. On failure,