TO
Filters: Department: "Kahlert School of Computing" Collection: "ir_uspace" Subject: "shared memory consistency"
1 - 25 of 1
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 1 |
 | Gopalakrishnan, Ganesh | Towards a formal model of shared memory consistency for intel itanium | We provide a simple formal model for ItaniumTM shared memory consistency [1, 2] covering a core set of instructions. Existing descriptions of Itanium shared memory consistency are based on an informal collection of ordering rules as well as several examples. Our operational model employs employs wid... | formal model; shared memory consistency; ItaniumTM; Itanium | 2001 |
1 - 25 of 1