逐行拆解Guava限流器RateLimiter

逐行拆解Guava限流器RateLimiter

常见限流算法

计数器法

  • 设置一个时间窗口内允许的最大请求量,如果当前窗口请求数超过这个设定数量,则拒绝该窗口内之后的请求。

  • 关键词:时间窗口,计数器。

  • 举个例子,我们设置1秒钟的最大请求数量为100,使用一个计数器来记录这一秒中的请求数。每一秒开始时,计数器都从0开始记录请求量,如果在这一秒内计数器达到了100,则在这一秒未结束时,之后的请求全部拒绝。

  • 计数器法是一个简单粗暴的方法。也就是因为简单粗暴,会有一定的问题。比如0.9秒时有100个请求,1.1秒时也有100个请求。按照计数器法的计算,第一秒和第二秒确实都在各自的时间范围内限制了100个请求,但是从0.5秒1.5秒这一秒之间有200个请求,这是计数器法的临界问题。如果请求量集中在两个时间窗口的临界点,会产生请求的尖峰。

  • 在这里插入图片描述

  • 我们可以引用滑动窗口的方式更加精细的划分时间窗口解决这个问题。将1秒钟细分为10个格子,每个格子用单独的计数器计算当前100毫秒的请求。随着时间的流逝,我们的窗口也跟着时间滑动,每次都是计算最近10个格子的请求量。如果最近10个格子的请求总量超过了100,则下一个格子里就拒绝全部的请求。格子数量越多,我们对流量控制的也就越精细,这部分逻辑可以借助LinkedList来实现。

  • 而滑动窗口的缺点是,需要一直占用内存空间保存最近一个时间窗口内每个格子的请求。

漏桶算法

  • 我们想象有一个固定容量的桶,桶底有个洞。请求就是从上往下倒进来的水,可能水流湍急,也可能是涓涓细流。因为桶的容量是固定的,所以灌进来太多的水,溢出去了我们就用不了了。所以无论怎样,桶底漏出来的水,都是匀速流出的。而我们要做的,就是处理这些匀速流出的水就好了。
  • 关键词:流入速率不定,流出速率恒定,只处理流出的请求。
  • 漏桶的优点就是,需要处理的请求一直都是固定速率的,特别稳定。而对应的缺点就是,漏桶没有办法解决突发流量的情况。

令牌桶算法

  • 相比于漏桶而言,令牌桶的处理方式完全相反。我们想象依旧有一个固定容量的桶,不过这次是以稳定的速率生成令牌放在桶中。当有请求时,需要获取令牌才能通过。因为桶的容量固定,令牌满了就不生产了。桶中有充足的令牌时,突发的流量可以直接获取令牌通过。当令牌取光后,桶空了,后面的请求就得等生成令牌后才能通过,这种情况下请求通过的速率就变得稳定了。
  • 关键词:令牌生成速率固定,能取到令牌即可通过。
  • 令牌桶的优点是可用处理突发流量,而且被广泛的应用于各种限流工具中。比如Guava的RateLimiter。下面我们就来由浅及深的了解一下,RateLimiter中的令牌桶是怎么实现的吧。

RateLimiter令牌桶解析

教你如何用令牌桶的方式卖包子

  • 我们先不看源码,举个形象的例子先感受一下,RateLimiter类是如何实现令牌桶逻辑的。
  • 小白包子铺因为小笼包皮薄馅香汤汁多而生意兴隆,每天都会有很多人排队来吃。因为蒸笼个数有限,后厨师傅的人力也有限,每分钟只能出锅一屉小笼包,每个小时一共能蒸出60屉小笼包供顾客享用。如果这60屉小笼包没人买,就先不蒸了,反正也没地方放。
  • 每位顾客需要先在门口付买包子的钱,然后进到铺子里吃包子。如小笼包都卖没了,门口的顾客就只能付完钱等着,等有新出炉的小笼包可卖时,再进门享用。
  • 包子铺每天早上7点准时开门,师傅开始制作这60屉小笼包【RateLimiter rateLimiter = RateLimiter.create(60)】。顾客蜂拥而至排队,第一个顾客先付一屉小笼包的钱【rateLimiter.acquire()】,等一分钟后小笼包出锅,便可以进屋吃包子了。这时伙计会和顾客说:“您本次等待了1分钟,久等了。”【rateLimiter.acquire()返回的值】。之后是第二个顾客,付钱,等一分钟,进屋吃包子。于是,早上大家就这样一直稳定有序的进屋吃包子。这事来了个火急火燎的上班族,说:“我着急吃饭,不想等,有现成的包子吗?”【rateLimiter.tryAcquire()】伙计看了一眼后厨说:“没有现成的包子,需要等会哦。”一看还要等,第三个顾客就走了。
  • 早高峰过去后,买包子的人少了,师傅做完60个包子后,就休息了。
  • 中午12点,隔壁科技园的程序员们下班了,顾客蜂拥而至。因为已经有了60个库存,大家不用等,付了钱就可以直接进屋吃包子,屋子里一下就涌入了60个顾客。看到小笼包都买光了,后厨师傅又赶紧忙了起来。
  • 这时来了个大胃王,大嗓门喊道:“我想要30屉包子。”【rateLimiter.acquire(30)】伙计一愣,心想,这一下也做不出这么多包子呀。但是本着客户至上的原则,他对大胃王说:“好的先生,不过我们的包子都是现做的,您先吃着,我们蒸好了陆陆续续给您端上来可以吗?”大胃王说:“哈哈,好!好饭不怕晚!”于是交钱进门吃包子了。这时候又来了个顾客A,说我想要一屉包子。伙计心里一算,现在是一点,等刚才那个大胃王要的包子上齐了,才能给这位顾客上包子,所以需要等到1:30才能给这位顾客吃上,好惨一顾客。于是说:“不好意思这位顾客,小笼包现在没有了,您需要等一段时间。”顾客A说:“好吧,我交了钱等着吧。”于是过了半个小时,后厨做出来了第31屉包子,顾客A就满足的进屋吃包子了。

