跳到主要内容
NDF · contract · accepted

PTO-B-ASSEMBLE-SHARED-STANDALONE-001

以下正文直接来自 canonical NDF owner。

1 个 owner

NDF 条款

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

    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-RANGE-MODIFIERS
    3. categoryB-ASSEMBLE-SHARED-STANDALONE
    4. case001

    规范契约

    contract · L1 · accepted

    A Shared destination with more than one participating PE MUST carry one B.ASSEMBLE modifier. A multi-PE standalone B.IOS destination MUST raise Fault_TileLegality before descriptor, payload, memory, or publication effects. A single-PE standalone destination retains the ordinary B.IOS behavior.

    来源与引用
    完整稳定 ID
    PTO-B-ASSEMBLE-SHARED-STANDALONE-001
    来源路径
    asl/block/model/operands/range-modifiers.asl
    适用单元
    PTO-BLOCK-MODEL-OPERANDS-RANGE-MODIFIERS
    源 SHA-256
    cf4eec08ff8113867c31bc0c7446ea5d0f99d8f3a2e908f259ea605fc46d8b70
    条款 SHA-256
    93b96f7f8fac70e5b33e46f399e0a02b247331331889c2580ad4723841cb1dc7
    打开精确 canonical source ↗

对应 instruction / unit 页面

本地关系邻域

打开完整 NDF 关系浏览器

Evidence index

12 matching entries

