目的与范围
目的与范围
本单元定义基础系统寄存器、访问类别以及缓存/TLB 维护操作的共享符号命名空间。
它只提供类型化身份；地址映射、访问控制、寄存器状态和维护效果由其他归属单元定义。
PTO-ARCH-DATA-TYPES-SYSTEM-REGISTERS
PTO-ARCH-DATA-TYPES-SYSTEM-REGISTERSASL 伪代码
下面直接显示完整的 ASL 所有者。
// PTO-UNIT: {"id":"PTO-ARCH-DATA-TYPES-SYSTEM-REGISTERS","surface":"arch","classification":["data-types","system-registers"],"depends_on":["PTO-ARCH-DATA-TYPES-MEMORY-OPERATIONS"]}type SystemRegister of enumeration { SystemRegister_THREAD_PTR, SystemRegister_GLOBAL_PTR, SystemRegister_TIME, SystemRegister_CORE_STATE, SystemRegister_CORE_ID, SystemRegister_THREAD_ID, SystemRegister_VENDOR, SystemRegister_VERSION, SystemRegister_CORE_FEATURE, SystemRegister_CORE_FEATURE_ENABLE, SystemRegister_TILE_CAPACITY, SystemRegister_BLOCKNUM, SystemRegister_BLOCKID, SystemRegister_CYCLE};
type SystemRegisterAccess of enumeration { SystemRegisterAccess_Unknown, SystemRegisterAccess_ReadOnly, SystemRegisterAccess_WriteOnly, SystemRegisterAccess_ReadWrite};
type MaintenanceOperation of enumeration { Maintenance_DC_IALL, Maintenance_DC_IVA, Maintenance_DC_ISW, Maintenance_DC_ZVA, Maintenance_DC_CVA, Maintenance_DC_CIVA, Maintenance_DC_CSW, Maintenance_DC_CISW, Maintenance_IC_IALL, Maintenance_IC_IVA, Maintenance_BC_IALL, Maintenance_BC_IVA, Maintenance_TLB_IV, Maintenance_TLB_IAV, Maintenance_TLB_IA, Maintenance_TLB_IALL};
架构行为
概念与架构状态
概念与可见状态
SystemRegister命名线程/全局指针、时间/周期、核/线程身份、厂商/版本/特性、Tile 容量以及块身份寄存器。SystemRegisterAccess区分未知、只读、只写和可读写四种访问类别。MaintenanceOperation命名数据缓存、指令缓存、束缓存和 TLB 的失效或清理变体。
规则与交互
规则与交互
枚举成员只标识寄存器或操作，并不分配编码地址。
访问类别与当前访问控制环以及具体读写行为彼此独立。
维护变体保持相互独立，包括已声明的全缓存、虚拟地址和组/路形式。
边界与未定义范围
架构边界
本单元不创建系统寄存器文件，也不规定复位值；这些契约应查阅状态和寻址归属单元。
声明某个维护操作身份并不自动保证相应指令可用，也不定义纪元变化；这些效果由执行归属单元提供。
使用示例
示例性阅读示例
SystemRegister_TIME 命名一个系统寄存器。
其架构地址和数值行为分别由寻址归属单元及计时器/状态归属单元定义。
Maintenance_TLB_IALL 标识全部表项 TLB 操作。
调用该操作的指令仍负责定义合法性、操作数和可见的维护状态变化。
相关归属单元
NDF 条款
正文来自 owning ASL。拖拽或按钮只临时改变当前页面显示顺序。
No NDF clause is attached to this unit.
Evidence index
7 matching entries
Executable evidence2
PTO-ARCH-DATA-TYPES-SYSTEM-REGISTERS compiles as an independent normative unit
- surfaceARCH
- ownerPTO-ARCH-DATA-TYPES-SYSTEM-REGISTERS
- categorySTATIC-INVARIANT
- case001
Show exact test source
Sources and references
- Complete stable ID
PTO-AVS-ARCH-DATA-TYPES-SYSTEM-REGISTERS-STATIC-001- Path
tests/asl/arch/data-types/system-registers/arch-static-system-registers-contract-001.asl- Kind / role
- static-invariant
- Pass condition
- the complete model and this unit's static invariant compile
- SHA-256
38595ee185c2a60f53c1891789873305fa99d6f671b799d52730da905a2074b6
Covers System Register Reset And Access.
- surfaceARCH
- ownerPTO-ARCH-DATA-TYPES-SYSTEM-REGISTERS
- categorySTATE-TRANSITION
- case001
Show exact test source
Sources and references
- Complete stable ID
PTO-AVS-ARCH-SYSREG-RESET-ACCESS-001- Path
tests/asl/arch/data-types/system-registers/arch-state-register-reset-and-access-001.asl- Kind / role
- state-transition
- Pass condition
- ValidateSystemRegisterResetAndAccess completes without assertion failure
- SHA-256
046651bc0c9c22947339f8cbf2f8cd529277ad1c694f0bbd8e4042125b1369c5
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
Unit metadata
Open 4 generated metadata fields
Open generated traceability record
{
"classification": [
"data-types",
"system-registers"
],
"documentation": "docs/arch/data-types/system-registers.md",
"id": "PTO-ARCH-DATA-TYPES-SYSTEM-REGISTERS",
"mnemonic": null,
"readiness_subjects": [],
"semantic_tests": [
"PTO-AVS-ARCH-SYSREG-RESET-ACCESS-001"
],
"source": "asl/arch/data-types/system-registers.asl",
"surface": "arch",
"tests": [
"PTO-AVS-ARCH-DATA-TYPES-SYSTEM-REGISTERS-STATIC-001",
"PTO-AVS-ARCH-SYSREG-RESET-ACCESS-001"
]
}来源与发布信息
展开 commit、路径、hash、版本和规范所有者
- 发布
0.58.5· 候选发布- Commit
7dc8b7e5b121d2b2499a2273bebff29e2cd86812- ASL SHA-256
c1f9c741dd9e4f1d18eba487fc0a536bf3b5911b5c02909808d959ea8476f6b7- 生成文档
- docs/site/i18n/zh-CN/docusaurus-plugin-content-docs-reference/current/arch/data-types/system-registers.md · 已融合到当前页面
- 文档 SHA-256
f902a3f56d8207e7d2ca2fdc3206ade2705dbd56f58fcc133cf8b1f4ced86a17
精确所有者
- ASL PTO-ARCH-DATA-TYPES-SYSTEM-REGISTERS
asl/arch/data-types/system-registers.asl