跳到主要内容

PTO-ARCH-PROGRAMMING-MODEL-TILE-REGISTERS

PTO-ARCH-PROGRAMMING-MODEL-TILE-REGISTERS

ASL 伪代码

下面直接显示完整的 ASL 所有者。

// PTO-UNIT: {"id":"PTO-ARCH-PROGRAMMING-MODEL-TILE-REGISTERS","surface":"arch","classification":["programming-model","tile-registers"],"depends_on":["PTO-ARCH-FEATURES-PREDICATION"]}// This unit owns the named architecture concept; executable state is defined by its dependencies.

架构行为

目的与范围

用途与范围

本单元是 Tile 寄存器的具名编程模型所有者，并提供从编程模型术语进入可执行架构所有者的稳定路径。

概念与架构状态

概念所有权

本单元不声明独立的 Tile 寄存器存储或访问过程。其源文件表明可执行状态由依赖项定义。

规则与交互

依赖关系

PTO-ARCH-PROGRAMMING-MODEL-TILE-REGISTERS 依赖 PTO-ARCH-FEATURES-PREDICATION。由依赖图而非补充说明决定哪个可达 ASL 所有者提供具体状态规则。

边界与未定义范围

架构边界

这个概念页面不指定 Tile 形状、数据、有效性、容量、谓词结果或指令效果。读者必须到相关功能、状态和指令所有者中查找这些契约。

使用示例

示例性阅读示例

对于 Tile 寄存器谓词问题，先从本页确认编程模型术语，再沿谓词依赖继续查找，最后用生成的 ASL 及其 AVS 引用检查实际所有者。

NDF 条款

正文来自 owning ASL。拖拽或按钮只临时改变当前页面显示顺序。

No NDF clause is attached to this unit.

Evidence index

8 matching entries

Executable evidence2
  • PTO-ARCH-PROGRAMMING-MODEL-TILE-REGISTERS compiles as an independent normative unit
    1. surfaceARCH
    2. ownerPTO-ARCH-PROGRAMMING-MODEL-TILE-REGISTERS
    3. categorySTATIC-INVARIANT
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-PROGRAMMING-MODEL-TILE-REGISTERS-STATIC-001
    Path
    tests/asl/arch/programming-model/tile-registers/arch-static-tile-registers-contract-001.asl
    Kind / role
    static-invariant
    Pass condition
    the complete model and this unit's static invariant compile
    SHA-256
    aba2f93c142c8bfa8b0307b11d54a11d2a01f54a70be5284cd61509d67cafa03
    Open exact source ↗ for PTO-AVS-ARCH-PROGRAMMING-MODEL-TILE-REGISTERS-STATIC-001
  • Covers Tile Register Mapping.
    1. surfaceARCH
    2. ownerPTO-ARCH-PROGRAMMING-MODEL-TILE-REGISTERS
    3. categorySTATE-TRANSITION
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-ARCH-TESTTILEREGISTERMAPPING-STATE-TRANSITION-001
    Path
    tests/asl/arch/programming-model/tile-registers/arch-state-register-mapping-001.asl
    Kind / role
    state-transition
    Pass condition
    TestTileRegisterMapping completes without assertion failure
    SHA-256
    cdc3d16b417d59503bece912a372d087a3a377b9041a0231cb03961158a1938c
    Open exact source ↗ for PTO-AVS-ARCH-TESTTILEREGISTERMAPPING-STATE-TRANSITION-001
Commit-scoped evidence5
  • spec/evidence/release-traceability-readiness.json · closedPTO-EVIDENCE-RELEASE-TRACEABILITY
    Sources 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
    Open exact source ↗ for PTO-EVIDENCE-RELEASE-TRACEABILITY
  • spec/evidence/instruction-contract-closure.json · closedPTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSURE
    Sources 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
    Open exact source ↗ for PTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSURE
  • spec/evidence/architecture-readiness.json · openPTO-EVIDENCE-ARCHITECTURE-READINESS
    Sources and references
    Complete stable ID
    PTO-EVIDENCE-ARCHITECTURE-READINESS
    Path
    spec/evidence/architecture-readiness.json
    Kind / role
    architecture maturity and blockers
    SHA-256
    4b0b85199101251bea744e0f3591cc31906909dc80d5ab651c417a936036a004
    Open exact source ↗ for PTO-EVIDENCE-ARCHITECTURE-READINESS
  • spec/evidence/release-gate-readiness.json · ready-for-exact-head-verificationPTO-EVIDENCE-RELEASE-GATE-READINESS
    Sources 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
    Open exact source ↗ for PTO-EVIDENCE-RELEASE-GATE-READINESS
  • spec/release-manifest.json · draftPTO-EVIDENCE-RELEASE-MANIFEST
    Sources and references
    Complete stable ID
    PTO-EVIDENCE-RELEASE-MANIFEST
    Path
    spec/release-manifest.json
    Kind / role
    release content and encoding fingerprints
    SHA-256
    1a64c109ed7a90351c41e2a418b3c0ebaf8ad975838986d2101385186b85c0d8
    Open exact source ↗ for PTO-EVIDENCE-RELEASE-MANIFEST
Decision history1
  • Define the PTO architectural state contract · accepted
    1. decision recordADR
    2. 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
    Open exact decision source ↗ for ADR-0008

Unit metadata

Open 4 generated metadata fields
id
PTO-ARCH-PROGRAMMING-MODEL-TILE-REGISTERS
surface
arch
classification
[
  "programming-model",
  "tile-registers"
]
depends_on
[
  "PTO-ARCH-FEATURES-PREDICATION"
]
Open generated traceability record
{
  "classification": [
    "programming-model",
    "tile-registers"
  ],
  "documentation": "docs/arch/programming-model/tile-registers.md",
  "id": "PTO-ARCH-PROGRAMMING-MODEL-TILE-REGISTERS",
  "mnemonic": null,
  "readiness_subjects": [
    "ADR-0008"
  ],
  "semantic_tests": [
    "PTO-AVS-ARCH-TESTTILEREGISTERMAPPING-STATE-TRANSITION-001"
  ],
  "source": "asl/arch/programming-model/tile-registers.asl",
  "surface": "arch",
  "tests": [
    "PTO-AVS-ARCH-PROGRAMMING-MODEL-TILE-REGISTERS-STATIC-001",
    "PTO-AVS-ARCH-TESTTILEREGISTERMAPPING-STATE-TRANSITION-001"
  ]
}

来源与发布信息

展开 commit、路径、hash、版本和规范所有者
发布
0.58.5 · 候选发布
Commit
7dc8b7e5b121d2b2499a2273bebff29e2cd86812
原始 ASL
asl/arch/programming-model/tile-registers.asl
ASL SHA-256
59452d3b3b708dc43f6ec4f930b1c7153d6d5247a93119669527bd29b26ec99e
生成文档
docs/site/i18n/zh-CN/docusaurus-plugin-content-docs-reference/current/arch/programming-model/tile-registers.md · 已融合到当前页面
文档 SHA-256
40de1451d23cf0aac1a8220b9f0df4bd85603967ae3f8ab654fae9d1ef477eec

精确所有者