X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2F44bsd.texi;h=40fd33db0f469e40811f67e3d02a1805efd29953;hb=fadbce2938abee96b8a80734b2ead5bbfc9491bc;hp=2269cdc629eeed0aff0653a3a0412da340bf7458;hpb=2f3fdb6288cc53ed556319c0c8d9845165f2f0b9;p=pintos-anon

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)}.