RateLimiter的重要思想

  • 上一节的例子里,我们可以这样理解:每一屉小笼包就是一个令牌,包子铺的后厨就是令牌桶。
    1. 令牌桶有最大令牌数限制,最多只能装60个令牌,再多就装不下了。
    2. 令牌的生成也是匀速的,每个小时生成60个令牌,如果时刻都有人来取令牌,那这些人会保持均匀的速率领取。(SmoothBursty模式和SmoothWarmingUp模式稳定期)
    3. 如果之前累积了大量的令牌,一旦有大量的请求来获取令牌,这些请求都会被通过。
    4. RateLimiter是预获取令牌模式,即:如果一次性被消耗掉大于已有数量的令牌,RateLimiter的策略是先满足你,不够的令牌数我先欠着,等后续生成了足够的令牌后,再给下一个请求发放令牌。
    5. 令牌桶通过记录下一次请求可发放令牌的时间点来确定是否接受下一个请求,以及下一个请求需要等待的时间。

RateLimiter类源码解析

  • RateLimiter的源码其实很简单,只涉及到RateLimiter和SmoothRateLimiter两个类文件。其中RateLimiter类是一个抽象类,定义了限流器常用的方法。具体的逻辑都是通过其子类SmoothRateLimiter来实现的。
  • 在这里我们主要看最核心的部分,来了解中RateLimiter的基本工作原理。
计时器
  • 首先要说一下RateLimiter类中的计时器。

  • 计时器随限流器初始化时创建,贯穿始终,伴随限流器漫长的一生。令牌桶中数量的计算、是否到达可以接收请求的时间点都需要计时器参与。我认为计时器是限流器成立的基础。

  • 限流器使用的是SleepingStopwatch这个内部类作为计时器。而SleepingStopwatch的则是通过持有一个Stopwatch对象来实现计时和休眠。

  • /*** The underlying timer; used both to measure elapsed time and sleep as necessary. A separate* object to facilitate testing.* 一个底层的限流器,用于测量运行时间和睡眠时间*/
    private final SleepingStopwatch stopwatch;abstract static class SleepingStopwatch {/*** Constructor for use by subclasses.*/protected SleepingStopwatch() {}/*** 获取当前时间点** @return*/protected abstract long readMicros();/*** 按照计算的睡眠时间等待休眠** @param micros*/protected abstract void sleepMicrosUninterruptibly(long micros);public static SleepingStopwatch createFromSystemTimer() {return new SleepingStopwatch() {final Stopwatch stopwatch = Stopwatch.createStarted();@Overrideprotected long readMicros() {return stopwatch.elapsed(MICROSECONDS);}@Overrideprotected void sleepMicrosUninterruptibly(long micros) {if (micros > 0) {Uninterruptibles.sleepUninterruptibly(micros, MICROSECONDS);}}};}
    }
    
重要的变量
  • 再看一下SmoothRateLimiter类中我们需要记住的几个变量。令牌桶的令牌生成、消耗、领取和等待都是对这几个变量的操作,这些变量约束控制令牌桶的空间状态和令牌生成速度。

  • 具体每个变量是做什么的,关注代码里面的注释哦。

  • /*** The currently stored permits.* 当前桶中已存在的令牌数,如果请求需要的令牌数量小于已存在的令牌数,就可以直接领了令牌去搞事情啦*/
    double storedPermits;/*** The maximum number of stored permits.* 令牌桶可以保存的最大令牌数,达到这个数量,就不再生产令牌了,装不下啦*/
    double maxPermits;/*** The interval between two unit requests, at our stable rate. E.g., a stable rate of 5 permits* per second has a stable interval of 200ms.* 稳定令牌生成间隔时间,单位是微秒。其实这个数字是根据设置令牌桶时计算的:1s/每秒生成令牌数量(QPS)。当然,后期如果修改了每秒生成令牌的数量,这个值也是会变的。*/
    double stableIntervalMicros;/*** The time when the next request (no matter its size) will be granted. After granting a request,* this is pushed further in the future. Large requests push this further than small requests.* 下一个请求可以被允许获取令牌的时间点,单位是微秒。*/
    private long nextFreeTicketMicros = 0L;
    
