PTO-ARCH-STATE-TRAP-CONTEXT

PTO-ARCH-STATE-TRAP-CONTEXT

ASL 伪代码

下面直接显示完整的 ASL 所有者。

1// PTO-UNIT: {"id":"PTO-ARCH-STATE-TRAP-CONTEXT","surface":"arch","classification":["state","trap-context"],"depends_on":["PTO-ARCH-MEMORY-MODEL-ORDERING"]}2func SavePortableTrapContext(target: AccessControlRing,3                             source: AccessControlRing)4begin5    _TrapContexts[[target]].valid = TRUE;6    _TrapContexts[[target]].source_acr = source;7    _TrapContexts[[target]].tpc = ReadTPC();8    _TrapContexts[[target]].bpc = ReadBPC();9    _TrapContexts[[target]].core_state = _SystemRegisters.core_state;10    _TrapContexts[[target]].bundle_argument = _BundleArgument;11    _TrapContexts[[target]].commit_argument = _CommitArgument;12    _TrapContexts[[target]].bundle_active = _BundleActive;13    _TrapContexts[[target]].bundle_body_active = _BundleBodyActive;14    _TrapContexts[[target]].bundle_commit_target_set =15        _BundleCommitTargetSet;16    _TrapContexts[[target]].bundle_condition_set =17        _BundleConditionSet;18    _TrapContexts[[target]].system_block_terminal_pending =19        _SystemBlockTerminalPending;20    _TrapContexts[[target]].barg = _BARG;21    _TrapContexts[[target]].bundle_sequential_pc = _BundleSequentialPC;22    _TrapContexts[[target]].frame_stack_return_target =23        _FrameStackReturnTarget;24    _TrapContexts[[target]].return_address = _ReturnAddress;25    _TrapContexts[[target]].bundle_argument_kind = _BundleArgumentKind;26    _TrapContexts[[target]].bundle_operation = _BundleOperation;27    _TrapContexts[[target]].bundle_dimensions = _BundleDimensions;28    _TrapContexts[[target]].bundle_dimension_present =29        _BundleDimensionPresent;30    _TrapContexts[[target]].bundle_scalar_bindings = _BundleScalarBindings;31    _TrapContexts[[target]].bundle_tile_bindings = _BundleTileBindings;32    _TrapContexts[[target]].bundle_shared_bindings = _BundleSharedBindings;33    _TrapContexts[[target]].bundle_range_group = _BundleRangeGroup;34    _TrapContexts[[target]].bundle_zero_participation_seen =35        _BundleZeroParticipationSeen;36    _TrapContexts[[target]].bundle_control_attributes =37        _BundleControlAttributes;38    _TrapContexts[[target]].bundle_data_attributes = _BundleDataAttributes;39    _TrapContexts[[target]].bundle_data_attributes_present =40        _BundleDataAttributesPresent;41    _TrapContexts[[target]].bundle_hint = _BundleHint;42    _TrapContexts[[target]].bundle_fixed_point_attributes =43        _BundleFixedPointAttributes;44    _TrapContexts[[target]].local_generations = _LocalGenerations;45    _TrapContexts[[target]].shared_generations = _SharedGenerations;46    _TrapContexts[[target]].bundle_execution_domain_token =47        _BundleExecutionDomainToken;48    _TrapContexts[[target]].memory_copy_template = _MemoryCopyTemplate;49    _TrapContexts[[target]].frame_template = _FrameTemplate;50    _TrapContexts[[target]].t_queue = _TQueue;51    _TrapContexts[[target]].t_queue_valid = _TQueueValid;52    _TrapContexts[[target]].u_queue = _UQueue;53    _TrapContexts[[target]].u_queue_valid = _UQueueValid;54    _TrapContexts[[target]].predicates = _PredicateRegisters;55end;56
57impdef func SaveTrapContext(target: AccessControlRing,58                            source: AccessControlRing)59begin60    SavePortableTrapContext(target, source);61end;62
63readonly func PortableTrapContextRecoverable(target: AccessControlRing)64    => boolean65begin66    return _TrapContexts[[target]].valid &&67           _TrapContexts[[target]].bpc[0] == '0' &&68           _TrapContexts[[target]].tpc[0] == '0';69end;70
71impdef func TrapContextRecoverable(target: AccessControlRing)72    => boolean73begin74    return PortableTrapContextRecoverable(target);75end;76
77func RecoverPortableTrapContext(target: AccessControlRing) => boolean78begin79    // This helper is the architecture-portable recovery path.  It must not80    // dispatch through the active profile override, because that override may81    // require target-specific context-register state that SavePortableTrapContext82    // deliberately does not create.83    if !PortableTrapContextRecoverable(target) then84        return FALSE;85    end;86    WriteTPC(_TrapContexts[[target]].tpc);87    WriteBPC(_TrapContexts[[target]].bpc);88    _SystemRegisters.core_state = _TrapContexts[[target]].core_state;89    _BundleArgument = _TrapContexts[[target]].bundle_argument;90    _CommitArgument = _TrapContexts[[target]].commit_argument;91    _BundleActive = _TrapContexts[[target]].bundle_active;92    _BundleBodyActive = _TrapContexts[[target]].bundle_body_active;93    _BundleCommitTargetSet =94        _TrapContexts[[target]].bundle_commit_target_set;95    _BundleConditionSet =96        _TrapContexts[[target]].bundle_condition_set;97    _SystemBlockTerminalPending =98        _TrapContexts[[target]].system_block_terminal_pending;99    _BARG = _TrapContexts[[target]].barg;100    _BundleSequentialPC = _TrapContexts[[target]].bundle_sequential_pc;101    _FrameStackReturnTarget =102        _TrapContexts[[target]].frame_stack_return_target;103    _ReturnAddress = _TrapContexts[[target]].return_address;104    _BundleArgumentKind = _TrapContexts[[target]].bundle_argument_kind;105    _BundleOperation = _TrapContexts[[target]].bundle_operation;106    _BundleDimensions = _TrapContexts[[target]].bundle_dimensions;107    _BundleDimensionPresent =108        _TrapContexts[[target]].bundle_dimension_present;109    _BundleScalarBindings = _TrapContexts[[target]].bundle_scalar_bindings;110    _BundleTileBindings = _TrapContexts[[target]].bundle_tile_bindings;111    _BundleSharedBindings = _TrapContexts[[target]].bundle_shared_bindings;112    _BundleRangeGroup = _TrapContexts[[target]].bundle_range_group;113    _BundleZeroParticipationSeen =114        _TrapContexts[[target]].bundle_zero_participation_seen;115    _BundleControlAttributes =116        _TrapContexts[[target]].bundle_control_attributes;117    _BundleDataAttributes = _TrapContexts[[target]].bundle_data_attributes;118    _BundleDataAttributesPresent =119        _TrapContexts[[target]].bundle_data_attributes_present;120    _BundleHint = _TrapContexts[[target]].bundle_hint;121    _BundleFixedPointAttributes =122        _TrapContexts[[target]].bundle_fixed_point_attributes;123    _LocalGenerations = _TrapContexts[[target]].local_generations;124    _SharedGenerations = _TrapContexts[[target]].shared_generations;125    _BundleExecutionDomainToken =126        _TrapContexts[[target]].bundle_execution_domain_token;127    _MemoryCopyTemplate = _TrapContexts[[target]].memory_copy_template;128    _FrameTemplate = _TrapContexts[[target]].frame_template;129    _TQueue = _TrapContexts[[target]].t_queue;130    _TQueueValid = _TrapContexts[[target]].t_queue_valid;131    _UQueue = _TrapContexts[[target]].u_queue;132    _UQueueValid = _TrapContexts[[target]].u_queue_valid;133    _PredicateRegisters = _TrapContexts[[target]].predicates;134    _CurrentACR = _TrapContexts[[target]].source_acr;135    _TrapContexts[[target]].valid = FALSE;136    return TRUE;137end;138
139impdef func RecoverTrapContext(target: AccessControlRing) => boolean140begin141    return RecoverPortableTrapContext(target);142end;143

