目的与范围
用途与范围
本单元定义环编号与低位上下文寄存器索引如何选中扩展系统寄存器文件中的条目，并定义该条目的 PTOv0 读写辅助函数。
PTO-ARCH-SYSTEM-REGISTERS-CONTEXT
PTO-ARCH-SYSTEM-REGISTERS-CONTEXTASL 伪代码
下面直接显示完整的 ASL 所有者。
// PTO-UNIT: {"id":"PTO-ARCH-SYSTEM-REGISTERS-CONTEXT","surface":"arch","classification":["system-registers","context"],"depends_on":["PTO-ARCH-SYSTEM-REGISTERS-ACCESS-CONTROL"]}pure func ContextRegisterIndex(ring: AccessControlRing, low_index: integer {0..4095}) => SystemRegisterFileIndexbegin return ((ring * 4096) + low_index) as SystemRegisterFileIndex;end;
pure func PTOv0ContextRegisterIndex(ring: AccessControlRing, low_index: integer {0..4095}) => SystemRegisterFileIndexbegin return ((ring * 4096) + low_index) as SystemRegisterFileIndex;end;
readonly func PTOv0ReadContextRegister(ring: AccessControlRing, low_index: integer {0..4095}) => Wordbegin return _ExtendedSystemRegisters[[ PTOv0ContextRegisterIndex(ring, low_index)]];end;
func PTOv0WriteContextRegister(ring: AccessControlRing, low_index: integer {0..4095}, value: Word)begin _ExtendedSystemRegisters[[PTOv0ContextRegisterIndex(ring, low_index)]] = value;end;
架构行为
概念与架构状态
上下文寄存器索引
ContextRegisterIndex 和 PTOv0ContextRegisterIndex 都计算 ring * 4096 + low_index。低位索引限制在 0 到 4095。
结果类型是 SystemRegisterFileIndex，所以每个 ACR 都得到一个连续的 4096 条目窗口。
规则与交互
PTOv0 读取与写入
PTOv0ReadContextRegister 返回计算所得 PTOv0 索引处的 _ExtendedSystemRegisters。PTOv0WriteContextRegister 用给定 Word 替换同一条目。
边界与未定义范围
架构边界
两个索引辅助函数当前使用相同算术。
保留 PTOv0 具名辅助函数，可以让读者清楚看到版本专用的访问路径，而不在本页给各个低位索引赋予语义。
本单元不定义访问许可、特定寄存器的副作用或复位值。
使用示例
示例性地址示例
对于 ACR2 和低位索引 0x0f08，选中的扩展寄存器索引是 2 * 4096 + 0x0f08。通过 PTOv0 辅助函数进行读写时，访问的是同一个元素。
相关所有者
NDF 条款
正文来自 owning ASL。拖拽或按钮只临时改变当前页面显示顺序。
No NDF clause is attached to this unit.
Evidence index
12 matching entries
Executable evidence2
PTOv0 context access uses the ring-times-4096 plus low-index mapping
- surfaceARCH
- ownerPTO-ARCH-SYSTEM-REGISTERS-CONTEXT
- categorySTATE-TRANSITION
- case001
Show exact test source
Sources and references
- Complete stable ID
PTO-AVS-ARCH-SYSTEM-REGISTERS-CONTEXT-INDEX-001- Path
tests/asl/arch/system-registers/context/arch-state-context-index-001.asl- Kind / role
- state-transition
- Pass condition
- both index helpers agree and PTOv0 read returns the value written at the selected extended-register entry
- SHA-256
cfcc6d60369647214a06d5d2a5fa119761d58818932fd24d0ed9d64cc3fa8632
PTO-ARCH-SYSTEM-REGISTERS-CONTEXT compiles as an independent normative unit
- surfaceARCH
- ownerPTO-ARCH-SYSTEM-REGISTERS-CONTEXT
- categorySTATIC-INVARIANT
- case001
Show exact test source
Sources and references
- Complete stable ID
PTO-AVS-ARCH-SYSTEM-REGISTERS-CONTEXT-STATIC-001- Path
tests/asl/arch/system-registers/context/arch-static-context-contract-001.asl- Kind / role
- static-invariant
- Pass condition
- the complete model and this unit's static invariant compile
- SHA-256
0dd60c8cc018584bbe0e704e8fc74a013b823b43093b0d2e83d62af2fc4e14df
Commit-scoped evidence5
spec/evidence/release-traceability-readiness.json · closed
PTO-EVIDENCE-RELEASE-TRACEABILITYSources 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
spec/evidence/instruction-contract-closure.json · closed
PTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSURESources 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
spec/evidence/architecture-readiness.json · open
PTO-EVIDENCE-ARCHITECTURE-READINESSSources and references
- Complete stable ID
PTO-EVIDENCE-ARCHITECTURE-READINESS- Path
spec/evidence/architecture-readiness.json- Kind / role
- architecture maturity and blockers
- SHA-256
4b0b85199101251bea744e0f3591cc31906909dc80d5ab651c417a936036a004
spec/evidence/release-gate-readiness.json · ready-for-exact-head-verification
PTO-EVIDENCE-RELEASE-GATE-READINESSSources 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
spec/release-manifest.json · draft
PTO-EVIDENCE-RELEASE-MANIFESTSources and references
- Complete stable ID
PTO-EVIDENCE-RELEASE-MANIFEST- Path
spec/release-manifest.json- Kind / role
- release content and encoding fingerprints
- SHA-256
1a64c109ed7a90351c41e2a418b3c0ebaf8ad975838986d2101385186b85c0d8
Decision history5
Use PTO-owned system-register names · accepted
- decision recordADR
- case0003
Decision record
Loading ADR-0003…
Sources and references
- Complete stable ID
ADR-0003- Path
docs/status/decisions/0003-pto-owned-system-register-names.md- Affected units
- PTO-ARCH-SYSTEM-REGISTERS-ACCESS-CONTROL, PTO-ARCH-SYSTEM-REGISTERS-ADDRESSING, PTO-ARCH-SYSTEM-REGISTERS-CONTEXT, PTO-ARCH-SYSTEM-REGISTERS-INTERRUPT, PTO-ARCH-SYSTEM-REGISTERS-MAINTENANCE, PTO-ARCH-SYSTEM-REGISTERS-TIMER, PTO-SCALAR-C-SSRGET, PTO-SCALAR-HL-SSRGET, PTO-SCALAR-HL-SSRSET, PTO-SCALAR-SSRGET, PTO-SCALAR-SSRSET, PTO-SCALAR-SSRSWAP
- Affected NDF
- PTO-C-SSRGET-DIRECT-IDS-001, PTO-HL-SSRGET-DECISION-BINDING-001, PTO-HL-SSRSET-DECISION-BINDING-001, PTO-SSRGET-ADR-CONTRACT-001, PTO-SSRSET-ADR-CONTRACT-001, PTO-SSRSWAP-ADR-CONTRACT-001
- SHA-256
c6a5379776c3b29c25f0896bc56f84d8f5c15832bbba0859b822aa99a65e342d
Define the PTO architectural state contract · accepted
- decision recordADR
- 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
PTO v0 ACR routing and context reset · accepted
- decision recordADR
- case0010
Decision record
Loading ADR-0010…
Sources and references
- Complete stable ID
ADR-0010- Path
docs/status/decisions/0010-acr-routing-and-context-reset.md- Affected units
- PTO-ARCH-PROFILE-RESET, PTO-ARCH-PROGRAMMING-MODEL-EXECUTION-CONTEXT, PTO-ARCH-SYSTEM-REGISTERS-ACCESS-CONTROL, PTO-ARCH-SYSTEM-REGISTERS-ADDRESSING, PTO-ARCH-SYSTEM-REGISTERS-CONTEXT, PTO-ARCH-SYSTEM-REGISTERS-INTERRUPT, PTO-ARCH-SYSTEM-REGISTERS-MAINTENANCE, PTO-ARCH-SYSTEM-REGISTERS-TIMER
- Affected NDF
- PTO-REQ-STATE-001
- SHA-256
7594432a33c54880227fa3ab495bf5b29d406ac3b4e83634ffefe0a713e85f35
Classify every visible system register behavior · accepted
- decision recordADR
- case0017
Decision record
Loading ADR-0017…
Sources and references
- Complete stable ID
ADR-0017- Path
docs/status/decisions/0017-system-register-behavior-classes.md- Affected units
- PTO-ARCH-OVERVIEW-ARCHITECTURE, PTO-ARCH-SYSTEM-REGISTERS-ACCESS-CONTROL, PTO-ARCH-SYSTEM-REGISTERS-ADDRESSING, PTO-ARCH-SYSTEM-REGISTERS-CONTEXT, PTO-ARCH-SYSTEM-REGISTERS-INTERRUPT, PTO-ARCH-SYSTEM-REGISTERS-MAINTENANCE, PTO-ARCH-SYSTEM-REGISTERS-TIMER
- Affected NDF
- PTO-ARCH-COMMIT-EVENT-CONFORMANCE-001, PTO-ARCH-STATE-CLOSURE-001, PTO-RELEASE-VERIFICATION, PTO-SOURCE-HIERARCHY, PTO-TILE-CAPACITY-PER-PE
- SHA-256
6b4f7a29546952e4c5c61b0f4f921b04ecbc8340ba4ad86619277f17da97f95f
Scalar SYS totality and PTO-v0 profile boundaries · accepted
- decision recordADR
- case0031
Decision record
Loading ADR-0031…
Sources and references
- Complete stable ID
ADR-0031- Path
docs/status/decisions/0031-scalar-sys-totality-and-profile-boundaries.md- Affected units
- PTO-ARCH-SYSTEM-REGISTERS-ACCESS-CONTROL, PTO-ARCH-SYSTEM-REGISTERS-ADDRESSING, PTO-ARCH-SYSTEM-REGISTERS-CONTEXT, PTO-ARCH-SYSTEM-REGISTERS-INTERRUPT, PTO-ARCH-SYSTEM-REGISTERS-MAINTENANCE, PTO-ARCH-SYSTEM-REGISTERS-TIMER, 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
5680b3516be6c28a1ccb198c99f5efb66317c65330f6d87434173024d2795a7d
Unit metadata
Open 4 generated metadata fields
Open generated traceability record
{
"classification": [
"system-registers",
"context"
],
"documentation": "docs/arch/system-registers/context.md",
"id": "PTO-ARCH-SYSTEM-REGISTERS-CONTEXT",
"mnemonic": null,
"readiness_subjects": [
"ADR-0003",
"ADR-0008",
"ADR-0010",
"ADR-0017",
"ADR-0031"
],
"semantic_tests": [
"PTO-AVS-ARCH-SYSTEM-REGISTERS-CONTEXT-INDEX-001"
],
"source": "asl/arch/system-registers/context.asl",
"surface": "arch",
"tests": [
"PTO-AVS-ARCH-SYSTEM-REGISTERS-CONTEXT-INDEX-001",
"PTO-AVS-ARCH-SYSTEM-REGISTERS-CONTEXT-STATIC-001"
]
}来源与发布信息
展开 commit、路径、hash、版本和规范所有者
- 发布
0.58.5· 候选发布- Commit
7dc8b7e5b121d2b2499a2273bebff29e2cd86812- ASL SHA-256
957d493d986f37345a38ade133ba905879030b4d88142b2a94054079f9cc7247- 生成文档
- docs/site/i18n/zh-CN/docusaurus-plugin-content-docs-reference/current/arch/system-registers/context.md · 已融合到当前页面
- 文档 SHA-256
a01dc87708badee24eb2e32bc8ad09dd5a6eb3051793a90c08f650f630510245
精确所有者
- ASL PTO-ARCH-SYSTEM-REGISTERS-CONTEXT
asl/arch/system-registers/context.asl