paperbot · PL 论文追踪

全部论文 待读 收藏

P2 PCcheck: Persistent Concurrent Checkpointing for ML

PCcheck:面向机器学习的高频持久化并发检查点
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12025匹配度 2/10 · 论文研究ML训练中的并发检查点/容错机制,属于ML系统与分布式存储方向,不涉及静态分析、形式化验证、浮点程序分析或贝叶斯程序分析,也未涉及LLM/Agent与程序语言的交叉。与用户画像核心方向基本无关,仅标签中的“机器学习与程序语言”有表面关联。引用 16 inbox
Foteini Strati, Michal Friedman, Ana Klimovic
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:提出并发检查点机制 PCcheck,使 ML 训练可高频持久化到 SSD/PMEM,吞吐开销仅 3%。

大规模 ML 训练耗时长且易失败,使用 spot VM 等廉价资源更会频繁故障。传统做法周期暂停训练并将参数写入持久存储,但高频 checkpoint 开销大,低频又导致恢复时间长。PCcheck 提出并发 checkpoint 机制,在训练继续时持久化模型参数,支持写入 SSD 和持久内存(PMEM),并适用于单机与分布式场景。它允许每 10 次迭代 checkpoint 一次,实现细粒度监控与快速故障恢复,同时将训练吞吐开销控制在约 3%。

问题
大规模 ML 训练故障概率高,尤其使用 spot VM 时;现有周期 checkpoint 在高频下开销过大,低频则恢复慢。
方法
PCcheck 采用并发 checkpoint,将参数持久化到 SSD/PMEM,支持单机与分布式,训练不中断。
评估
在不同训练场景测量吞吐开销与恢复时间,达到每 10 次迭代 checkpoint 仅约 3% 吞吐开销。
原文摘要(Abstract)

Training large-scale machine learning (ML) models is expensive and time-intensive, consuming many hardware accelerators for days or weeks. As the scale of hardware deployments and training time continue to grow, the probability of failures also increases. The desire to use cheaper cloud resources, such as spot VMs, to lower costs also dramatically increases the frequency of failures. The standard approach to deal with failures is to periodically pause training and checkpoint model parameters to persistent storage. Unfortunately, today's checkpointing mechanisms introduce high overhead when applied at high frequencies, yet frequent checkpointing is necessary to avoid long recovery times. We present a concurrent checkpointing mechanism, PCcheck, that allows frequent checkpointing with minimal overhead. Our framework supports persisting checkpoints to SSD and persistent main memory (PMEM) for both single-machine and distributed settings. PCcheck enables checkpointing as frequently as every 10 iterations for detailed monitoring and fast recovery times in case of failures, while maintaining minimal (3%) overhead on training throughput.

链接与引用

DOI 原文 · PDF(开放获取) · DBLP

BibTeX
@inproceedings{Strati0K25,
  title = {PCcheck: Persistent Concurrent Checkpointing for ML},
  author = {Foteini Strati and Michal Friedman and Ana Klimovic},
  booktitle = {ASPLOS},
  year = {2025},
  doi = {10.1145/3669940.3707255}
}