![b49454240f699dbb8d9122719f2306ca.gif](https://i-blog.csdnimg.cn/blog_migrate/3e28a498d89968f678c65844334b5cb2.gif)
![970a05b018d8352d6a46987c9e4062fb.png](https://i-blog.csdnimg.cn/blog_migrate/fa4f14c659b5bc03dcaf1b9850be9ab0.jpeg)
导语:深度学习领域经典的 Adam 算法在大规模并行训练的情况下会导致模型性能损失。为了解决这一问题,微软亚洲研究院采用 BMUF 框架对 Adam 算法进行了并行化,并在微软大规模 OCR 和语音产品数据集上进行了测试,使其在并行训练中几乎实现了线性加速的同时,模型性能基本无损。
作者 | 陈凯、霍强
来源 | 微软研究院AI头条(ID: MSRAsia)
作为一种自适应步长随机梯度优化器,自2014年提出以来,Adam 算法便以其卓越的性能风靡深度学习领域。为了提高应用于训练大规模任务时的效率,该算法通常与同步随机梯度(Synchronous Stochastic Gradient,SSG)技术相结合,采用数据并行(data parallel)的方式在多台机器上执行。在本文中,我们称这一方法为 Sync-Adam。
本质上来讲,Sync-Adam 通过将一个 minibatch 内样本的梯度计算分布到多台机器上达到加速目的,因此通信十分频繁,并且随着并行机器数目增多,minibatch 内样本的数量也成比例增加,这种情况下,通常会损害最终得到的模型的性能。为解决基于 SSG 的 Adam 算法可扩展性差的难题,我们把目光投向了逐区块模型更新滤波(Blockwise Model-Update Filtering, BMUF)框架。
BMUF 是一种通信高效的通用分布式优化算法框架,于2016年由微软亚洲研究院语音组的研究人员提出并发表。该算法在多个并行工作机之间周期性同步模型更新信息,并与历史更新信息相结合提升全局模型性能。与基于 SSG 的算法相比,BMUF 具有通信频率较低、训练几乎线性加速、模型性能基本无损的特点。这一算法已经在工业界广泛用于大规模深度学习模型的训练。
本文中,我们采用 BMUF 框架并行化 Adam 算法,并在微软大规模 OCR 和语音产品数据集上进行了测试。实验结果表明,在大规模 OCR 任务中,BMUF-Adam 在多达64机的并行训练中几乎实现了线性加速的同时,基本没有模型性能损失,在32机大词汇量连续语音识别任务中也获得了类似效果。
接下来我们探讨如何采用 BMUF 框架赋能 Adam 算法,在大规模深度学习任务上成就不凡。
![ad89e4923e83b9002c144052589b80fe.png](https://i-blog.csdnimg.cn/blog_migrate/a913fbe8590c951e7c493bef4d0b3c93.jpeg)
BMUF框架回顾
在基于 BMUF 的训练框架下,假设我们总共有 N 个并行工作机,一个工作机可以是一块或多块 GPU 卡,也可以是一个计算节点。给定一个包含 Nτ 个 minibatch 的训练数据子集,首先我们将这些数据均匀分布到 N 个并行工作机,每台工作机获得 τ 个 minibatch。从一个共同的初始模型 θ_(t-τ)^((init)) 开始,N 个工作机独立更新各自的局部模型 τ 步,得到 {θ_(t,1),θ_(t,2),…,θ_(t,N)},对局部模型取平均得到 θ ̅_t。这一过程称之为数据块内并行优化(Intra-Block Parallel Optimization, IBPO)。与直接将 θ ̅_t 作为全局模型不同,BMUF 技术将历史更新信息与当前更新信息结合,得到全局模型:
![db24e5dfa48b8c96deffad8c1516b345.png](https://i-blog.csdnimg.cn/blog_migrate/ea9b5a83642c83babfe1ff0af6867837.jpeg)
![9adb09c44bbe10cf4b8f71486f59983a.png](https://i-blog.csdnimg.cn/blog_migrate/1c3cffb7acc814d28d00e0f9bca6da11.jpeg)
其中 η 是区块冲量(block momentum),ζ 为区块学习率(block learning rate),在本文中,我们设置 ζ=1。BMUF 通过采用区块冲量的方式弥补每个 minibatch 由于平均操作带来的对最终模型贡献不足的问题,来提升模型性能。为了方便接下来的分析,我们引入一个新的变量 ρ_n 表示 Δ_n 的等效 minibatch 数目,由于
![c94c453d57fdb56da02c6475d5fa9ded.png](https://i-blog.csdnimg.cn/blog_migrate/68ca8f94613077e1bd7540f4fe657951.jpeg)
因此我们可以得到:
![426743c310fbc0b46ca0c8d1d1b50ac3.png](https://i-blog.csdnimg.cn/blog_migrate/ab0ad22e6289b3873189cf8cc11af608.jpeg)
依据文献[2], 如果我们设置 η=1-1/N,那么 lim┬(n→∞)(ρ_n)=Nτ。通过这一推导可以看出,lim┬(n→∞)(Δ_n) 可以模拟序列化处理 Nτ 个 minibatch 的模型更新。上述的推导基于 θ ̅_t-θ_(t-τ)^((init)) 的平稳性假设。
本文中,我们采用 Nesterov 区块冲量技术,得到下一 IBPO 操作的初始模型:
![17cc56a29e78232a6e46a7e4e296f5c4.png](https://i-blog.csdnimg.cn/blog_migrate/d62e67f0f6fb66a799bfee9e0396a37c.jpeg)
由于
![925a747ba520d1c11ed8271ca9e404c6.png](https://i-blog.csdnimg.cn/blog_migrate/b21ffc2430cc2dc4c82537b07f1b5071.jpeg)
因此
![b66ed04e9f49ccf0cbef863a24b8c29a.png](https://i-blog.csdnimg.cn/blog_migrate/7c0643f49dee29a7ddf947862acbd5c6.jpeg)
![1a014b2e6243c95924359ea20bc49c11.png](https://i-blog.csdnimg.cn/blog_migrate/87d8e68f6da766efde27925d3c65773d.jpeg)
Adam算法回顾
Adam 是一种采用随机梯度的一阶矩和二阶矩估计确定每个参数更新步长的算法,其具体形式如下:
![550b32843e27f661f74e3d1b67b38fe3.png](https://i-blog.csdnimg.cn/blog_migrate/ad14c1b87f2bbb3489b68bbb16c5915b.jpeg)
其中 θ_t 为模型参数,⨀ 表示逐元素乘法,g_t 为第 t 个 minibatch 对应的随机梯度。在实际使用中,精确的一阶矩和二阶矩的获得需要大量的计算,Adam 算法基于 E[g_t] 和 E[g_t⊙g_t] 的短时平稳假设,采用随机梯度序列的指数滑动平均来对一阶矩和二阶矩进行近似:
![5af2e2a9913848c718e48982ad9fe86e.png](https://i-blog.csdnimg.cn/blog_migrate/932e036bb167b80d3e0918cd980e79ca.jpeg)
其中
![dcc7289a75fc8b6a5bf68044ab0549c2.png](https://i-blog.csdnimg.cn/blog_migrate/8c8c1c885d63d80e57052bd4cc8f2331.jpeg)
![5322c98fe7fce5aa68c020792c814d3d.png](https://i-blog.csdnimg.cn/blog_migrate/ecd10d6bbb3ddfcf2a49319486357f82.jpeg)
BMUF-Adam算法
由于 BMUF 是通用分布式优化框架,因此我们可以把 Adam 作为局部优化器嵌入其中。结合我们对 BMUF 和 Adam 的回顾,可以发现,如果不作任何处理直接将 Adam 嵌入 BMUF 框架,会面临 Adam 的一阶矩和二阶矩信息与模型参数不匹配的问题。假如我们设置
![4e1b268d3177f5f3c2eb856b5b857292.png](https://i-blog.csdnimg.cn/blog_migrate/55d43f8ac613a9813fa9702a6cae409b.jpeg)
很明显由于 ηΔ_n 的存在,一阶矩和二阶矩的平均对于下一 IBPO 的初始参数值来说已经陈旧。由于 ηΔ_n 的等效 minibatch 数目为 ηρ_n,因此我们认为,与 θ_t^((init)) 兼容的 m_t^((init)),v_t^((init)) 可以通过以 m ̅_t,v ̅_t 起始,处理 ηρ_n 个 minibatch 得到。
根据一阶矩的更新公式,我们知道
![23a748920b7c42c98483670bdef16cbb.png](https://i-blog.csdnimg.cn/blog_migrate/67659bd3c7512c7cced933dc9e0d1bb9.jpeg)
结合 E[g_t] 的平稳性假设,可以得到
![7c7689c0eada090087bb3af3c24066b9.png](https://i-blog.csdnimg.cn/blog_migrate/1e4c2c6e95852de43364771786942a93.jpeg)
其中 E[g^((n))] 表示第 n 次 IBPO 的 minibatch 随机梯度期望,因此
![e77146487f5745ff861173d911d803f9.png](https://i-blog.csdnimg.cn/blog_migrate/9bb5159f36360655b288a28dc2f8cdad.jpeg)
由于
![621a11e616c8510ca54b138fc4a6e735.png](https://i-blog.csdnimg.cn/blog_migrate/4f8ee68e74506c19206661f215922381.jpeg)
最终我们得到
![21adac1b6f3c7faf81b743443722c280.png](https://i-blog.csdnimg.cn/blog_migrate/5d8329c9d46af3bee6a8fe6521a6cd79.jpeg)
分析 m ̅_t 和 m_t^((init)) 的计算公式,不难发现,当 τ 比较小而 N 比较大时,m_(t-τ)^((init)) 对 m ̅_t 的过大贡献导致其与 θ_t^((init)) 的不一致现象更为严重,这一情况在我们的实验结果中得到了验证,而等效 minibatch 的引入,大大降低了 m_(t-τ)^((init)) 这一历史陈旧值对 m_t^((init)) 的贡献,可以起到改善模型性能的效果。同时,采用较小的 β_1 也能起到降低 m_(t-τ)^((init)) 贡献的作用。上述分析同样适用于二阶矩。最终我们得到 BMUF-Adam 算法如下:
![a1c3057fde38bcf1617438b2f7e9d9d6.png](https://i-blog.csdnimg.cn/blog_migrate/49793555f367d3becaf60428122f86c8.jpeg)
![6bbbc64295d3cf99d2177bb7f6ae7138.png](https://i-blog.csdnimg.cn/blog_migrate/341bff5ae5c210c839e2210a3ec629c3.jpeg)
实验结果
我们首先在微软大规模英文 OCR 任务上,对该方法进行了验证。首先比较将 Adam 嵌入 BMUF 框架时,采用不同矩估计策略的效果,结果如表1(该实验中模型同步周期 τ=8):
![7c0212dec171724a2914d382016c6106.png](https://i-blog.csdnimg.cn/blog_migrate/6de2e42e8f0f81a9f20da44864b7b1f4.jpeg)
表1:实验结果
我们发现,直接采用平均策略时,随着并行机器数目的增多,模型性能出现了明显下降,而我们提出的策略显著缓解了模型性能损失,而较小 β_1 的采用,显著提高了模型性能。接下来,在该任务上,我们对比了 Sync-Adam 和 BMUF-Adam,结果如表2:
![3eccf1f09bb10113b4fc82ee12154970.png](https://i-blog.csdnimg.cn/blog_migrate/eb41183d7ee2bc95ff19fd5102aaf6d3.jpeg)
表2:Sync-Adam 和 BMUF-Adam 比较结果
随着并行机器数目的增多,Sync-Adam 训练的模型出现了显著的性能下降,且训练数据处理的加速比明显变差。BMUF-Adam 在几乎线性加速模型训练的同时,基本不损失模型性能。
同时我们还在微软基于6000小时语音训练数据集的语音识别任务上对 BMUF-Adam 算法进行了验证,结果如表3:
![4a6b037b43ae607f6b951ec26a0fe802.png](https://i-blog.csdnimg.cn/blog_migrate/637167b097f434b3f8361077fb3895db.jpeg)
表3:在语音识别任务上的实验结果
BMUF-Adam 再次在基本不损失模型性能的前提下,实现了模型训练的几乎线性加速,展示出了优秀的可扩展性。
![360015ec4bfddc7c2ee25edff92c7d23.png](https://i-blog.csdnimg.cn/blog_migrate/93f41918838a55db90428c9fd824b196.jpeg)
总结
我们在本文中采用 BMUF 框架对广泛使用的 Adam 算法进行了并行化,实验结果显示该算法相比传统的基于 SSG 的算法具有更快的训练速度,更好的模型性能,更优秀的可扩展性。该算法已应用于微软 OneOCR 和语音产品等多个产品中。
论文链接:
https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9052983
![107ae48ff66f750808bfd93c9a7a42a3.png](https://i-blog.csdnimg.cn/blog_migrate/badad0c73a209f5d3afada798c130cf2.jpeg)
![79189f996ff84132b07239292c428454.png](https://i-blog.csdnimg.cn/blog_migrate/c4f110eeb8403396a514a41bff8a7080.jpeg)
全球Python调查报告:Python 2正在消亡,PyCharm比VS Code更受欢迎
看他那台笔记本,盲猜是个程序员
来了来了!趋势预测算法大PK
附代码 | OpenCV实现银行卡号识别,字符识别算法你知多少?
没错,你离分布式搜索只差一个Elasticsearch入门
重磅!阿里巴巴开源首个边缘计算云原生项目 OpenYurt
区块链共识算法总结 | 原力计划