From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 7 Jul 2006 01:14:13 +0000 (+0000)
Subject: Fix summary.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=fadbce2938abee96b8a80734b2ead5bbfc9491bc

Fix summary.
Thanks to Samanth Lingampalli <samanthl@stanford.edu> and Haobo Xu
<haoboxu@stanford.edu> for input.
---

diff --git a/doc/44bsd.texi b/doc/44bsd.texi
index 2269cdc..40fd33d 100644
--- a/doc/44bsd.texi
+++ b/doc/44bsd.texi
@@ -243,8 +243,7 @@ scheduler.  It is not a complete description of scheduler requirements.
 Every thread has a @var{nice} value between -20 and 20 directly under
 its control.  Each thread also has a priority, between 0
 (@code{PRI_MIN}) through 63 (@code{PRI_MAX}), which is recalculated
-using the following formula whenever the value of either variable term
-changes:
+using the following formula every fourth tick:
 
 @center @t{@var{priority} = @code{PRI_MAX} - (@var{recent_cpu} / 4) - (@var{nice} * 2)}.