Programmer-Centric Conditions for Itanium Memory Consistency

Simple item page
dc.contributor.authorHigham, Lisaeng
dc.contributor.authorJackson, LillAnneeng
dc.contributor.authorKawash, Jalaleng
dc.date.accessioned2008-02-27T22:13:34Z
dc.date.available2008-02-27T22:13:34Z
dc.date.computerscience2006-08-17eng
dc.date.issued2006-08-17eng
dc.description.abstractA programmer-centric model of memory consistency provides a sequence of instructions for each proces- sor, and requires that these sequences satisfy a collection of rules. It also requires that the notion of validity of a sequence is the natural one: the value read from a shared memory location must be one that was written by the most recent preceding instruction that stored to the same location. A programmer-centric model supports reasoning about programs at a non-operational level. It is not obscured by the implementation details of the underlying architecture. In this paper, we formulate a programmer-centric description of the memory consistency model provided by the Itanium architec- ture. However, our definition is not tight. We provide two very similar definitions, each motivated by slightly different implementations of load-acquire instructions, and prove that the specification of the Itanium memory model lies strictly between the two. We also entertain a handful of other natural notions of load-acquire rules and show that none exactly captures the Itanium specification. This leads us to question whether the specification of the Itanium memory order [5] is actually faithful to the Itanium architects' intentions.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-838-31eng
dc.identifier.doihttp://dx.doi.org/10.11575/PRISM/30832
dc.identifier.urihttp://hdl.handle.net/1880/45984
dc.language.isoEngeng
dc.publisher.corporateUniversity of Calgaryeng
dc.publisher.facultyScienceeng
dc.subjectComputer Scienceeng
dc.titleProgrammer-Centric Conditions for Itanium Memory Consistencyeng
dc.typeunknown
thesis.degree.disciplineComputer Scienceeng
Files
Original bundle
Now showing 1 - 2 of 2
Thumbnail Image
Name:
2006-838-31.pdf
Size:
196.52 KB
Format:
Adobe Portable Document Format
Description:
Download
Thumbnail Image
Name:
2006-838-31.ps
Size:
974.1 KB
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