A Formal Specification of Intel® Itanium® Processor Family Memory Ordering
This document presents a formal and precise specification of the memory ordering properties for Intel® Itanium® processor family processors. It contains a new definitional framework for Itanium architecture-based platforms, that is also flexible and able to express memory ordering properties of most known multiprocessors. Memory ordering (also called memory consistency) is a property of shared-memory multiprocessors in which data can be distributed or replicated in different locations.
- File Name/Size:
- 25142901.pdf
- 478410 bytes
- Download From:
-
FTP Server
-
Web Server (Available for byte serving)
|