Executable evidence6
  • PTO-BLOCK-MODEL-OPERANDS-RANGE-MODIFIERS compiles as an independent normative unit
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-RANGE-MODIFIERS
    3. categorySTATIC-INVARIANT
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-MODEL-OPERANDS-RANGE-MODIFIERS-STATIC-001
    Path
    tests/asl/block/model/operands/range-modifiers/block-static-range-modifiers-contract-001.asl
    Kind / role
    static-invariant
    Requirements
    PTO-B-ASSEMBLE-SHARED-STANDALONE-001
    Pass condition
    the complete model and this unit's static invariant compile
    SHA-256
    95e7fc2f4b4cdbe420feafaf0bd8c64a75297d4dddafe31dcd3d9b12c36d2f7b
    Open exact source ↗ for PTO-AVS-BLOCK-MODEL-OPERANDS-RANGE-MODIFIERS-STATIC-001
  • Multi-PE Shared destinations require B.ASSEMBLE while single-PE standalone B.IOS remains legal.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-OPERANDS-SHARED-GENERATION
    3. categoryFAULT
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-SHARED-STANDALONE-COMPAT-001
    Path
    tests/asl/block/model/operands/shared-generation/block-fault-shared-standalone-001.asl
    Kind / role
    fault
    Requirements
    PTO-B-ASSEMBLE-SHARED-STANDALONE-001, PTO-B-ASSEMBLE-SHARED-GENERATION-001
    Pass condition
    A decoded all-PE standalone TLOAD faults before memory or Shared effects, a single-PE standalone form succeeds, and an all-PE INIT_LAST form publishes atomically.
    SHA-256
    86c2349b23fcc3093e7404699b5f1daeafec5e6b0da0241ad8467ffaecd40ba2
    Open exact source ↗ for PTO-AVS-BLOCK-SHARED-STANDALONE-COMPAT-001
  • Shared TLSU loads and stores use per-PE size and LB stride defaults
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-SHARED-TLSU
    3. categoryEXECUTION
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-SHARED-TLSU-GM-EXEC-001
    Path
    tests/asl/block/model/dispatch/shared-tlsu/block-exec-shared-tlsu-001.asl
    Kind / role
    execution
    Requirements
    PTO-INST-BLOCK-B-ASSEMBLE, PTO-B-ASSEMBLE-SHARED-STANDALONE-001
    Pass condition
    collective GM-to-Shared assembly, Shared-to-GM, and LB2 stride assertions hold
    SHA-256
    cdcaba84f1436e4fdae6b5d2a8bd1c455aacc499ad0ce04870f19ce2d15ce95e
    Open exact source ↗ for PTO-AVS-BLOCK-SHARED-TLSU-GM-EXEC-001
  • Shared TLOAD resolves B.IOR base and stride independently in every selected PE GPR file.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-SHARED-TLSU
    3. categoryEXECUTION
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-SHARED-TLSU-PER-PE-GM-EXECUTION-001
    Path
    tests/asl/block/model/dispatch/shared-tlsu/block-exec-per-pe-gm-001.asl
    Kind / role
    execution
    Requirements
    PTO-ARCH-GM-ACCESS-001, PTO-INST-TILE-TLOAD, PTO-INST-BLOCK-B-ASSEMBLE, PTO-B-ASSEMBLE-SHARED-STANDALONE-001
    Pass condition
    Four fixed Shared quarters assemble from four PE-private base/stride pairs selected by the same encoded RegSrc fields.
    SHA-256
    b398421107121b5551c5e9cc77949c2ceed6275f03543a55a422925c0d6801aa
    Open exact source ↗ for PTO-AVS-BLOCK-SHARED-TLSU-PER-PE-GM-EXECUTION-001
  • Canonical TMOV publishes an assembled Shared parent and reads it through Function 2.
    1. surfaceBLOCK
    2. ownerPTO-BLOCK-MODEL-DISPATCH-SHARED-TLSU
    3. categoryEXECUTION
    4. case003
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-SHARED-TLSU-PUBLISH-EXEC-003
    Path
    tests/asl/block/model/dispatch/shared-tlsu/block-exec-shared-tlsu-publish-003.asl
    Kind / role
    execution
    Requirements
    PTO-INST-BLOCK-B-ASSEMBLE, PTO-B-ASSEMBLE-SHARED-STANDALONE-001
    Pass condition
    INIT_LAST publishes atomically and two canonical Shared-to-Local reads preserve the complete descriptor and payload.
    SHA-256
    683e9b44bbce3e0a7711243009be11f4637056b56ad8eb8a07ba1eb4b616fcc0
    Open exact source ↗ for PTO-AVS-BLOCK-SHARED-TLSU-PUBLISH-EXEC-003
  • Shared TLOAD uses the selected PE-private base and byte-stride GPRs and updates only selected quarters.
    1. surfaceBLOCK
    2. ownerBSTART.TLOAD
    3. categoryEXECUTION
    4. case001
    Show exact test source
    Sources and references
    Complete stable ID
    PTO-AVS-BLOCK-TLOAD-SHARED-001
    Path
    tests/asl/block/execution/BSTART.TLOAD/block-exec-bstart-tload-shared-001.asl
    Kind / role
    execution
    Requirements
    PTO-INST-BLOCK-BSTART-TLOAD, PTO-INST-TILE-TLOAD, PTO-INST-BLOCK-B-ASSEMBLE, PTO-B-ASSEMBLE-SHARED-STANDALONE-001
    Pass condition
    Mask 0011 assembles quarters zero and one from PE0 and PE1 while the other Shared quarters remain uninitialized.
    SHA-256
    6e213a64db5143c6397695395febedda54f98992ef132c350b158b9fa9b372a3
    Open exact source ↗ for PTO-AVS-BLOCK-TLOAD-SHARED-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
  • B.SUBVIEW and B.ASSEMBLE range-modifier association · accepted
    1. decision recordADR
    2. case0098

    Decision record

    Loading ADR-0098…

    Sources and references
    Complete stable ID
    ADR-0098
    Path
    docs/status/decisions/0098-b-range-modifiers.md
    Affected units
    PTO-ARCH-PROFILE-RESET, 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, PTO-BLOCK-MODEL-OPERANDS-SHARED-BINDINGS, PTO-BLOCK-MODEL-OPERANDS-TILE-BINDINGS, PTO-BLOCK-MODEL-STATE-CONTROL-STATE, PTO-BLOCK-MODEL-STATE-DESCRIPTOR-STATE, PTO-BLOCK-MODEL-STATE-TYPES, PTO-ARCH-DATA-TYPES-TRAP-CONTEXT, PTO-ARCH-PROFILE-REFERENCE-PROFILE, PTO-ARCH-PROFILE-TRAP-CONTEXT-RECOVERY, PTO-ARCH-STATE-TRAP-CONTEXT, PTO-BLOCK-MODEL-DISPATCH-TILE-EXECUTION, PTO-BLOCK-MODEL-DISPATCH-TILE-SCHEMA, PTO-BLOCK-MODEL-FAULTS-ROLLBACK, PTO-BLOCK-MODEL-LIFECYCLE-RESET, PTO-BLOCK-MODEL-OPERANDS-LOCAL-GENERATION, PTO-BLOCK-MODEL-OPERANDS-SHARED-GENERATION, PTO-BLOCK-MODEL-OPERANDS-PORTABLE-CARRIERS, PTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR, PTO-BLOCK-MODEL-STATE-SHARED-GENERATION, PTO-TILE-MODEL-LEGALITY-MATRIX-POSTPROCESS
    Affected NDF
    PTO-B-IOT-STREAM-001, PTO-B-IOS-SHARED-STATE-001, PTO-B-SUBVIEW-RANGE-001, PTO-B-ASSEMBLE-RANGE-001, PTO-B-SUBVIEW-DESCRIPTOR-001, PTO-BLOCK-TILE-OPERATION-APPLICABILITY-001, PTO-B-ASSEMBLE-LOCAL-GENERATION-001, PTO-B-ASSEMBLE-SHARED-GENERATION-001, PTO-B-ASSEMBLE-SHARED-STANDALONE-001, PTO-B-ASSEMBLE-CONSUMER-READINESS-001, PTO-B-ASSEMBLE-SPECULATION-001, PTO-B-ASSEMBLE-PRODUCER-EFFECT-ELIGIBILITY-001
    SHA-256
    e194ccc6b6922fd4b65066b533f5e4b0eba094e099970059bca8e25b4e466fba
    Open exact decision source ↗ for ADR-0098
显示 canonical path 与 hash

asl/block/model/operands/range-modifiers.asl:214

Source SHA-256: cf4eec08ff8113867c31bc0c7446ea5d0f99d8f3a2e908f259ea605fc46d8b70

Clause SHA-256: 93b96f7f8fac70e5b33e46f399e0a02b247331331889c2580ad4723841cb1dc7