集群调度框架的架构演进之路（转）

集群架构是现代数据中心非常重要的组件&＃xff0c;在最近几年中有长足发展。架构也从单体式设计转向更加灵活、去中心化和分布式设计。然而&＃xff0c;许多现代开源实现仍然是单体式设计或者缺少很多功能&＃xff0c;而这些功能对实际用户非常有用。

这篇博客是关于大型机群任务调度系列的第一篇&＃xff0c;资源调度在Amazon、Google、Facebook、微软或者Yahoo已经有很好实现&＃xff0c;在 其它地方的需求也在增长。调度是很重要的课题&＃xff0c;因为它直接跟运行集群的投入有关&＃xff1a;一个不好的调度器会造成低利用率&＃xff0c;昂贵投入的硬件资源被白白浪费。而光靠 它自己也无法实现高利用率&＃xff0c;因为资源利用相抵触的负载必须要仔细配置&＃xff0c;正确调度。
架构演进

这篇博客讨论了最近几年调度架构如何演进&＃xff0c;为什么会这样。图一演示了不同的方法&＃xff1a;灰色方块对应一个设备&＃xff0c;不同颜色圈对应一个任务&＃xff0c;有“S”的方形代表一个调度器。​箭头代表调度器的调度决定&＃xff1b;三种颜色代表不同工作负载&＃xff08;例如&＃xff0c;网站服务&＃xff0c;批量分析&＃xff0c;和机器学习&＃xff09;

图一&＃xff1a;不同调度架构&＃xff0c;灰色框代表集群设备&＃xff0c;圆圈代表任务&＃xff0c;Si代表调度器。

&＃xff08;a&＃xff09;单体式调度器&＃xff08;b&＃xff09;二级调度 &＃xff08;c&＃xff09;共享状态调度 &＃xff08;d&＃xff09;分布式调度 (e) 混合式调度​

许多集群架构&＃xff0c;例如大量高性能计算&＃xff08;HPC&＃xff09;&＃xff0c;使用的是Borg调度器&＃xff0c;它跟Hadoop调度器和Kubernetes调度器完全不同&＃xff0c;是单体式调度。

单体式调度

单一调度进程运行在一台物理机内&＃xff08;例如Hadoop V1中JobTacker&＃xff0c;Kubernetes中的kube-scheduler&＃xff09;&＃xff0c;将任务指派给集群内其它物理机。所有负载都服从于一个调度器&＃xff0c;所有 任务都通过这一个调度逻辑运行&＃xff08;参见图一a&＃xff09;。这种架构最简单格式唯一&＃xff0c;在此基础上发展起了很多负载的调度器&＃xff0c;例如Paragon和Quasar调度器&＃xff0c; 采用机器学习方法来避免不同负载之间资源竞争。

今天集群都运行着不同类型的应用&＃xff08;与之相对应的是MapReduce早期作业场景&＃xff09;&＃xff0c;然而&＃xff0c;采用单一调度器来处理这么复杂异构负载会很棘手&＃xff0c;有几个原因&＃xff1a;
调度器必须区分对待长期运行服务作业和批量分析作业​&＃xff0c;这是合理的需求。
因为不同应用有不同的需求&＃xff0c;催生调度器内加入更多功能&＃xff0c;增加业务逻辑和部署方式。
调度器处理任务顺序变成一个问题&＃xff1a;如果调度器不仔细设计&＃xff0c;队列效果&＃xff08;例如线头阻塞head-of-line blocking&＃xff09;和回滚会成为问题。

总之&＃xff0c;这听起来像是给工程师带来噩梦&＃xff0c;调度器维护者面对的没完没了的功能请求证实了这点。

二级调度

二级调度通过将资源调度和任务调度分离解决了这个问题&＃xff0c;这使得任务调度逻辑不仅可以根据不同应用要求而进行裁剪&＃xff0c;而且保留了在集群之间共享资源的 可能性。尽管侧重点不同&＃xff0c;Mesos和 YARN集群管理都使用了这种方法&＃xff1a;Mesos中&＃xff0c;资源是主动提供&＃xff08;offer&＃xff09;给应用层调度&＃xff0c;而YARN则允许应用层调度请求&＃xff08;request&＃xff09;资源 &＃xff08;&＃xff0c;并且随后接受被分配资源&＃xff09;。图一b展示了这一概念&＃xff0c;作业负责调度&＃xff08;S0-S2&＃xff09;跟资源管理器交互&＃xff0c;资源管理器则给每个作业分配动态资源。这一方案赋予 客户灵活调度作业策略的可能性。

