The Art of Multiprocessor Programming

Herlihy, M., & Shavit, N. (2008). The Art of Multiprocessor Programming. Morgan Kaufmann.

Type

Book

Intellectual base

Review or monograph

Year

2008

Link

https://www.sciencedirect.com/book/9780123705914/the-art-of-multiprocessor-programming

Cited from

computer_science

Cited by

2 citations across 2 artifacts.

Each citation links to the sentence it supports in the citing article.

Primes

• Interference and Contention
  • The signature separates three structural states: (1) isolated access (no contention), (2) concurrent access to a limited resource (contention manifesting), and (3) degraded performance across all consumers, a tripartite separation Herlihy and Shavit (2008) develop in their canonical treatment of multiprocessor synchronization.

    This sourceMorgan Kaufmann. Canonical multiprocessor synchronization text: develops the three-state structural separation of isolated, contending, and degraded access to shared concurrent objects.

• Race Condition
  • The fix family is correspondingly compressed into a small menu: serialize the accesses (locking), make the operation atomic (compare-and-swap), partition the state so accesses do not collide (sharding by key or jurisdiction), assign priority (queues, scheduling), or reconcile after the fact (optimistic concurrency, merge).

    This sourceStandard concurrency reference for the fix menu: locking/serialization, compare-and-swap atomics, partitioning, and the trade-offs among them.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:5915882d5e83 · see in the full table