架构行为

目的与范围

用途与范围

本单元拥有可移植陷阱上下文的保存、可恢复性检查与恢复，还包含由实现定义的钩子；这些钩子的默认函数体调用可移植路径。

概念与架构状态

已保存上下文

SavePortableTrapContext 把目标 ACR 上下文标为有效，并快照源 ACR、TPC、BPC、core_state、指令束控制与参数状态、标量/Tile/Shared 绑定、本地与共享代次、模板、临时队列以及谓词寄存器。

快照以目标 AccessControlRing 为索引；保存的 source_acr 标识恢复之后应选择的 ACR。

规则与交互

可恢复性与恢复

PortableTrapContextRecoverable 要求保存的上下文有效，并且保存的 BPC 与 TPC 最低位都为零。不满足条件时，RecoverPortableTrapContext 会立即返回 FALSE。

成功时，恢复会还原该所有者保存的每个可移植字段，把 _CurrentACR 设为保存的源 ACR，清除目标上下文的有效位，并返回 TRUE。

SaveTrapContext、TrapContextRecoverable 和 RecoverTrapContext 是由实现定义的配置档钩子。它们在本所有者中的函数体委托给对应的可移植辅助函数。

边界与未定义范围

架构边界

可移植恢复刻意直接检查 PortableTrapContextRecoverable，而不通过活动配置档覆写分派。配置档可能要求额外的上下文寄存器状态，但可移植保存辅助函数不会创建这种目标专用状态。

