2:88
Volume 2, Part 1: Addressing and Protection
undefined behavior; when changing an existing page from speculative to
non-speculative (or vice-versa), software should ensure that any ALAT entries
corresponding to that page are invalidated.
Limited speculation pages behave like non-speculative pages with respect to
speculative advanced loads, and behave like speculative pages with respect to all other
advanced and/or check loads.
describes the ALAT behavior of advanced and check loads for the different
speculation memory attributes.
4.4.11
Memory Attribute Transition
If software modifies the memory attributes for a page, it must perform explicit actions
to ensure that subsequent reads and writes using the new attribute will be coherent
with prior reads and writes that were performed with the old attribute. Processors may
have separate buffers for coalescing, uncacheable and cacheable references, and these
buffers need not be coherent with each other.
4.4.11.1
Virtual Addressing Memory Attribute Transition
To change a virtually-addressed page from one attribute to another, software must
perform the following sequence. (The address of the page whose attribute is being
modified is referred to as “X”).
Note:
This sequence is ONLY required if the new mapping and the old mapping do not
have the same memory attribute.
On the processor initiating the transition, perform the following steps 1-3:
1. PTE[X].p = 0 // Mark page as not present
This prevents any processors from reading the old mapping (with the old
attribute) from the VHPT after this point.
2. ptc.ga [X] ;; // Global shootdown and ALAT invalidate
// for the entire page
This removes the mapping from all processor TC's in the coherence domain, and
it forces all processors to flush any pending WC or UC stores from write buffers.
Table 4-17.
ALAT Behavior on Non-faulting Advanced/Check Loads
Memory
Attribute
ld.sa
Response
ld.a
Response
ld.c.clr,
ld.c.clr.acq,
ldf.c.clr
Response
ld.c.nc,
ldf.c.nc
Response
No NaT
NaT
ALAT
Hit
ALAT
Miss
ALAT
Hit
ALAT
Miss
speculative
alloc
remove
alloc
remove
nop
unchanged
a
a. May allocate a new ALAT entry if size and/or address are different than the corresponding ld.a or ld.sa whose
ALAT entry was matched.
alloc
non-speculative
N/A
remove
remove
undefined
nop
undefined
must not
alloc
limited speculation
N/A
remove
alloc
remove
nop
alloc
Содержание 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 ...