
Volume 2, Part 1: Itanium
®
Architecture-based Operating System Interaction Model with IA-32 Applications
2:265
• For all processors in the coherence domain, local and remote instruction cache
coherency on all processors is enforced for any store generated by any processor
running the IA-32 instruction set.
• For all processors in the coherence domain, instruction cache coherency on all
processors is enforced for all coherent I/O traffic. (For non-coherent I/O, a
processor may or may not see the results of an I/O operation.)
• For all processors in the coherence domain, instruction cache coherency is not
enforced for stores generated by any processor running the Itanium instruction set.
To ensure instruction cache coherency, Itanium architecture-based code must use
the code sequence defined in
Section 4.4.6.2, “Memory Consistency” on page 1:72
.
10.6.10 IA-32 Memory Ordering
IA-32 memory ordering follows the Pentium
III
defined
processor ordered
model for
cacheable and uncacheable memory. IA-32
processor ordered
memory references are
mapped onto the Itanium memory ordering model as follows:
• All IA-32 stores have
release
semantics. Except for IA-32 stores to
write-coalescing memory that are unordered. Subsequent loads are allowed to
bypass buffered local store data before it is globally visible. The amount of store
buffering is model specific and can vary across processor generations.
• All IA-32 loads have
acquire
semantics. Some high performance processor
implementations may speculatively issue
acquire
loads into the memory system for
speculative memory types, if and only if the loads do not
appear
to pass other loads
as observed by the program. If there is a coherency action that would result in the
appearance to the program of a load bypassing other load, the processor will
reissue the load operation(s) in program order.
• All IA-32 read-modify-write or locked instructions have memory
fence
semantics.
All buffered stores are flushed.
• IA-32 IN, OUT and serializing operations (as defined in the
Intel
®
64 and IA-32
Architectures Software Developer’s Manual
) have memory
fence
semantics.
In addition, the processor will wait for completion (acceptance by the platform) of
the IN or OUT before executing the next instruction. All buffered stores are flushed
before the IN or OUT operation.
• IA-32 SFENCE has
release
semantics and will flush all buffered stores.
Table 10-6.
Instruction Cache Coherency Rules
Originating
Instruction Set
Local Processor
External Processor
Coherent, I/O
Non-Coherent I/O
IA-32
Coherent
Coherent
Coherent
Maybe
Non-Coherent
Intel Itanium
May be
Non-coherent
May be
Non-coherent
Table 10-7.
IA-32 Load/Store Sequentiality and Ordering
IA-32 Memory
Reference
Uncacheable
Write
Coalescing
Cacheable
store
sequential
release
a
non-sequential
unordered
non-sequential
release
b
load
sequential
acquire
non-sequential
unordered
non-sequential
acquire
Содержание 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 ...