可移植恢复失败时，不执行任何恢复赋值，也不会使已保存上下文失效。

使用示例

示例性恢复流程

对于从 ACR3 保存到目标 ACR1 的有效对齐快照，成功的可移植恢复会还原快照、选择 ACR3 作为当前 ACR，并通过清除有效位消费 ACR1 快照。如果任一保存地址的最低位为一，则恢复在改变活动上下文之前返回 FALSE。

NDF 条款

正文来自 owning ASL。拖拽或按钮只临时改变当前页面显示顺序。

No NDF clause is attached to this unit.

Evidence index

16 matching entries

Executable evidence7

Trap save and recovery preserve temporary queue values and their relative-source readiness
1. surfaceARCH
2. ownerPTO-ARCH-STATE-TRAP-CONTEXT
3. categoryFAULT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-ARCH-QUEUE-READINESS-RECOVERY-001
Path
tests/asl/arch/state/trap-context/arch-fault-queue-readiness-recovery-001.asl
Kind / role
fault
Requirements
PTO-REQ-STATE-001
Pass condition
after recovery the saved newest T/U entries remain available, older unsupplied entries remain unavailable, and post-save pushes are discarded
SHA-256
3c6609590e7bbc2666d9a498a2eda8ba5d2cb8a64d966e01f82922353f943e43
Open exact source ↗ for PTO-AVS-ARCH-QUEUE-READINESS-RECOVERY-001
PTO-ARCH-STATE-TRAP-CONTEXT compiles as an independent normative unit
1. surfaceARCH
2. ownerPTO-ARCH-STATE-TRAP-CONTEXT
3. categorySTATIC-INVARIANT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-ARCH-STATE-TRAP-CONTEXT-STATIC-001
Path
tests/asl/arch/state/trap-context/arch-static-trap-context-contract-001.asl
Kind / role
static-invariant
Pass condition
the complete model and this unit's static invariant compile
SHA-256
576010933b4c5e154f6e1319de00442b055b68d58b1666b00eda2b79929cb6fe
Open exact source ↗ for PTO-AVS-ARCH-STATE-TRAP-CONTEXT-STATIC-001
Covers Trap Routing Policy.
1. surfaceARCH
2. ownerPTO-ARCH-STATE-TRAP-CONTEXT
3. categoryFAULT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-ARCH-TESTTRAPROUTINGPOLICY-FAULT-001
Path
tests/asl/arch/state/trap-context/arch-fault-routing-policy-001.asl
Kind / role
fault
Pass condition
TestTrapRoutingPolicy completes without assertion failure
SHA-256
69c5c80eea3b4dc4380e560c027266c98cb6a3bb01ae76cbcac3fd017fabc07e
Open exact source ↗ for PTO-AVS-ARCH-TESTTRAPROUTINGPOLICY-FAULT-001
trap recovery restores attributes, queues, and predicates
1. surfaceARCH
2. ownerPTO-ARCH-STATE-TRAP-CONTEXT
3. categoryFAULT
4. case003
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-ARCH-TRAP-ATTRIBUTES-FAULT-003
Path
tests/asl/arch/state/trap-context/arch-fault-trap-attributes-003.asl
Kind / role
fault
Pass condition
attribute, queue, and predicate leaves recover exactly
SHA-256
f7df68b34c3dc9a97bfc61775cec9c11da201aad38971def3207d790df80fcf1
Open exact source ↗ for PTO-AVS-ARCH-TRAP-ATTRIBUTES-FAULT-003
trap recovery restores operation descriptors and operand bindings
1. surfaceARCH
2. ownerPTO-ARCH-STATE-TRAP-CONTEXT
3. categoryFAULT
4. case002
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-ARCH-TRAP-BINDINGS-FAULT-002
Path
tests/asl/arch/state/trap-context/arch-fault-trap-bindings-002.asl
Kind / role
fault
Pass condition
descriptor, dimension, scalar, Tile, and shared bindings recover exactly
SHA-256
8d480ca45d84e17c8979fe771dafc3e0901bd61af231a7483ad54ebbc6ca476e
Open exact source ↗ for PTO-AVS-ARCH-TRAP-BINDINGS-FAULT-002
trap recovery restores control-flow and block-control leaves
1. surfaceARCH
2. ownerPTO-ARCH-STATE-TRAP-CONTEXT
3. categoryFAULT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-ARCH-TRAP-CONTROL-FAULT-001
Path
tests/asl/arch/state/trap-context/arch-fault-all-leaf-recovery-evidence-001.asl
Kind / role
fault
Pass condition
saved control leaves differ before recovery and match after recovery
SHA-256
895a73c23839eb7eb945fd943f2f7278f13bb6c54342fbe625f59f3b3f24e8a7
Open exact source ↗ for PTO-AVS-ARCH-TRAP-CONTROL-FAULT-001
portable trap helpers restore every portable context leaf
1. surfaceARCH
2. ownerPTO-ARCH-STATE-TRAP-CONTEXT
3. categoryFAULT
4. case004
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-ARCH-TRAP-PORTABLE-FAULT-004
Path
tests/asl/arch/state/trap-context/arch-fault-trap-portable-004.asl
Kind / role
fault
Pass condition
portable argument and return-state leaves recover exactly
SHA-256
fa38a935c4d9aaca5cca5fe56fc0534825d762250e23f3c9b7f3622cfcf27a29
Open exact source ↗ for PTO-AVS-ARCH-TRAP-PORTABLE-FAULT-004

