Please use this identifier to cite or link to this item: http://hdl.handle.net/1880/45994
Title: WEAK MEMORY CONSISTENCY MODELS PART II:PROCESS COORDINATION PROBLEMS
Authors: Higham, Lisa
Kawash, Jalal
Verwaal, Nathaly
Keywords: Computer Science
Issue Date: 1-Jan-1998
Abstract: Process coordination problems have been extensively addressed in the context of sequential consistency. However, modern multiprocessors present a large variety of memory models that are anything but sequentially consistent. In these machines, the ordering constraints on memory accesses are few. We re-address two fundamental process coordination problems in the context of weak memory models. We prove that many models cannot support a solution to the critical section problem without additional powerful synchronization primitives. Nevertheless, we show that certain versions of the producer/consumer problem can be solved even in the weakest models without the need for such powerful instructions. These instructions are expensive, and avoiding their use is desirable for better performance.
URI: http://hdl.handle.net/1880/45994
Appears in Collections:Higham, Lisa
Kawash, Jalal
Verwaal, Nathaly Maria

Files in This Item:
File Description SizeFormat 
1998-613-04.pdf229.02 kBAdobe PDFView/Open
1998-613-04.ps439.89 kBPostscriptView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.