PTO-TILE-MODEL-STATE-ALLOCATION

PTO-TILE-MODEL-STATE-ALLOCATION

ASL pseudocode

The complete ASL owner is shown directly below.

1// PTO-UNIT: {"id":"PTO-TILE-MODEL-STATE-ALLOCATION","surface":"tile","classification":["model","state","allocation"],"depends_on":["PTO-TILE-MODEL-SHAPE-VALID-REGION","PTO-TILE-MODEL-STATE-FEATURE-MAP-DESCRIPTORS"]}2func ConfigureTileForMask(index: TileIndex,3                   capacity_bytes: integer {0..262144},4                   rows: integer {0..65535}, columns: integer {0..65535},5                   valid_rows: integer {0..65535}, valid_columns: integer {0..65535},6                   data_type: TileDataType, layout: TileLayout,7                   location: TileLocation, allocation_mask: bits(4))8begin9    assert TileCapacityIsLegal(capacity_bytes);10    assert allocation_mask != Zeros{4};11    assert rows > 0;12    assert valid_rows <= rows;13    assert TileDescriptorShapeLegal(capacity_bytes, columns, valid_rows,14        valid_columns, data_type);15    let derived_rows = DerivedTileRows(capacity_bytes, columns, data_type);16    assert rows <= derived_rows;17    assert derived_rows * columns <=18        TileLogicalElementCapacity(capacity_bytes, data_type);19    assert LocalTileAllocationFitsExcept(20        index, allocation_mask, capacity_bytes);21    InvalidateTileFeatureMapDescriptor(index);22    _TileAllocationMasks[[index]] = allocation_mask;23    _Tiles[[index]].allocated = TRUE;24    _Tiles[[index]].storage_kind = TileStorage_Numeric;25    // Allocation defines TileInfo but not the payload. A producer must write26    // the tile before any generic payload read is legal.27    _Tiles[[index]].contents_defined = FALSE;28    _Tiles[[index]].defined_elements = Zeros{PTO_MODEL_TILE_ELEMENTS};29    _Tiles[[index]].defined_valid_elements = 0;30    _Tiles[[index]].packed_defined_elements =31        ZeroPackedTileDefinedElements();32    _Tiles[[index]].capacity_bytes = capacity_bytes;33    _Tiles[[index]].rows = derived_rows;34    _Tiles[[index]].columns = columns;35    _Tiles[[index]].valid_rows = valid_rows;36    _Tiles[[index]].valid_columns = valid_columns;37    _Tiles[[index]].data_type = data_type;38    _Tiles[[index]].layout = layout;39    _Tiles[[index]].location = location;40    _Tiles[[index]].cube_k_repeat = 0;41    _Tiles[[index]].cube_n_repeat = 0;42    _Tiles[[index]].cube_cell_count = 0;43    _Tiles[[index]].cube_storage_bytes = 0;44end;45
46pure func PredicateTileStorageBytes(47    rows: integer {0..65535},48    columns: integer {0..65535}) => integer49begin50    return ((rows * columns) + 7) DIVRM 8;51end;52
53func ConfigurePredicateTileForMask(54    index: TileIndex,55    capacity_bytes: integer {0..262144},56    rows: integer {0..65535},57    columns: integer {0..65535},58    valid_rows: integer {0..65535},59    valid_columns: integer {0..65535},60    allocation_mask: bits(4))61begin62    assert TileCapacityIsLegal(capacity_bytes);63    assert allocation_mask != Zeros{4};64    assert rows > 0 && columns > 0;65    assert valid_rows <= rows && valid_columns <= columns;66    assert rows * columns <= PTO_MODEL_TILE_ELEMENTS;67    assert PredicateTileStorageBytes(rows, columns) <= capacity_bytes;68    assert LocalTileAllocationFitsExcept(69        index, allocation_mask, capacity_bytes);70    InvalidateTileFeatureMapDescriptor(index);71    _TileAllocationMasks[[index]] = allocation_mask;72    _Tiles[[index]].allocated = TRUE;73    _Tiles[[index]].storage_kind = TileStorage_Predicate;74    _Tiles[[index]].contents_defined = FALSE;75    _Tiles[[index]].defined_elements = Zeros{PTO_MODEL_TILE_ELEMENTS};76    _Tiles[[index]].defined_valid_elements = 0;77    _Tiles[[index]].packed_defined_elements =78        ZeroPackedTileDefinedElements();79    _Tiles[[index]].capacity_bytes = capacity_bytes;80    _Tiles[[index]].rows = rows;81    _Tiles[[index]].columns = columns;82    _Tiles[[index]].valid_rows = valid_rows;83    _Tiles[[index]].valid_columns = valid_columns;84    _Tiles[[index]].data_type = TileDataType_U8;85    _Tiles[[index]].layout = TileLayout_RowMajor;86    _Tiles[[index]].location = TileLocation_Any;87    _Tiles[[index]].cube_k_repeat = 0;88    _Tiles[[index]].cube_n_repeat = 0;89    _Tiles[[index]].cube_cell_count = 0;90    _Tiles[[index]].cube_storage_bytes = 0;91end;92
93func ConfigurePredicateTile(94    index: TileIndex,95    capacity_bytes: integer {0..262144},96    rows: integer {0..65535},97    columns: integer {0..65535},98    valid_rows: integer {0..65535},99    valid_columns: integer {0..65535})100begin101    ConfigurePredicateTileForMask(102        index,103        capacity_bytes,104        rows,105        columns,106        valid_rows,107        valid_columns,108        '0001');109end;110
111func ConfigureTile(index: TileIndex, capacity_bytes: integer {0..262144},112                   rows: integer {0..65535}, columns: integer {0..65535},113                   valid_rows: integer {0..65535}, valid_columns: integer {0..65535},114                   data_type: TileDataType, layout: TileLayout, location: TileLocation)115begin116    // Direct one-level operations model the already-resolved current-PE117    // fragment and therefore charge one PE of capacity.118    ConfigureTileForMask(index, capacity_bytes, rows, columns,119        valid_rows, valid_columns, data_type, layout, location, '0001');120end;121
122func ConfigureCubeTileForMask(123    index: TileIndex,124    capacity_bytes: integer {0..262144},125    valid_rows: integer {0..65535},126    valid_columns: integer {0..65535},127    data_type: TileDataType,128    layout: TileLayout,129    location: TileLocation,130    allocation_mask: bits(4)) => boolean131begin132    if allocation_mask == Zeros{4} || location != TileLocation_Matrix ||133       !TileCubeDescriptorShapeLegal(capacity_bytes, valid_rows,134           valid_columns, data_type, layout) then135        return FALSE;136    end;137    if !LocalTileAllocationFitsExcept(138           index, allocation_mask, capacity_bytes) then139        return FALSE;140    end;141    let rows = TileCubeStorageRows(layout, valid_rows, data_type);142    let columns = TileCubeStorageColumns(layout, valid_columns, data_type);143    let k_repeat = TileCubeKRepeat(144        layout, valid_rows, valid_columns, data_type);145    let n_repeat = TileCubeNRepeat(146        layout, valid_rows, valid_columns, data_type);147    let cell_count = TileCubeCellCount(148        layout, valid_rows, valid_columns, data_type);149    let storage_bytes = TileCubeRequiredBytes(150        layout, valid_rows, valid_columns, data_type);151    assert rows != 0 && columns != 0 && k_repeat != 0 &&152           n_repeat != 0 && cell_count != 0 && storage_bytes != 0;153    InvalidateTileFeatureMapDescriptor(index);154    _TileAllocationMasks[[index]] = allocation_mask;155    _Tiles[[index]].allocated = TRUE;156    _Tiles[[index]].storage_kind = TileStorage_Numeric;157    _Tiles[[index]].contents_defined = FALSE;158    _Tiles[[index]].defined_elements = Zeros{PTO_MODEL_TILE_ELEMENTS};159    _Tiles[[index]].defined_valid_elements = 0;160    _Tiles[[index]].capacity_bytes = capacity_bytes;161    _Tiles[[index]].rows = rows;162    _Tiles[[index]].columns = columns;163    _Tiles[[index]].valid_rows = valid_rows;164    _Tiles[[index]].valid_columns = valid_columns;165    _Tiles[[index]].data_type = data_type;166    _Tiles[[index]].layout = layout;167    _Tiles[[index]].location = location;168    _Tiles[[index]].cube_k_repeat = k_repeat;169    _Tiles[[index]].cube_n_repeat = n_repeat;170    _Tiles[[index]].cube_cell_count = cell_count;171    _Tiles[[index]].cube_storage_bytes = storage_bytes;172    return TRUE;173end;174
175func ConfigureCubeTile(176    index: TileIndex,177    capacity_bytes: integer {0..262144},178    valid_rows: integer {0..65535},179    valid_columns: integer {0..65535},180    data_type: TileDataType,181    layout: TileLayout,182    location: TileLocation) => boolean183begin184    return ConfigureCubeTileForMask(index, capacity_bytes, valid_rows,185        valid_columns, data_type, layout, location, '0001');186end;187
188func ReleaseTile(index: TileIndex)189begin190    InvalidateTileFeatureMapDescriptor(index);191    _TileAllocationMasks[[index]] = Zeros{4};192    _Tiles[[index]].allocated = FALSE;193    _Tiles[[index]].storage_kind = TileStorage_Numeric;194    _Tiles[[index]].contents_defined = FALSE;195    _Tiles[[index]].defined_elements = Zeros{PTO_MODEL_TILE_ELEMENTS};196    _Tiles[[index]].defined_valid_elements = 0;197    _Tiles[[index]].packed_defined_elements =198        ZeroPackedTileDefinedElements();199    _Tiles[[index]].capacity_bytes = 0;200    _Tiles[[index]].rows = 0;201    _Tiles[[index]].columns = 0;202    _Tiles[[index]].valid_rows = 0;203    _Tiles[[index]].valid_columns = 0;204    _Tiles[[index]].data_type = TileDataType_U8;205    _Tiles[[index]].layout = TileLayout_RowMajor;206    _Tiles[[index]].location = TileLocation_Any;207    _Tiles[[index]].cube_k_repeat = 0;208    _Tiles[[index]].cube_n_repeat = 0;209    _Tiles[[index]].cube_cell_count = 0;210    _Tiles[[index]].cube_storage_bytes = 0;211end;212

