From: Ben Pfaff <blp@cs.stanford.edu>
Date: Thu, 3 Jul 2008 20:10:32 +0000 (+0000)
Subject: Specify rounding for priority calculations.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=ecad183eed32dd928ec069dbaf944fa0da83eaa3

Specify rounding for priority calculations.

Pointed out by Ed Karrels <karrels@stanford.edu>.
---

diff --git a/doc/44bsd.texi b/doc/44bsd.texi
index e8ae113..f1638f8 100644
--- a/doc/44bsd.texi
+++ b/doc/44bsd.texi
@@ -113,7 +113,9 @@ the formula
 
 @noindent where @var{recent_cpu} is an estimate of the CPU time the
 thread has used recently (see below) and @var{nice} is the thread's
-@var{nice} value.  The coefficients @math{1/4} and 2 on @var{recent_cpu}
+@var{nice} value.  The result should be rounded down to the nearest
+integer (truncated).
+The coefficients @math{1/4} and 2 on @var{recent_cpu}
 and @var{nice}, respectively, have been found to work well in practice
 but lack deeper meaning.  The calculated @var{priority} is always
 adjusted to lie in the valid range @code{PRI_MIN} to @code{PRI_MAX}.