目的与范围
用途与范围
本单元汇集 PTO 编程模型使用的固定命名空间大小，并定义语义 PE 标识与四位 PE 掩码之间的表示桥接规则。
需要核对数量或从标识换算掩码索引时，应查看本页。本单元不定义指令行为或内存排序。
PTO-ARCH-PROGRAMMING-MODEL-CORE-PE-TOPOLOGY
PTO-ARCH-PROGRAMMING-MODEL-CORE-PE-TOPOLOGYASL 伪代码
下面直接显示完整的 ASL 所有者。
// PTO-UNIT: {"id":"PTO-ARCH-PROGRAMMING-MODEL-CORE-PE-TOPOLOGY","surface":"arch","classification":["programming-model","core-pe-topology"],"depends_on":["PTO-ARCH-OVERVIEW-ARCHITECTURE"]}// The five-bit scalar namespace contains 24 absolute GPRs and two four-entry// bundle-local temporary queues (T and U).constant PTO_SCALAR_REGISTER_COUNT = 32;constant PTO_ABSOLUTE_GPR_COUNT = 24;constant PTO_TEMPORARY_QUEUE_DEPTH = 4;constant PTO_PREDICATE_REGISTER_COUNT = 8;constant PTO_PREDICATE_WIDTH = 32;constant PTO_ACR_COUNT = 16;constant PTO_TILE_REGISTER_COUNT = 64;constant PTO_SHARED_TILE_COUNT = 64;constant PTO_MODEL_MEMORY_AGENTS = 4;constant PTO_MODEL_MEMORY_EVENTS = 16;
// Fixed semantic PE identities are numbered PE0..PE3. The architectural// four-bit mask keeps PE0 in its high bit, so consumers that index a mask by// semantic PE identity must use this explicit representation bridge.pure func PTOPEMaskBitOfPEIdentity( pe_identity: integer {0..3}) => integer {0,1,2,3}begin return (3 - pe_identity) as integer {0,1,2,3};end;
架构行为
概念与架构状态
命名空间与标识
标量命名空间有 32 个寄存器编码，其中包括 24 个绝对 GPR，以及两个深度为 4 的临时队列。本单元还固定了 8 个宽度为 32 的谓词寄存器、16 个 ACR、64 个 Tile 寄存器和 64 个 Shared Tile 寄存器。
语义 PE 标识是从 0 到 3 的整数，通常读作 PE0 到 PE3。
规则与交互
标识到掩码的规则
PTOPEMaskBitOfPEIdentity 用 3 减去语义 PE 标识，得到对应的掩码索引。
之所以需要这个桥接，是因为 PE0 位于四位架构掩码的最高位：PE0 映射到位 3，PE1 映射到位 2，PE2 映射到位 1，PE3 映射到位 0。
边界与未定义范围
模型边界
PTO_MODEL_MEMORY_AGENTS 和 PTO_MODEL_MEMORY_EVENTS 把可执行模型分别定为 4 个代理和 16 个事件。其 PTO_MODEL_ 前缀表明这些是模型边界；本页不会把这些值泛化成额外的实现要求。
使用示例
示例性索引示例
当读者从语义 PE2 出发时，应先应用桥接再索引掩码：3 - 2 得到掩码位 1。直接把 2 当作位索引会选中错误的语义 PE。
相关所有者
NDF 条款
正文来自 owning ASL。拖拽或按钮只临时改变当前页面显示顺序。
No NDF clause is attached to this unit.
Evidence index
9 matching entries
Executable evidence1
PTO-ARCH-PROGRAMMING-MODEL-CORE-PE-TOPOLOGY compiles as an independent normative unit
- surfaceARCH
- ownerPTO-ARCH-PROGRAMMING-MODEL-CORE-PE-TOPOLOGY
- categorySTATIC-INVARIANT
- case001
Show exact test source
Sources and references
- Complete stable ID
PTO-AVS-ARCH-PROGRAMMING-MODEL-CORE-PE-TOPOLOGY-STATIC-001- Path
tests/asl/arch/programming-model/core-pe-topology/arch-static-core-pe-topology-contract-001.asl- Kind / role
- static-invariant
- Pass condition
- the complete model and this unit's static invariant compile
- SHA-256
0b0df475a9fbaaba75b00cba8376f3fad6185fda75fb16e10fadad1e51ebfef9
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 history3
Re-encode B.IOT and B.IOS size and PE mode fields · accepted
- decision recordADR
- case0096
Decision record
Loading ADR-0096…
Sources and references
- Complete stable ID
ADR-0096- Path
docs/status/decisions/0096-b-iot-b-ios-sizecode-pemode.md- Affected units
- PTO-ARCH-DATA-TYPES-INTEGER, PTO-ARCH-FEATURES-TILE-ALLOCATION, PTO-ARCH-MEMORY-MODEL-GLOBAL-MEMORY-ACCESS, PTO-ARCH-PROFILE-RESET, PTO-ARCH-PROGRAMMING-MODEL-CORE-PE-TOPOLOGY, PTO-BLOCK-B-IOS, PTO-BLOCK-B-IOT, PTO-BLOCK-MODEL-DISPATCH-COMMANDS, PTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL, PTO-BLOCK-MODEL-DISPATCH-DESTINATION-SHAPE, PTO-BLOCK-MODEL-DISPATCH-SHARED-CUBE-MATRIX, PTO-BLOCK-MODEL-DISPATCH-SHARED-TLSU, PTO-BLOCK-MODEL-OPERANDS-SHARED-BINDINGS, PTO-BLOCK-MODEL-OPERANDS-TILE-BINDINGS, PTO-BLOCK-MODEL-SCHEMA-PROFILE-ENCODING, PTO-BLOCK-MODEL-STATE-TYPES, PTO-TILE-MODEL-DEFINEDNESS-ELEMENTS, PTO-TILE-MODEL-DEFINEDNESS-PACKED-BOUNDARY, PTO-TILE-MODEL-EXECUTION-COMPARISON, PTO-TILE-MODEL-EXECUTION-COMPLEX, PTO-TILE-MODEL-EXECUTION-CUBE, PTO-TILE-MODEL-EXECUTION-ELEMENTWISE, PTO-TILE-MODEL-EXECUTION-EXPANSION, PTO-TILE-MODEL-EXECUTION-FUSED-MULTIPLY-ADD, PTO-TILE-MODEL-EXECUTION-GENERATION, PTO-TILE-MODEL-EXECUTION-IMAGE-TO-COLUMN, PTO-TILE-MODEL-EXECUTION-INDEXED-REARRANGEMENT, PTO-TILE-MODEL-EXECUTION-REARRANGEMENT, PTO-TILE-MODEL-EXECUTION-REDUCTION, PTO-TILE-MODEL-EXECUTION-SORTING, PTO-TILE-MODEL-EXECUTION-UNARY, PTO-TILE-MODEL-LEGALITY-ALLOCATION-CAPACITY, PTO-TILE-MODEL-LEGALITY-DESCRIPTOR-SHAPE, PTO-TILE-MODEL-LEGALITY-IMAGE-TO-COLUMN, PTO-TILE-MODEL-LEGALITY-INDEXED-REARRANGEMENT, PTO-TILE-MODEL-LEGALITY-MATRIX-INFO-DESCRIPTOR, PTO-TILE-MODEL-LEGALITY-MATRIX-POSTPROCESS, PTO-TILE-MODEL-LEGALITY-PE-MASK, PTO-TILE-MODEL-MEMORY-LOAD-STORE, PTO-TILE-MODEL-MEMORY-SHARED-MOVEMENT, PTO-TILE-MODEL-NUMERIC-FORMATS, PTO-TILE-MODEL-ORDERING-SORTING, PTO-TILE-MODEL-SHAPE-VALID-REGION, PTO-TILE-MODEL-STATE-ALLOCATION, PTO-TILE-MODEL-STATE-DESCRIPTORS, PTO-TILE-MODEL-STATE-FEATURE-MAP-DESCRIPTORS, PTO-TILE-MODEL-STATE-SHARED-REGISTERS, PTO-TILE-MODEL-STATE-TYPES, PTO-TILE-TLOAD
- Affected NDF
- PTO-ARCH-GM-ACCESS-001, PTO-B-IOS-SHARED-STATE-001, PTO-B-IOT-STREAM-001, PTO-CUBE-ACCUMULATOR-OUTPUT-001, PTO-TLOAD-CUBE-001, PTO-TLOAD-MEMORY-001
- SHA-256
c4b4fb7bc17878f710015207dc19ddaf22a0cf6989d185b16844714c71e23f62
Local and Shared capacity pools with cooperative M-sharding · accepted
- decision recordADR
- case0097
Decision record
Loading ADR-0097…
Sources and references
- Complete stable ID
ADR-0097- Path
docs/status/decisions/0097-local-shared-capacity-and-cooperative-m-sharding.md- Affected units
- PTO-ARCH-DATA-TYPES-INTEGER, PTO-ARCH-FEATURES-TILE-ALLOCATION, PTO-ARCH-OVERVIEW-ARCHITECTURE, PTO-ARCH-PROGRAMMING-MODEL-CORE-PE-TOPOLOGY, PTO-BLOCK-B-IOS, PTO-BLOCK-B-IOT, PTO-BLOCK-MODEL-DISPATCH-COMMANDS, PTO-BLOCK-MODEL-DISPATCH-CUBE-DESTINATION, PTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL, PTO-BLOCK-MODEL-DISPATCH-DESTINATION-SHAPE, PTO-BLOCK-MODEL-DISPATCH-SHARED-CUBE-MATRIX, PTO-BLOCK-MODEL-OPERANDS-SHARED-BINDINGS, PTO-BLOCK-MODEL-STATE-TYPES, PTO-TILE-MODEL-CAPACITY-LOCAL, PTO-TILE-MODEL-CAPACITY-SHARED, PTO-TILE-MODEL-MEMORY-SHARED-MOVEMENT, PTO-TILE-MODEL-STATE-ALLOCATION, PTO-TILE-MODEL-STATE-DESCRIPTORS, PTO-TILE-MODEL-STATE-SHARED-REGISTERS, PTO-TILE-MODEL-STATE-TYPES
- Affected NDF
- PTO-B-IOS-SHARED-STATE-001, PTO-B-IOT-STREAM-001, PTO-CUBE-GROUP-M-DISTRIBUTION-001, PTO-TILE-CAPACITY-PER-PE
- SHA-256
7de93019f9272a73d5f42e42bec242725edadbcf41ed34a3155d40fb37f0cd14
PTO ISA 0.58.3 to 0.58.4 compatibility boundary · accepted
- decision recordADR
- case0099
Decision record
Loading ADR-0099…
Sources and references
- Complete stable ID
ADR-0099- Path
docs/status/decisions/0099-0583-to-0584-compatibility.md- Affected units
- PTO-ARCH-PROGRAMMING-MODEL-CORE-PE-TOPOLOGY, 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
- Affected NDF
- PTO-B-IOT-STREAM-001, PTO-B-IOS-SHARED-STATE-001, PTO-B-SUBVIEW-RANGE-001, PTO-B-ASSEMBLE-RANGE-001
- SHA-256
f130ce243d978a85dc641580d71505a950a34ce1a561402e74946ed6903ad2a0
Unit metadata
Open 4 generated metadata fields
Open generated traceability record
{
"classification": [
"programming-model",
"core-pe-topology"
],
"documentation": "docs/arch/programming-model/core-pe-topology.md",
"id": "PTO-ARCH-PROGRAMMING-MODEL-CORE-PE-TOPOLOGY",
"mnemonic": null,
"readiness_subjects": [
"ADR-0096",
"ADR-0097",
"ADR-0099"
],
"semantic_tests": [],
"source": "asl/arch/programming-model/core-pe-topology.asl",
"surface": "arch",
"tests": [
"PTO-AVS-ARCH-PROGRAMMING-MODEL-CORE-PE-TOPOLOGY-STATIC-001"
]
}来源与发布信息
展开 commit、路径、hash、版本和规范所有者
- 发布
0.58.5· 候选发布- Commit
7dc8b7e5b121d2b2499a2273bebff29e2cd86812- ASL SHA-256
2c987f6f6573d5da50a569f821dbddcd93ea428f408f59d148ebc5fd3b866447- 生成文档
- docs/site/i18n/zh-CN/docusaurus-plugin-content-docs-reference/current/arch/programming-model/core-pe-topology.md · 已融合到当前页面
- 文档 SHA-256
6babb849aa480dec02519e65e86c426d61ff10eaa3bb2801c25255b8a517c1d6
精确所有者
- ASL PTO-ARCH-PROGRAMMING-MODEL-CORE-PE-TOPOLOGY
asl/arch/programming-model/core-pe-topology.asl