mosn基于延迟负载均衡算法 — 走得更快,期待走得更稳

前言

这篇文章主要是介绍mosn在v1.5.0中新引入的基于延迟的负载均衡算法

  • 对分布式系统中延迟出现的原因进行剖析
  • 介绍mosn都通过哪些方法来降低延迟
  • 构建来与生产环境性能分布相近的测试用例来对算法进行验证

地址:
https://github.com/mosn/mosn/pull/2253

在开始聊基于延迟的负载均衡算法之前,先介绍下什么是负载均衡——

什么是负载均衡

Wikipedia中Load Balancing (Computing)词条是这样介绍负载均衡的:

负载均衡是将一组任务分配到一组资源(计算单元)上的过程,目的是使它们的整体处理更有效率。负载均衡可以优化响应时间,避免负载不均匀导致一些计算节点过载而其他计算节点处于空闲状态

负载均衡在大型分布式系统中是关键的组成部分。负载均衡解决了分布式系统中最重要的两个问题:可伸缩性(scalability)和韧性(resilience)。

  • 可伸缩性:应用程序部署在多个相同的副本中。当计算资源不足时可以通过部署额外的副本来增加计算资源,而当计算资源大量冗余时可以通过减少副本来节省成本。通过负载均衡可以将请求负载分布到不同的副本中。
  • 韧性:分布式系统的故障是部分的。应用程序通过冗余副本的方式,保证在部分组件故障时仍能正常地提供服务。负载均衡通过感知节点的故障,调整流量的分配,将流量更多的分配到那些能够正常提供服务的节点上。

走得更快

负载均衡使得现代软件系统具备了可扩展性和韧性。但在分布式系统中还存在不容忽视的问题:延迟

延迟来自哪里

现代软件系统通常是多层级结构大型分布式系统,即使是只服务单个终端用户的请求,它背后也有可能经过了上百次的数据访问,这种情况在微服务架构中更是尤为普遍。

mosn基于延迟负载均衡算法 -- 走得更快,期待走得更稳

微服务架构(引用自Microservices Pattern)

单台性能稳定的服务器中延迟通常由以下几个方面造成:

  • 计算任务本身的复杂度
  • 内容的传输过程中的延迟
  • 请求排队等待的延迟
  • 后台任务活动所导的资源竞争

这些服务器之间的延迟将会叠加,任何显著的延迟增加都会影响终端用户的体验。此外,任何来自单个节点的延迟峰值也会直接影响到终端用户体验。最后,越来越多地使用公有云部署应用程序,进一步加剧了响应时间的不可预测性,因为在这些环境中存在共享资源(CPU、内存和IO)的争用,应用程序机几乎不可避免地遇到性能影响,并且这种影响是随时发生的。

如何减少延迟

有研究表明,在大型互联网应用中,延迟往往具有长尾特点,P999比中位数高出几个数量级。如果在应用架构的每层都能够减少这些尾部延迟,那么对终端用户整体的尾部延迟将会显著降低。

mosn基于延迟负载均衡算法 -- 走得更快,期待走得更稳

在服务网格中,所有接收和发送的流量都会经过边车代理,通过边车代理可以轻松地控制网格的流量,而无需对服务进行任何修改。如果边车代理在对应用层流量进行转发时,总是通过负载均衡时选择响应时间较短的服务器,那么将会显著降低对终端用户的尾部延迟。

基于此,我们准备开始为mosn引入基于延迟的负载均衡算法,并进行适当调整来保证能够在大多数使用场景下显著减少延迟。

性能问题是局部的

前面提到了,每个节点的性能受到多种因素的影响,这些影响因素是动态的,难以准确预测每个节点的性能,因此我们无法精确地选择最好的节点,但是可以避免较差的节点。

在云环境中,服务器的性能常常是难以预测的,但是我们可以通过对大量的数据进行分析,发现服务器性能的分布大多数情况下是符合正态分布的。因此,尽管有一部分的服务器在性能方面表现比较差,它们的数量通常都是少数的(3sigma),而绝大部分服务器节点的表现是正常的。

mosn基于延迟负载均衡算法 -- 走得更快,期待走得更稳

除了服务器之间的差异,还存在由基础设施导致的动态延迟,这种延迟可能是由于网络拥塞、故障或不断增长的流量所导致。这种延迟通常具有持续性和局部性。持续性则表示延迟会长时间存在,不会在短时间内消失;而局部性指的是延迟往往只出现在某些特定服务器上,而不会在全局发生。

PeakEWMA

面对这些问题,我们使用PeakEWMA(Peak Exponentially Weighted Moving Average)计算响应时间指标,并根据这个指标来对节点进行负载均衡。

