dstack项目0.19.12版本发布:增强分布式计算与MPI支持
dstack是一个开源的分布式计算平台,它简化了在多节点环境中运行机器学习工作负载的复杂性。该项目通过声明式配置和自动化管理,让研究人员和工程师能够专注于算法开发,而不必担心底层基础设施的部署细节。
集群管理功能增强
简化的MPI使用体验
在0.19.12版本中,dstack针对MPI(Message Passing Interface)工作负载进行了多项优化,显著提升了分布式计算的易用性。
启动顺序与停止条件控制
新版本引入了两个关键配置参数:
-
startup_order:定义主节点和工作节点的启动顺序
any:默认值,不指定特定顺序master-first:主节点优先启动workers-first:工作节点优先启动
-
stop_criteria:确定多节点运行何时被视为完成
all-done:所有节点都完成后才视为运行结束master-done:主节点完成后即视为运行结束
这些参数特别适合MPI工作负载。例如,MPI要求在工作节点启动后才能执行mpirun命令,此时可配置startup_order: workers-first。同时,MPI工作负载通常在主节点完成后即可视为完成,因此配置stop_criteria: master-done可以避免不必要地等待工作节点退出。
自动化的MPI主机文件管理
dstack现在会自动创建MPI主机文件,并通过DSTACK_MPI_HOSTFILE环境变量暴露其路径。这使得MPI命令可以直接使用该文件,如mpirun --hostfile $DSTACK_MPI_HOSTFILE,大大简化了MPI集群的配置过程。
命令行界面改进
新版本对CLI的显示逻辑进行了优化,使其更加用户友好。原先显示的是内部状态码,对用户不够直观。现在,dstack ps和dstack apply命令的STATUS列会显示易于理解的状态信息,用户可以清楚地了解运行或作业终止的原因。
新增分布式训练示例
TRL分布式微调
新版本提供了使用TRL(Transformer Reinforcement Learning)、Accelerate和Deepspeed进行分布式微调的完整示例。这个示例展示了如何利用dstack简化分布式训练流程,特别适合大规模语言模型的微调场景。
Axolotl分布式训练
另一个新增示例展示了如何使用Axolotl框架在dstack上进行分布式训练。Axolotl是一个专注于高效微调大型语言模型的工具,这个示例为NLP研究人员提供了开箱即用的分布式训练解决方案。
技术细节优化
除了上述主要功能外,0.19.12版本还包含多项技术改进:
- 改进了
.gitignore逻辑,能够处理更多特殊情况 - 增加了
upload_code客户端的超时时间,提升大代码库上传的稳定性 - 修复了缺少
apt-get update的问题,确保软件包安装的正确性 - 优化了相对路径处理,使
dstack apply --repo命令更加可靠 - 更新了后端模板,统一代码格式化风格
这些改进共同提升了dstack平台的稳定性和用户体验,使其成为分布式机器学习工作负载的理想选择。
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