Abstract
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 or explicit synchronization instructions are additionally provided
in 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.
Notes
We are currently acquiring citations for the work deposited into this collection. We recognize the distribution rights of this item may have been assigned to another entity, other than the author(s) of the work.If you can provide the citation for this work or you think you own the distribution rights to this work please contact the Institutional Repository Administrator at digitize@ucalgary.ca