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
Содержание ITANIUM ARCHITECTURE - SOFTWARE DEVELOPERS VOLUME 3 REV 2.3
Страница 1: ......
Страница 11: ...x Intel Itanium Architecture Software Developer s Manual Rev 2 3 ...
Страница 12: ...1 1 Intel Itanium Architecture Software Developer s Manual Rev 2 3 Part I Application Architecture Guide ...
Страница 13: ...1 2 Intel Itanium Architecture Software Developer s Manual Rev 2 3 ...
Страница 33: ...1 22 Volume 1 Part 1 Introduction to the Intel Itanium Architecture ...
Страница 57: ...1 46 Volume 1 Part 1 Execution Environment ...
Страница 147: ...1 136 Intel Itanium Architecture Software Developer s Manual Rev 2 3 ...
Страница 149: ...1 138 Volume 1 Part 2 About the Optimization Guide ...
Страница 191: ...1 180 Volume 1 Part 2 Predication Control Flow and Instruction Stream ...
Страница 230: ......
Страница 248: ...236 Intel Itanium Architecture Software Developer s Manual Rev 2 3 ...
Страница 249: ...2 1 Intel Itanium Architecture Software Developer s Manual Rev 2 3 Part I System Architecture Guide ...
Страница 250: ...2 2 Intel Itanium Architecture Software Developer s Manual Rev 2 3 ...
Страница 264: ...2 16 Volume 2 Part 1 Intel Itanium System Environment ...
Страница 380: ...2 132 Volume 2 Part 1 Interruptions ...
Страница 398: ...2 150 Volume 2 Part 1 Register Stack Engine ...
Страница 486: ...2 238 Volume 2 Part 1 IA 32 Interruption Vector Descriptions ...
Страница 749: ...2 501 Intel Itanium Architecture Software Developer s Manual Rev 2 3 Part II System Programmer s Guide ...
Страница 750: ...2 502 Intel Itanium Architecture Software Developer s Manual Rev 2 3 ...
Страница 754: ...2 506 Volume 2 Part 2 About the System Programmer s Guide ...
Страница 796: ...2 548 Volume 2 Part 2 Interruptions and Serialization ...
Страница 808: ...2 560 Volume 2 Part 2 Context Management ...
Страница 842: ...2 594 Volume 2 Part 2 Floating point System Software ...
Страница 850: ...2 602 Volume 2 Part 2 IA 32 Application Support ...
Страница 862: ...2 614 Volume 2 Part 2 External Interrupt Architecture ...
Страница 870: ...2 622 Volume 2 Part 2 Performance Monitoring Support ...
Страница 891: ......
Страница 941: ...3 42 Volume 3 Instruction Reference cmp illegal_operation_fault PR p1 0 PR p2 0 Interruptions Illegal Operation fault ...
Страница 1099: ...3 200 Volume 3 Instruction Reference padd Interruptions Illegal Operation fault ...
Страница 1191: ...3 292 Volume 3 Pseudo Code Functions Intel Itanium Architecture Software Developer s Manual Rev 2 3 ...
Страница 1295: ...3 396 Volume 3 Resource and Dependency Semantics ...
Страница 1296: ......
Страница 1302: ...402 Intel Itanium Architecture Software Developer s Manual Rev 2 3 ...
Страница 1494: ...4 192 Volume 4 Base IA 32 Instruction Reference FWAIT Wait See entry for WAIT ...
Страница 1564: ...4 262 Volume 4 Base IA 32 Instruction Reference LES Load Full Pointer See entry for LDS LES LFS LGS LSS ...
Страница 1565: ...Volume 4 Base IA 32 Instruction Reference 4 263 LFS Load Full Pointer See entry for LDS LES LFS LGS LSS ...
Страница 1568: ...4 266 Volume 4 Base IA 32 Instruction Reference LGS Load Full Pointer See entry for LDS LES LFS LGS LSS ...
Страница 1583: ...Volume 4 Base IA 32 Instruction Reference 4 281 LSS Load Full Pointer See entry for LDS LES LFS LGS LSS ...
Страница 1647: ...Volume 4 Base IA 32 Instruction Reference 4 345 ROL ROR Rotate See entry for RCL RCR ROL ROR ...
Страница 1663: ...Volume 4 Base IA 32 Instruction Reference 4 361 SHL SHR Shift Instructions See entry for SAL SAR SHL SHR ...
Страница 1668: ...4 366 Volume 4 Base IA 32 Instruction Reference SIDT Store Interrupt Descriptor Table Register See entry for SGDT SIDT ...
Страница 1884: ...4 582 Volume 4 IA 32 SSE Instruction Reference ...
Страница 1885: ...Index Intel Itanium Architecture Software Developer s Manual Rev 2 3 Index ...
Страница 1886: ...Index Intel Itanium Architecture Software Developer s Manual Rev 2 3 ...
Страница 1898: ...INDEX Index 12 Index for Volumes 1 2 3 and 4 ...