A case for an interleaving constrained shared-memory multi-processor

Shared-memory multi-threaded programming is inherently more difficult than single-threaded programming. The main source of complexity is that, the threads of an application can interleave in so man...