然而&＃xff0c;通过二级调度解决问题也有问题&＃xff1a;应用层调度​将资源全局调度隐藏起来&＃xff0c;也就是说&＃xff0c;不再能看到全局性的可选资源配置。相反&＃xff0c;只能看到资源管理 器主动提供&＃xff08;offer&＃xff0c;对应于Mesos&＃xff09;或者请求/分配&＃xff08;request/allocate&＃xff0c;对应于YARN&＃xff09;给应用的资源。由此带来一些问题&＃xff1a;​
重入优先权&＃xff08;也就是高优先权会将低优先权任务剔除​&＃xff09;实现变的很困难。在基于offer模式&＃xff0c;被运行中任务占用的资源对高一级调度器不可见&＃xff1b;在基于request模式&＃xff0c;底层资源管理器必须理解重入策略&＃xff08;跟应用相关&＃xff09;。
调度器​不能介入运行中业务&＃xff0c;有可能减低资源使用效率&＃xff08;例如&＃xff0c;“饥饿邻居”占据了IO带宽&＃xff09;&＃xff0c;因为调度器看不见他们。
应用相关调度器更关注底层资源使用的不同情况&＃xff0c;但是他们唯一选择资源的方法就是资源管理器提供的Offer/request接口&＃xff0c;这个接口很容易变的很复杂。

共享状态架构

共享状态架构通过采用半分布式模式来解决这个问题&＃xff0c;​这种架构下集群状态多副本会被应用层次调度器独立更新&＃xff0c;如图一C中所示。一旦本地有更新&＃xff0c;调度器发布一个并发交易更新所有共享集群状态。有时候因为另外一个调度器发出了一个冲突交易&＃xff0c;交易更新有可能失败。

最重要的共享状态架构实例是Google的Omega系统&＃xff0c;以及微软的Apollo和Hashicorp的Nomad容器调度。这些例子中&＃xff0c;共享 集群状态架构都是通过一个模块实现&＃xff0c;也就是Omega中的“cell state”&＃xff0c;Apollo中的“resource monitor”&＃xff0c;以及Nomad中的“plan queue”。Apollo跟其他两个不同之处在于共享状态是只读的&＃xff0c;调度交易直接提交到集群设备&＃xff1b;设备自身会检查冲突&＃xff0c;来​决定接受或者拒绝更新&＃xff0c;使得 Apollo即使在共享状态暂时不可用情况下也可以继续执行。

逻辑上来说&＃xff0c;共享状态设计不一定必需将全状态分布在其它地方&＃xff0c;这种方式&＃xff08;有点像Apollo&＃xff09;每个物理设备维护自己的状态&＃xff0c;将更新发送到其它感兴 趣的代理&＃xff0c;例如调度器&＃xff0c;设备健康监控&＃xff0c;和资源监控系统。每个物理设备本地状态就成为一个全局共享状态的“沟通片”&＃xff08;shard&＃xff09;。

然而&＃xff0c;共享状态架构也有一些缺点&＃xff0c;必须作用在稳定的&＃xff08;过时的&＃xff0c;stale&＃xff09;信息&＃xff08;这点跟中心化调度器不同&＃xff09;&＃xff0c;有可能在高竞争情况下造成调度器性能下降&＃xff08;尽管对其它架构也有这种可能&＃xff09;。

全分布式架构

看起来这种架构更加去中心化&＃xff1a;调度器之间没有任何协调&＃xff0c;使用很多各自独立调度器响应不同负载&＃xff0c;如图一d所示。每个调度器都作用于自己本地&＃xff08;部分或 者经常过时的【stale】&＃xff09;集群状态信息。典型的&＃xff0c;作业可以提交到任何调度器&＃xff0c;调度器可以将作业发布到任何集群节点上执行。跟二级调度器不同的是&＃xff0c;每个 调度器并没有负责的分区&＃xff0c;全局调度和资源分区是服从统计意义和随机分布的&＃xff0c;这有点像共享状态架构&＃xff0c;但是没有中央控制。