核心方法使用与原理
  • 了解了控制限流器时间和空间相关的变量,我们就来看一下核心流程,限流器是如何工作的吧。

  • Guava对RateLimiter有两种实现方式。

    • SmoothBursty:平滑突发限流,以稳定的速率生成令牌。下文中称SmoothBursty实现的限流器为稳定限流器。
    • SmoothWarmingUp:平滑预热限流,随着请求量的增加,令牌生成速率会缓慢提升直到一个稳定的速率。下文称SmoothWarmingUp实现的限流器为预热限流器。
  • 其中,稳定限流器支持处理突发请求。比如令牌桶现有令牌数为5,这时连续进行10个请求,则前5个请求会全部直接通过,没有等待时间,之后5个请求则每隔200毫秒通过一次。

  • 而预热限流器则只会让第一个请求直接通过,之后的请求都会有等待时间,等待时间不断缩短,直到稳定在每隔200毫秒通过一次。这样,就会有一个预热的过程。

  • 先上一个简单的demo,直观的感受一下这两种限流器的差别。

  • /*** 突发请求情况对比*/
    public static void compareBurstyRequest() {RateLimiter burstyLimiter = RateLimiter.create(5);RateLimiter warmingUpLimiter = RateLimiter.create(5, 2, TimeUnit.SECONDS);DecimalFormat df = new DecimalFormat("0.00");// 积攒1秒try {Thread.sleep(1000);} catch (InterruptedException e) {e.printStackTrace();}System.out.println("稳定限流器");IntStream.range(0, 10).forEach(a -> {double acquire = burstyLimiter.acquire();System.out.println("第" + a + "次请求等待时间:" + df.format(acquire));});System.out.println("预热限流器");IntStream.range(0, 10).forEach(a -> {double acquire = warmingUpLimiter.acquire();System.out.println("第" + a + "次请求等待时间:" + df.format(acquire));});
    }
    
  • 代码执行结果对比如下:

  • 在这里插入图片描述

  • 结果一目了然。

  • 好啦,那我们开始代码拆解之旅吧。

