projects
/
pintos-anon
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
6b61528
)
Clarify that swap needs to be written when needed, not before.
author
Ben Pfaff
<blp@cs.stanford.edu>
Wed, 4 Jan 2006 20:14:45 +0000
(20:14 +0000)
committer
Ben Pfaff
<blp@cs.stanford.edu>
Wed, 4 Jan 2006 20:14:45 +0000
(20:14 +0000)
doc/vm.texi
patch
|
blob
|
history
diff --git
a/doc/vm.texi
b/doc/vm.texi
index 6b07490b56fa8412e0113deac5a47226f7b7c331..6f0c1a71b2e60b7cdeff0b8339580449426edb41 100644
(file)
--- 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.
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
@end table
@node Memory Mapped File FAQ