--- site/data/goals/Attic/threads.cgi 2004/06/24 18:23:36 1.10 +++ site/data/goals/Attic/threads.cgi 2004/09/07 01:56:57 1.11 @@ -92,7 +92,7 @@ All IPI based functions must therefore b
-The LWKT model implements a generalized, machine independant cpu +The LWKT model implements a generalized, machine independent cpu synchronization API. The API may be used to place target cpu(s) into a known state while one is operating on a sensitive data structure. This interface is primarily used to deal with MMU pagetable updates. For @@ -136,10 +136,10 @@ held tokens.
interrupts that attempt to obtain the same token. This is a slightly different effect from the Big Giant Lock (also known as the MP lock), which does not interlock against interrupts on the same cpu. It is -important to note that token atomicy is maintained through preemptive +important to note that token atomicity is maintained through preemptive conditions, even though preemption involves a temporary switch to another thread. It is not necessary to enter a spl() level or critical section -to preserve token atomicy. +to preserve token atomicity.Holding a serializing token does not prevent preemptive interrupts