
2:90
Volume 2, Part 1: Addressing and Protection
9. Call PAL_MC_DRAIN
10. Using the IPI mechanism defined in
“Inter-processor Interrupt Messages” on
to reach all processors in the coherence domain, perform step 9
above on all processors in the coherence domain, and wait for all PAL_MC_DRAIN
calls to complete on all processors in the coherence domain before continuing.
This further guarantees that any cache lines containing addresses belonging to
page [X] have been evicted from all caches in the coherence domain and forced
onto the bus. Note that this operation does not ensure that the cache lines have
been written back to memory.
11. Insert the new mapping with the new memory attribute
4.4.11.2
Physical Addressing Attribute Transition – Disabling
Prefetch/Speculation and Removing Cacheability
When a verified reference is made to a physical address with the WBL attribute, the 4K
page containing that address becomes speculatively accessible. This allows the
processor that made the verified reference to subsequently make speculative
references to this page. (See the description of limited speculation in
“Limited Speculation and the WBL Physical Addressing Attribute” on page 2:81
.)
If the same physical memory is then to be accessed with the UC attribute, software
must first cause all such 4K pages to no longer be verified pages and flush any cached
copies from the cache. Otherwise, an uncacheable reference may hit in cache, causing
a Machine Check abort.
On the processor initiating the transition, perform the following steps:
1. Call PAL_PREFETCH_VISIBILITY
Call PAL_PREFETCH_VISIBILITY with the input argument
trans_type
equal to one
to indicate that the transition is for physical memory attributes. This PAL call
terminates the processor's rights to make speculative references to any limited
speculation pages (i.e., it causes all WBL pages to no longer be verified pages
–
see the discussion on limited speculation in
.)
The return argument from this procedure informs the caller if this procedure call
is needed on remote processors or not. If this procedure call is not needed on
remote processors, then software may skip the IPI in step 2 and go straight to
step 3 below.
2. Using the IPI mechanism defined in
“Inter-processor Interrupt Messages” on
to reach all processors in the coherence domain, perform step 1
above on all processors in the coherence domain, and wait for all
PAL_PREFETCH_VISIBILITY calls to complete on all processors in the coherence
domain before continuing.
On the processor initiating the disabling process, continue the sequence:
3. fc [X] // flush all processor caches in the coherence domain
fc [X+32]
fc [X+64]
... // ... for all of page “X” (page size = ps)
fc [X+ps-32] ;;
Содержание 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 ...