Please use this identifier to cite or link to this item: http://hdl.handle.net/1880/45983
Title: Capturing Register and Control Dependence in Memory Consistency Models with Applications to the Itanium Architecture
Authors: Higham, Lisa
Jackson, LillAnne
Kawash, Jalal
Keywords: Computer Science
Issue Date: 11-Jul-2006
Abstract: A complete framework for modelling memory consistency that includes register and control dependencies is presented. It allows us to determine whether or not a given computation could have arisen from a given program running on a given multiprocessor architecture. The framework is used to provide an exact description of the computations of (a subset of) the Itanium instruction set on an Itanium multiprocessor architecture. We show that capturing register and control dependencies is crucial: a producer/consumer problem is solvable without using strong synchronization primitives on Itanium multiprocessors, but is impossible without exploiting these dependencies. Keywords: Multiprocessor Memory consistency, register and control dependency, Itanium, process coordination.
URI: http://hdl.handle.net/1880/45983
Appears in Collections:Higham, Lisa
Kawash, Jalal

Files in This Item:
File Description SizeFormat 
2006-837-30.pdf261.91 kBAdobe PDFView/Open
2006-837-30.ps2.85 MBPostscriptView/Open


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