From: Ben Pfaff <blp@cs.stanford.edu>
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?p=pintos-anon;a=commitdiff_plain;h=78c011b103d83e3fe0dbf70c395985fe1273ea46

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::