From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 27 Jun 2005 20:01:13 +0000 (+0000)
Subject: Revise.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=47b7ea05f28915d1967e60a89b87babc9e3a4f70;p=pintos-anon

Revise.
---

diff --git a/doc/44bsd.texi b/doc/44bsd.texi
index 612aa1c..b21c487 100644
--- a/doc/44bsd.texi
+++ b/doc/44bsd.texi
@@ -55,8 +55,8 @@ they run in ``round robin'' order.
 Multiple facets of the scheduler require data to be updated after a
 certain number of timer ticks.  In every case, these updates should
 occur before any ordinary kernel thread has a chance to run, so that
-there is no chance that a kernel thread could see @func{timer_ticks}
-increased but these old values for these data.
+there is no chance that a kernel thread could see a newly increased
+@func{timer_ticks} value but old scheduler data values.
 
 @menu
 * Thread Niceness::