Commit-scoped evidence5

spec/evidence/release-traceability-readiness.json · closedPTO-EVIDENCE-RELEASE-TRACEABILITY
Sources and references
Complete stable ID
PTO-EVIDENCE-RELEASE-TRACEABILITY
Path
spec/evidence/release-traceability-readiness.json
Kind / role
ASL/NDF/documentation/AVS traceability
SHA-256
c7327021d39dc67ac5564bc55073b3870a397d79ac8d9648284d56e33bc14a3e
Open exact source ↗ for PTO-EVIDENCE-RELEASE-TRACEABILITY
spec/evidence/instruction-contract-closure.json · closedPTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSURE
Sources and references
Complete stable ID
PTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSURE
Path
spec/evidence/instruction-contract-closure.json
Kind / role
mnemonic and encoding contract closure
SHA-256
3ef2bb62421c79dff8fa77a1c7983923b523244b8090812883ef81286ca8106a
Open exact source ↗ for PTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSURE
spec/evidence/architecture-readiness.json · openPTO-EVIDENCE-ARCHITECTURE-READINESS
Sources and references
Complete stable ID
PTO-EVIDENCE-ARCHITECTURE-READINESS
Path
spec/evidence/architecture-readiness.json
Kind / role
architecture maturity and blockers
SHA-256
4b0b85199101251bea744e0f3591cc31906909dc80d5ab651c417a936036a004
Open exact source ↗ for PTO-EVIDENCE-ARCHITECTURE-READINESS
spec/evidence/release-gate-readiness.json · ready-for-exact-head-verificationPTO-EVIDENCE-RELEASE-GATE-READINESS
Sources and references
Complete stable ID
PTO-EVIDENCE-RELEASE-GATE-READINESS
Path
spec/evidence/release-gate-readiness.json
Kind / role
exact-head gate readiness
SHA-256
a0f4d2b6920c08981ea55fd8ef820708a40d4feb5402c5150e8e9ab532d84ce0
Open exact source ↗ for PTO-EVIDENCE-RELEASE-GATE-READINESS
spec/release-manifest.json · draftPTO-EVIDENCE-RELEASE-MANIFEST
Sources and references
Complete stable ID
PTO-EVIDENCE-RELEASE-MANIFEST
Path
spec/release-manifest.json
Kind / role
release content and encoding fingerprints
SHA-256
1a64c109ed7a90351c41e2a418b3c0ebaf8ad975838986d2101385186b85c0d8
Open exact source ↗ for PTO-EVIDENCE-RELEASE-MANIFEST