尽管说去中心化底层概念&＃xff08;去中心化随机选择&＃xff09;是从1996年出现&＃xff0c;现代意义上分布式调度应该是从Sparrow论文开始的&＃xff0c;当时有一个讨论是&＃xff1a;合 适粒度&＃xff08;fine-grained&＃xff09;任务有很多优势&＃xff0c;Sparrow论文的关键假设是集群上任务周期可以变得很短&＃xff1b;接下来&＃xff0c;作者假定大量任务意味着调度器 必须支持很高通量的决策&＃xff0c;而单一调度器并不能支持如此高的决策量&＃xff08;假定每秒上百万任务量&＃xff09;&＃xff0c;Sparrow将这些负载分散到许多调度器上。

这个实现意义重大&＃xff1a;去中心化理论上意味着更多的仲裁&＃xff0c;但是这非常适合某类负载&＃xff0c;我们会在后面的连载中讨论。现在&＃xff0c;足够理由证明&＃xff0c;由于分布式调度是无协调的&＃xff0c;因此相对于复杂单体式调度&＃xff0c;二级调度或者分布状态时调度&＃xff0c;更适合于简单逻辑。例如&＃xff1a;
1.分布式调度​是基于简单的“时间槽&＃xff08;slot&＃xff09;”概念&＃xff0c;将每台设备分成n个标准时间槽&＃xff0c;同时运行n个并发任务&＃xff0c;尽管这种简化忽略了任务资源需求是各自不同的事实。
2.在任务端&＃xff08;worker side&＃xff09;使用服从简单服务规则的队列方式&＃xff08;例如Sparrow中FIFO&＃xff09;&＃xff0c;这样调度器的灵活性受到限制&＃xff0c;调度器只需决定在哪台设备上将任务入队。
3.因为没有中央控制&＃xff0c;分布式调度器对于全局变量设置&＃xff08;例如&＃xff0c;fairness policies或者strict priority precedence等&＃xff09;有一定难度。
4.因为分布式调度是为基于最少知识做出快速决策而设计&＃xff0c;因此无法支持或承担复杂应用相关调度策略&＃xff0c;因此避免任务之间干扰&＃xff0c;对于全分布式调度来说很困难。

混合式架构​

混合式架构是为了解决全分布式架构缺陷&＃xff0c;最近&＃xff08;发端于学院派&＃xff09;提出的解决方式&＃xff0c;它综合了单体式或者共享状态的设计。这种方式&＃xff0c;例如 Tarcil&＃xff0c;Mercury和Hawk&＃xff0c;一般有两条调度路径&＃xff1a;一条是为部分负载设计的分布式路径&＃xff08;例如&＃xff0c;短时间任务或者低优先级批量负载&＃xff09;&＃xff0c;另外一条集 中式调度&＃xff0c;处理剩下负载&＃xff0c;如图一e所示。对于所描述的负载来说&＃xff0c;混合架构中发生作用的调度器都是唯一的。实际上&＃xff0c;据我所知&＃xff0c;目前还没有真正的混合架构部署 于生产系统中。
实际意义

不同调度架构相对价值&＃xff0c;除了有很多研究论文外&＃xff0c;其讨论不仅仅局限在学院内&＃xff0c;从行业角度对于Borg&＃xff0c;Mesos和Omega论文的深入讨论&＃xff0c;可以 参见Andrew Wang的专业博客。然而&＃xff0c;很多以上讨论的系统都已经部署在大型企业生产系统中&＃xff08;例如&＃xff0c;微软的Apollo&＃xff0c;Google的Borg&＃xff0c;Apple的 Mesos&＃xff09;&＃xff0c;反过来这些系统激励了其它可用开源项目。

如今&＃xff0c;很多集群系统运行容器化负载&＃xff0c;因此有一系列面向容器的“调度框架”&＃xff08;Orchestration Framworks&＃xff09;出现&＃xff0c;他们跟Google以及其它被称为“集群管理系统”类似。然而&＃xff0c;很少关于这些调度框架和设计原则的讨论&＃xff0c;更多是集中于面向用户 调度的API&＃xff08;例如&＃xff0c;这篇Armand Grillet的报道&＃xff0c;比较了Docker Swarm&＃xff0c;Mesos/Marathon和Kubernetes的默认调度器&＃xff09;。然而&＃xff0c;很多客户既不懂不同调度架构的不同&＃xff0c;也不知道哪个更适合自己的应 用。

图二展示了一部分开源编排框架的架构和调度器支持的功能。图表底部&＃xff0c;也包括google和微软闭源系统作比较。​资源粒度一列展示调度器分配任务给固定大小时间槽&＃xff0c;还是按照多维需求&＃xff08;例如CPU&＃xff0c;memory&＃xff0c;磁盘IO&＃xff0c;网络带宽等&＃xff09;分配资源。

