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:

478410 bytes
Download From:
FTP Server

Web Server (Available for byte serving)