Decision history4

Define the PTO architectural state contract · accepted
1. decision recordADR
2. case0008
Decision record
Loading ADR-0008…
Sources and references
Complete stable ID
ADR-0008
Path
docs/status/decisions/0008-architectural-state-contract.md
Affected units
PTO-ARCH-OVERVIEW-ARCHITECTURE, PTO-ARCH-PROGRAMMING-MODEL-EXECUTION-CONTEXT, PTO-ARCH-PROGRAMMING-MODEL-PREDICATE-REGISTERS, PTO-ARCH-PROGRAMMING-MODEL-SCALAR-REGISTERS, PTO-ARCH-PROGRAMMING-MODEL-SHARED-TILE-REGISTERS, PTO-ARCH-PROGRAMMING-MODEL-TILE-REGISTERS, PTO-ARCH-STATE-DEFINEDNESS, PTO-ARCH-STATE-PROGRAM-COUNTER, PTO-ARCH-STATE-TILE-DESCRIPTOR, PTO-ARCH-STATE-TRAP-CONTEXT, PTO-ARCH-SYSTEM-REGISTERS-ACCESS-CONTROL, PTO-ARCH-SYSTEM-REGISTERS-ADDRESSING, PTO-ARCH-SYSTEM-REGISTERS-CONTEXT, PTO-BLOCK-B-IOR, PTO-BLOCK-B-IOS, PTO-BLOCK-B-IOT, PTO-BLOCK-MODEL-STATE-BINDING-STATE, PTO-BLOCK-MODEL-STATE-CONTROL-STATE, PTO-BLOCK-MODEL-STATE-DESCRIPTOR-STATE, PTO-BLOCK-MODEL-STATE-TYPES, PTO-TILE-MODEL-STATE-LOCAL-REGISTERS
Affected NDF
PTO-ARCH-STATE-CLOSURE-001, PTO-REQ-BUNDLE-STATE-001, PTO-REQ-SHARED-TILE-001, PTO-REQ-STATE-001, PTO-REQ-TILE-001, PTO-TILE-CAPACITY-PER-PE
SHA-256
9c33e1b57d0f04c4d808ee61aaf975187a3dbd32a071329ca65a916dc0e614ca
Open exact decision source ↗ for ADR-0008
Make EBARG the visible PTO v0 trap snapshot · accepted
1. decision recordADR
2. case0011
Decision record
Loading ADR-0011…
Sources and references
Complete stable ID
ADR-0011
Path
docs/status/decisions/0011-visible-ebarg-snapshot.md
Affected units
PTO-ARCH-DATA-TYPES-TRAP-CONTEXT, PTO-ARCH-PROGRAMMING-MODEL-EXECUTION-CONTEXT, PTO-ARCH-STATE-TRAP-CONTEXT
Affected NDF
PTO-REQ-STATE-001
SHA-256
ae2cbaccfe91a2f072b930dd9141a851d3adfe30ac960121836553ff4f3362b6
Open exact decision source ↗ for ADR-0011
Define the PTO v0 disposition of every trap identity · accepted
1. decision recordADR
2. case0018
Decision record
Loading ADR-0018…
Sources and references
Complete stable ID
ADR-0018
Path
docs/status/decisions/0018-pto-v0-trap-disposition.md
Affected units
PTO-ARCH-DATA-TYPES-FAULT, PTO-ARCH-DATA-TYPES-TRAP-CONTEXT, PTO-ARCH-STATE-TRAP-CONTEXT, PTO-SCALAR-ACRC, PTO-SCALAR-ACRE, PTO-SCALAR-ASSERT, PTO-SCALAR-BC-IALL, PTO-SCALAR-BC-IVA, PTO-SCALAR-BSE, PTO-SCALAR-BWE, PTO-SCALAR-BWI, PTO-SCALAR-BWT, PTO-SCALAR-C-EBREAK, PTO-SCALAR-C-SSRGET, PTO-SCALAR-DC-CISW, PTO-SCALAR-DC-CIVA, PTO-SCALAR-DC-CSW, PTO-SCALAR-DC-CVA, PTO-SCALAR-DC-IALL, PTO-SCALAR-DC-ISW, PTO-SCALAR-DC-IVA, PTO-SCALAR-DC-ZVA, PTO-SCALAR-EBREAK, PTO-SCALAR-FENCE-D, PTO-SCALAR-FENCE-I, PTO-SCALAR-HL-SSRGET, PTO-SCALAR-HL-SSRSET, PTO-SCALAR-IC-IALL, PTO-SCALAR-IC-IVA, PTO-SCALAR-LSRGET, PTO-SCALAR-SETC-TGT, PTO-SCALAR-SSRGET, PTO-SCALAR-SSRSET, PTO-SCALAR-SSRSWAP, PTO-SCALAR-TLB-IA, PTO-SCALAR-TLB-IALL, PTO-SCALAR-TLB-IAV, PTO-SCALAR-TLB-IV
Affected NDF
PTO-ACRC-DECISION-BINDING-001, PTO-ACRE-IMPLICIT-STOP-001, PTO-BSE-DECISION-BINDING-001, PTO-BWE-DECISION-BINDING-001, PTO-BWI-DECISION-BINDING-001, PTO-BWT-DECISION-BINDING-001, PTO-C-EBREAK-CAUSE-001, PTO-C-SSRGET-DIRECT-IDS-001, PTO-EBREAK-DECISION-BINDING-001, PTO-FENCE-D-DECISION-BINDING-001, PTO-FENCE-I-DECISION-BINDING-001, PTO-HL-SSRGET-DECISION-BINDING-001, PTO-HL-SSRSET-DECISION-BINDING-001, PTO-LSRGET-BARG-001, PTO-SETC-TGT-ADR-CONTRACT-001, PTO-SSRGET-ADR-CONTRACT-001, PTO-SSRSET-ADR-CONTRACT-001, PTO-SSRSWAP-ADR-CONTRACT-001, PTO-TLB-IA-ADR-CONTRACT-001, PTO-TLB-IALL-ADR-CONTRACT-001, PTO-TLB-IAV-ADR-CONTRACT-001, PTO-TLB-IV-ADR-CONTRACT-001
SHA-256
ce33454ffd2a595425ebece5954c9990ea2b9c4890008ad700599f767d7b9716
Open exact decision source ↗ for ADR-0018
B.SUBVIEW and B.ASSEMBLE range-modifier association · accepted
1. decision recordADR
2. case0098
Decision record
Loading ADR-0098…
Sources and references
Complete stable ID
ADR-0098
Path
docs/status/decisions/0098-b-range-modifiers.md
Affected units
PTO-ARCH-PROFILE-RESET, PTO-BLOCK-B-IOT, PTO-BLOCK-B-IOS, PTO-BLOCK-B-SUBVIEW, PTO-BLOCK-B-ASSEMBLE, PTO-BLOCK-MODEL-DISPATCH-COMMANDS, PTO-BLOCK-MODEL-OPERANDS-RANGE-MODIFIERS, PTO-BLOCK-MODEL-OPERANDS-SHARED-BINDINGS, PTO-BLOCK-MODEL-OPERANDS-TILE-BINDINGS, PTO-BLOCK-MODEL-STATE-CONTROL-STATE, PTO-BLOCK-MODEL-STATE-DESCRIPTOR-STATE, PTO-BLOCK-MODEL-STATE-TYPES, PTO-ARCH-DATA-TYPES-TRAP-CONTEXT, PTO-ARCH-PROFILE-REFERENCE-PROFILE, PTO-ARCH-PROFILE-TRAP-CONTEXT-RECOVERY, PTO-ARCH-STATE-TRAP-CONTEXT, PTO-BLOCK-MODEL-DISPATCH-TILE-EXECUTION, PTO-BLOCK-MODEL-DISPATCH-TILE-SCHEMA, PTO-BLOCK-MODEL-FAULTS-ROLLBACK, PTO-BLOCK-MODEL-LIFECYCLE-RESET, PTO-BLOCK-MODEL-OPERANDS-LOCAL-GENERATION, PTO-BLOCK-MODEL-OPERANDS-SHARED-GENERATION, PTO-BLOCK-MODEL-OPERANDS-PORTABLE-CARRIERS, PTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR, PTO-BLOCK-MODEL-STATE-SHARED-GENERATION, PTO-TILE-MODEL-LEGALITY-MATRIX-POSTPROCESS
Affected NDF
PTO-B-IOT-STREAM-001, PTO-B-IOS-SHARED-STATE-001, PTO-B-SUBVIEW-RANGE-001, PTO-B-ASSEMBLE-RANGE-001, PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-LOCAL-GENERATION-001, PTO-B-ASSEMBLE-SHARED-GENERATION-001, PTO-B-ASSEMBLE-SHARED-STANDALONE-001, PTO-B-ASSEMBLE-CONSUMER-READINESS-001, PTO-B-ASSEMBLE-SPECULATION-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
SHA-256
e194ccc6b6922fd4b65066b533f5e4b0eba094e099970059bca8e25b4e466fba
Open exact decision source ↗ for ADR-0098

