Volume 2, Part 1: Addressing and Protection
2:87
Page Consumption fault.
cmpxchg
and
xchg
accesses to pages with other memory
attributes cause an Unsupported Data Reference fault.
•
fetchadd
: The
fetchadd
instruction can be executed successfully only if the access
is to a cacheable page with write-back write policy or to a UCE page.
fetchadd
accesses to NaTPages cause a Data NaT Page Consumption fault. Accesses to pages
with other memory attributes cause an Unsupported Data Reference fault. When
accessing a cacheable page with write-back write policy, atomic fetch and add
operation is ensured by the processor cache-coherence protocol. For highly
contended semaphores, the cache line transactions required to guarantee atomicity
can limit performance. In such cases, a centralized “fetch and add” semaphore
mechanism may improve performance. If supported by the processor and the
platform, the UCE attribute allows the processor to “export” the
fetchadd
operation
to the platform as an atomic “fetch and add.” Effects of the exported
fetchadd
are
platform dependent. If exporting of
fetchadd
instructions is not supported by the
processor, a
fetchadd
instruction to a UCE page takes an Unsupported Data
Reference fault.
• Flush Cache Instructions –
fc
instructions must always be “broadcast” to other
processors, independent of the memory attribute in the local processor. It is legal to
use an uncacheable memory attribute for any valid address when used as a flush
cache (
fc
) instruction target. This behavior is required to enable transitions from
one memory attribute to another and in case different memory attributes are
associated with the address in another processor.
• Prefetch instructions –
lfetch
and any implicit prefetches to pages that are not
cacheable are suppressed. No transaction is initiated. This allows programs to issue
prefetch instructions even if the program is not sure the memory is cacheable.
4.4.10
Effects of Memory Attributes on Advanced/Check Loads
The ALAT behavior of advanced and check loads is dependent on the memory attribute
of the page referenced by the load. These behaviors are required; advanced and check
load completers are not hints.
All speculative pages have identical behavior with respect to the ALAT. Advanced loads
to speculative pages always allocate an ALAT entry for the register, size, and address
tuple specified by the advanced load. Speculative advanced loads allocate an ALAT
entry if the speculative load is successful (i.e., no deferred exception); if the speculative
advanced load results in a deferred exception, any matching ALAT entry is removed and
no new ALAT entry is allocated. Check loads with clear completers (
ld.c.clr
,
ld.c.clr.acq
,
ldf.c.clr
) remove a matching ALAT entry on ALAT hit and do not
change the state of the ALAT on ALAT miss. Check loads with no-clear completers
(
ld.c.nc
,
ldf.c.nc
) allocate an ALAT entry on ALAT miss. On ALAT hit, the ALAT is
unchanged if an exact ALAT match is found (register, address, and size); a new ALAT
entry with the register, address, and size specified by the no-clear check load may be
allocated if a partial ALAT match is found (match on register).
Advanced loads (speculative or non-speculative variants) to non-speculative pages
always remove any matching ALAT entry. Check loads to non-speculative pages that
miss the ALAT never allocate an ALAT entry, even in the case of a no-clear check load.
ALAT hits on check loads to non-speculative pages (which can occur if a previous
advanced load referenced that page via a speculative memory attribute) result in
Summary of Contents for ITANIUM ARCHITECTURE - SOFTWARE DEVELOPERS VOLUME 3 REV 2.3
Page 1: ......
Page 11: ...x Intel Itanium Architecture Software Developer s Manual Rev 2 3 ...
Page 13: ...1 2 Intel Itanium Architecture Software Developer s Manual Rev 2 3 ...
Page 33: ...1 22 Volume 1 Part 1 Introduction to the Intel Itanium Architecture ...
Page 57: ...1 46 Volume 1 Part 1 Execution Environment ...
Page 147: ...1 136 Intel Itanium Architecture Software Developer s Manual Rev 2 3 ...
Page 149: ...1 138 Volume 1 Part 2 About the Optimization Guide ...
Page 191: ...1 180 Volume 1 Part 2 Predication Control Flow and Instruction Stream ...
Page 230: ......
Page 248: ...236 Intel Itanium Architecture Software Developer s Manual Rev 2 3 ...
Page 250: ...2 2 Intel Itanium Architecture Software Developer s Manual Rev 2 3 ...
Page 264: ...2 16 Volume 2 Part 1 Intel Itanium System Environment ...
Page 380: ...2 132 Volume 2 Part 1 Interruptions ...
Page 398: ...2 150 Volume 2 Part 1 Register Stack Engine ...
Page 486: ...2 238 Volume 2 Part 1 IA 32 Interruption Vector Descriptions ...
Page 750: ...2 502 Intel Itanium Architecture Software Developer s Manual Rev 2 3 ...
Page 754: ...2 506 Volume 2 Part 2 About the System Programmer s Guide ...
Page 796: ...2 548 Volume 2 Part 2 Interruptions and Serialization ...
Page 808: ...2 560 Volume 2 Part 2 Context Management ...
Page 842: ...2 594 Volume 2 Part 2 Floating point System Software ...
Page 850: ...2 602 Volume 2 Part 2 IA 32 Application Support ...
Page 862: ...2 614 Volume 2 Part 2 External Interrupt Architecture ...
Page 870: ...2 622 Volume 2 Part 2 Performance Monitoring Support ...
Page 891: ......
Page 1099: ...3 200 Volume 3 Instruction Reference padd Interruptions Illegal Operation fault ...
Page 1295: ...3 396 Volume 3 Resource and Dependency Semantics ...
Page 1296: ......
Page 1302: ...402 Intel Itanium Architecture Software Developer s Manual Rev 2 3 ...
Page 1494: ...4 192 Volume 4 Base IA 32 Instruction Reference FWAIT Wait See entry for WAIT ...
Page 1647: ...Volume 4 Base IA 32 Instruction Reference 4 345 ROL ROR Rotate See entry for RCL RCR ROL ROR ...
Page 1884: ...4 582 Volume 4 IA 32 SSE Instruction Reference ...
Page 1885: ...Index Intel Itanium Architecture Software Developer s Manual Rev 2 3 Index ...
Page 1886: ...Index Intel Itanium Architecture Software Developer s Manual Rev 2 3 ...
Page 1898: ...INDEX Index 12 Index for Volumes 1 2 3 and 4 ...