Architecture behavior

This internal model unit is documented through its normative ASL/NDF owners and validation evidence; it has no reader-guide migration target.

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

11 matching entries

Executable evidence4

CUBE allocation publishes persistent aligned descriptor geometry without defining payload
1. surfaceTILE
2. ownerPTO-TILE-MODEL-STATE-ALLOCATION
3. categorySTATE-TRANSITION
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-TILE-CUBE-ALLOCATE-001
Path
tests/asl/tile/model/state/allocation/tile-state-cube-allocate-001.asl
Kind / role
state-transition
Requirements
PTO-CUBE-CELL-STATE-001
Pass condition
a 13 by 19 FP16 N8 Tile records 16 by 24 storage six CELLs and zero defined valid elements
SHA-256
98b1a87c3736c35aec627bd9249037ac3ebdd39f43949bd6ece2634e71c95f28
Open exact source ↗ for PTO-AVS-TILE-CUBE-ALLOCATE-001
Persistent CUBE layouts are legal only in Local Matrix storage
1. surfaceTILE
2. ownerPTO-TILE-MODEL-STATE-ALLOCATION
3. categoryFAULT
4. case003
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-TILE-CUBE-LOCATION-003
Path
tests/asl/tile/model/state/allocation/tile-fault-cube-location-003.asl
Kind / role
fault
Requirements
PTO-CUBE-CELL-STATE-001
Pass condition
Vector configuration rejects without allocation and a location-mutated descriptor fails CUBE legality
SHA-256
06248ca5f81661c842628ada347c465a4b869d849dbfffbfbd8a49cab84a0220
Open exact source ↗ for PTO-AVS-TILE-CUBE-LOCATION-003
Rejected CUBE reconfiguration preserves the complete existing Tile and capacity accounting
1. surfaceTILE
2. ownerPTO-TILE-MODEL-STATE-ALLOCATION
3. categoryFAULT
4. case002
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-TILE-CUBE-RECONFIGURE-002
Path
tests/asl/tile/model/state/allocation/tile-fault-cube-reconfigure-002.asl
Kind / role
fault
Requirements
PTO-CUBE-CELL-STATE-001
Pass condition
an undersized N8 replacement returns false without changing descriptor payload definedness mask or capacity
SHA-256
999f9b2a27e09baa81fb27ec6934947e9987f32880125c88d818fa06fb07d5ac
Open exact source ↗ for PTO-AVS-TILE-CUBE-RECONFIGURE-002
PTO-TILE-MODEL-STATE-ALLOCATION compiles as an independent normative unit
1. surfaceTILE
2. ownerPTO-TILE-MODEL-STATE-ALLOCATION
3. categorySTATIC-INVARIANT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-TILE-MODEL-STATE-ALLOCATION-STATIC-001
Path
tests/asl/tile/model/state/allocation/tile-static-allocation-contract-001.asl
Kind / role
static-invariant
Pass condition
the complete model and this unit's static invariant compile
SHA-256
237cdbc4a7da29afbe3ab57e7911c10f8a08f281941ae2fbcf262149e01afec7
Open exact source ↗ for PTO-AVS-TILE-MODEL-STATE-ALLOCATION-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 history2

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

