A Multi-Processor Kernel Based on Events (NOT KNOWN IF PUBLISHED BECAUSE AUTHOR HAS LEFT AT&T)
The event process synchronization mechanism (sleep and wakeup routines), as implemented on uniprocessor UNIX(R) kernels, does not work on multiprocessors. Since the test and set of resource BUSY bits is not indivisible, race conditions cause corruption of kernel data structures.