From: Ben Pfaff 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=ba31dc322ff49cae85dee3d5283bec39b195b319;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::