From: Ben Pfaff Date: Fri, 7 Jul 2006 01:14:13 +0000 (+0000) Subject: Fix summary. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fadbce2938abee96b8a80734b2ead5bbfc9491bc;p=pintos-anon Fix summary. Thanks to Samanth Lingampalli and Haobo Xu 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)}.