Critical sections and producer/consumer queues in weak memory systems (1997)

by Lisa Higham, Jalal Kawash
Venue:In Proc. 1997 Int’l Symp. on Parallel Architectures, Algorithms, and Networks