FunctionGemma export: convert MLIR-text rewrites to StableHLO/DAG transforms
维护者通常 1 天内回复
还没有人认领这个 Issue。
评估
- 难度
- 5/5
- 预计耗时
- 一周以上
- 新手友好度
- 25/100
- Issue 类型
- 重构
- 描述清晰度
- 描述清楚
- 活跃度
- 冷清
- 技术栈
- kotlin
调研方向
Start with FunctionGemmaExport.kt and the GemmaModel.forwardWithPast implementation, then read PR #245 and sl2610-function-calling/docs/GEMMA-KV-INT8.md for context. The work covers five separate graph and model changes, including quantization and dynamic-shape tracing. It is done when each listed text rewrite and positional resolution is replaced by the specified graph transform or typed module access.
由索引模型根据 Issue 内容生成。
描述
The FunctionGemma KV/int8 decode graphs are DSL/DAG-authored, but the graph post-processing in
FunctionGemmaExport.kt is done by regex rewrites of the emitted StableHLO text, not graph passes.
Convert each to the SKaiNET way (a StableHLO/DAG transform):
- bf16 weight emission (
rewriteGlobalsToBf16) → a DAG/StableHLO dtype transform (leverageDtypeForwardPropagationPass). - int8 quant (
rewriteGlobalsToInt8injecting dequant as text) → a real graph quantization pass; keep the host per-row quant writer, emiti8→f32 × scaleas graph nodes. - Dynamic KV dims — retire the sentinel-prime
7919→x?xstring relax (most fragile: a magic prime that must not collide with a real dim/SSA id) → proper dynamic-shape tracing. -
GemmaModel.forwardWithPastattnWithPast(hand-wired single-token attention) → an MHA-with-past module forward. -
refsForpositional sub-module resolution → typedHybridTransformerBlockfield access.
Context: PR #245. Tracker: SKaiNET-embedded sl2610-function-calling/docs/GEMMA-KV-INT8.md.
- 主要语言
- Kotlin
- 星标
- 8
- 派生
- 3
- 平均合并
- 1 天 16 小时
- 30 天内合并 PR
- 48
环境准备
这个项目没有提供开发容器、Dockerfile 或贡献指南，环境需要你自己搭建：先看它的 README，通用步骤见我们的新手贡献指南。
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
SKaiNET-developers/SKaiNET-transformers 的其他 Issue
-
documentation good first issue size:xs skill:docs sub-issue
难度 2/5 1-3 小时 新手友好度 78/100
SKaiNET-developers/SKaiNET-transformers#478 · 1 条评论 ·
维护者通常 1 天内回复
-
enhancement skill:kotlin-core
难度 4/5 3-5 天 新手友好度 48/100
SKaiNET-developers/SKaiNET-transformers#502 ·
维护者通常 1 天内回复
-
bug
难度 4/5 3-5 天 新手友好度 48/100
SKaiNET-developers/SKaiNET-transformers#483 ·
维护者通常 1 天内回复
-
coding good first issue size:s skill:kotlin-core sub-issue
难度 4/5 1-2 天 新手友好度 64/100
SKaiNET-developers/SKaiNET-transformers#477 · 1 条评论 ·
维护者通常 1 天内回复
-
coding good first issue size:s skill:numerics sub-issue
难度 4/5 3-5 天 新手友好度 55/100
SKaiNET-developers/SKaiNET-transformers#476 · 1 条评论 ·
维护者通常 1 天内回复
查看 SKaiNET-developers/SKaiNET-transformers 的全部 Issue
相似的 Issue
-
afk-ok area:data-quality importer size:S
难度 2/5 1-3 小时 新手友好度 75/100
enorm-labs/event-junkie#3767 ·
维护者通常 1 天内回复
-
resource-submission validation-passed
难度 1/5 1 小时以内 新手友好度 84/100
hesreallyhim/awesome-claude-code#3201 · 1 条评论 ·
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 66/100
software-mansion/starknet-jvm#641 ·
-
bug
难度 2/5 1-3 小时 新手友好度 82/100
leboncoin/spark-android#2342 ·
维护者通常 1 天内回复
-
The Voraton URL has been changed可能已有人在做 关联的 PR 仍在进行中或已合并。 未关闭Bug Domain changed
难度 2/5 1-3 小时 新手友好度 62/100
keiyoushi/extensions-source#20257 · 1 条评论 · 1 个 reaction ·
维护者通常 1 天内回复