X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2F44bsd.texi;fp=doc%2F44bsd.texi;h=612aa1c74c51921168a319c2866e2a6b622b5466;hb=78c011b103d83e3fe0dbf70c395985fe1273ea46;hp=4d61c17afb995b8daf753c6a57ad42f4d1419bf8;hpb=17ecbdac5580a6406b0d6ec84fa17be1f4bb2507;p=pintos-anon

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