Unit metadata

Open 4 generated metadata fields

id: PTO-TILE-MODEL-STATE-ALLOCATION
surface: tile
classification: [ "model", "state", "allocation" ]
depends_on: [ "PTO-TILE-MODEL-SHAPE-VALID-REGION", "PTO-TILE-MODEL-STATE-FEATURE-MAP-DESCRIPTORS" ]

Open generated traceability record

{
  "classification": [
    "model",
    "state",
    "allocation"
  ],
  "documentation": "docs/tile/model/state/allocation.md",
  "id": "PTO-TILE-MODEL-STATE-ALLOCATION",
  "mnemonic": null,
  "readiness_subjects": [
    "ADR-0096",
    "ADR-0097"
  ],
  "semantic_tests": [
    "PTO-AVS-TILE-CUBE-ALLOCATE-001",
    "PTO-AVS-TILE-CUBE-LOCATION-003",
    "PTO-AVS-TILE-CUBE-RECONFIGURE-002"
  ],
  "source": "asl/tile/model/state/allocation.asl",
  "surface": "tile",
  "tests": [
    "PTO-AVS-TILE-CUBE-ALLOCATE-001",
    "PTO-AVS-TILE-CUBE-LOCATION-003",
    "PTO-AVS-TILE-CUBE-RECONFIGURE-002",
    "PTO-AVS-TILE-MODEL-STATE-ALLOCATION-STATIC-001"
  ]
}

Sources and release identity

Show commit, paths, hashes, version, and canonical owners

Release: 0.58.5 · Release candidate
Commit: 7dc8b7e5b121d2b2499a2273bebff29e2cd86812
Original ASL: asl/tile/model/state/allocation.asl
ASL SHA-256: bb35c4add7234eaa16cb749cff0d6989501416da2d2e0438e7cd00ade14e5fe5
Generated documentation: docs/tile/model/state/allocation.md · embedded in this page
Documentation SHA-256: 90b32619ac0047734b3a1fa2c9f97ba6ec32f394c209e2daf817a41d49447293

Exact owners