Skip to main content

PTO-ARCH-PROGRAMMING-MODEL-CORE-PE-TOPOLOGY

PTO-ARCH-PROGRAMMING-MODEL-CORE-PE-TOPOLOGY

ASL pseudocode

The complete ASL owner is shown directly below.

// 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;

Architecture behavior

purpose scope

Purpose and scope

This unit collects the fixed namespace sizes used by the PTO programming model and defines the representation bridge between semantic PE identities and the four-bit PE mask.

It is the place to check counts and identity-to-mask indexing. It does not define instruction behavior or memory ordering.

concepts state

Namespaces and identities

The scalar namespace has 32 register encodings, including 24 absolute GPRs and two temporary queues of depth 4. The unit also fixes 8 predicate registers of width 32, 16 ACRs, 64 Tile registers, and 64 Shared Tile registers.

Semantic PE identities are the integers 0 through 3, conventionally read as PE0 through PE3.

rules interactions

Identity-to-mask rule

PTOPEMaskBitOfPEIdentity maps a semantic PE identity to the corresponding mask index by subtracting it from 3.

This bridge is necessary because PE0 occupies the high bit of the four-bit architectural mask: PE0 maps to bit 3, PE1 to bit 2, PE2 to bit 1, and PE3 to bit 0.

boundaries

Model boundaries

PTO_MODEL_MEMORY_AGENTS and PTO_MODEL_MEMORY_EVENTS size the executable model at 4 agents and 16 events. Their PTO_MODEL_ names identify them as model bounds; this page does not generalize those values into additional implementation requirements.

example usage

illustrative indexing example

When a reader starts with semantic PE2, apply the bridge before indexing a mask: 3 - 2 gives mask bit 1. Directly using 2 as the bit index would select the wrong semantic PE.

Related owners

NDF clauses

Bodies come from owning ASL. Dragging or buttons change only this page-session view order.

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
    1. surfaceARCH
    2. ownerPTO-ARCH-PROGRAMMING-MODEL-CORE-PE-TOPOLOGY
    3. categorySTATIC-INVARIANT
    4. 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
    Open exact source ↗ for PTO-AVS-ARCH-PROGRAMMING-MODEL-CORE-PE-TOPOLOGY-STATIC-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 history3
  • Re-encode B.IOT and B.IOS size and PE mode fields · accepted
    1. decision recordADR
    2. 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
    Open exact decision source ↗ for ADR-0096
  • Local and Shared capacity pools with cooperative M-sharding · accepted
    1. decision recordADR
    2. 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
    Open exact decision source ↗ for ADR-0097
  • PTO ISA 0.58.3 to 0.58.4 compatibility boundary · accepted
    1. decision recordADR
    2. 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
    Open exact decision source ↗ for ADR-0099

Unit metadata

Open 4 generated metadata fields
id
PTO-ARCH-PROGRAMMING-MODEL-CORE-PE-TOPOLOGY
surface
arch
classification
[
  "programming-model",
  "core-pe-topology"
]
depends_on
[
  "PTO-ARCH-OVERVIEW-ARCHITECTURE"
]
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"
  ]
}

Sources and release identity

Show commit, paths, hashes, version, and canonical owners
Release
0.58.5 · Release candidate
Commit
7dc8b7e5b121d2b2499a2273bebff29e2cd86812
ASL SHA-256
2c987f6f6573d5da50a569f821dbddcd93ea428f408f59d148ebc5fd3b866447
Generated documentation
docs/arch/programming-model/core-pe-topology.md · embedded in this page
Documentation SHA-256
c48aedb26c403990acdeec4972d9a779bbda6bcc33d1e91b3fec453de4808fe1

Exact owners