Critical Sections and Producer/Consumer Queues in Weak Memory Systems

@inproceedings{Higham1997CriticalSA,
  title={Critical Sections and Producer/Consumer Queues in Weak Memory Systems},
  author={Lisa Higham and Jalal Kawash},
  booktitle={ISPAN},
  year={1997}
}
In machines with weak memory consistency models , 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… CONTINUE READING