From: Ben Pfaff Date: Thu, 20 Apr 2006 01:24:48 +0000 (+0000) Subject: Improve comments. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5bac157240fde20a4026e57708702c8ad3e6232b;p=pintos-anon Improve comments. --- diff --git a/src/devices/intq.h b/src/devices/intq.h index 7d5054f..2312b12 100644 --- a/src/devices/intq.h +++ b/src/devices/intq.h @@ -7,14 +7,14 @@ /* An "interrupt queue", a circular buffer shared between kernel threads and external interrupt handlers. - These functions can be called from kernel threads or from - external interrupt handlers. Except for intq_init(), + Interrupt queue functions can be called from kernel threads or + from external interrupt handlers. Except for intq_init(), interrupts must be off in either case. - Incidentally, this has the structure of a "monitor". Normally - we'd use locks and condition variables from threads/synch.h to - implement a monitor, but those are intended only to protect - kernel threads from one another, not from interrupt + The interrupt queue has the structure of a "monitor". Locks + and condition variables from threads/synch.h cannot be used in + this case, as they normally would, because they can only + protect kernel threads from one another, not from interrupt handlers. */ /* Queue buffer size, in bytes. */