A Case for an Interleaving Constrained Shared-Memory Multi-Processor

Free registration required

Executive Summary

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 many different ways. To ensure correctness, a programmer has to test all possible thread interleaving, which, however, is impractical. Many rare thread interleaving remain untested in production systems, and they are the root cause for a majority of concurrency bugs.

  • Format: PDF
  • Size: 353.29 KB