projects
/
pintos-anon
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
18a7add
)
Punctuation fix.
author
Ben Pfaff
<blp@cs.stanford.edu>
Wed, 13 Oct 2004 05:12:14 +0000
(
05:12
+0000)
committer
Ben Pfaff
<blp@cs.stanford.edu>
Wed, 13 Oct 2004 05:12:14 +0000
(
05:12
+0000)
doc/threads.texi
patch
|
blob
|
history
diff --git
a/doc/threads.texi
b/doc/threads.texi
index 9138daf5e12082273d00fdc667cc6618c7a6448b..b177d43adbb093ef5b4b9fedd0965a93061a89b5 100644
(file)
--- a/
doc/threads.texi
+++ b/
doc/threads.texi
@@
-487,7
+487,7
@@
that @var{L} holds, then both @var{M} and @var{L} should be boosted to
You only need to implement priority donation when a thread is waiting
for a lock held by a lower-priority thread. You do not need to
-implement this fix for semaphores, condition variables or joins.
+implement this fix for semaphores, condition variables
,
or joins.
However, you do need to implement priority scheduling in all cases.
You may assume a static priority for priority donation, that is, it is