创建限流器

  • RateLimiter提供了两个静态方法来创建限流器,其中一个是创建稳定限流器,创建时只需要传入每秒生成的令牌数即可。具体逻辑和讲解都在代码的注释里啦,注意跟着代码走哦~

  • // 创建稳定限流器
    RateLimiter burstyLimiter = RateLimiter.create(5);
    
  • 它是由SmoothBursty实现的,比较简单:

  • static final class SmoothBursty extends SmoothRateLimiter {/*** The work (permits) of how many seconds can be saved up if this RateLimiter is unused?* 用于计算maxPermits,在初始化时默认设置为1秒。所以最多存储1秒内生成的令牌数*/final double maxBurstSeconds;SmoothBursty(SleepingStopwatch stopwatch, double maxBurstSeconds) {super(stopwatch);this.maxBurstSeconds = maxBurstSeconds;}@Overridevoid doSetRate(double permitsPerSecond, double stableIntervalMicros) {double oldMaxPermits = this.maxPermits;// 设置最大令牌数maxPermits = maxBurstSeconds * permitsPerSecond;if (oldMaxPermits == Double.POSITIVE_INFINITY) {// if we don't special-case this, we would get storedPermits == NaN, below// 我也不知道啥时候会出现这个情况storedPermits = maxPermits;} else {// 如果oldMaxPermits为0,则说明是初始化限流器,当前令牌桶已存在令牌置为0。// 否则按照新的最大令牌数等比例的扩大已存在的令牌数storedPermits = (oldMaxPermits == 0.0) ? 0.0  : storedPermits * maxPermits / oldMaxPermits;}}@Overridelong storedPermitsToWaitTime(double storedPermits, double permitsToTake) {return 0L;}@Overridedouble coolDownIntervalMicros() {return stableIntervalMicros;}
    }
    
  • 另一个是预热限流器,创建时需要传入每秒生成的令牌数和预热时间。

  • // 创建预热限流器
    RateLimiter warmingUpLimiter = RateLimiter.create(5, 2, TimeUnit.SECONDS);
    
  • 预热限流器由SmoothWarmingUp实现,有些复杂。我们先看涉及到构造方法的这部分就好,后面的storedPermitsToWaitTime方法等到下一节涉及到获取令牌时的逻辑再看。

  • static final class SmoothWarmingUp extends SmoothRateLimiter {/*** 预热时间,单位毫秒*/private final long warmupPeriodMicros;/*** The slope of the line from the stable interval (when permits == 0), to the cold interval* (when permits == maxPermits)* 斜率,用于计算坐标系中梯形面积*/private double slope;/*** 预热期与稳定期令牌数临界值*/private double thresholdPermits;/*** 冷却期因子,用于计算冷却期产生令牌时间间隔*/private double coldFactor;SmoothWarmingUp(SleepingStopwatch stopwatch, long warmupPeriod, TimeUnit timeUnit, double coldFactor) {super(stopwatch);this.warmupPeriodMicros = timeUnit.toMicros(warmupPeriod);this.coldFactor = coldFactor;}/*** @param permitsPerSecond     每秒生成令牌数,SmoothWarmingUp用不上* @param stableIntervalMicros 稳定期令牌生成间隔时间*/@Overridevoid doSetRate(double permitsPerSecond, double stableIntervalMicros) {double oldMaxPermits = maxPermits;// 冷却期产生令牌时间间隔 = 稳定期令牌生成间隔时间 * 冷却期因子double coldIntervalMicros = stableIntervalMicros * coldFactor;// 临界值 = 0.5 * 预热时间 / 稳定期令牌生成间隔时间// 源码的注释中说,从maxPermits到thresholdPermits,需要用warmupPeriod的时间,而从thresholdPermits到0需要warmupPeriod一半的时间// 因为前面coldFactor被硬编码为3.好吧~thresholdPermits = 0.5 * warmupPeriodMicros / stableIntervalMicros;// 最大令牌数 = 临界值 + 2 * 预热时间 / (稳定期令牌生成间隔时间 + 冷却期产生令牌时间间隔)// 为什么是这么算出来的呢?源码的注释已经给出了推导过程。因为坐标系中右边的梯形面积就是预热的时间,即:// warmupPeriodMicros = 0.5 * (stableInterval + coldInterval) * (maxPermits - thresholdPermits)// 因此可以推导求出maxPermits:maxPermits = thresholdPermits + 2.0 * warmupPeriodMicros / (stableIntervalMicros + coldIntervalMicros);// 咳咳,这里其实仔细算算,一顿操作猛如虎,因为coldFactor默认为3,所以其实:// maxPermits = warmupPeriodMicros / stableIntervalMicros// thresholdPermits = maxPermits / 2// 斜率 = (冷却期产生令牌时间间隔 - 稳定期令牌生成间隔时间) / (最大令牌数 - 临界值)// 看图,是小学数学题的求斜率哦slope = (coldIntervalMicros - stableIntervalMicros) / (maxPermits - thresholdPermits);// 这部分和稳定限流器的逻辑不一样,初始化时默认storedPermits就为maxPermitsif (oldMaxPermits == Double.POSITIVE_INFINITY) {// if we don't special-case this, we would get storedPermits == NaN, belowstoredPermits = 0.0;} else {storedPermits = (oldMaxPermits == 0.0) ? maxPermits : storedPermits * maxPermits / oldMaxPermits;}}/*** 计算令牌桶的等待时间* 怎么计算时间呢?我们用给的这个坐标系来计算。* 其中纵坐标是生成令牌的间隔时间,横坐标是桶中的令牌数。* 我们要计算消耗掉permitsToTake个令牌数需要的时间,实际上就是求坐标系中的面积* 所以storedPermitsToWaitTime方法实际上就是求三种情况下的面积** @param storedPermits 令牌桶中存在的令牌数* @param permitsToTake 本次消耗掉的令牌数* @return*/@Overridelong storedPermitsToWaitTime(double storedPermits, double permitsToTake) {// 当前令牌桶内的令牌数和临界值的差值double availablePermitsAboveThreshold = storedPermits - thresholdPermits;long micros = 0;// measuring the integral on the right part of the function (the climbing line)// 高于临界值,则需要根据预热算法计算时间if (availablePermitsAboveThreshold > 0.0) {double permitsAboveThresholdToTake = min(availablePermitsAboveThreshold, permitsToTake);// TODO(cpovirk): Figure out a good name for this variable.// 吐槽:你看,大佬写代码时也不会起变量名// 而且这个todo好几年了也没有do,所以不要写todo,这和"下次一定"没啥差别double length = permitsToTime(availablePermitsAboveThreshold) + permitsToTime(availablePermitsAboveThreshold - permitsAboveThresholdToTake);micros = (long) (permitsAboveThresholdToTake * length / 2.0);permitsToTake -= permitsAboveThresholdToTake;}// measuring the integral on the left part of the function (the horizontal line)// 如果不走上面的分支,则说明当前限流器不处于预热阶段,那么,等待时间 = 消耗掉的令牌数 * 稳定令牌生成间隔时间micros += (long) (stableIntervalMicros * permitsToTake);return micros;}private double permitsToTime(double permits) {return stableIntervalMicros + permits * slope;}@Overridedouble coolDownIntervalMicros() {return warmupPeriodMicros / maxPermits;}
    }
    
  • 对于注释中所说的简化计算maxPermits = warmupPeriodMicros / stableIntervalMicros的过程,推导如下:

  • 在这里插入图片描述

获取令牌

  • 限流器创建成功后,就可以开始使用了。无论是稳定限流器,还是预热限流器,获取令牌的方法都是一致的。
  • 其中包括acquire方法和tryAcquire方法。
acquire
  • acquire方法有两个:

  • acquire(int permits):获取一定数量的令牌,等待并返回等待时间

  • acquire():等同于acquire(1)

  • 通过源码来看看获取令牌数时都做了什么。

  • public double acquire(int permits) {// 获取本次消耗令牌桶需要等待的时间long microsToWait = reserve(permits);// 等待stopwatch.sleepMicrosUninterruptibly(microsToWait);// 返回等待时间return 1.0 * microsToWait / SECONDS.toMicros(1L);
    }/*** 预消费令牌,并返回要等待的时间*/
    final long reserve(int permits) {checkPermits(permits);synchronized (mutex()) {return reserveAndGetWaitLength(permits, stopwatch.readMicros());}
    }
    
tryAcquire
  • tryAcquire方法一共有四个,但是实际上最终调用的都是tryAcquire(int permits, long timeout, TimeUnit unit)方法。

  • /*** 如果不能在超时时间内获取到令牌,则直接返回false* 如果可以,则在超时时间内等待并获取令牌,返回true*/
    public boolean tryAcquire(int permits, long timeout, TimeUnit unit) {long timeoutMicros = max(unit.toMicros(timeout), 0);checkPermits(permits);long microsToWait;synchronized (mutex()) {long nowMicros = stopwatch.readMicros();// 判断在超时时间内是否可以获取到令牌if (!canAcquire(nowMicros, timeoutMicros)) {return false;} else {// 获取等待时间microsToWait = reserveAndGetWaitLength(permits, nowMicros);}}// 等待stopwatch.sleepMicrosUninterruptibly(microsToWait);return true;
    }
    
  • 简单总结一下,acquire是直接获取令牌,如果还没有到达接受下一个请求的时间点,就继续等待。而tryAcquire则如其名,我先试试,如果在我允许的时间范围内获取不到就不等了,如果能获取到那我就等着。

  • 我们可以发现,acquire和tryAcquire方法都是通过reserveAndGetWaitLength方法获取等待时间。而reserveAndGetWaitLength方法也是根据reserveEarliestAvailable这个核心方法来计算等待时间的。所以我们就来扒一扒reserveEarliestAvailable是怎么实现的吧。

reserveEarliestAvailable
  • 该方法主要做了以下事情:

  • 根据当前时间,计算出桶内已有的令牌数。

  • 根据本次请求需要的令牌数和桶内的令牌数,计算出可以直接获取的令牌数和还需要预获取的令牌数。

  • 计算直接获取令牌数需要消耗的时间和预获取令牌数消耗的时间,计算出下一次可以获取令牌数的时间点,并返回本次请求可以获取令牌的时间点。

  • /*** Reserves next ticket and returns the wait time that the caller must wait for.* 预定令牌并获取等待的时间长度,acquire和tryAcquire最后调用的都是它** @return the required wait time, never negative*/
    final long reserveAndGetWaitLength(int permits, long nowMicros) {long momentAvailable = reserveEarliestAvailable(permits, nowMicros);return max(momentAvailable - nowMicros, 0);
    }/*** 该方法返回最早可以获取令牌数的时间点,并重新计算nextFreeTicketMicros和storedPermits** @param requiredPermits* @param nowMicros* @return*/
    @Override
    final long reserveEarliestAvailable(int requiredPermits, long nowMicros) {// 根据当前时间判断是否产生了新的令牌,如果是则更新当前时间点的桶内令牌数和下一个可获取令牌的时间点resync(nowMicros);// 本次请求可以获取令牌的时间点,那自然是nextFreeTicketMicros啦long returnValue = nextFreeTicketMicros;// 本次实际获取的令牌数量。比较一下需要的数量和当前桶中的数量,只能两者取其小了。double storedPermitsToSpend = min(requiredPermits, this.storedPermits);// 领取后还需要预获取的令牌数double freshPermits = requiredPermits - storedPermitsToSpend;// 分别计算storedPermitsToSpend和freshPermits的等待时间// 预获取的令牌还需要占用的时间 = 预获取的令牌数 * 令牌生成间隔// 通过storedPermitsToWaitTime方法计算本次获取令牌消耗的时间// 在使用默认限流器时,直接返回0。如果是预热限流器,那就需要根据限流器当前的状态计算额外需要等待的时间long waitMicros = storedPermitsToWaitTime(this.storedPermits, storedPermitsToSpend) + (long) (freshPermits * stableIntervalMicros);// 重置nextFreeTicketMicros,即当前的nextFreeTicketMicros+新增的等待时间this.nextFreeTicketMicros = LongMath.saturatedAdd(nextFreeTicketMicros, waitMicros);// 重置storedPermits,减去本次消耗的令牌数,就是当前桶中剩余的令牌数this.storedPermits -= storedPermitsToSpend;return returnValue;
    }void resync(long nowMicros) {// if nextFreeTicket is in the past, resync to now// 如果nextFreeTicket时间点已经过期了,那就更新成当前时间if (nowMicros > nextFreeTicketMicros) {// 从nextFreeTicket时间点到当前时间差,除以令牌生成时间间隔,就是这段时间产生的令牌数double newPermits = (nowMicros - nextFreeTicketMicros) / coolDownIntervalMicros();// nextFreeTicket时间点桶内存在的数据 + 这段时间新生成的令牌数,就是当前时间点桶内的令牌数。// 但是桶有限制,所以我们只能和桶的最大容量比较一下,取二者中较小的值,置为新的桶内存在的令牌数storedPermits = min(maxPermits, storedPermits + newPermits);// nextFreeTicketMicros置为当前时间点nextFreeTicketMicros = nowMicros;}
    }
    
  • 获取令牌的逻辑就是以上这些啦。

  • 现在我们回到刚才创建限流器那节说的,限流器的storedPermitsToWaitTime方法是做什么用的。

计算获取令牌时间

  • 我们回到刚才reserveEarliestAvailable方法中的这一行:

  • // 分别计算storedPermitsToSpend和freshPermits的等待时间
    // 预获取的令牌还需要占用的时间 = 预获取的令牌数 * 令牌生成间隔
    // 通过storedPermitsToWaitTime方法计算本次获取令牌消耗的时间
    // 在使用默认限流器时,直接返回0。如果是预热限流器,那就需要根据限流器当前的状态计算额外需要等待的时间
    long waitMicros = storedPermitsToWaitTime(this.storedPermits, storedPermitsToSpend) + (long) (freshPermits * stableIntervalMicros);
    
  • 这里计算的等待时间包括两部分,一部分是获取已存在令牌时需要消耗的时间,另一部分是生成预获取令牌数需要消耗的时间。

  • 无论是稳定限流器还是预热限流器,生成预获取令牌数需要消耗的时间计算方法都是一致的,用令牌数×稳定的令牌生成间隔时间。因为都要预获取了,说明令牌桶里的令牌是不够用的,预热限流器已经进入了稳定生成令牌的阶段,所以两种限流器的算法是一致的。

  • 而二者的差别在于如何计算已获取令牌需要消耗的时间。

  • 对于稳定限流器来说,它是可以应对突增请求的,因此在获取已存在令牌时是不应该消耗时间的,因此SmoothBursty类中的storedPermitsToWaitTime方法直接return了0。

  • 对于预热限流器来说,它有一个预热的阶段。如果像稳定限流器一样,获取已存在的令牌不需要消耗时间,那么他就没有了预热效果。因此它在获取桶中已存在的令牌时,是需要计算消耗时间的。这样既保证下一次请求需要等待一段时间再通过,也可以在这段时间里再生成一些令牌,进而保证他的预热效果。

  • 我们再回过头看看预热限流器的storedPermitsToWaitTime方法是怎么实现的。仔细看代码中的注释哈。

  • /*** 计算获取令牌桶中已有令牌的等待时间* 怎么计算时间呢?我们用源代码中给的这个坐标系来计算。*          ^ throttling*          |*    cold  +                  /* interval |                 /.*          |                / .*          |               /  .   ← "warmup period" is the area of the trapezoid between*          |              /   .     thresholdPermits and maxPermits*          |             /    .*          |            /     .*          |           /      .*   stable +----------/  WARM .* interval |          .   UP  .*          |          . PERIOD.*          |          .       .*        0 +----------+-------+--------------→ storedPermits*          0 thresholdPermits maxPermits* 其中纵坐标是生成令牌的间隔时间,横坐标是桶中的令牌数。* 我们要计算消耗掉permitsToTake个令牌数需要的时间,实际上就是求坐标系中x轴permitsToTake这部分和图像围成的面积* 所以storedPermitsToWaitTime方法实际上就是求三种情况下的面积** @param storedPermits 令牌桶中存在的令牌数* @param permitsToTake 本次消耗掉的令牌数* @return*/
    @Override
    long storedPermitsToWaitTime(double storedPermits, double permitsToTake) {// 当前令牌桶内的令牌数和临界值的差值double availablePermitsAboveThreshold = storedPermits - thresholdPermits;long micros = 0;// measuring the integral on the right part of the function (the climbing line)// 高于临界值,则需要根据预热算法计算时间if (availablePermitsAboveThreshold > 0.0) {double permitsAboveThresholdToTake = min(availablePermitsAboveThreshold, permitsToTake);// TODO(cpovirk): Figure out a good name for this variable.// 吐槽:你看,大佬写代码时也不会起变量名// 而且这个todo好几年了也没有do,所以不要写todo,这和"下次一定"没啥差别double length = permitsToTime(availablePermitsAboveThreshold) + permitsToTime(availablePermitsAboveThreshold - permitsAboveThresholdToTake);micros = (long) (permitsAboveThresholdToTake * length / 2.0);permitsToTake -= permitsAboveThresholdToTake;}// measuring the integral on the left part of the function (the horizontal line)// 如果不走上面的分支,则说明当前限流器不处于预热阶段,那么,等待时间 = 消耗掉的令牌数 * 稳定令牌生成间隔时间micros += (long) (stableIntervalMicros * permitsToTake);return micros;
    }
    
  • 注释中说的三种情况,就是在以下三种情况下,求函数图像和x轴之间围成的面积,如下: 第一种,限流器在预热期,获取permitsToTake个令牌后,桶中的令牌数多于thresholdPermits,如图:

  • 在这里插入图片描述

  • 第二种,限流器在预热期,获取permitsToTake个令牌后,桶中的令牌数少于thresholdPermits,如图:

  • 在这里插入图片描述

  • 第三种,限流器处于稳定期,如图:

  • 在这里插入图片描述

  • 这样就容易理解一些了。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/677770.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

CSS3 基本语法

CSS3 基本语法 1. CSS3 新增长度单位 rem 根元素字体大小的倍数,只与根元素字体大小有关。vw 视口宽度的百分之多少 10vw 就是视口宽度的 10% 。vh 视口高度的百分之多少 10vh 就是视口高度的 10% 。vmax 视口宽高中大的那个的百分之多少。(了解即可&am…

JVM相关-JVM模型、垃圾回收、JVM调优

一、JVM模型 JVM内部体型划分 JVM的内部体系结构分为三部分,分别是:类加载器(ClassLoader)子系统、运行时数据区(内存)和执行引擎 1、类加载器 概念 每个JVM都有一个类加载器子系统(class l…

Spring Batch 批处理框架适配达梦数据库,实现从文件批量读取写入数据库(完整教程)

效果展示(达梦数据库): 技术简介: Spring Batch 是一个基于 Spring 的批处理框架,用于开发和执行大规模、高性能、可靠的批处理应用程序。它提供了丰富的功能和组件,用于处理复杂的批处理任务,例如大数据ETL(Extract-Transform-Load)、数据清洗、数据迁移、报表生成…

C# OCR识别图片中的文字

1、从NuGet里面安装Spire.OCR 2、安装之后,找到安装路径下,默认生成的packages文件夹,复制该文件夹路径下的 6 个dll文件到程序的根目录 3、调用读取方法 OcrScanner scanner new OcrScanner(); string path "C:\1.png"; scann…

React18原理: Fiber架构下的单线程CPU调度策略

概述 React 的 Fiber 架构, 它的整个设计思想就是去参考CPU的调度策略CPU现在都是多核多进程的,重点研究的是 CPU是单核单线程,它是如何调度的?为什么要去研究单线程的CPU? 浏览器中的JS它是单线程的JS 的执行线程和浏览器的渲染GUI 是互斥…

缺省参数(c++)

void fun(int a0) { cout<<a<<endl; } 当我们调用函数时: fun(10) 输出10; fun&#xff08;&#xff09; 未传参时&#xff1a; 输出0; 未传参时a就会接受0&#xff0c;相当于这个0就是“备胎” 传参了0就没有用 全缺省 void fun2(int a10,int b3,int…

为什么无法正常访问TikTok?该使用跨境专线吗?

TikTok作为全球范围内备受欢迎的社交媒体平台&#xff0c;吸引了数以亿计的用户。然而&#xff0c;有时候用户可能会遇到无法正常访问TikTok的问题&#xff0c;这可能涉及到多方面的因素。本文将深入探讨为什么可能无法正常访问TikTok&#xff0c;并考虑是否使用 TikTok跨境专线…

使用vue-client-only 解决组件不兼容SSR问题

目录 前言 一、解决方案 1.基于Nuxt 框架的SSR应用 2.基于vue2框架的应用 3.基于vue3框架的应用 二、总结 往期回顾 前言 最近在我的单页面SSR应用上开发JSON编辑器功能&#xff0c;在引入组件后直接客户端跳转OK&#xff0c;但是在直接加载服务端渲染的时候一直报这…

ADMap:Anti-disturbance framework for reconstructing online vectorized HD map

参考代码&#xff1a;ADMap 动机与出发点 局部地图构建算法在实际中会遇到部分车道线偏离的或是错误的情况&#xff0c;这往往是全局信息获取上存在欠缺&#xff0c;毕竟地图元素的回归很依赖于全局信息的获取。那么从特征提取、attention layer设计和loss构建上可以做一些工作…

visual studio和cmake如何编译dlib库

官网 dlib C Library 对应的是最新版本&#xff0c;只能用到vs2015版本及以后 如果使用vs2013&#xff0c;所以需要下载vs2013可用的版本。 就是说dlib版本与vs版本有对应关系 所有版本 dlib C Library - Browse /dlib at SourceForge.net Releases davisking/dlib GitHu…

Go语言每日一练——链表篇(八)

传送门 牛客面试笔试必刷101题 ----------------两个链表的第一个公共结点 题目以及解析 题目 解题代码及解析 解析 这一道题使用的还是双指针算法&#xff0c;我们先求出两个链表的长度差n&#xff0c;然后定义快慢指针&#xff0c;让快指针先走n步&#xff0c;最后快慢指…

【数学建模】【2024年】【第40届】【MCM/ICM】【B题 搜寻潜水器】【解题思路】

一、题目 &#xff08;一&#xff09;赛题原文 2024 MCM Problem A: Resource Availability and Sex Ratios Maritime Cruises Mini-Submarines (MCMS), a company based in Greece, builds submersibles capable of carrying humans to the deepest parts of the ocean. A …

app逆向-⽹络请求库okhttp3

文章目录 一、前言二、应用1、添加权限AndroidManifest.xml2、添加依赖okhttp33、编写界面文件activity_main.xml4、编写Activity代码 三、效果 一、前言 OkHttp是由Square公司开发的用于Java和Android的开源HTTP客户端库。它被广泛用于在Java和Android应用程序中进行HTTP请求…

结构体数组所有元素(1亿个元素)初始化为相同的值

一个结构体数组&#xff0c;有1亿个元素&#xff0c;每个元素都要初始化为相同的值&#xff0c;如果没有现成的语法直接支持这样的初始化操作&#xff0c;就得用for循环写&#xff0c;会不会非常耗时&#xff1f; 如果结构体里的成员都是一些简单的基本数据类型&#xff0c;整…

小游戏和GUI编程(5) | SVG图像格式简介

小游戏和GUI编程(5) | SVG图像格式简介 0. 问题 Q1: SVG 是什么的缩写&#xff1f;Q2: SVG 是一种图像格式吗&#xff1f;Q3: SVG 相对于其他图像格式的优点和缺点是什么&#xff1f;Q4: 哪些工具可以查看 SVG 图像&#xff1f;Q5: SVG 图像格式的规范是怎样的&#xff1f;Q6…

Linux中常用的工具

软件安装 yum 软件包 在Linux中&#xff0c;软件包是一种预编译的程序集合&#xff0c;通常包含了用户需要的应用程序、库、文档和其他依赖项。 软件包管理工具是用于安装、更新和删除这些软件包的软件。常见的Linux软件包管理工具包括APT&#xff08;Advanced Packaging To…

《CSS 简易速速上手小册》第3章:CSS 响应式设计(2024 最新版)

文章目录 3.1 媒体查询基础&#xff1a;网页的智能眼镜3.1.1 基础知识3.1.2 重点案例&#xff1a;适应三种设备的响应式布局3.1.3 拓展案例 1&#xff1a;改变字体大小3.1.4 拓展案例 2&#xff1a;暗模式适配 3.2 响应式图片和视频&#xff1a;让内容自由呼吸3.2.1 基础知识3.…

数据分析基础之《pandas(7)—高级处理2》

四、合并 如果数据由多张表组成&#xff0c;那么有时候需要将不同的内容合并在一起分析 1、先回忆下numpy中如何合并 水平拼接 np.hstack() 竖直拼接 np.vstack() 两个都能实现 np.concatenate((a, b), axis) 2、pd.concat([data1, data2], axis1) 按照行或者列…

猜猜谁是凶手?

目录 一、题目二、思路三、完整代码 一、题目 日本某地发生了一件谋杀案&#xff0c;警察通过排查确定杀人凶手必为4个嫌疑犯的一个。 以下为4个嫌疑犯的供词: A说&#xff1a;不是我。 B说&#xff1a;是C。 C说&#xff1a;是D。 D说&#xff1a;C在胡说 已知3个人说了…

Linux系统基础 03 IP地址虚拟网络、Linux软件包管理、ssh服务、apache服务和samba服务的简单搭建

文章目录 一、IP地址虚拟网络二、Linux软件包管理1、rpm包管理器2、yum包管理器3、源码安装 三、ssh服务四、apache服务五、samba服务 一、IP地址虚拟网络 1、IP地址格式是点分十进制&#xff0c;例&#xff1a;172.16.45.10。即4段8位二进制 2、IP地址分为网络位和主机位。网…