Capturing Register and Control Dependence in Memory Consistency Models with Applications to the Itanium Architecture

Simple item page
dc.contributor.authorHigham, Lisaeng
dc.contributor.authorJackson, LillAnneeng
dc.contributor.authorKawash, Jalaleng
dc.date.accessioned2008-02-27T22:13:29Z
dc.date.available2008-02-27T22:13:29Z
dc.date.computerscience2006-07-11eng
dc.date.issued2006-07-11eng
dc.description.abstractA 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.eng
dc.description.notesWe 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.caeng
dc.identifier.department2006-837-30eng
dc.identifier.doihttp://dx.doi.org/10.11575/PRISM/30822
dc.identifier.urihttp://hdl.handle.net/1880/45983
dc.language.isoEngeng
dc.publisher.corporateUniversity of Calgaryeng
dc.publisher.facultyScienceeng
dc.subjectComputer Scienceeng
dc.titleCapturing Register and Control Dependence in Memory Consistency Models with Applications to the Itanium Architectureeng
dc.typeunknown
thesis.degree.disciplineComputer Scienceeng
Files
Original bundle
Now showing 1 - 2 of 2
Thumbnail Image
Name:
2006-837-30.pdf
Size:
261.91 KB
Format:
Adobe Portable Document Format
Description:
Download
Thumbnail Image
Name:
2006-837-30.ps
Size:
2.78 MB
Format:
Postscript Files
Description:
Download
License bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
1.86 KB
Format:
Plain Text
Description:
Download
Collections
Science Research & Publications