页面框架已切换为简体中文。尚未完成本地化的交互标签暂时使用英文;ASL/NDF 源、稳定标识和证据在所有语言中保持原文。
PTO-TILE-MODEL-CAPACITY-LOCAL
PTO-TILE-MODEL-CAPACITY-LOCALASL 伪代码
下面直接显示完整的 ASL 所有者。
// PTO-UNIT: {"id":"PTO-TILE-MODEL-CAPACITY-LOCAL","surface":"tile","classification":["model","capacity","local"],"depends_on":["PTO-TILE-MODEL-STATE-SHARED-REGISTERS"]}readonly func TileCapacityLimitBytes() => integer {0..262144}begin assert UInt(_SystemRegisters.tile_capacity) <= PTO_MODEL_MAX_TILE_CAPACITY_BYTES; return UInt(_SystemRegisters.tile_capacity) as integer {0..262144};end;
readonly func TileCapacityInUseExcept(excluded: TileIndex) => integerbegin var total: integer = 0; for index = 0 to PTO_TILE_REGISTER_COUNT - 1 do if index != excluded && _Tiles[[index]].allocated then total = total + TileCoreAllocationBytes( _TileAllocationMasks[[index]], _Tiles[[index]].capacity_bytes); end; end; return total;end;
readonly func TileCapacityInUseForPE( pe_identity: integer {0..3}) => integerbegin var total: integer = 0; let mask_bit = PTOPEMaskBitOfPEIdentity(pe_identity); for index = 0 to PTO_TILE_REGISTER_COUNT - 1 do if _Tiles[[index]].allocated && _TileAllocationMasks[[index]][mask_bit] == '1' then total = total + _Tiles[[index]].capacity_bytes; end; end; return total;end;
readonly func TileCapacityInUseExceptForPE( excluded: TileIndex, pe_identity: integer {0..3}) => integerbegin var total: integer = 0; let mask_bit = PTOPEMaskBitOfPEIdentity(pe_identity); for index = 0 to PTO_TILE_REGISTER_COUNT - 1 do if index != excluded && _Tiles[[index]].allocated && _TileAllocationMasks[[index]][mask_bit] == '1' then total = total + _Tiles[[index]].capacity_bytes; end; end; return total;end;
readonly func LocalTileAllocationFitsExcept( excluded: TileIndex, pe_mask: bits(4), per_pe_bytes: integer) => booleanbegin for pe = 0 to PTO_MODEL_MEMORY_AGENTS - 1 do let mask_bit = PTOPEMaskBitOfPEIdentity(pe); if pe_mask[mask_bit] == '1' && TileCapacityInUseExceptForPE(excluded, pe) + per_pe_bytes > TileCapacityLimitBytes() then return FALSE; end; end; return TRUE;end;
readonly func LocalTileAllocationFits( pe_mask: bits(4), per_pe_bytes: integer) => booleanbegin for pe = 0 to PTO_MODEL_MEMORY_AGENTS - 1 do let mask_bit = PTOPEMaskBitOfPEIdentity(pe); if pe_mask[mask_bit] == '1' && TileCapacityInUseForPE(pe) + per_pe_bytes > TileCapacityLimitBytes() then return FALSE; end; end; return TRUE;end;
readonly func TileCapacityInUse() => integerbegin var total: integer = 0; for index = 0 to PTO_TILE_REGISTER_COUNT - 1 do if _Tiles[[index]].allocated then total = total + TileCoreAllocationBytes( _TileAllocationMasks[[index]], _Tiles[[index]].capacity_bytes); end; end; return total;end;
架构行为
该内部模型单元不在双语读者指南迁移范围内;请直接阅读本页的 ASL/NDF 所有者与验证证据。
NDF 条款
正文来自 owning ASL。拖拽或按钮只临时改变当前页面显示顺序。
No NDF clause is attached to this unit.
Evidence index
8 matching entries
Executable evidence2
Local capacity accumulates independently in each PE pool.
- surfaceTILE
- ownerPTO-TILE-MODEL-CAPACITY-LOCAL
- categoryBOUNDARY
- case002
Show exact test source
Sources and references
- Complete stable ID
PTO-AVS-TILE-LOCAL-CAPACITY-ISOLATION-002- Path
tests/asl/tile/model/capacity/local/tile-bound-local-capacity-isolation-002.asl- Kind / role
- boundary
- Requirements
- PTO-TILE-CAPACITY-PER-PE
- Pass condition
- Four legal 64 KiB Tiles fill PE0, four more independently fill PE1, and releasing one PE0 object restores exactly 64 KiB there without changing PE1.
- SHA-256
1aa95d97b8629ef7d66d56a78ff8dae13465d160b99afbe1abce3aede68b0dbc
PTO-TILE-MODEL-CAPACITY-LOCAL compiles as an independent normative unit
- surfaceTILE
- ownerPTO-TILE-MODEL-CAPACITY-LOCAL
- categorySTATIC-INVARIANT
- case001
Show exact test source
Sources and references
- Complete stable ID
PTO-AVS-TILE-MODEL-CAPACITY-LOCAL-STATIC-001- Path
tests/asl/tile/model/capacity/local/tile-static-local-contract-001.asl- Kind / role
- static-invariant
- Pass condition
- the complete model and this unit's static invariant compile
- SHA-256
9ee6439efa04ac4278df60700bcf0b0a43fce401f8c5d9d6aac0a743ec88a534
Commit-scoped evidence5
spec/evidence/release-traceability-readiness.json · closed
PTO-EVIDENCE-RELEASE-TRACEABILITYSources 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
spec/evidence/instruction-contract-closure.json · closed
PTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSURESources 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
spec/evidence/architecture-readiness.json · open
PTO-EVIDENCE-ARCHITECTURE-READINESSSources and references
- Complete stable ID
PTO-EVIDENCE-ARCHITECTURE-READINESS- Path
spec/evidence/architecture-readiness.json- Kind / role
- architecture maturity and blockers
- SHA-256
4b0b85199101251bea744e0f3591cc31906909dc80d5ab651c417a936036a004
spec/evidence/release-gate-readiness.json · ready-for-exact-head-verification
PTO-EVIDENCE-RELEASE-GATE-READINESSSources 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
spec/release-manifest.json · draft
PTO-EVIDENCE-RELEASE-MANIFESTSources and references
- Complete stable ID
PTO-EVIDENCE-RELEASE-MANIFEST- Path
spec/release-manifest.json- Kind / role
- release content and encoding fingerprints
- SHA-256
1a64c109ed7a90351c41e2a418b3c0ebaf8ad975838986d2101385186b85c0d8
Decision history1
Local and Shared capacity pools with cooperative M-sharding · accepted
- decision recordADR
- 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
Unit metadata
Open 4 generated metadata fields
Open generated traceability record
{
"classification": [
"model",
"capacity",
"local"
],
"documentation": "docs/tile/model/capacity/local.md",
"id": "PTO-TILE-MODEL-CAPACITY-LOCAL",
"mnemonic": null,
"readiness_subjects": [
"ADR-0097"
],
"semantic_tests": [
"PTO-AVS-TILE-LOCAL-CAPACITY-ISOLATION-002"
],
"source": "asl/tile/model/capacity/local.asl",
"surface": "tile",
"tests": [
"PTO-AVS-TILE-LOCAL-CAPACITY-ISOLATION-002",
"PTO-AVS-TILE-MODEL-CAPACITY-LOCAL-STATIC-001"
]
}来源与发布信息
展开 commit、路径、hash、版本和规范所有者
- 发布
0.58.5· 候选发布- Commit
7dc8b7e5b121d2b2499a2273bebff29e2cd86812- ASL SHA-256
5f646e1e1d72cd7561f5b01441ebdc98afd817a99204aff99288102c29de4a82- 生成文档
- docs/tile/model/capacity/local.md · 已融合到当前页面
- 文档 SHA-256
399c8f3bd0a32a7902b9e7ab28ebfa74362ad0fc64332e24601289b6aed954a8
精确所有者
- ASL PTO-TILE-MODEL-CAPACITY-LOCAL
asl/tile/model/capacity/local.asl