projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add hints about not doing too much work in timer interrupt.
[pintos-anon]
/
doc
/
userprog.texi
diff --git
a/doc/userprog.texi
b/doc/userprog.texi
index bb05dfb326b091e48cdeff21f744c73ddd0179f6..11d9875ce7beabe78e2ebb8e9079d7402bb31113 100644
(file)
--- a/
doc/userprog.texi
+++ b/
doc/userprog.texi
@@
-314,11
+314,6
@@
the running process. However, even in the kernel, an attempt to
access memory at an unmapped user virtual address
will cause a page fault.
access memory at an unmapped user virtual address
will cause a page fault.
-You must handle memory fragmentation gracefully, that is, a process that
-needs @var{N} pages of user virtual memory must not require those pages
-to be contiguous in physical memory (or, equivalently, in kernel virtual
-memory).
-
@menu
* Typical Memory Layout::
@end menu
@menu
* Typical Memory Layout::
@end menu