目的与范围
目的与范围
本单元是打包数据类型的当前架构身份，并依赖 Tile 数据类型命名空间。
它提供稳定的归属点，使其他归属单元可以引用打包概念，而无需在说明文字中另立编码或执行契约。
PTO-ARCH-DATA-TYPES-PACKED
PTO-ARCH-DATA-TYPES-PACKEDASL 伪代码
下面直接显示完整的 ASL 所有者。
// PTO-UNIT: {"id":"PTO-ARCH-DATA-TYPES-PACKED","surface":"arch","classification":["data-types","packed"],"depends_on":["PTO-ARCH-DATA-TYPES-TILE-DATA-TYPES"]}// This unit owns the named architecture concept; executable state is defined by its dependencies.
架构行为
概念与架构状态
概念与可见状态
- 除
PTO-UNIT身份外，本单元不包含独立的 ASL 类型、状态或可执行辅助函数。 - 其依赖
PTO-ARCH-DATA-TYPES-TILE-DATA-TYPES拥有S4X2、U4X2、E2M1X2、E1M2X2和HiF4X2等已分配的打包 Tile 成员。 - 打包布局、通道解释、内存搬运和算术行为仍由定义相应机制的当前归属单元负责。
规则与交互
规则与交互
不能仅凭“打包”一词推断统一的通道顺序或载体宽度；必须查阅所选 TileDataType 及其格式或执行归属单元。
这一命名概念不创建架构状态，也不执行任何状态转换。
打包指令仍由自身的解码、合法性、搬运和结果契约约束。
边界与未定义范围
架构边界
本页不能用说明文字补充缺失的打包语义，因为归属单元有意不定义这些规则；新增规则必须修改相应 ASL/NDF 归属单元。
历史 ADR 可以解释为何设置该归属点，但当前含义必须从可达的 ASL 归属单元读取。
使用示例
示例性阅读示例
遇到 TileDataType_U4X2 时，应先由 Tile 数据类型归属单元确认其已分配身份，再到使用该类型的指令中查看通道和内存行为。
因此，这里没有辅助函数表示的是导航边界，并不允许随意选择实现定义的打包表示。
相关归属单元
NDF 条款
正文来自 owning ASL。拖拽或按钮只临时改变当前页面显示顺序。
No NDF clause is attached to this unit.
Evidence index
7 matching entries
Executable evidence1
PTO-ARCH-DATA-TYPES-PACKED compiles as an independent normative unit
- surfaceARCH
- ownerPTO-ARCH-DATA-TYPES-PACKED
- categorySTATIC-INVARIANT
- case001
Show exact test source
Sources and references
- Complete stable ID
PTO-AVS-ARCH-DATA-TYPES-PACKED-STATIC-001- Path
tests/asl/arch/data-types/packed/arch-static-packed-contract-001.asl- Kind / role
- static-invariant
- Pass condition
- the complete model and this unit's static invariant compile
- SHA-256
831ed265302066cb917e49fb855527781b1ec7517fcf5b7ab37384520e0d3932
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
TLSU four-bit memory packing and totality · accepted
- decision recordADR
- case0033
Decision record
Loading ADR-0033…
Sources and references
- Complete stable ID
ADR-0033- Path
docs/status/decisions/0033-tlsu-four-bit-memory-packing.md- Affected units
- PTO-ARCH-DATA-TYPES-PACKED, PTO-ARCH-STATE-TILE-DESCRIPTOR, PTO-BLOCK-BSTART-GMOV, PTO-BLOCK-BSTART-MGATHER, PTO-BLOCK-BSTART-MGATHER-CAS, PTO-BLOCK-BSTART-MGATHER-MASK, PTO-BLOCK-BSTART-MSCATTER, PTO-BLOCK-BSTART-MSCATTER-MASK, PTO-BLOCK-BSTART-TLOAD, PTO-BLOCK-BSTART-TPREFETCH, PTO-BLOCK-BSTART-TSTORE, PTO-TILE-GMOV, PTO-TILE-MGATHER, PTO-TILE-MGATHER-CAS, PTO-TILE-MGATHER-MASK, PTO-TILE-MSCATTER, PTO-TILE-MSCATTER-MASK, PTO-TILE-TLOAD, PTO-TILE-TMOV, PTO-TILE-TPREFETCH, PTO-TILE-TSTORE
- Affected NDF
- PTO-BSTART-GMOV-COLLECTIVE-001, PTO-BSTART-MGATHER-CAS-SCHEMA-001, PTO-BSTART-MGATHER-MASK-SCHEMA-001, PTO-BSTART-MGATHER-SCHEMA-001, PTO-BSTART-MSCATTER-MASK-SCHEMA-001, PTO-BSTART-MSCATTER-SCHEMA-001, PTO-BSTART-TLOAD-CUBE-001, PTO-BSTART-TLOAD-MEMORY-001, PTO-BSTART-TPREFETCH-MEMORY-001, PTO-BSTART-TSTORE-CUBE-001, PTO-BSTART-TSTORE-MEMORY-001, PTO-GMOV-CORE4-PEER-001, PTO-MGATHER-BYTE-DISPLACEMENT-001, PTO-MGATHER-CAS-ATOMIC-001, PTO-MGATHER-CAS-PUBLICATION-001, PTO-MGATHER-MASK-PREDICATE-001, PTO-MGATHER-MASK-PUBLICATION-001, PTO-MGATHER-MASK-TYPE-002, PTO-MSCATTER-BYTE-DISPLACEMENT-001, PTO-MSCATTER-DUPLICATE-ORDER-001, PTO-MSCATTER-MASK-DUPLICATE-001, PTO-MSCATTER-MASK-PREDICATE-001, PTO-MSCATTER-MASK-TYPE-002, PTO-TLOAD-CUBE-001, PTO-TLOAD-MEMORY-001, PTO-TMOV-CONTRACT-001, PTO-TPREFETCH-FOOTPRINT-001, PTO-TSTORE-CUBE-001, PTO-TSTORE-MEMORY-001
- SHA-256
6fd4f3016f503498cf6a1068907f48998e39f3c29b034d7ddfc486cd6494104b
Unit metadata
Open 4 generated metadata fields
Open generated traceability record
{
"classification": [
"data-types",
"packed"
],
"documentation": "docs/arch/data-types/packed.md",
"id": "PTO-ARCH-DATA-TYPES-PACKED",
"mnemonic": null,
"readiness_subjects": [
"ADR-0033"
],
"semantic_tests": [],
"source": "asl/arch/data-types/packed.asl",
"surface": "arch",
"tests": [
"PTO-AVS-ARCH-DATA-TYPES-PACKED-STATIC-001"
]
}来源与发布信息
展开 commit、路径、hash、版本和规范所有者
- 发布
0.58.5· 候选发布- Commit
7dc8b7e5b121d2b2499a2273bebff29e2cd86812- ASL SHA-256
4ec9fb1eb2d1b14dcba562a5dc1462724c407fa67e5887ac99eb919887777d42- 生成文档
- docs/site/i18n/zh-CN/docusaurus-plugin-content-docs-reference/current/arch/data-types/packed.md · 已融合到当前页面
- 文档 SHA-256
61d8c712a2a26f1070a02c0d48abdd20b2e72e2129209ca3fa96de40f9b71f35
精确所有者
- ASL PTO-ARCH-DATA-TYPES-PACKED
asl/arch/data-types/packed.asl