projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix treatment of timeouts in run-tests and pintos.
[pintos-anon]
/
doc
/
vm.texi
diff --git
a/doc/vm.texi
b/doc/vm.texi
index e4f463f5109df8e42c887f9b9aa6c587f1f61bfa..72bd6b9470f1c367ca40f302f20ef2a4e28ec20d 100644
(file)
--- a/
doc/vm.texi
+++ b/
doc/vm.texi
@@
-291,8
+291,9
@@
The page fault handler, @func{page_fault} in
@item
Locate the page backing the virtual
address that faulted. It might be in the file system, in swap,
@item
Locate the page backing the virtual
address that faulted. It might be in the file system, in swap,
-already be in physical memory and just not set up in the page table,
or it might be an invalid virtual address.
or it might be an invalid virtual address.
+If you implement sharing, it might even
+already be in physical memory and just not set up in the page table,
If the virtual address is invalid, that is, if there's nothing
assigned to go there, or if the virtual address is above
If the virtual address is invalid, that is, if there's nothing
assigned to go there, or if the virtual address is above