EWMA是一种动态权重调整算法,各数值的加权影响力随时间而指数式衰退,越近期的数据加权影响力越重,但较旧的数据也给予一定的加权值。

mosn基于延迟负载均衡算法 -- 走得更快,期待走得更稳

它以相对较高的权重考虑了最近响应时间的影响,因此更具有针对性和时效性。加权的程度以常数 决定, 数值介于 0 至 1,它用来控制数据加权影响力衰退的速率。

mosn基于延迟负载均衡算法 -- 走得更快,期待走得更稳

作为一种统计学指标,EWMA的计算过程不需要大量的采样点以及时间窗口的设定,有效地避免了计算资源的浪费,更适合在mosn这样的边车代理中使用。

由于响应时间是历史指标,当服务器出现性能问题导致长时间未返回时,负载均衡算法会错误地认为这台服务器仍是最优的,而不断地向其发送请求而导致长尾延迟增高。我们使用活跃连接数作为实时变化的指标对响应时间进行加权,表示等待所有活跃的连接都返回所需要的最大时间。

P2C(Power of Two Choice)

在大规模集群中,如果使用遍历所有服务器选择最好的服务器的方法,虽然可以找到最轻负载的服务器来处理请求,但这种方法通常需要大量的计算资源和时间,因此无法处理大规模的请求。因此,我们使用P2C(Power of Two Choice)来选择最优节点。相比之下,P2C算法可以在常数时间内选择两个服务器进行比较,并选择其中负载更轻的服务器来处理请求。P2C基于概率分配,即不直接基于权重分配,而是根据每个服务器优于其他服务器的概率值来决定请求的分配。

此外,在多个负载均衡器的情况下,不同负载均衡器可能会有不同的节点视图,这可能导致某些负载均衡器选择的最优节点总是最差的节点。这是因为负载均衡器选择最优节点时基于自己的视图信息,而节点视图随着时间的变化可能会发生变化,因此不同的负载均衡器选择的最优节点也可能不同。P2C算法通过对随机选择的两个节点进行比较,可以使节点间的负载均衡更加均匀,即使节点视图发生变化,也能提供稳定的负载均衡效果。

在mosn的v1.5.0版本中,只有节点权重相同时会使用P2C,当权重不同时会使用EDF进行加权选择。后续会提供可配置的选项。

模拟流量验证

我们构建了与生产环境性能分布相近的测试用例来对算法进行验证。

首先我们使用正态分布生成了10台服务器的基准性能,其中数学期望为50ms,标准差为10ms。接下来,我们将这些基准性能作为数学期望,并以标准差为5ms的正态分布随机生成了请求延迟,以模拟真实世界的情况。此外,我们还在其中一台服务器注入了概率为0.1的故障,故障发生时会产生1000ms的延迟,以测试系统的容错性。

为了模拟请求倾斜时请求排队等待的延迟,我们限制了每台服务器的最大并发数为8,当同时处理的最大请求数超过了最大并发数时,将会排队等待。这样能够更加真实地模拟出系统的运行情况。

最后,我们使用了Round Robin、Least Request和PeakEWMA三种算法,分别以16并发同时发送请求,得到的P99如下

mosn基于延迟负载均衡算法 -- 走得更快,期待走得更稳

Round Robin算法虽然平衡,但是始终会选择到注入了故障的服务器,导致P99始终在1000ms上下波动;Least Request算法虽然避开了故障服务器,但是其P99值依然表现出较大的波动。

与此相比,PeakEWMA算法在保持稳定的同时,P99值始终低于Round Robin和Least Request算法。这恰当地体现了mosn在性能优化方面的成功,mosn确实做到了走得更快。

期待走得更稳

虽然服务网格解决了让应用跑得更快的问题,但是分布式系统中的故障却时刻存在。我们期望通过mosn的负载均衡算法,可以让我们的服务走得更稳。

快速失败的挑战

根据经验,故障时的响应时间往往远远小于正常值,比如网络分区导致的连接超时,而没有实际处理请求。我们称这种错误时响应时间远远小于正常值的情况为快速失败。

在服务器出现快速失败时,从负载均衡的角度看,就会错误地认为该服务器是最优的选择。尽管可以通过断路器来避免向该服务器持续发送请求,但是断路器的阈值设置也存在挑战。此外,断路器需要足够的错误样本才能触发,而我们期望尽可能避免错误的发生。

因此,我们在后续版本中将会对负载均衡算法进行调整,让负载均衡算法能够感知错误的发生,并在触发断路器前就避免将请求转发到故障的服务器中。

作者:京东物流 纪卓志

内容来源:京东云开发者社区

原文链接:https://www.cnblogs.com/Jcloud/p/17380792.html