图二&＃xff1a;常用开源编排框架分类和功能比较&＃xff0c;以及与闭源系统比较。

决定一个合适调度架构主要因素在于你的集群是否运行一个异构&＃xff08;或者说混合的&＃xff09;负载。例如&＃xff0c;前端服务&＃xff08;例如&＃xff0c;负载均衡web服务和 memcached&＃xff09;和批量数据分析&＃xff08;例如&＃xff0c;MapReduce或者Spark&＃xff09;混合在一起&＃xff0c;这种组合对于提高系统利用率是有意义的&＃xff0c;但是不同应用需要不 同调度方式。在混合设定下&＃xff0c;单体式调度很可能导致次优任务分配&＃xff0c;因为基于应用需求&＃xff0c;单体调度逻辑不能多样化&＃xff0c;而此时二级或者共享状态调度可能更加适合一 些。

许多面向用户服务负载运行的资源一般是满足容器的峰值需求&＃xff0c;但是实际上资源都是过分配的。这种情况下&＃xff0c;能够有机会降低给低优先级负载过分配资源对 高效集群来说是关键。尽管Kubernetes拥有相对成熟方案&＃xff0c;Mesos是目前唯一支持这种过分配策略的开源系统。这个功能未来应该有更大改善空间&＃xff0c; 因为根据Google borg集群来看很多集群利用率任然小于60-70%。后续博客我们将就资源预估&＃xff0c;过分配和有效设备利用等方面展开讨论。

最后&＃xff0c;特殊分析和OLAP应用&＃xff08;例如&＃xff0c;Dremel或者SparkSQL&＃xff09;非常适合全分布式调度。然而&＃xff0c;全分布式调度&＃xff08;例如Sparrow&＃xff09;内置 相对严格功能设置&＃xff0c;因此当负载是同构&＃xff08;也就是&＃xff0c;所有任务同时运行&＃xff09;、配置时间&＃xff08;set-up times&＃xff09;很短&＃xff08;也就是&＃xff0c;任务调度后长时间运行,如同MapReduce应用任务运行于YARN&＃xff09;、任务通量&＃xff08;churn&＃xff09;很高&＃xff08;也就是&＃xff0c;许多调度决定 必须很短时间内做出&＃xff09;时非常合适。我们将在下一个博客中详细讨论这些条件&＃xff0c;以及为什么全分布式调度&＃xff08;以及混合架构中分布模块&＃xff09;只对这种应用场景有效。

现在&＃xff0c;我们可以证明分布式调度比其他调度架构更加简单&＃xff0c;而且不支持其他资源维度&＃xff0c;过分配或者重新调度。

总之&＃xff0c;图二中表格表明&＃xff0c;相对于更高级但是闭源的系统来说&＃xff0c;开源框架仍然有很大提升空间。可以从如下几方面采取行动&＃xff1a;功能缺失&＃xff0c;使用率不佳&＃xff0c;任务性能不可预测&＃xff0c;邻居干扰&＃xff08;noisy neighbours&＃xff09;降低效率&＃xff0c;调度器精细调整以支持某些客户忒别需求。

然而&＃xff0c;也有很多好消息&＃xff1a;尽管今天还有很多集群仍然使用单体式调度&＃xff0c;但是也已经有很多开始迁移到更加灵活架构。Kubernetes今天已经可以支 持可插入式调度器&＃xff08;kube-scheduler pod可以被其它API兼容调度pod替代&＃xff09;&＃xff0c;更多调度器从1.2版本开始会支持“扩展器”提供客户化策略。Docker Swarm&＃xff0c;据我理解&＃xff0c;在未来也会支持可插入式调度器。​

下一步

下一篇博客将会讨论全分布式架构对于可扩展式集群调度是否关键技术创新&＃xff08;反对声音说&＃xff1a;不是必须的&＃xff09;。然后&＃xff0c;我们会讨论资源适配策略&＃xff08;提高利用率&＃xff09;&＃xff0c;最后讨论我们Firmament调度平台如何组合和共享状态架构和单体式调度质量&＃xff0c;以及全分布调度器性能问题。

原文链接&＃xff1a;The evolution of cluster scheduler architectures&＃xff08;翻译&＃xff1a;杨峰&＃xff09;
译文来自&＃xff1a;Dockerone