From: Ben Pfaff Date: Mon, 27 Jun 2005 19:58:08 +0000 (+0000) Subject: Clarify that scheduler data updates are synchronous with the timer. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=78c011b103d83e3fe0dbf70c395985fe1273ea46;p=pintos-anon Clarify that scheduler data updates are synchronous with the timer. --- diff --git a/doc/44bsd.texi b/doc/44bsd.texi index 4d61c17..612aa1c 100644 --- a/doc/44bsd.texi +++ b/doc/44bsd.texi @@ -52,6 +52,12 @@ time, the scheduler chooses a thread from the highest-priority non-empty queue. If the highest-priority queue contains multiple threads, then 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. + @menu * Thread Niceness:: * Calculating Priority::