projects
/
pintos-anon
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
70a509e
)
Fix wording in priority donation section.
author
Ben Pfaff
<blp@cs.stanford.edu>
Thu, 23 Jun 2005 01:39:18 +0000
(
01:39
+0000)
committer
Ben Pfaff
<blp@cs.stanford.edu>
Thu, 23 Jun 2005 01:39:18 +0000
(
01:39
+0000)
doc/threads.texi
patch
|
blob
|
history
diff --git
a/doc/threads.texi
b/doc/threads.texi
index 58cf31609fd1d956e2c70285db3d4bfa1c1e8adf..f538d8382b2f1554f4457e0241325f3e95ecae62 100644
(file)
--- a/
doc/threads.texi
+++ b/
doc/threads.texi
@@
-461,8
+461,7
@@
a lock that @var{M} holds and @var{M} is waiting on a lock that @var{L}
holds, then both @var{M} and @var{L} should be boosted to @var{H}'s
priority.
-You need not implement priority donation when a thread is waiting
-for a lock held by a lower-priority thread. You need not
+You must implement priority donation for locks. You need not
implement priority donation for semaphores or condition variables,
but you are welcome to do so. You do need to implement
priority scheduling in all cases.