TT-Metal v0.59.0-rc12 版本技术解析与架构演进
TT-Metal 是由 Tenstorrent 开发的一款面向高性能计算的硬件加速框架,专注于为 AI 和机器学习工作负载提供高效的硬件加速能力。本次发布的 v0.59.0-rc12 版本带来了多项重要改进,涵盖了核心架构优化、性能提升和新功能支持等多个方面。
核心架构优化
本次版本在底层架构上进行了多项重要改进。首先是对设备初始化流程的重构,将固件构建和内存清理操作从设备初始化阶段移到了 MetalContext 初始化阶段。这种调整优化了设备启动流程,减少了重复操作,提高了整体效率。
在内存管理方面,开发团队对缓冲区地址处理进行了重构,移除了自定义的"buffer_address"函数,转而采用更统一的"transform"接口来封装主机端缓冲区操作。这种改变不仅提高了代码的整洁性,也增强了内存操作的安全性。
另一个值得注意的改进是对网格路由系统的增强。新增了对 4x2 网格拆分为两个 2x2 网格的支持,并优化了网格间的路由算法。这些改进显著提升了大规模分布式计算场景下的通信效率。
性能提升与优化
性能方面,本次版本包含多项针对性优化。在卷积运算中,修复了当 split_reader 启用且 act_block_h=1 时的边缘情况处理,确保了在各种配置下都能获得稳定的性能表现。
针对 TopK 操作,扩展了子核心网格支持,并优化了核心利用率,现在能够更好地利用列中的可用核心资源。Argmax 操作也获得了改进,现在能够根据 NOC 宽度动态调整每核心处理单元数量,提高了资源利用效率。
在张量操作方面,改进了 Untilize 操作对每核心输出通道数大于 256 的情况的支持,并优化了 tiled concat 操作中的批量转置处理。这些优化使得张量操作在大规模数据场景下表现更加出色。
新功能与模型支持
本次版本引入了多项新功能支持。新增了对分片行主序嵌入的支持,扩展了框架在处理特定数据布局时的灵活性。在数据类型方面,增加了对 uint16 的乘法及位运算(OR/XOR)支持,丰富了框架的数据处理能力。
模型支持方面,集成了 VAE 解码器到 SDv1-4 演示中,并改进了 SDXL 演示。同时,为 Mistral 模型添加了 CausalLM 类支持,方便与 vLLM 框架集成。这些改进使得框架能够更好地支持当前流行的生成式 AI 模型。
系统稳定性与可靠性
在系统稳定性方面,本次版本修复了多个关键问题。解决了 Blackhole 平台上以太网微基准测试的挂起问题,调整了路由边缘端口处理以支持网格间路由,并修复了程序运行时 ID 在以太网微基准测试中的问题。
内存管理方面,修复了小通道情况下的切片写入问题,并改进了缓冲区地址处理逻辑。这些改进显著提高了系统在长时间运行和高负载情况下的稳定性。
开发者体验改进
对于开发者而言,本次版本也带来了多项体验优化。重构了张量属性的获取接口,使其更加一致和易用。改进了 CMake 构建系统,将 TTNN 目标安装移到了专门的 CMakeLists 文件中,使构建配置更加清晰。
文档方面,更新了多个操作的 API 文档,特别是 NOC API 的测试套件文档,帮助开发者更好地理解和使用底层通信接口。同时,新增了 Socket API 及其测试,为网络通信提供了更强大的支持。
测试与验证增强
测试覆盖方面,新增了多设备元素运算和张量管理压力测试,以及连接开关压力测试,确保系统在高负载下的可靠性。针对特定硬件配置,调整了测试策略,如跳过某些在 Blackhole 平台上已知问题的测试案例。
性能测试基础设施也获得了改进,新增了在不同条件下测量性能的方法,为性能调优提供了更全面的数据支持。同时,更新了基准测试目标范围,使其更能反映实际使用场景。
总结
TT-Metal v0.59.0-rc12 版本在架构、性能和功能等多个维度都带来了显著提升。从底层的路由优化到上层的模型支持,从核心的内存管理到开发者体验的改善,这些改进共同推动着框架向着更高效、更稳定、更易用的方向发展。对于关注硬件加速和高效计算的开发者而言,这个版本提供了更多强大的工具和更优的性能表现,值得深入研究和应用。
AutoGLM-Phone-9BAutoGLM-Phone-9B是基于AutoGLM构建的移动智能助手框架,依托多模态感知理解手机屏幕并执行自动化操作。Jinja00
Kimi-K2-ThinkingKimi K2 Thinking 是最新、性能最强的开源思维模型。从 Kimi K2 开始,我们将其打造为能够逐步推理并动态调用工具的思维智能体。通过显著提升多步推理深度,并在 200–300 次连续调用中保持稳定的工具使用能力,它在 Humanity's Last Exam (HLE)、BrowseComp 等基准测试中树立了新的技术标杆。同时,K2 Thinking 是原生 INT4 量化模型,具备 256k 上下文窗口,实现了推理延迟和 GPU 内存占用的无损降低。Python00
GLM-4.6V-FP8GLM-4.6V-FP8是GLM-V系列开源模型,支持128K上下文窗口,融合原生多模态函数调用能力,实现从视觉感知到执行的闭环。具备文档理解、图文生成、前端重构等功能,适用于云集群与本地部署,在同类参数规模中视觉理解性能领先。Jinja00
HunyuanOCRHunyuanOCR 是基于混元原生多模态架构打造的领先端到端 OCR 专家级视觉语言模型。它采用仅 10 亿参数的轻量化设计,在业界多项基准测试中取得了当前最佳性能。该模型不仅精通复杂多语言文档解析,还在文本检测与识别、开放域信息抽取、视频字幕提取及图片翻译等实际应用场景中表现卓越。00
GLM-ASR-Nano-2512GLM-ASR-Nano-2512 是一款稳健的开源语音识别模型,参数规模为 15 亿。该模型专为应对真实场景的复杂性而设计,在保持紧凑体量的同时,多项基准测试表现优于 OpenAI Whisper V3。Python00
GLM-TTSGLM-TTS 是一款基于大语言模型的高质量文本转语音(TTS)合成系统,支持零样本语音克隆和流式推理。该系统采用两阶段架构,结合了用于语音 token 生成的大语言模型(LLM)和用于波形合成的流匹配(Flow Matching)模型。 通过引入多奖励强化学习框架,GLM-TTS 显著提升了合成语音的表现力,相比传统 TTS 系统实现了更自然的情感控制。Python00
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00