如何进行Mesos资源调度器的实现分析
如何进行Mesos资源调度器的实现分析,针对这个问题,这篇文章详细介绍了相对应的分析和解答,希望可以帮助更多想解决这个问题的小伙伴找到更简单易行的方法。
1 mesos DRF介绍
mesos调度器是根据DRF(dominant resource fairness)算法实现的。DRF算法背后的直观想法是在多资源类型的环境下,一个用户的资源分配应该由用户的dominant share(主导份额的资源)决定,dominant share是在所有已经分配给用户的多种资源中,占据最大份额的一种资源。
mesos使用resource offers的方式实现各个框架之间的资源分配。Resource offer是多个slave节点上的一组空闲资源。Master根据调度策略来决定提供多少资源给每一个framework,通过以Resource offer的形式发送给发送给框架,然后框架响应Resource offer,确认Resource offer中已使用的资源和返回剩余的空闲资源。
mesos的资源分配器是一个分层的加权max-min fairness的实现。通过抽象了一个role概念,将framework按照role进行分组。那么资源分配就可以分为两层:首先是在各个框架群组间通过加权的DRF算法进行排序;其次在框架群组内部,对各个framework使用加权DRF算法进行排序。然后按照最终的排序结果,从小到大对各个框架进行Resource Offer。如下图所示。
2 mesos资源分配器的实现
Mesos的调度器实现分为两部分,分别是Allocators和sorter,Allocator定义和实现了资源分配器的接口和逻辑。Sorter对资源使用者进行排序,使用具体的资源分配算法来进行排序。
Sorter的实现是DRFSorter,DRFSorter使用DRF算法来对资源使用者进行排序。
Allocator的实现HierarchicalAllocatorProcess,实现了一个分层的分配器,对framework进行分组,分别在各组之间和组内部使用DRFSorter进行排序。
DRFSorter
DRFSorter通过每个用户的dominant share的值实现对client排序。DRFSorter中的几个概念如下:
1、Client:资源的使用者。定义如下
struct Client
{
std::string name; //资源使用者名称
double share; //资源使用者的分配到的资源份额
};
Client之间的排序是首先比较share值的大小,如果在share相等的前提下则需要比较name的大小。
2、Resource:表示一种资源,包含资源name、资源的值以及资源被那些framework偏好。Pb的定义如下:
message Resource {
required string name = 1; //资源名称
required Value.Type type = 2; //资源值的类型Scalar
optional Value.Scalar scalar = 3; //值类型为标量,Cpu和内存的值类型都为标量
optional Value.Ranges ranges = 4; //值类型为范围
optional Value.Set set = 5; //值类型为集合
optional string role = 6 [default = "*"]; //框架对于资源的偏好
}
Mesos的应用环境是多资源类型的集群环境,所有可以框架申请的是多种资源,通过Resource数组来表示。
3、Weight:各个client的资源分配的权重。定义的类型为double
如下图所示,为了对client的进行排序,DRFSorter需要在内部维护了一些信息,见下图:
dirty:表示DRFSorter的资源分配发生更改,需要重新计算各个client的share值。
clients:资源使用者的集合,使用红黑树,按照client的dominant share值进行排序。
Resources:此DRFSorter拥有的总资源值。
整个DRFSorter的接口有两类,第一类是增加、删除和修改client和resource,在资源发生变化时,DRFSorter会将dirty置为true。第二类是对client进行排序,在dirty为true的情况下,会对所有的client重新计算dominant share的值,然后重新插入集合中,返回排序结果。
DRFSorter的核心排序流程如下:
| 如果dirty标志位为true
| 遍历clients集合,计算各个client的share值
| 计算client的各个resource的值占DRFSorter此类型资源总值的比例,
找出最大值然后再除以client的权重,就得到了client的share值。
公式为:Share = , 为client分配到的资源i的值,
为资源i在DRFSorter中的总值。W为client的权重。
| 再重新插入client,进行重排序。
| 返回排序后的结果。
Allocator
实现了一个分层的分配器,如下图所示,用户可以根据role对framework进行分组,在RoleInfo指定framework group的权重,专门有一个DRFSorter对各个framework分组的资源分配进行排序。然后各个framework group内部还有一个DRFSorter对group内部的各个framework的资源分配进行排序。
Allocator的一些概念如下
1、Framework:应用程序框架,向mesos获取集群资源,下发具体的计算任务,是集群的使用者。
struct Framework
{
hashset<Filter*> filters; //framework的过滤器
bool checkpoint; //是否正在进行checkpoint
FrameworkInfo info; //framework的信息
};
2、Slave:运行在各个集群节点的后台任务,执行具体的计算任务,上报节点的资源和负载。
struct Slave
{
.............
Resources available; //当前可用的资源
bool whitelisted; //是否在白名单中,如果false,则不能进行resource offer
bool checkpoint; //是否正在checkpoint,如果正在进行checkpoint,是不能进行resource offer
SlaveInfo info; //slave信息
};
3、Role:用于对framework进行分组,可以为每组framework指定一个weight。Role的信息RoleInfo如下。
message RoleInfo {
required string name = 1;
optional double weight = 2 [default = 1];
}
4、Whitelist:指定了有效的slave,如果制定了白名单,那么白名单内的slave是有效的。
过滤器:用于框架对slave的资源进行过滤,可以用于拒绝特定slave上的资源。
为了实现资源分配,allocator需要在内部维护如下一些信息,见下图。
frameworks:框架的映射,从framework Id到框架信息的映射。
slaves:slave的映射,从slave Id到slave信息的映射。
roles:框架分组信息的映射。
FrameworkSorters:框架群组内部DRF排序容器的映射。
Role Sorter:框架群组之间进行DRF排序的容器。
allocator核心的调度逻辑:
| 对framework group进行从小到大排序(framework按照role进行分组)
| 遍历排序后的framework group
| 在group组内对各个framework进行排序
| 遍历排序后的framework
| 遍历slave集合,将满足要求的所有slave的可用资源发送给框架
| 提取slave中role为”*”的所有可用资源资源,”*”表示一般普适的资源。
| 提取与framework group的role相同的所有可用的slave资源
(此为提取框架偏好的slave资源)。
| 判断slave资源是否满足条件:
| 过滤资源,如果slave或者framework正在进行checkpoint或者
资源被framework中设定的过滤器过滤掉。则放弃资源
| slave不在白名单中,放弃资源。
| slave的资源小于最小资源限定,放弃资源。
| 将以上都条件都满足的资源加入到资源结果集合中,
并更新slave的可用资源(需要减去已经放入到结果集合中的资源)
| 如果资源结果集合不为空
| 更新资源,即slave中可用资源
| 执行resource offer操作,将资源下发给框架
分配器在以下情况下进行resource offer:
1、在新的slave加入到mesos集群中。
2、在新的framework加入到mesos集群中。
3、在定时地执行资源分配,时间可以通过配置文件进行配置。
allocator在资源分配时,提供了如下四个机制:
1、过滤器:框架可以设置过滤器来拒绝的特定资源。比如framework在某一个slave上多次执行失败,那么framework就可以通过对这个slave设定过滤器来拒绝这个slave上的资源。
2、slave的白名单:不在白名单内的slave不参与resource offer。
3、slave的最小资源限定:mesos的资源调度等同于一个装箱问题。装箱问题的浪费空间与物体的最大大小和箱子的大小的比率相关,箱子越大物体越小那么利用率越高。但是当一个集群被请求小量资源的任务占满时,那么一个请求大量资源的框架可能会饥饿。为了适应请求大资源任务的框架,mesos通过设定slave节点最小资源限定,来避免在slave上进行offer resource,直到slave上的空闲资源达到最小资源供给大小。
4、框架对slave资源的偏好。通过resource中的role参数来实现,可以通过设定slave的资源的role值和以及将框架按照role进行分组,来实现框架群组的专用资源和资源偏好。
个人认为Mesos分配器的一些缺陷如下:
1、Mesos的resource offer从本质上一种悲观的并发控制,从核心的调度逻辑上我们可以看到,Mesos的每一次调度会一次性地将所有可用的资源都发送给一个框架,在收到框架的响应后,才会返回剩余的资源,继续下一次调度。Mesos的调度性能依赖于框架对resource offer的快速响应。而且mesos没有对resource offer设定一个超时回收机制(个人阅读了0.14版本的mesos代码,没有发现这个机制),如果有一个框架接收了resource offer之后,长时间没有响应,那么整个mesos集群就会发生死锁。
2、Mesos实现fairness是通过对框架按照权重和已分配的dominant share资源进行排序来实现的。Mesos如果要实现dominant resource fairness的性能隔离或者sharing incentive依赖于框架的实现,如果有一个贪婪的框架在一次resource offer中占用了大量资源并长时间不释放,那么其他framework就会处于一种饥饿的状态。Mesos适用于那些使用短任务和拥有可扩展的弹性机制的框架。
3、mesos不支持框架对资源抢占,框架无法获取整个集群的状态。
关于如何进行Mesos资源调度器的实现分析问题的解答就分享到这里了,希望以上内容可以对大家有一定的帮助,如果你还有很多疑惑没有解开,可以关注行业资讯频道了解更多相关知识。