Add cooperative-matrix capability and reflection contracts
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 5/5
- Tempo stimato
- Più di una settimana
- Idoneità per principianti
- 35/100
- Tipo di issue
- Funzionalità
- Chiarezza
- Abbastanza chiara
- Stato di attività
- Tranquilla
- Stack tecnologico
- cpp
- Ambito
- backend-api-design, compilers, testing-qa
Direzione di ricerca
Start by locating the reflection/package metadata, target-explanation output, package verifier, target profiles, and runtime capability declarations. Trace how requirements are encoded and validated, then design the cooperative-matrix contract around the listed fields and provenance. Done includes forward-compatible JSON encoding plus schema round-trip, verifier, and target-explanation tests covering unsupported capabilities and inconsistent declarations.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Problem
Portable shader packages need to distinguish ordinary per-invocation matrices from cooperative matrices whose storage and operations are distributed across a subgroup or wave. The compiler reflection and target-explanation contracts do not currently expose enough information for a runtime or package verifier to decide whether a translated cooperative-matrix artifact is executable on a device.
This is required independently of any one source language. Examples include Metal simdgroup_matrix, SPIR-V OpTypeCooperativeMatrixKHR, HLSL vk::CooperativeMatrix, emerging dx::linalg::Matrix facilities, and Slang cooperative matrix abstractions.
Requested contract
- Add a stable cooperative-matrix requirement record to reflection/package metadata.
- Represent component type, rows, columns, execution scope, operand/use role, memory layout, subgroup-size constraints, and required target extensions or shader model.
- Distinguish native lowering from an explicit software fallback and record any workgroup-size/shared-memory requirements introduced by that fallback.
- Include cooperative-matrix requirements in target explanation output with actionable unsupported-capability reasons.
- Make package verification reject artifacts whose declared requirements are inconsistent with their target profile or missing from runtime capability declarations.
- Preserve source provenance for each requirement so diagnostics can identify the originating type or operation.
- Document forward-compatible JSON encoding and add schema round-trip, verifier, and target-explanation tests.
Interoperability
CrossTL can mirror this development contract while remaining independently usable, then emit compatible metadata when the compiler package API stabilizes. The translator must not require a published compiler release to lower source code.
Real-world driver
MLX Winograd, attention, and GEMM Metal kernels use subgroup-distributed matrix fragments. Translating the syntax is insufficient: runtime selection must know whether the target device supports the required shape/scope and whether a generated fallback has additional launch constraints. The requested contract should be general enough for other Metal, Vulkan, DirectX, and Slang repositories.
- Lingua principale
- C++
- Stelle
- 0
- Fork
- 0
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Preparare l'ambiente
Questo progetto non fornisce container di sviluppo, Dockerfile né guida per i contributori, quindi l'ambiente è a tuo carico: parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di CrossGL/compiler
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
-
Track CrossTL project-porting report and source-remap compatibilityForse di nuovo libera Una pull request per questa issue è stata chiusa senza essere unita. Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 42/100
Tutte le issue di CrossGL/compiler
Issue simili
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 62/100
foxglove/mcap#1907 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 66/100
I maintainer di solito rispondono entro 1 giorno
-
bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 85/100
telegramdesktop/tdesktop#31505 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
I maintainer di solito rispondono entro 1 giorno
-
ll-builder shell completions omit existing lockfile commands and --lockedForse già presa @project-nju-learner l’ha presa oggi. Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 90/100
OpenAtom-Linyaps/linyaps#2291 ·
I maintainer di solito rispondono entro 1 giorno