本站文章如无特殊说明,均为本站原创,如若转载,请注明出处:mosn基于延迟负载均衡算法 — 走得更快,期待走得更稳 - Python技术站

(0)
上一篇 2023年5月8日
下一篇 2023年5月9日

相关文章

  • [Week 19]每日一题(C++,数学,并查集,动态规划)

    目录 [Daimayuan] T1 倒数第n个字符串(C++,进制) 输入格式 输出格式 样例输入 样例输出 解题思路 [Daimayuan] T2 排队(C++,并查集) 输入格式 输出格式 样例输入1 样例输出1 样例输入2 样例输出2 样例输入3 样例输出3 数据规模 解题思路 [Daimayuan] T3 素数之欢(C++,BFS) 数据规模 输入格…

    算法与数据结构 2023年5月4日
    00
  • Python用户推荐系统曼哈顿算法实现完整代码

    下面是详细讲解“Python用户推荐系统曼哈顿算法实现完整代码”的完整攻略,包括算法原理、Python实现和两个示例说明。 算法原理 曼哈距离是一种计算两个向量之间距离的方法,其计算方法是将两个向量的每个对应元素的差的绝对值相加。用户推荐系统中,可以使用曼哈顿距离来计算用户之间的相似度,从而进行推荐。具体步骤如下: 将用户评分矩阵转换为用户向量矩阵; 计算用…

    python 2023年5月14日
    00
  • 数据结构用两个栈实现一个队列的实例

    下面我将详细讲解“数据结构用两个栈实现一个队列的实例”的完整攻略。 一、背景 在队列和栈这两种数据结构中,都可以实现数据的存储和操作。栈是一种后进先出(LIFO)的数据结构,而队列则是一种先进先出(FIFO)的数据结构。在实际应用中,很多场景需要同时具备队列和栈的特性,且要求效率较高,这时候就需要用两个栈实现一个队列的问题来解决了。 二、解决方案 考虑采用两…

    数据结构 2023年5月17日
    00
  • Python字符串匹配算法KMP实例

    下面是详细讲解“Python字符串匹配算法KMP实例”的完整攻略。 KMP算法 KMP算法是一种匹配算法,用于在一个文本串S内查找一个模式串P的出现位置。该算法的核心思想是利用已经匹配过,尽量减少模式串与文本串的匹配次数,从而提高匹配效率。 下面是一个Python实现KMP算示例: def kmp_search(text, pattern): n = len…

    python 2023年5月14日
    00
  • 详解python算法常用技巧与内置库

    Python是一种高级编程语言,它提供了许多内置库和算法技巧,可以帮助我们更轻松地解决各种问题。在本文中,我们将介绍一些Python算法常用技巧和内置库。 算法常用技巧 1. 双指针技巧 双指针技巧是一种常用的算法技巧,它可以帮助我们在数组或链表中查找元素。双指针技巧通常使用两个指针,一个指针从数组或链表的开头开始,另一个指针从数组或链表的结尾开始,然后两个…

    python 2023年5月13日
    00
  • python实现快速排序的示例(二分法思想)

    下面是详细讲解“Python实现快速排序的示例(二分法思想)”的完整攻略。 1. 什么是快速排序? 快速排序是一种常用的排序算法,它的基本想是通过一趟排序将待排序的数据分割成独立的两部分,其中一部分的所有数据都比另外一部分的所有都要小,然后再按照此方法对这两部分数据分别进行快速排序,整个排序过程可以递归进行,以此达整个数据变成有序序列的目的。 2. 快速排序…

    python 2023年5月14日
    00
  • 使用python实现两数之和的画解算法

    下面是详细讲解“使用Python实现两数之和的画解算法”的完整攻略,包含两个示例说明。 两数之和算法简介 两数之和算法是一种用于在数组中查找两个数之和等于目标值的算法。该算法可以使用暴力枚举或哈希表实现。 两数之和算法实现 下面是Python实现两数之和算法的代码: def two_sum(nums, target): seen = {} for i, nu…

    python 2023年5月14日
    00
  • C语言数据结构深入探索顺序表

    C语言数据结构深入探索顺序表攻略 一、概述 顺序表是一种线性结构,是计算机程序中最常见的数据结构之一。在C语言中,顺序表可以用数组来实现。本篇文章将深入讲解顺序表的原理和实现方法,帮助读者加深对顺序表的理解,并掌握如何用C语言代码实现顺序表。 二、顺序表的定义和特点 顺序表是指用一组地址连续的存储单元依次存储线性表中的各个元素,用于表示具有相同数据类型的n个…

    数据结构 2023年5月17日
    00
合作推广
合作推广
分享本页
返回顶部