purpose scope
Purpose and scope
This unit defines how a ring number and a low context-register index select an entry in the extended system-register file, plus the PTOv0 read and write helpers for that entry.
PTO-ARCH-SYSTEM-REGISTERS-CONTEXT
PTO-ARCH-SYSTEM-REGISTERS-CONTEXTASL pseudocode
The complete ASL owner is shown directly below.
// 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;
Architecture behavior
concepts state
Context-register index
ContextRegisterIndex and PTOv0ContextRegisterIndex both compute ring * 4096 + low_index. The low index is constrained to 0 through 4095.
The result is a SystemRegisterFileIndex, so each ACR receives one contiguous window of 4096 entries.
rules interactions
PTOv0 reads and writes
PTOv0ReadContextRegister returns _ExtendedSystemRegisters at the computed PTOv0 index. PTOv0WriteContextRegister replaces that same entry with the supplied Word.
boundaries
Architectural boundaries
The two index helpers currently have the same arithmetic.
Keeping a PTOv0-named helper makes the version-specific access path visible to the reader without assigning semantics to individual low indices on this page.
This unit does not define access permission, side effects of particular registers, or reset values.
example usage
illustrative address example
For ACR2 and low index 0x0f08, the selected extended-register index is 2 * 4096 + 0x0f08. Reading and writing through the PTOv0 helpers address that same element.
Related owners
- Access control defines ACR state and is the direct dependency.
- Interrupt registers assigns meanings to low indices
0x0f07,0x0f08, and0x0f09. - Timer registers uses low index
0x0f21for the comparison value.
NDF clauses
Bodies come from owning ASL. Dragging or buttons change only this page-session view order.
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"
]
}Sources and release identity
Show commit, paths, hashes, version, and canonical owners
- Release
0.58.5· Release candidate- Commit
7dc8b7e5b121d2b2499a2273bebff29e2cd86812- Original ASL
- asl/arch/system-registers/context.asl
- ASL SHA-256
957d493d986f37345a38ade133ba905879030b4d88142b2a94054079f9cc7247- Generated documentation
- docs/arch/system-registers/context.md · embedded in this page
- Documentation SHA-256
63e8c3b329f0c822a0e936c82a8319562452d32f44f74198434e23d0b13c659c
Exact owners
- ASL PTO-ARCH-SYSTEM-REGISTERS-CONTEXT
asl/arch/system-registers/context.asl