Operating system/application concurrency in tightly-coupled multiple-processor systems

This thesis presents a model that defines OS/application concurrency precisely, and enumerates the three main forms such concurrency can take: strong, weak, and global management, and identifies the situations in which specialized hardware support is needed to achieve further improvements.