1997 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '97)
Critical Sections and Producer/Consumer Queues in Weak Memory Systems
Taipei, Taiwan
December 18-December 20
ISBN: 0-8186-8259-0
In machines with a weak memory consistency model, the ordering constraints on memory accesses are few. In order to properly program these machines, certain powerful explicit synchronization instructions are additionally provided by their architecture. We show that although a solution to the critical section problem (also referred to as the mutual exclusion problem) is impossible without such powerful synchronization, certain versions of the producer/consumer problem can be solved even in the weakest systems without the need for any such powerful instructions. These instructions are expensive, and avoiding their use is desirable for better performance.
Index Terms:
critical section problem, producer/consumer problem, memory consistency models, non-sequential systems, distributed shared memory, TSO, PSO
Citation:
Lisa Higham, Jalal Kawash, "Critical Sections and Producer/Consumer Queues in Weak Memory Systems," ispan, pp.56, 1997 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '97), 1997