作为框架的开发者，我们发现，虽然框架多种多样，但框架核心技术正呈现收敛的态势，经过几年的发展，在深度学习框架开发者眼里出现一些“共识”，或所谓“最佳实践”，几乎所有框架都去拥抱了这样技术选型，在架构和技术选择上趋同。另一方面，也有一些技术在框架开发者眼里属于举棋不定或无计可施的状态。这次报告会对已经收敛的技术（“最佳实践”）做一个梳理，读者会发现，开发一个深度学习框架没有那么难。本报告也会简要讨论目前框架未解决的难题，读者也会发现，开发一个超越已有技术的框架有很难的问题。最后，我们会从框架开发者的视角去对主流深度学习框架做一句话点评，供用户在做技术选型时参考。
注：首先介绍深度学习框架的背景，然后介绍深度学习框架开发中已经收敛的技术和仍未解决的问题，其次点评主流深度学习框架，最后对2018年的深度学习框架技术发展做出展望。
注：在进入正文前，让我们首先声明一些前提，如果这些前提不成立，那么“深度学习框架”就没那么重要。本文仅对第四点做一些阐述，用软件实现深度学习算法加速，可分微观和宏观两个层次。微观层次主要聚焦在单个设备或芯片上的代码优化，设备厂商通常会工作在这个层次，他们会提供高性能的库，譬如x86 或arm CPU上MKL, OpenBlas，Nvidia GPU 上的CuBlas, Cudnn等，在大部分稠密计算场景都能贴近设备的理论性能，优化空间不大（当然在终端设备等低功耗场景有很多发挥空间）。宏观层次，主要是多设备和多计算节点层面的优化，这要靠分布式框架的支持，是计算力推向更高水平的关键，在性能上仍有巨大优化空间。最后，深度学习软件要解决编程不够快（程序员的效率）和程序运行不够快（计算机的效率）两个痛点，“两个痛点的描述”出自尼克著《人工智能简史》里的一句话。
注：神经网络由若干层次构成，每个层次通常都可以表示成对矩阵的处理，这种稠密计算形式特别适合使用高度并行的硬件加速（GPU, TPU等）。
注：限于硬件制造工艺水平，单个设备（GPU, TPU）不可能无限大，而工业级应用对计算力的渴求是无止境的，此时就必须用高速互联的多个设备协同来完成大规模计算。上图展示了GPU集群和TPU集群，在这种配置里，通常是CPU和GPU （或TPU）一块儿工作，CPU 负责任务的调度和管理，而GPU 负责实现稠密计算，这就是经常说的异构计算（Heterogenous computing）。
注：“硬件越快，软件越难”这个观点分享过多次。简要说：自上而下看，深度学习模型训练通常使用随机梯度下降（SGD）算法，是更接近流式计算的一种负载：每处理一小片数据，就引起系统内部状态的变化；自下而上看，深度学习广泛采用异构计算技术，GPU 此类的设备吞吐率非常高，是CPU的10倍以上，意味着同样大小的计算任务，GPU可以更快完成。从小粒度和快设备两方面看，深度学习训练中的计算任务粒度非常小，通常是数十毫秒到百毫秒级别。但是，设备互联带宽并没有实质改进，譬如同机内部PCIe或多机互联使用的高速以太网或Infiniband的传输带宽要低于GPU内部数据带宽一两个数量级。以上因素给分布式软件框架带来巨大压力，如果处理不好，就会造成设备利用率低，整体系统性能差的后果。打个比方，虽然高铁要比普通的列车开起来快很多，但如果让高铁每个车站都挺两分钟，那么高铁并不会比普通列车快多少。
注：软件层和硬件层都是属于“计算力”范畴，软件层扮演了传统意义上操作系统（OS，如Windows, Linux），或者互联网时代浏览器，或者移动互联网时代Android, IOS，或者大数据时代Hadoop的角色，是上层应用的入口。同时软件生态又定义了底层硬件的角色，会影响底层硬件的发展和命运。
注：我们首先介绍深度学习框架中已经收敛的技术，理解了这些原理，每个人应该能开发出一个自己的深度学习框架。
注：在进入技术细节之前，让我们先来理解两个很重要的概念：控制流（Control flow） 和数据流（Data flow），这俩概念事关后续一些关键的技术选择。以a = x + y; b = a * a; c = 4 - a; 这样一段简单的程序为例，有两种编程模式，一种是以C语言为代表的命令式编程（imperative programming），语句的排列顺序隐式的刻画了程序的执行顺序（左图中虚线箭头表示执行顺序），有哪些语句可以并行执行，并不太明确，如果要在多个线程中执行这几条语句，为了防止出现多个线程间的读写冲突，可能要使用锁 （lock）等技术来保护某一个变量（某一段内存）防止出现data race。另一种编程模式是以Lisp为代表的函数式编程（functional programming），程序用一系列表达式来刻画，程序的执行不是按表达式的声明顺序来执行，而是从表达式中挖掘出各个表达式之间的数据依赖关系，把数据依赖关系用一个有向无环图来表示，图显式刻画了哪些表达式必须在另一些表达式之前求值，或者哪些表达式之间不存在依赖关系，可以并行执行。在并行和并发越来越多的世界，functional programming 和数据流程序正在越来越受重视。
注：数据流模型一般表示成有向无环图（Directed acyclic graph, DAG）。譬如上一页的a = x + y; b = a * a; c = 4 - a; 三个表达式可以表示成这样一张图，圆圈表示数据，方块表示算子。算子之间靠数据的生产和消费关系产生依赖。数据流模型的优势主要包括两方面：（1） 表示上的好处，显式描述了程序中的所有并行机会；（2）实现上的好处，数据流的执行引擎可以用很简单的方法支持并发和并行，而在控制流程序中对并发和并行的支持就要复杂的多。
注：比较早的框架Caffe 通过Layer 这种抽象，运算和数据是放在一起的。TensorFlow 出现后，有向无环图中两个最基本的元素，操作符（运算）和张量（数据）是分开表示的，这种抽象模式也被其它框架所采用。具体地，Operator 一般是运算的描述，Kernel 是运算的具体实现，在实现上还要考虑操作符粒度的问题，理论上如果支持了最基本的加减乘除就可以通过图计算自动支持更加复杂的运算（如一些神经网络层次的计算），但粒度太细就对编译器要求特别高，当前编译器生成的代码不一定能超过工程师手工优化的代码，因此在多数框架里都是直接支持一些粗粒度的操作符，譬如卷积操作符，矩阵乘操作符等（值得注意的是TensorFlow XLA, TVM 在细粒度操作符描述的图优化方面有一些好的实践）。对于张量计算的支持，业界也有很多技巧，譬如一般使用C++模板元编程来实现，借助于编译时计算来提高运行时的效率，TensorFlow 等框架一般基于Eigen库，MXNet 使用自己开发的Mshadow。
注：autograd 已经成为深度学习框架的标配。有了autograd，用户写程序时，只需要描述前向计算是怎么做的，后向计算过程由系统自己推导完成。autograd通过导数的链式法则实现，逆拓扑序搭建反向计算图。需要注意两点：（1）后向计算过程可能会依赖于前向计算产生的中间数据，所以前向计算的中间数据可能要一直保持到对应的后向计算完成才能释放，否则就需要在后向计算时重新进行前向计算。（2）如果前向计算过程有多个操作符消费了同一个数据，后向计算图时就需要把这几个操作符对应的梯度算子上传过来的误差信号进行累加。上面的示意图来自陈天奇在华盛顿大学一门《Deep learning systems》课程的课件，感兴趣的读者可以去课程网站获取更多资料。
注：给定用户输入的DAG （称之为逻辑图，logical graph）, 系统一般会利用编译器技术对图进行优化重写，上图罗列的一些优化技巧就不一一展开解释了。经过优化最终送到执行引擎执行的图叫物理图（physical graph），物理图可能和输入的逻辑图已经截然不同了。在TensorFlow, PyTorch, MXNet, Caffe2 中都可以看到这些常见的优化办法。
注：执行引擎是深度学习引擎的核心，基本原理是按拓扑序去执行算子/操作符，以上图为例，刚开始，乘法和减法运算无法执行，因为它们依赖的一个数据a还没有生成，引擎首先执行输入数据已经就绪的操作符，即加法，当加法完成后，执行引擎会从DAG 中删掉已经执行的节点，然后发现乘法和减法的执行条件已经满足了，再去执行乘法和减法。事实上，当前所有大数据处理引擎的内核都是用这个原理实现的。在深度学习框架里，需要注意调度器是在CPU上执行的，而操作符的真实运算是在GPU上完成的，为了高效协调CPU和GPU之间的工作，在具体实现上有一些技巧。感兴趣的读者可以观摩TensorFlow, MXNet, Caffe2 的执行引擎，也许你会发现有更好的实现办法。
注：从执行效率考虑，深度学习框架底层一般基于C++开发，从易用性角度出发，也同时提供Python前端便于数据科学家使用。上图来自李飞飞教授在斯坦福的cs231n课程课件，展示了Numpy，TensorFlow和PyTorch 对同一个简单神经网络训练过程的实现。最左侧是Numpy 代码，它的第一个特色是imperative programming，是即时求值（eager evaluation），运行完b = a + z 这条语句，b的结果就出来了；第二个特色是没有autograd，所以用户不仅要写前向计算的代码，还要把后向梯度下降的代码写出来，而TensorFlow和PyTorch都支持了autograd，在代码中只需要写前向计算的过程，而后向计算过程是系统自动构建的。TensorFlow 和PyTorch的区别则是，前者是lazy evaluation，后者是eager evaluation。在TensorFlow 中，a = x + y; b = a + z 只是一些表达式，构建了一个数据流图，在执行sess.run 时刻才会被真正执行，而且执行顺序不一定和表达式声明顺序一致。在PyTorch中，和Numpy原理类似，每条语句都是立刻执行，而且按照语句的排列顺序执行。看上去，PyTorch的代码的确更加简洁，后文会进一步讨论延迟求值和即时求值的问题。
注：深度学习框架不只要解决易用性和高效性，还要方便部署运维。当前主流的深度学习框架都是基于检查点机制实现容错，Fail fast and warm start。深度学习框架还需要和上下游的开源工具链有机衔接，譬如分布式数据存储和数据预处理依靠Hadoop或者Spark。部署运维，现在比较推崇基于Docker和Kubernetes相结合的方案。用户有时需要在多个框架之间切换，随着ONNX标准的推出，也大大便利了各种框架间的迁移，譬如使用PyTorch 描述或训练的模型可以按ONNX规范导出，并被Caffe2框架使用。除了解决训练问题，深度学习框架还便于上线部署，为此TensorFlow推出了单独的serving模块。
注：下面我们探讨一些当前框架开发者还举棋不定或一筹莫展的技术问题。
注：Define-and-run 和 Define-by-run 近期关注度比较高，PyTorch 靠Define-by-run 这个特性吸引了很多开发者。这个技术问题还有其它等价的描述，譬如define-and-run，基本上和lazy evaluation, 或 declarative programming, data flow 是一回事，通常意味着效率高。define-by-run 则基本上和eager evaluation， imperative programming 或control flow 是一回事，通常意味着灵活性。最近，很多框架在积极的推进支持define-by-run的运行模式，譬如TensorFlow 增加了eager evaluation，MXNet 推出了gluon 接口，PaddlePaddle Fluid 也是一种imperative programming的用法。那这两种技术选择到底是怎么回事呢？ 我们认为：（1）Imperative programming 只不过是大部分程序员更加熟悉的编程方式，实现一个imperative programming的深度学习框架要比实现一个declarative programming的框架简单（最简只须实现autograd，复杂点要支持JIT）。传统的lazy evaluation框架增加imperative programming接口可以做到和PyTorch 完全一样的用户体验，只不过要费些周章。（2）只要declarative programming 解决了调试困难等问题，就是对用户更友好的一种编程模式，用户只要在写程序时描述 what，而不需要关心 how，底层细节对用户透明，这是现代变编程语言的发展趋势。（3）并行和并发代表着未来的趋势，那么数据流（声明式编程，函数式编程）代表着未来，data flow 模型在任务描述和系统执行引擎的简洁性上都有天然优势。
注：并行计算可以扩大处理任务的规模，也可以加速计算。具体到深度学习框架，总体情况是：数据并行已经得到解决，无论是哪个框架都能把适合数据并行的任务做到接近理想加速比，譬如计算机视觉领域各种CNN模型；数据并行和流水线并行不支持或支持的不好，导致在某些分布式训练场景，硬件利用率过低，训练周期过长。在集合通信（Collective communication operation）上有基于参数服务器的，MXNet, PaddlePaddle，TensorFlow，也有基于MPI（或类MPI）的，譬如Caffe2。TensorFlow 在宏观架构上还区分了Client, Master, Worker节点，在重构版的PaddlePaddle也使用了类似的架构。
注：现有框架都能良好支持数据并行。原本限制数据并行的一个问题是随机梯度下降算法依赖的mini-batch不能太大，太大的mini-batch 算法不收敛，这就导致即使有大量的并行设备，也发挥不出来威力。近期有一系列成果攻克了这个问题，譬如Facebook 推出的一个小时训练ImageNet，以及尤洋做的一系列工作，可以把mini-batch 推广到32K, 保证算法仍然收敛，这就能充分发挥数据并行的优势。
注：模型并行本身实现复杂度不是特别高，主要困难在于有的场景适合数据并行，有的场景适合数据并行，有的场景同时需要模型并行和数据并行，这就需要根据实际情况正确的对数据重新组织（分裂，合并）和路由（把数据正确的发送到目的地，scatter或broadcast）。再有就是，当数据路由比较复杂时，就很难高效的支持，就需要流水线并行的支持。
注：当神经网络模型或中间隐状态体积很大时，譬如超过一张显卡显存的容量，除了使用模型并行，还可以使用流水线并行。流水线并行有点像接力比赛，上图展示了一个简单的例子，第一个GPU 做完第一层的计算后，把结果传递给第二块GPU，第二块GPU 完成中间四层的计算之后，把结果传递给第三块GPU完成计算。通常训练深度学习模型时，存在多个阶段，譬如把数据从磁盘加载到主存，把数据从主存搬运到GPU, GPU 完成一个阶段的计算之后，可能还需要把数据通过网络传送到另一台机器。在这样多阶段任务中，流水线并行对于系统性能至关重要。可以注意到，大部分框架在IO阶段会做流水线并行，而在多个计算阶段，或者计算与通信阶段之间都没有相应支持。基于现有框架去支持模型并行，流水线并行还非常困难。
注：下面分享一些我们对各种框架的理解和判断，如果观点有偏差，敬请理解，欢迎批评指正。
注：以上框架用户比较多，开发团队技术实力雄厚。深度学习框架的先驱Theano 已停止更新，它的autograd机制已经被这些现代框架所吸收；我们没有研究微软开发的CNTK；Intel 收购的Nervana 在开发一个新的框架NGraph，也值得关注，不过它目前主要聚焦在单设备优化；DMLC的NVVM和TVM 放在MXNet内；有一个来自日本研究人员的框架Chainer也比较有特色，Python 前端非常清爽。
注：TensorFlow 是系统完整度最高的，支持training和inference （serving），支持图像常用的CNN，也支持自然语言和语音常用的RNN/LSTM， 还有移动端的TensorFlow Lite，支持lazy execution也支持eager execution，社区生态最强大，Google在深度学习算法和应用方向的研究也是冠绝天下（参见Jeff Dean 写的 Google Brain 2017 年度回顾 https:// zhuanlan.zhihu.com/p/32 905123 ）深度学习领域很多新的研究成果都是以TensorFlow代码发布的。但TensorFlow的性能也是广受诟病，我们不大清楚TensorFlow在Google内部是不是性能卓越，在外部用户那里经常能听到用户抱怨TF 慢，在学界和工业界很多Benchmark里，大家也喜欢拿TensorFlow做baseline，譬如CMU Eric Xing教授团队发表的Poseidon 论文，基于TF 做了一系列优化之后，性能提高非常显著；Uber 团队改造了TensorFlow的分布式实现后（把PS换成MPI）, CNN 数据并行场景还能提高一倍的性能 （见Uber Horovod https:// github.com/uber/horovod
注：Facebook AI Lab出品的PyTorch 是深度学习框架的一匹黑马，靠Eager evaluation 博得了大批深度学习研究人员的青睐。基于Imperative programming 的理念和基于Python的语言构造（控制流）来搭建神经网络，灵活性高。NLP 领域常有一些动态图的需求，PyTorch是首选。我们认为在单机场景下，易用性和灵活性是最重要的用户需求，其它框架为了满足这样的需求，必须在原本为分布式设计的技术架构上做一些妥协，难以和PyTorch的最简内核竞争。PyTorch 为了克服Eager evaluation的一些问题，也在通过JIT来享受一些Lazy evaluation的优点，同时也在向分布式场景进军。如前文所述，在大规模分布式应用场景下，用户程序只能是Lazy evaluation风格，数据流的执行引擎在高并发高并行的场景有天然的优势，PyTorch 现在的设计实现距离这个目标还比较遥远。
注：MXNet 开发团队实力雄厚，现在是Apache孵化项目，有Amazon官方支持加持。MXNet 的特点是包含很多正对Geek品味的实现技巧， 很值得喜欢钻研前沿技术的人去观摩。但不好的地方是，给人一种比较“杂”的感觉，让开发者感到困惑，譬如矩阵库有两套实现Mshadow和NDArray。MXNet 在计算机视觉领域总是能紧跟前沿应用，一些新的模型出来社区总是第一时间支持。MXNet 有一些关联项目，譬如NNVM和TVM，目前来看TVM 更独特，NNVM里实现的一些图优化技术在其它框架里也是有对应实现的，而TVM 和TensorFlow XLA 应该是处于一个层次：聚焦于单设备程序性能优化。基于TVM, Halide, TensorFlow XLA ，用户可以在单设备上使用声明式编程，编译器自动生成高效的后端代码。
注：Caffe 的用户还非常多，第二代 Caffe2和第一代已经迥然不同了，但继承了一些简洁的品质在里面。框架的抽象非常简洁，不厚重，Op/Kernel和引擎主要在C++层实现，而复杂的图拓扑结构在Python层面处理。Caffe2 借鉴了TensorFlow 对Op/Kernel的抽象，没有再使用之前Layer那种把数据和操作放在一起的设计。同样是Op/Kernel抽象，Caffe2 也不是简单的模仿， 代码看上去更加舒服。Caffe2 目前支持数据并行，曾创造了一个小时训练ImageNet的记录，对Caffe 有感情的用户可以尝试。据了解，Caffe2 在Facebook内部承担了“工业级应用”和“部署”的重任，也开发了很好的移动端支持，这应该是Caffe2 的特色。Caffe2 还有一个很有特色的技术，gloo网络库是定制的MPI 实现，有“去中心化”集群通信的味道，也便于支持流水线。
注：PaddlePaddle 最大的优势是百度内部在广泛使用，经受了实战检验。第一代PaddlePaddle 是比较接近 Caffe，分布式并行也依赖于Parameter server。最近一年，Paddle团队在开展非常激进的重构。以我们的理解，重构版PaddlePaddle 借鉴了很多TensorFlow的设计，所以Paddle 能否解决TensorFlow 面临的问题呢？ 重构后的PaddlePaddle 主推命令式编程接口，正像我们评价PyTorch时所说的，命令式编程接口固然亲民，但数据流表示在大规模分布式运行场景有天然的优势（表示能力和引擎实现复杂度方面），要很好的支持大规模分布式场景，深度学习框架最终要把“控制流”代码翻译成“数据流”代码在后台运行。
注：总体来看，深度学习框架开发的绝大部分技术秘密已经公开了，开发一个简单的深度学习框架没有那么难。但从另一方面看，要开发一个易用性和高效性都很卓越的框架是非常困难的，即使是世界上最优秀的开发团队也感到困难重重，克服这些问题需要艰苦卓绝的创新和坚持。
注：展望未来一年：（1） 我们认为在计算机视觉领域也将迎来模型更大的场景，譬如把Hinton的Capsule net 从Cifar 推向ImageNet 规模，模型大小就远超当前各种常见的CNN, 这种情况必须把模型分裂到多个设备上去完成，也就是所谓的模型并行。而且学界很关心神经网络结构学习，元学习，也有必要去探索CNN之外的架构，在人脑视皮层尽管存在CNN这种神经元分层组织和局部感受野的神经元，但并没有所谓weight sharing（神经元功能柱有类似的特异选择性，但不是严格一样），这种神经元之间的连接规模非常庞大，如果去掉这个约束会发生什么？如果深度学习框架不能支持模型并行，那么这种设想就只能在Cifar, MNIST这种数据集合上去探索，并不能在ImageNet甚至更大规模的数据上去探索，而有些规律是在大规模数据上才会“涌现”出来。（2）未来，通用的深度学习框架会支持模型并行，而且用户使用模型并行易如探囊取物。（3）深度学习向更多场景渗透，自然而然。（4）一旦一项技术被验证，各种深度学习框架都会去拥抱它，支持它，正如今天很多框架在提供imperative programming接口一样，同质化是比较严重的，未来需要一些新的空气，新的思路去解决那些悬而未决的问题。（5）在大数据和人工智能时代，数据积累到了临界点，工业界除了有数据存储，数据筛选这些需求，将普遍需要一个大脑（Brain），作为数据驱动业务的引擎，深度学习框架会像Hadoop 一样经历一个从“旧时王谢堂前燕，飞入寻常百姓家”的过程。
打印本文章