Unit metadata

Open 4 generated metadata fields

id: PTO-ARCH-STATE-TRAP-CONTEXT
surface: arch
classification: [ "state", "trap-context" ]
depends_on: [ "PTO-ARCH-MEMORY-MODEL-ORDERING" ]

Open generated traceability record

{
  "classification": [
    "state",
    "trap-context"
  ],
  "documentation": "docs/arch/state/trap-context.md",
  "id": "PTO-ARCH-STATE-TRAP-CONTEXT",
  "mnemonic": null,
  "readiness_subjects": [
    "ADR-0008",
    "ADR-0011",
    "ADR-0018",
    "ADR-0098"
  ],
  "semantic_tests": [
    "PTO-AVS-ARCH-QUEUE-READINESS-RECOVERY-001",
    "PTO-AVS-ARCH-TESTTRAPROUTINGPOLICY-FAULT-001",
    "PTO-AVS-ARCH-TRAP-ATTRIBUTES-FAULT-003",
    "PTO-AVS-ARCH-TRAP-BINDINGS-FAULT-002",
    "PTO-AVS-ARCH-TRAP-CONTROL-FAULT-001",
    "PTO-AVS-ARCH-TRAP-PORTABLE-FAULT-004"
  ],
  "source": "asl/arch/state/trap-context.asl",
  "surface": "arch",
  "tests": [
    "PTO-AVS-ARCH-QUEUE-READINESS-RECOVERY-001",
    "PTO-AVS-ARCH-STATE-TRAP-CONTEXT-STATIC-001",
    "PTO-AVS-ARCH-TESTTRAPROUTINGPOLICY-FAULT-001",
    "PTO-AVS-ARCH-TRAP-ATTRIBUTES-FAULT-003",
    "PTO-AVS-ARCH-TRAP-BINDINGS-FAULT-002",
    "PTO-AVS-ARCH-TRAP-CONTROL-FAULT-001",
    "PTO-AVS-ARCH-TRAP-PORTABLE-FAULT-004"
  ]
}

来源与发布信息

展开 commit、路径、hash、版本和规范所有者

发布: 0.58.5 · 候选发布
Commit: 7dc8b7e5b121d2b2499a2273bebff29e2cd86812
原始 ASL: asl/arch/state/trap-context.asl
ASL SHA-256: 51f242c89ab71a83f322f15252fbd0dcdccbfd6a973c76e5d14aab7cb0b74ab2
生成文档: docs/site/i18n/zh-CN/docusaurus-plugin-content-docs-reference/current/arch/state/trap-context.md · 已融合到当前页面
文档 SHA-256: 571c5782f28b6095f8f1b1494094ece8fbd0a88103bd3a1ad449d233e4bf442f

精确所有者

ASL PTO-ARCH-STATE-TRAP-CONTEXT asl/arch/state/trap-context.asl

架构行为

用途与范围

已保存上下文

可恢复性与恢复

架构边界

示例性恢复流程

相关所有者

Evidence index

Decision record

Decision record

Decision record

Decision record

Unit metadata

来源与发布信息

精确所有者