X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2F44bsd.texi;h=208dcd47cfccc100854419f58878eb33ffe42d41;hb=24116bb51c88e33ca0274bdd01abb7f03ec90fb7;hp=1747277264aa489c905caaf6dc69fdaddc61a99d;hpb=00d65ff1310f5cfe59bf0bde1e5166f9d2570340;p=pintos-anon

diff --git a/doc/44bsd.texi b/doc/44bsd.texi
index 1747277..208dcd4 100644
--- a/doc/44bsd.texi
+++ b/doc/44bsd.texi
@@ -160,12 +160,13 @@ weight of @math{a} at time @math{t+1}, @am{a^2, a**2} at time
 @math{f(t)} has a weight of approximately @math{1/e} at time @math{t+k},
 approximately @am{1/e^2, 1/e**2} at time @am{t+2k, t+2*k}, and so on.
 From the opposite direction, @math{f(t)} decays to weight @math{w} at
-@am{t = \log_aw, t = ln(w)/ln(a)}.
+time @am{t + \log_aw, t + ln(w)/ln(a)}.
 
 The initial value of @var{recent_cpu} is 0 in the first thread
 created, or the parent's value in other new threads.  Each time a timer
 interrupt occurs, @var{recent_cpu} is incremented by 1 for the running
-thread only.  In addition, once per second the value of @var{recent_cpu}
+thread only, unless the idle thread is running.  In addition, once per
+second the value of @var{recent_cpu}
 is recalculated for every thread (whether running, ready, or blocked),
 using this formula: