PTO-BLOCK-MODEL-OPERANDS-SHARED-GENERATION

PTO-BLOCK-MODEL-OPERANDS-SHARED-GENERATION

ASL pseudocode

The complete ASL owner is shown directly below.

1// PTO-UNIT: {"id":"PTO-BLOCK-MODEL-OPERANDS-SHARED-GENERATION","surface":"block","classification":["model","operands","shared-generation"],"depends_on":["PTO-BLOCK-MODEL-OPERANDS-SHARED-BINDINGS","PTO-BLOCK-MODEL-STATE-SHARED-GENERATION"]}2
3// NDF-BEGIN: PTO-B-ASSEMBLE-SHARED-GENERATION-0014// ndf: kind=contract level=L1 layer=block status=accepted5// A Shared B.ASSEMBLE generation MUST retain the previously published Sx6// object until the matching collective LAST has complete non-overlapping CELL7// coverage, all declared writer data is ready, every participating PE reaches8// the same generation ordinal with matching metadata, and no participant has9// faulted or been squashed.  Publication MUST replace the complete Shared10// descriptor and payload atomically; every rejection MUST preserve the prior11// published generation.12// NDF-END: PTO-B-ASSEMBLE-SHARED-GENERATION-00113
14// NDF-BEGIN: PTO-B-SUBVIEW-SHARED-PER-PE-00115// ndf: kind=contract level=L1 layer=block status=accepted16// A Shared B.SUBVIEW source MUST evaluate GPR[RegSrc]+uimm11 in each17// participating PE's private GPR context. The encoded size is common, but18// selected PEs may materialize distinct ranges of one published parent.19// NDF-END: PTO-B-SUBVIEW-SHARED-PER-PE-00120
21func AbortBundleSharedGenerationsForBundle()22begin23    for binding = 0 to 3 do24        if _BundleSharedBindings[[binding]].valid &&25           _BundleSharedBindings[[binding]].destination_assemble.valid then26            AbortBundleSharedGeneration(27                _BundleSharedBindings[[binding]].shared_tile_id);28        end;29    end;30end;31
32readonly func BundleSharedGenerationCoverageWithCurrent(33    shared_tile_id: SharedTileID,34    offset_cells: integer {0..2047},35    writer_cells: integer {1..2048},36    init: boolean) => bits(2048)37begin38    let index = SharedTileArrayIndex(shared_tile_id);39    var covered = if init then Zeros{2048}40        else _SharedGenerations[[index]].covered_cells;41    for cell = 0 to 2047 do42        if cell < writer_cells then43            covered[offset_cells + cell] = '1';44        end;45    end;46    return covered;47end;48
49readonly func ValidateBundleSharedGeneration() => boolean50begin51    for binding = 0 to 3 do52        if _BundleSharedBindings[[binding]].valid &&53           _BundleSharedBindings[[binding]].destination_assemble.valid then54            let shared_tile_id =55                _BundleSharedBindings[[binding]].shared_tile_id;56            let index = SharedTileArrayIndex(shared_tile_id);57            let assemble =58                _BundleSharedBindings[[binding]].destination_assemble;59            let writer_size = _BundleSharedBindings[[binding]].size_code;60            let participant_mask = _BundleSharedBindings[[binding]].pe_mask;61            if writer_size < 1 || writer_size > 12 then return FALSE; end;62            if assemble.init && _SharedGenerations[[index]].open then63                return FALSE;64            end;65            if !assemble.init &&66               (!_SharedGenerations[[index]].open ||67                _SharedGenerations[[index]].closed) then68                return FALSE;69            end;70            if !assemble.init &&71               _SharedGenerations[[index]].participant_mask !=72                   participant_mask then73                return FALSE;74            end;75            let raw_offset = UInt(assemble.offset);76            if raw_offset > 2047 then return FALSE; end;77            let offset_cells = raw_offset as integer {0..2047};78            let writer_cells = BundleLocalGenerationCellCount(79                writer_size as integer {1..12});80            let parent_cells = if assemble.init then81                BundleLocalGenerationCellCount(82                    assemble.size_code as integer {1..12})83                else _SharedGenerations[[index]].parent_cell_count;84            if offset_cells + writer_cells > parent_cells then return FALSE; end;85            if !assemble.init then86                for cell = 0 to 2047 do87                    if cell < writer_cells &&88                       _SharedGenerations[[index]].covered_cells[89                           offset_cells + cell] == '1' then90                        return FALSE;91                    end;92                end;93            end;94            if assemble.last then95                let covered = BundleSharedGenerationCoverageWithCurrent(96                    shared_tile_id, offset_cells, writer_cells,97                    assemble.init);98                for cell = 0 to 2047 do99                    if cell < parent_cells && covered[cell] == '0' then100                        return FALSE;101                    end;102                end;103            end;104        end;105    end;106    return TRUE;107end;108
109func CommitBundleSharedGenerationCandidate(110    binding: BundleSharedBindingIndex,111    candidate: SharedTileInfo) => boolean112begin113    assert _BundleSharedBindings[[binding]].valid &&114           _BundleSharedBindings[[binding]].destination_assemble.valid;115    let shared_tile_id = _BundleSharedBindings[[binding]].shared_tile_id;116    let index = SharedTileArrayIndex(shared_tile_id);117    let assemble = _BundleSharedBindings[[binding]].destination_assemble;118    let participant_mask = _BundleSharedBindings[[binding]].pe_mask;119    let writer_size = _BundleSharedBindings[[binding]].size_code120        as integer {1..12};121    let offset_cells = UInt(assemble.offset) as integer {0..2047};122    let writer_cells = BundleLocalGenerationCellCount(writer_size);123    if !candidate.descriptor_valid ||124       candidate.allocation_mask != participant_mask then125        return FALSE;126    end;127    if assemble.init then128        let parent_size = assemble.size_code as integer {1..12};129        let parent_bytes = TileSizeCodeBytes(parent_size);130        let parent_rows = DerivedTileRows(131            parent_bytes, candidate.tile.columns, candidate.tile.data_type);132        if parent_rows == 0 then return FALSE; end;133        _SharedGenerations[[index]].open = TRUE;134        _SharedGenerations[[index]].closed = FALSE;135        _SharedGenerations[[index]].published = FALSE;136        _SharedGenerations[[index]].shared_tile_id = shared_tile_id;137        _SharedGenerations[[index]].participant_mask = participant_mask;138        _SharedGenerations[[index]].parent_size_code = parent_size;139        _SharedGenerations[[index]].parent_cell_count =140            BundleLocalGenerationCellCount(parent_size);141        _SharedGenerations[[index]].covered_cells = Zeros{2048};142        _SharedGenerations[[index]].ready_cells = Zeros{2048};143        _SharedGenerations[[index]].last_seen = FALSE;144        _SharedGenerations[[index]].working_valid = TRUE;145        _SharedGenerations[[index]].working_tile = candidate.tile;146        _SharedGenerations[[index]].working_tile.capacity_bytes = parent_bytes;147        _SharedGenerations[[index]].working_tile.rows = parent_rows;148        _SharedGenerations[[index]].working_tile.contents_defined = FALSE;149        _SharedGenerations[[index]].working_tile.defined_elements =150            Zeros{PTO_MODEL_TILE_ELEMENTS};151        _SharedGenerations[[index]].working_tile.packed_defined_elements =152            ZeroPackedTileDefinedElements();153        _SharedGenerations[[index]].working_tile.defined_valid_elements = 0;154        _SharedGenerations[[index]].working_initialized_mask = Zeros{4};155    else156        if !_SharedGenerations[[index]].working_valid ||157           _SharedGenerations[[index]].working_tile.columns !=158               candidate.tile.columns ||159           _SharedGenerations[[index]].working_tile.data_type !=160               candidate.tile.data_type ||161           _SharedGenerations[[index]].working_tile.layout !=162               candidate.tile.layout then163            return FALSE;164        end;165    end;166    let element_bits = TileElementBits(candidate.tile.data_type);167    let destination_offset =168        ((offset_cells * PTO_TILE_CELL_BYTES * 8) DIVRM element_bits)169        as integer {0..524287};170    let source_elements =171        ((candidate.tile.capacity_bytes * 8) DIVRM element_bits)172        as integer {1..524288};173    let parent_elements = TileLogicalElementCapacity(174        _SharedGenerations[[index]].working_tile.capacity_bytes,175        candidate.tile.data_type);176    if destination_offset + source_elements > parent_elements then177        return FALSE;178    end;179    if candidate.tile.valid_rows == 0 ||180       candidate.tile.valid_columns == 0 then181        return FALSE;182    end;183    var working = _SharedGenerations[[index]].working_tile;184    for element = 0 to source_elements - 1 looplimit 524288 do185        let source_index = element as PackedTileElementIndex;186        let destination_index = (destination_offset + element)187            as PackedTileElementIndex;188        if TileLogicalElementDefined(candidate.tile, source_index) then189            working = TileInfoWithLogicalElement(190                working, destination_index,191                TileReadLogicalElement(candidate.tile, source_index));192        end;193    end;194    _SharedGenerations[[index]].working_tile = working;195    let working_columns = working.columns as integer {1..65535};196    let last_valid_row = (candidate.tile.valid_rows - 1)197        as integer {0..65534};198    let last_valid_column = (candidate.tile.valid_columns - 1)199        as integer {0..65534};200    let candidate_valid_extent =201        (TileLogicalLinearIndex(candidate.tile, last_valid_row,202             last_valid_column) + 1) as integer {1..524288};203    let required_end = destination_offset + candidate_valid_extent;204    if required_end > parent_elements then return FALSE; end;205    let required_rows = ((required_end +206        (working_columns - 1)) DIVRM working_columns)207        as integer {1..65535};208    if _SharedGenerations[[index]].working_tile.valid_rows < required_rows then209        _SharedGenerations[[index]].working_tile.valid_rows = required_rows;210    end;211    if _SharedGenerations[[index]].working_tile.valid_columns <212       candidate.tile.valid_columns then213        _SharedGenerations[[index]].working_tile.valid_columns =214            candidate.tile.valid_columns;215    end;216    let covered = BundleSharedGenerationCoverageWithCurrent(217        shared_tile_id, offset_cells, writer_cells, assemble.init);218    _SharedGenerations[[index]].covered_cells = covered;219    _SharedGenerations[[index]].ready_cells = covered;220    _SharedGenerations[[index]].working_initialized_mask =221        _SharedGenerations[[index]].working_initialized_mask OR222        candidate.initialized_mask;223    if assemble.last then224        _SharedGenerations[[index]].last_seen = TRUE;225        _SharedGenerations[[index]].closed = TRUE;226        _SharedGenerations[[index]].open = FALSE;227        _SharedGenerations[[index]].published = TRUE;228        _SharedGenerations[[index]].working_tile.contents_defined = TRUE;229        _SharedTiles[[index]].descriptor_valid = TRUE;230        _SharedTiles[[index]].allocation_mask = participant_mask;231        _SharedTiles[[index]].initialized_mask = participant_mask;232        _SharedTiles[[index]].whole_parent_ready = TRUE;233        _SharedTiles[[index]].published = TRUE;234        _SharedTiles[[index]].tile =235            _SharedGenerations[[index]].working_tile;236    end;237    return TRUE;238end;239
240func BeginBundleSharedGenerationProbe(shared_tile_id: SharedTileID)241    => SharedTileInfo242begin243    let index = SharedTileArrayIndex(shared_tile_id);244    let prior = _SharedTiles[[index]];245    _SharedTiles[[index]].descriptor_valid = FALSE;246    _SharedTiles[[index]].allocation_mask = Zeros{4};247    _SharedTiles[[index]].initialized_mask = Zeros{4};248    _SharedTiles[[index]].whole_parent_ready = FALSE;249    _SharedTiles[[index]].published = FALSE;250    return prior;251end;252
253func RestoreBundleSharedGenerationProbe(254    shared_tile_id: SharedTileID, prior: SharedTileInfo)255begin256    _SharedTiles[[SharedTileArrayIndex(shared_tile_id)]] = prior;257end;258
259readonly func BundleSharedSubviewOffsetRawForPE(260    binding: BundleSharedBindingIndex, pe_identity: MemoryAgentId) => Word261begin262    let modifier = _BundleSharedBindings[[binding]].source0_subview;263    return ReadPEAbsoluteGPROperand(pe_identity, modifier.reg_src) +264        ZeroExtend{PTO_XLEN}(modifier.uimm11);265end;266
267readonly func BundleSharedSubviewOffsetCellsForPE(268    binding: BundleSharedBindingIndex, pe_identity: MemoryAgentId)269    => integer {0..2047}270begin271    let raw_offset = UInt(BundleSharedSubviewOffsetRawForPE(272        binding, pe_identity));273    assert raw_offset <= 2047;274    return raw_offset as integer {0..2047};275end;276
277readonly func BundleSharedSubviewLegal(278    binding: BundleSharedBindingIndex) => boolean279begin280    if !_BundleSharedBindings[[binding]].valid ||281       !_BundleSharedBindings[[binding]].source0_subview.valid ||282       _BundleSharedBindings[[binding]].size_code != 0 then283        return FALSE;284    end;285    let shared_tile_id = _BundleSharedBindings[[binding]].shared_tile_id;286    if !SharedTilePublished(shared_tile_id) then return FALSE; end;287    let parent = SharedTileRecord(shared_tile_id).tile;288    if TileLayoutIsCube(parent.layout) || parent.columns == 0 then289        return FALSE;290    end;291    let modifier = _BundleSharedBindings[[binding]].source0_subview;292    if modifier.size_code == 0 then return FALSE; end;293    let selected_bytes = TileSizeCodeBytes(294        modifier.size_code as integer {1..12});295    let element_bits = TileElementBits(parent.data_type);296    let bounded_columns = parent.columns as integer {1..65535};297    for pe = 0 to PTO_MODEL_MEMORY_AGENTS - 1 do298        let pe_identity = pe as MemoryAgentId;299        if _BundleSharedBindings[[binding]].pe_mask[300               PTOPEMaskBitOfPEIdentity(pe_identity)] == '1' then301            let raw_offset = UInt(BundleSharedSubviewOffsetRawForPE(302                binding, pe_identity));303            if raw_offset > 2047 then return FALSE; end;304            let offset_cells = raw_offset as integer {0..2047};305            if offset_cells * PTO_TILE_CELL_BYTES + selected_bytes >306                   parent.capacity_bytes then307                return FALSE;308            end;309            let offset_elements =310                ((offset_cells * PTO_TILE_CELL_BYTES * 8) DIVRM element_bits)311                as integer {0..524287};312            let selected_elements = ((selected_bytes * 8) DIVRM element_bits)313                as integer {1..524288};314            let origin_column = (offset_elements MOD bounded_columns)315                as integer {0..65535};316            if selected_elements > bounded_columns - origin_column &&317               (origin_column != 0 || selected_elements MOD bounded_columns != 0) then318                return FALSE;319            end;320            if selected_elements > bounded_columns - origin_column &&321               selected_elements DIVRM bounded_columns > 65535 then322                return FALSE;323            end;324        end;325    end;326    return TRUE;327end;328
329readonly func MaterializeBundleSharedSubviewForPE(330    binding: BundleSharedBindingIndex, pe_identity: MemoryAgentId) => TileInfo331begin332    assert BundleSharedSubviewLegal(binding);333    let shared_tile_id = _BundleSharedBindings[[binding]].shared_tile_id;334    let parent = SharedTileRecord(shared_tile_id).tile;335    let modifier = _BundleSharedBindings[[binding]].source0_subview;336    let offset_cells = BundleSharedSubviewOffsetCellsForPE(337        binding, pe_identity);338    let selected_bytes = TileSizeCodeBytes(339        modifier.size_code as integer {1..12});340    let element_bits = TileElementBits(parent.data_type);341    let bounded_columns = parent.columns as integer {1..65535};342    let offset_elements =343        ((offset_cells * PTO_TILE_CELL_BYTES * 8) DIVRM element_bits)344        as integer {0..524287};345    let selected_elements = ((selected_bytes * 8) DIVRM element_bits)346        as integer {1..524288};347    let origin_row = (offset_elements DIVRM bounded_columns)348        as integer {0..65535};349    let origin_column = (offset_elements MOD bounded_columns)350        as integer {0..65535};351    let selected_columns = (if selected_elements <=352        bounded_columns - origin_column then selected_elements353        else bounded_columns) as integer {1..65535};354    let selected_rows = (if selected_elements <=355        bounded_columns - origin_column then 1356        else selected_elements DIVRM bounded_columns)357        as integer {1..65535};358    var tile = parent;359    tile.capacity_bytes = selected_bytes;360    tile.rows = DerivedTileRows(361        selected_bytes, selected_columns, parent.data_type);362    tile.columns = selected_columns;363    tile.valid_rows = selected_rows;364    tile.valid_columns = selected_columns;365    if origin_row + tile.valid_rows > parent.valid_rows then366        tile.valid_rows = if origin_row < parent.valid_rows then367            (parent.valid_rows - origin_row) as integer {0..65535}368            else 0;369    end;370    if origin_column + tile.valid_columns > parent.valid_columns then371        tile.valid_columns = if origin_column < parent.valid_columns then372            (parent.valid_columns - origin_column) as integer {0..65535}373            else 0;374    end;375    tile.defined_elements = Zeros{PTO_MODEL_TILE_ELEMENTS};376    tile.packed_defined_elements = ZeroPackedTileDefinedElements();377    tile.defined_valid_elements = 0;378    tile.contents_defined = FALSE;379    for element = 0 to selected_elements - 1 looplimit 524288 do380        let source_index = (offset_elements + element)381            as PackedTileElementIndex;382        let destination_index = element as PackedTileElementIndex;383        tile = TileInfoWithLogicalElement(tile, destination_index,384            ReadSharedTileWord(shared_tile_id, source_index));385    end;386    tile.contents_defined = TRUE;387    tile.defined_valid_elements =388        (tile.valid_rows * tile.valid_columns) as integer {0..524288};389    return tile;390end;391
392readonly func MaterializeBundleSharedSubview(393    binding: BundleSharedBindingIndex) => TileInfo394begin395    return MaterializeBundleSharedSubviewForPE(binding, _CurrentMemoryAgent);396end;397

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.

surfaceBLOCK
ownerPTO-BLOCK-MODEL-OPERANDS-SHARED-GENERATION
categoryB-ASSEMBLE-SHARED-GENERATION
case001
Normative contract
contract · L1 · accepted
A Shared B.ASSEMBLE generation MUST retain the previously published Sx object until the matching collective LAST has complete non-overlapping CELL coverage, all declared writer data is ready, every participating PE reaches the same generation ordinal with matching metadata, and no participant has faulted or been squashed. Publication MUST replace the complete Shared descriptor and payload atomically; every rejection MUST preserve the prior published generation.
Sources and references
Complete stable ID
PTO-B-ASSEMBLE-SHARED-GENERATION-001
Source path
asl/block/model/operands/shared-generation.asl
Affected units
PTO-BLOCK-MODEL-OPERANDS-SHARED-GENERATION
Source SHA-256
5bda7d3c0efbc67230a798f893799c12d969ca9d533e01f9f03f8ea00955ded6
Clause SHA-256
cb58db4c5082d9fdeb9d52751851c2780c8e8c21a0c9f3cf0f1c1373f10eb180
Open exact canonical source ↗
surfaceBLOCK
ownerPTO-BLOCK-MODEL-OPERANDS-SHARED-GENERATION
categoryB-SUBVIEW-SHARED-PER-PE
case001
Normative contract
contract · L1 · accepted
A Shared B.SUBVIEW source MUST evaluate GPR[RegSrc]+uimm11 in each participating PE's private GPR context. The encoded size is common, but selected PEs may materialize distinct ranges of one published parent.
Sources and references
Complete stable ID
PTO-B-SUBVIEW-SHARED-PER-PE-001
Source path
asl/block/model/operands/shared-generation.asl
Affected units
PTO-BLOCK-MODEL-OPERANDS-SHARED-GENERATION
Source SHA-256
5bda7d3c0efbc67230a798f893799c12d969ca9d533e01f9f03f8ea00955ded6
Clause SHA-256
dfbe2d264b58ab306aa5d023aed4b81d8107b6f7d745140ae508cc2facb14050
Open exact canonical source ↗

Evidence index

14 matching entries

Executable evidence5

PTO-BLOCK-MODEL-OPERANDS-SHARED-GENERATION compiles as an independent normative unit
1. surfaceBLOCK
2. ownerPTO-BLOCK-MODEL-OPERANDS-SHARED-GENERATION
3. categorySTATIC-INVARIANT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-MODEL-OPERANDS-SHARED-GENERATION-STATIC-001
Path
tests/asl/block/model/operands/shared-generation/block-static-shared-generation-contract-001.asl
Kind / role
static-invariant
Requirements
PTO-B-ASSEMBLE-SHARED-GENERATION-001, PTO-B-SUBVIEW-SHARED-PER-PE-001
Pass condition
the complete model and this unit's static invariant compile
SHA-256
b457275cfeddf43ebc3384276cac9416ff99439d3fc1a2ec6d80402f3c72a3ee
Open exact source ↗ for PTO-AVS-BLOCK-MODEL-OPERANDS-SHARED-GENERATION-STATIC-001
Two decoded Shared writers construct and atomically publish one parent generation.
1. surfaceBLOCK
2. ownerPTO-BLOCK-MODEL-OPERANDS-SHARED-GENERATION
3. categoryEXECUTION
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-SHARED-RANGE-CONSTRUCTION-001
Path
tests/asl/block/model/operands/shared-generation/block-exec-shared-generation-001.asl
Kind / role
execution
Requirements
PTO-B-ASSEMBLE-SHARED-GENERATION-001
Pass condition
INIT retains the old Sx mapping while recording the first CELL, LAST supplies the second CELL and publishes the complete 256 B parent with both values.
SHA-256
99c53bf8730ec23afdb37183fbb1e243395b5419bf32d09fbd80d66efada22d1
Open exact source ↗ for PTO-AVS-BLOCK-SHARED-RANGE-CONSTRUCTION-001
Shared generation overlap and incomplete LAST reject before publication.
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-RANGE-FAULTS-001
Path
tests/asl/block/model/operands/shared-generation/block-fault-shared-generation-001.asl
Kind / role
fault
Requirements
PTO-B-ASSEMBLE-SHARED-GENERATION-001
Pass condition
A second writer overlapping INIT and a LAST missing required coverage each raise TileLegality, clear the pending generation, and preserve the prior published Sx value.
SHA-256
084b6ee097e3004bec99e4de953c25f462879d6e9feea0a1f81d390d3d04af3b
Open exact source ↗ for PTO-AVS-BLOCK-SHARED-RANGE-FAULTS-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
Decoded Shared B.SUBVIEW selects an exact CELL range for TSTORE.
1. surfaceBLOCK
2. ownerPTO-BLOCK-MODEL-OPERANDS-SHARED-GENERATION
3. categoryEXECUTION
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-BLOCK-SUBVIEW-SHARED-001
Path
tests/asl/block/model/operands/shared-generation/block-exec-shared-subview-001.asl
Kind / role
execution
Requirements
PTO-B-SUBVIEW-RANGE-001, PTO-B-ASSEMBLE-SHARED-GENERATION-001
Pass condition
A one-CELL view at offset one stores the second 128 B row's value while preserving the complete published Shared descriptor and payload.
SHA-256
568b4adfb2653daad0aa2c8e57c445b7519857d9ae887040b3b3b2d74f3f68ca
Open exact source ↗ for PTO-AVS-BLOCK-SUBVIEW-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 history4

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
Shared whole-parent readiness and single-issuer publication · accepted
1. decision recordADR
2. case0105
Decision record
Loading ADR-0105…
Sources and references
Complete stable ID
ADR-0105
Path
docs/status/decisions/0105-shared-whole-parent-readiness.md
Affected units
PTO-BLOCK-MODEL-OPERANDS-SHARED-GENERATION, PTO-BLOCK-MODEL-DISPATCH-SHARED-TLSU, PTO-BLOCK-MODEL-DISPATCH-SHARED-CUBE-MATRIX, PTO-TILE-MODEL-STATE-SHARED-REGISTERS, PTO-TILE-MODEL-STATE-TYPES, PTO-TILE-MODEL-MEMORY-SHARED-MOVEMENT
Affected NDF
PTO-B-SHARED-WHOLE-PARENT-READY-001, PTO-B-ASSEMBLE-SHARED-GENERATION-001
SHA-256
65894a4523494b68bdac25b972b183ba0435d9c36806805311f236c6b6923d8d
Open exact decision source ↗ for ADR-0105
Shared source B.SUBVIEW uses per-PE offsets · accepted
1. decision recordADR
2. case0106
Decision record
Loading ADR-0106…
Sources and references
Complete stable ID
ADR-0106
Path
docs/status/decisions/0106-shared-source-subview-per-pe.md
Affected units
PTO-BLOCK-B-SUBVIEW, PTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR, PTO-BLOCK-MODEL-OPERANDS-SHARED-GENERATION, PTO-BLOCK-MODEL-DISPATCH-SHARED-TLSU, PTO-BLOCK-MODEL-DISPATCH-SHARED-CUBE-MATRIX
Affected NDF
PTO-B-SUBVIEW-RANGE-001, PTO-B-SUBVIEW-SHARED-PER-PE-001
SHA-256
ccbc429a05b5dc0cf1e810b2062672f3858edba86176fe2408f4a99a3d1137ee
Open exact decision source ↗ for ADR-0106
PTO ISA 0.58.4.1 to 0.58.5 compatibility boundary · accepted
1. decision recordADR
2. case0108
Decision record
Loading ADR-0108…
Sources and references
Complete stable ID
ADR-0108
Path
docs/status/decisions/0108-0584-1-to-0585-compatibility.md
Affected units
PTO-ARCH-FEATURES-TILE-ALLOCATION, PTO-ARCH-MEMORY-MODEL-GLOBAL-MEMORY-ACCESS, PTO-ARCH-OVERVIEW-ENCODING-OWNERSHIP, PTO-BLOCK-B-IOS, PTO-BLOCK-B-IOT, PTO-BLOCK-BSTART-TLOAD, PTO-BLOCK-BSTART-TMATMUL, PTO-BLOCK-BSTART-TMATMUL-ACC, PTO-BLOCK-BSTART-TMATMUL-BIAS, PTO-BLOCK-BSTART-TMATMULMX, PTO-BLOCK-BSTART-TMATMULMX-ACC, PTO-BLOCK-BSTART-TMATMULMX-BIAS, PTO-BLOCK-BSTART-TMOV, PTO-BLOCK-BSTART-TSTORE, PTO-BLOCK-MODEL-DISPATCH-CELL-REARRANGEMENT-SCHEMA, PTO-BLOCK-MODEL-DISPATCH-COMMANDS, PTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL, PTO-BLOCK-MODEL-DISPATCH-DESCRIPTOR-LEGALITY, PTO-BLOCK-MODEL-DISPATCH-DESTINATION-SHAPE, PTO-BLOCK-MODEL-DISPATCH-PARTIAL-SCHEMA, PTO-BLOCK-MODEL-DISPATCH-SHARED-CUBE-MATRIX, PTO-BLOCK-MODEL-DISPATCH-SHARED-TLSU, PTO-BLOCK-MODEL-DISPATCH-TILE-EXECUTION, PTO-BLOCK-MODEL-DISPATCH-TILE-SCALAR-SCHEMA, PTO-BLOCK-MODEL-DISPATCH-TILE-SCHEMA, PTO-BLOCK-MODEL-DISPATCH-TLSU-LAYOUT-CONVERSION, PTO-BLOCK-MODEL-OPERANDS-PORTABLE-CARRIERS, PTO-BLOCK-MODEL-OPERANDS-SHARED-GENERATION, PTO-TILE-GMOV, PTO-TILE-MGATHER, PTO-TILE-MGATHER-CAS, PTO-TILE-MGATHER-MASK, PTO-TILE-MSCATTER, PTO-TILE-MSCATTER-MASK, PTO-TILE-TCI, PTO-TILE-TCONCAT, PTO-TILE-TDEQUANT, PTO-TILE-TEXTRACT, PTO-TILE-TFILLPAD, PTO-TILE-TGATHER, PTO-TILE-TGEMV, PTO-TILE-TGEMV-ACC, PTO-TILE-TGEMV-BIAS, PTO-TILE-TGEMV-MX, PTO-TILE-TGEMV-MX-ACC, PTO-TILE-TGEMV-MX-BIAS, PTO-TILE-THISTOGRAM, PTO-TILE-TINSERT, PTO-TILE-TLOAD, PTO-TILE-TMATMUL, PTO-TILE-TMATMUL-ACC, PTO-TILE-TMATMUL-BIAS, PTO-TILE-TMATMUL-MX, PTO-TILE-TMATMUL-MX-ACC, PTO-TILE-TMATMUL-MX-BIAS, PTO-TILE-TMOV, PTO-TILE-TMRGSORT, PTO-TILE-TPACK, PTO-TILE-TPARTADD, PTO-TILE-TPARTMAX, PTO-TILE-TPARTMIN, PTO-TILE-TPARTMUL, PTO-TILE-TPERMUTE, PTO-TILE-TPREFETCH, PTO-TILE-TQUANT, PTO-TILE-TSCATTER, PTO-TILE-TSHUF, PTO-TILE-TSORT, PTO-TILE-TSTORE, PTO-TILE-TTRANS, PTO-TILE-TTRI, PTO-TILE-TUNPACK, PTO-TILE-MODEL-DISPATCH-IRREGULAR-AND-COMPLEX, PTO-TILE-MODEL-DISPATCH-LAYOUT-AND-REARRANGEMENT, PTO-TILE-MODEL-EXECUTION-COMPLEX, PTO-TILE-MODEL-EXECUTION-GENERATION, PTO-TILE-MODEL-EXECUTION-REARRANGEMENT, PTO-TILE-MODEL-LEGALITY-ALLOCATION-CAPACITY, PTO-TILE-MODEL-LEGALITY-DTYPE-LAYOUT, PTO-TILE-MODEL-LEGALITY-INDEXED-LAYOUT, PTO-TILE-MODEL-LEGALITY-LAYOUT-REARRANGEMENT, PTO-TILE-MODEL-LEGALITY-OPERAND-SCHEMA, PTO-TILE-MODEL-MEMORY-SHARED-MOVEMENT, PTO-TILE-MODEL-STATE-DESCRIPTORS, PTO-TILE-MODEL-STATE-SHARED-REGISTERS, PTO-TILE-MODEL-STATE-TYPES
Affected NDF
PTO-ARCH-GM-ACCESS-001, PTO-B-IOS-SHARED-STATE-001, PTO-B-IOT-STREAM-001, PTO-B-SHARED-WHOLE-PARENT-READY-001, PTO-B-SUBVIEW-SHARED-PER-PE-001, PTO-BSTART-TLOAD-MEMORY-001, PTO-BSTART-TMOV-SHARED-001, PTO-BSTART-TSTORE-MEMORY-001, PTO-INST-BLOCK-B-IOS, PTO-INST-BLOCK-B-IOT, PTO-INST-BLOCK-BSTART-TLOAD, PTO-INST-BLOCK-BSTART-TMATMUL, PTO-INST-BLOCK-BSTART-TMATMUL-ACC, PTO-INST-BLOCK-BSTART-TMATMUL-BIAS, PTO-INST-BLOCK-BSTART-TMATMULMX, PTO-INST-BLOCK-BSTART-TMATMULMX-ACC, PTO-INST-BLOCK-BSTART-TMATMULMX-BIAS, PTO-INST-BLOCK-BSTART-TMOV, PTO-INST-BLOCK-BSTART-TSTORE, PTO-INST-TILE-GMOV, PTO-INST-TILE-MGATHER, PTO-INST-TILE-MGATHER-CAS, PTO-INST-TILE-MGATHER-MASK, PTO-INST-TILE-MSCATTER, PTO-INST-TILE-MSCATTER-MASK, PTO-INST-TILE-TCI, PTO-INST-TILE-TCONCAT, PTO-INST-TILE-TDEQUANT, PTO-INST-TILE-TEXTRACT, PTO-INST-TILE-TFILLPAD, PTO-INST-TILE-TGATHER, PTO-INST-TILE-TGEMV, PTO-INST-TILE-TGEMV-ACC, PTO-INST-TILE-TGEMV-BIAS, PTO-INST-TILE-TGEMV-MX, PTO-INST-TILE-TGEMV-MX-ACC, PTO-INST-TILE-TGEMV-MX-BIAS, PTO-INST-TILE-THISTOGRAM, PTO-INST-TILE-TINSERT, PTO-INST-TILE-TLOAD, PTO-INST-TILE-TMATMUL, PTO-INST-TILE-TMATMUL-ACC, PTO-INST-TILE-TMATMUL-BIAS, PTO-INST-TILE-TMATMUL-MX, PTO-INST-TILE-TMATMUL-MX-ACC, PTO-INST-TILE-TMATMUL-MX-BIAS, PTO-INST-TILE-TMOV, PTO-INST-TILE-TMRGSORT, PTO-INST-TILE-TPACK, PTO-INST-TILE-TPARTADD, PTO-INST-TILE-TPARTMAX, PTO-INST-TILE-TPARTMIN, PTO-INST-TILE-TPARTMUL, PTO-INST-TILE-TPERMUTE, PTO-INST-TILE-TPREFETCH, PTO-INST-TILE-TQUANT, PTO-INST-TILE-TSCATTER, PTO-INST-TILE-TSHUF, PTO-INST-TILE-TSORT, PTO-INST-TILE-TSTORE, PTO-INST-TILE-TTRANS, PTO-INST-TILE-TTRI, PTO-INST-TILE-TUNPACK, PTO-ISA-LEGACY-SHARED-MOVEMENT-001, PTO-TFILLPAD-CONTRACT-001, PTO-TLOAD-MEMORY-001, PTO-TMATMUL-ACC-CONTRACT-001, PTO-TMATMUL-BIAS-CONTRACT-001, PTO-TMATMUL-CONTRACT-001, PTO-TMATMUL-MX-ACC-CONTRACT-001, PTO-TMATMUL-MX-BIAS-CONTRACT-001, PTO-TMATMUL-MX-CONTRACT-001, PTO-TPACK-CONTRACT-001, PTO-TPARTADD-CONTRACT-001, PTO-TPARTMAX-CONTRACT-001, PTO-TPARTMIN-CONTRACT-001, PTO-TPARTMUL-CONTRACT-001, PTO-TPERMUTE-CONTRACT-001, PTO-TSHUF-CONTRACT-001, PTO-TSTORE-MEMORY-001, PTO-TTRANS-CONTRACT-001, PTO-TUNPACK-CONTRACT-001
SHA-256
5689fa78a7291b6ae88d55197205e4cf79e9719ee5ba18ebf186f5c6871c350d
Open exact decision source ↗ for ADR-0108

Unit metadata

Open 4 generated metadata fields

id: PTO-BLOCK-MODEL-OPERANDS-SHARED-GENERATION
surface: block
classification: [ "model", "operands", "shared-generation" ]
depends_on: [ "PTO-BLOCK-MODEL-OPERANDS-SHARED-BINDINGS", "PTO-BLOCK-MODEL-STATE-SHARED-GENERATION" ]

Open generated traceability record

{
  "classification": [
    "model",
    "operands",
    "shared-generation"
  ],
  "documentation": "docs/block/model/operands/shared-generation.md",
  "id": "PTO-BLOCK-MODEL-OPERANDS-SHARED-GENERATION",
  "mnemonic": null,
  "readiness_subjects": [
    "ADR-0098",
    "ADR-0105",
    "ADR-0106",
    "ADR-0108"
  ],
  "semantic_tests": [
    "PTO-AVS-BLOCK-SHARED-RANGE-CONSTRUCTION-001",
    "PTO-AVS-BLOCK-SHARED-RANGE-FAULTS-001",
    "PTO-AVS-BLOCK-SHARED-STANDALONE-COMPAT-001",
    "PTO-AVS-BLOCK-SUBVIEW-SHARED-001"
  ],
  "source": "asl/block/model/operands/shared-generation.asl",
  "surface": "block",
  "tests": [
    "PTO-AVS-BLOCK-MODEL-OPERANDS-SHARED-GENERATION-STATIC-001",
    "PTO-AVS-BLOCK-SHARED-RANGE-CONSTRUCTION-001",
    "PTO-AVS-BLOCK-SHARED-RANGE-FAULTS-001",
    "PTO-AVS-BLOCK-SHARED-STANDALONE-COMPAT-001",
    "PTO-AVS-BLOCK-SUBVIEW-SHARED-001"
  ]
}

Sources and release identity

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

Release: 0.58.5 · Release candidate
Commit: 7dc8b7e5b121d2b2499a2273bebff29e2cd86812
Original ASL: asl/block/model/operands/shared-generation.asl
ASL SHA-256: 5bda7d3c0efbc67230a798f893799c12d969ca9d533e01f9f03f8ea00955ded6
Generated documentation: docs/block/model/operands/shared-generation.md · embedded in this page
Documentation SHA-256: cf4a5f8e6d13e922c94c7fd2ab75ef3d53f50e3ee73d3819978b0b9150b859c8

Exact owners

ASL PTO-BLOCK-MODEL-OPERANDS-SHARED-GENERATION asl/block/model/operands/shared-generation.asl
NDF PTO-B-ASSEMBLE-SHARED-GENERATION-001 asl/block/model/operands/shared-generation.asl
NDF PTO-B-SUBVIEW-SHARED-PER-PE-001 asl/block/model/operands/shared-generation.asl

Architecture behavior

Evidence index

Decision record

Decision record

Decision record

Decision record

Unit metadata

Sources and release identity

Exact owners