WEAK MEMORY CONSISTENCY MODELS PART II:PROCESS COORDINATION PROBLEMS
dc.contributor.author | Higham, Lisa | eng |
dc.contributor.author | Kawash, Jalal | eng |
dc.contributor.author | Verwaal, Nathaly | eng |
dc.date.accessioned | 2008-02-27T22:14:20Z | |
dc.date.available | 2008-02-27T22:14:20Z | |
dc.date.computerscience | 1999-05-27 | eng |
dc.date.issued | 1998-01-01 | eng |
dc.description.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. | eng |
dc.description.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 | eng |
dc.identifier.department | 1998-613-04 | eng |
dc.identifier.doi | http://dx.doi.org/10.11575/PRISM/30836 | |
dc.identifier.uri | http://hdl.handle.net/1880/45994 | |
dc.language.iso | Eng | eng |
dc.publisher.corporate | University of Calgary | eng |
dc.publisher.faculty | Science | eng |
dc.subject | Computer Science | eng |
dc.title | WEAK MEMORY CONSISTENCY MODELS PART II:PROCESS COORDINATION PROBLEMS | eng |
dc.type | unknown | |
thesis.degree.discipline | Computer Science | eng |
Files
License bundle
1 - 1 of 1