目的与范围
用途与范围 本单元是 Shared Tile 寄存器的具名编程模型所有者,使 Shared Tile 概念拥有稳定的架构标识和导航目标。
概念与架构状态
概念所有权 该所有者自身不包含可执行状态声明或访问辅助函数。其源文件明确把可执行状态交给依赖项定义。
规则与交互
依赖关系 PTO-ARCH-PROGRAMMING-MODEL-SHARED-TILE-REGISTERS 依赖 PTO-ARCH-PROGRAMMING-MODEL-TILE-REGISTERS。需要了解可执行行为时,应阅读该依赖项及其可达的状态所有者。
边界与未定义范围
架构边界 本页不定义 Shared Tile 状态的分配、生存期、容量、别名或指令效果。这些规则必须来自具备所有权的可达 ASL,而不是本解释页面。
使用示例
示例性阅读示例 当问题询问 Shared Tile 寄存器如何变化时,用本页识别具名概念,再沿依赖链接继续查找,直到到达拥有相关状态转换的 ASL 单元。
相关规范所有者
相关所有者
No NDF clause is attached to this unit.
Evidence index Search evidence by identity or path Expand groups Collapse groups
8 matching entries
Executable evidence 1 PTO-ARCH-PROGRAMMING-MODEL-SHARED-TILE-REGISTERS compiles as an independent normative unit surface ARCH owner PTO-ARCH-PROGRAMMING-MODEL-SHARED-TILE-REGISTERS category STATIC-INVARIANT case 001 Copy ID
Show exact test source Sources and references Complete stable ID PTO-AVS-ARCH-PROGRAMMING-MODEL-SHARED-TILE-REGISTERS-STATIC-001Path tests/asl/arch/programming-model/shared-tile-registers/arch-static-shared-tile-registers-contract-001.aslKind / role static-invariant Pass condition the complete model and this unit's static invariant compile SHA-256 35bb87ae5c03922945f02a951f01e8ddf030c728e61f5d15f06be81d5227ac14Open exact source ↗ for PTO-AVS-ARCH-PROGRAMMING-MODEL-SHARED-TILE-REGISTERS-STATIC-001 Commit-scoped evidence 5 spec/evidence/release-traceability-readiness.json · closed PTO-EVIDENCE-RELEASE-TRACEABILITYSources and references Complete stable ID PTO-EVIDENCE-RELEASE-TRACEABILITYPath spec/evidence/release-traceability-readiness.jsonKind / role ASL/NDF/documentation/AVS traceability SHA-256 c7327021d39dc67ac5564bc55073b3870a397d79ac8d9648284d56e33bc14a3eOpen exact source ↗ for PTO-EVIDENCE-RELEASE-TRACEABILITY spec/evidence/instruction-contract-closure.json · closed PTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSURESources and references Complete stable ID PTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSUREPath spec/evidence/instruction-contract-closure.jsonKind / role mnemonic and encoding contract closure SHA-256 3ef2bb62421c79dff8fa77a1c7983923b523244b8090812883ef81286ca8106aOpen exact source ↗ for PTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSURE spec/evidence/architecture-readiness.json · open PTO-EVIDENCE-ARCHITECTURE-READINESSSources and references Complete stable ID PTO-EVIDENCE-ARCHITECTURE-READINESSPath spec/evidence/architecture-readiness.jsonKind / role architecture maturity and blockers SHA-256 4b0b85199101251bea744e0f3591cc31906909dc80d5ab651c417a936036a004Open exact source ↗ for PTO-EVIDENCE-ARCHITECTURE-READINESS 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-READINESSPath spec/evidence/release-gate-readiness.jsonKind / role exact-head gate readiness SHA-256 a0f4d2b6920c08981ea55fd8ef820708a40d4feb5402c5150e8e9ab532d84ce0Open exact source ↗ for PTO-EVIDENCE-RELEASE-GATE-READINESS spec/release-manifest.json · draft PTO-EVIDENCE-RELEASE-MANIFESTSources and references Complete stable ID PTO-EVIDENCE-RELEASE-MANIFESTPath spec/release-manifest.jsonKind / role release content and encoding fingerprints SHA-256 1a64c109ed7a90351c41e2a418b3c0ebaf8ad975838986d2101385186b85c0d8Open exact source ↗ for PTO-EVIDENCE-RELEASE-MANIFEST Decision history 2 Define the PTO architectural state contract · accepted decision record ADR case 0008 Copy ID
Decision record Loading ADR-0008…
Sources and references Complete stable ID ADR-0008Path docs/status/decisions/0008-architectural-state-contract.mdAffected 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 9c33e1b57d0f04c4d808ee61aaf975187a3dbd32a071329ca65a916dc0e614caOpen exact decision source ↗ for ADR-0008 PE-Local Tile Size and 32-bit Shared I/O Binding · accepted decision record ADR case 0054 Copy ID
Decision record Loading ADR-0054…
Sources and references Complete stable ID ADR-0054Path docs/status/decisions/0054-pe-local-tile-size-and-32-bit-shared-io-binding.mdAffected units PTO-ARCH-OVERVIEW-ARCHITECTURE, PTO-ARCH-PROGRAMMING-MODEL-SHARED-TILE-REGISTERS, PTO-ARCH-STATE-TILE-DESCRIPTOR, PTO-BLOCK-B-IOS, PTO-BLOCK-B-IOT, PTO-BLOCK-BSTART-TLOAD, PTO-BLOCK-BSTART-TMOV, PTO-BLOCK-BSTART-TSTORE Affected NDF PTO-ARCH-COMMIT-EVENT-CONFORMANCE-001, PTO-ARCH-STATE-CLOSURE-001, PTO-B-IOS-SHARED-STATE-001, PTO-B-IOT-STREAM-001, PTO-BSTART-TLOAD-CUBE-001, PTO-BSTART-TLOAD-MEMORY-001, PTO-BSTART-TMOV-SHARED-001, PTO-BSTART-TSTORE-CUBE-001, PTO-BSTART-TSTORE-MEMORY-001, PTO-RELEASE-VERIFICATION, PTO-SOURCE-HIERARCHY, PTO-TILE-CAPACITY-PER-PE SHA-256 e16961d1aab87f5046fe49656394168a5c0dd86e85387cd362f24902dd8772acOpen exact decision source ↗ for ADR-0054 Open 4 generated metadata fields Open generated traceability record {
"classification": [
"programming-model",
"shared-tile-registers"
],
"documentation": "docs/arch/programming-model/shared-tile-registers.md",
"id": "PTO-ARCH-PROGRAMMING-MODEL-SHARED-TILE-REGISTERS",
"mnemonic": null,
"readiness_subjects": [
"ADR-0008",
"ADR-0054"
],
"semantic_tests": [],
"source": "asl/arch/programming-model/shared-tile-registers.asl",
"surface": "arch",
"tests": [
"PTO-AVS-ARCH-PROGRAMMING-MODEL-SHARED-TILE-REGISTERS-STATIC-001"
]
}来源与发布信息 展开 commit、路径、hash、版本和规范所有者
发布 0.58.5 · 候选发布
Commit 7dc8b7e5b121d2b2499a2273bebff29e2cd86812
ASL SHA-256 b2802d0449740f79b0bf311ad5c70b1daed25eb232db303a0701d49704aa0e32
文档 SHA-256 87e5af9617b26ca4a3c5d00b7561c58888e2173049f6437a05fcf3da4efac87e