X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=doc%2Freference.texi;h=463f728fcdc908ecd65f5f75d117645daee5955d;hp=0c577f7dfe3bf3bb892685a154095ed076a1b28e;hb=3aed0d2d4a90ee50db206d7442c4a87207f59d4d;hpb=79deb0e5aa72b932e61a20f8c5c974bc531464f9 diff --git a/doc/reference.texi b/doc/reference.texi index 0c577f7..463f728 100644 --- a/doc/reference.texi +++ b/doc/reference.texi @@ -840,6 +840,9 @@ char get (void) @{ @node Memory Barriers @subsection Memory Barriers +@c We should try to come up with a better example. +@c Perhaps something with a linked list? + Suppose we add a ``feature'' that, whenever a timer interrupt occurs, the character in global variable @code{timer_put_char} is printed on the console, but only if global Boolean variable