Volume 2, Part 1: Interruptions
2:105
5.5.5
Deferral of Speculative Load Faults
Speculative and speculative advanced loads can defer fault handling by suppressing the
speculative memory reference, and by setting the deferred exception indicator (NaT bit
or NaTVal) of the load target register. Other effects of the instruction (such as post
increment) are performed. Additionally, software can suppress the memory reference of
speculative and speculative advanced loads independent of any exception.
Deferral is the process of generating a deferred exception indicator and not performing
the exception processing at the time of its detection (and potentially never at all). Once
a deferred exception indicator is generated, it will propagate through all uses until the
speculation is checked by using either a
chk.s
instruction, a
chk.a
instruction (for
speculative advanced loads), or a non-speculative use. This causes the appropriate
action to be invoked to deal with the exception.
Three different programming models are supported:
no-recovery
,
recovery
and
always-defer
. In the no-recovery model, only fatal exceptional conditions are deferred
–
these are conditions which cannot be resolved without either involving the program’s
exception-handling code or terminating the program. In the recovery model,
performance may be increased by deferring additional exceptional conditions. The
recovery model is used only if the program provides additional “recovery” code to
re-execute failed speculative computations. When a speculative load is executed with
PSR.ic equal to 1, and ITLB.ed equal to 0, the no-recovery model is in effect. When
PSR.ic is 1 and ITLB.ed is 1, the recovery model is in effect. The
always-defer
model
is supported for use in system code which has PSR.ic equal to 0. In this model, all
exceptional conditions which can be deferred are deferred. This permits speculation in
environments where faulting would be unrecoverable.
In addition to the deferral of exceptional conditions, speculative loads may be deferred
automatically by hardware based on implementation-dependent criteria, such as the
detection of a cache miss. Such deferral is referred to as
spontaneous deferral
, and
is done in order to increase performance. Spontaneous deferral is allowed only in the
recovery model.
Speculative load exceptions are categorized into three groups:
• Ones which always raise a fault
• Ones which always defer
• Ones which always raise a fault in the no-recovery model, but can defer based on
the speculative deferral control bits in the DCR control register, in the recovery
model.
Table 5-2.
Programming Models
PSR.ic
PSR.it
ITLB.ed
Model
DCR-based Deferral
Spontaneous Deferral
0
x
x
Always defer
No
No
1
0
x
No recovery
No
No
1
1
0
No recovery
No
No
1
1
1
Recovery
Yes
Yes
Содержание 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 ...