ratelimiter php,RateLimiter的 SmoothBursty（非warmup预热）及SmoothWarmingUp（预热，冷启动）...

SmoothBursty

主要思想

记录 1秒内的微秒数/permitsPerSencond = 时间间隔interval,每一个interval可获得一个令牌 根据允许使用多少秒内的令牌参数，计算出maxPermits setRate时初始化下次interval时间，及storedPermits

acquire时，计算当前nowMicros，如果大于下次interval时间时间，则更新storedPermits和下次interval时间，计算storedPermits能否满足此次acquire，如果能，则需要等待的时间为0，如果不能，则计算还需要多少微秒等待，并在非同步块外执行sleep操作

如果其他线程已经刷新了nextFreeTicketMicros，会如下情况acquire是无timeout的

Thread 1: acquire 11 -> storedPermits不能满足要求 -> waitTime = (acquire - stored) * stableIntervalMicros -> nextFreeTicketMicros += waitMicros -----> out lock sleep

Thread 2: acquire 2 -> nowMicros < nextFreeTicketMicros , stored = 0,被线程1消耗完了 -> freshPermits = requiredPermits - storedPermitsToSpend 即 = requiredPermits -> waitTime = freshPermits * stableIntervalMicros

-> nextFreeTicketMicros += waitTime,此时的nextFreeTicketMicros包含了Thread1需要等待的时间 -------> out lock sleep a longer time

tryAquire(num,timeout)逻辑

timeoutMicros = timeout.toMicros

lock()

nowMicros = ...

canAcquire = nextFreeTicketMicros <= nowMicros + timeoutMicros

if(!canAcquire){

return false;

}

else{

microsToWait = ...

}

unlock()

sleep(microsToWait)

return true;

#SmoothWarmingUp 主要思想和SmoothBursty相似，由于带预热过程，刚开始由于availablePermitsAboveThreshold>0.0,速率会较慢，如果持续获取令牌，则会使availablePermitsAboveThreshold=0，速率变快

从0->thresholdPermits，生成一个令牌的时间：stableIntervalMicros

从thresholdPermits-> maxPermits ,生成一个令牌的时间：stableIntervalMicros + permits * slope;

@Override final long reserveEarliestAvailable(int requiredPermits, long nowMicros) { resync(nowMicros); long returnValue = nextFreeTicketMicros; //当前需要且尽最大可能消费的 double storedPermitsToSpend = min(requiredPermits, this.storedPermits); //新鲜permits个数，这些个数是一定会产生等待的，除了0 double freshPermits = requiredPermits - storedPermitsToSpend; //计算需要wait的总时间 long waitMicros = //非busty类型的storedPermitsToWaitTime直接返回0 storedPermitsToWaitTime(this.storedPermits, storedPermitsToSpend) + (long) (freshPermits * stableIntervalMicros); //下次有票时间 this.nextFreeTicketMicros = LongMath.saturatedAdd(nextFreeTicketMicros, waitMicros); this.storedPermits -= storedPermitsToSpend; return returnValue; } //已知permitsToTake <= storedPermits

@Override

long storedPermitsToWaitTime(double storedPermits, double permitsToTake) {

//减去预热需要保留的permits，剩下的可消耗的数量

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.

//用可消耗的数量 + (可消耗的数量 - 实际消耗的数量)permitsToTime

//在预热阶段从thresholdPermits到maxPermits的耗时并非是stableIntervalMicros * n

//会耗费更多的时间，其计算规则不同，所以才需要把permitsAboveThresholdToTake从permitsToTake减去

//length 可能作为一个经验值，相当于补充permitsAboveThresholdToTake个令牌需要的平均时间值*2

//剩余可用的-实际需要且最大能消耗的令牌,得到最终剩余的令牌个数，可能是0

double length = permitsToTime(availablePermitsAboveThreshold)

+ permitsToTime(availablePermitsAboveThreshold - permitsAboveThresholdToTake);

//这里确实不好理解，从语义环境来说，它是从 thresholdPermits 到 maxPertmis 过程中

//生成 permitsAboveThresholdToTake 个令牌需要耗费的时间

//并且带coldFactor的构造函数不是public,SmoothWarmingUp也是private-package的

micros = (long) (permitsAboveThresholdToTake * length / 2.0);

//从permitsToTake中减去保留预热需留下个数后最终消耗的个数，这部分个数由于是提前存在的、富余的

//因此不需要计算到wait时间

permitsToTake -= permitsAboveThresholdToTake;

}

// measuring the integral on the left part of the function (the horizontal line)

//如果没有剩余可用令牌，走的是stableIntervalMicros * n

micros += (stableIntervalMicros * permitsToTake);

return micros;

}

length/2可以理解为下图

//permits值越小，需要的时间就越少，值越大，需要的时间就越大

private double permitsToTime(double permits) {

//double coldIntervalMicros = stableIntervalMicros * coldFactor;

// thresholdPermits = 0.5 * warmupPeriodMicros / stableIntervalMicros;

//maxPermits =

thresholdPermits + 2.0 * warmupPeriodMicros / (stableIntervalMicros + coldIntervalMicros);

//slope带比率的时间，可以理解为增长因子

//slope = (coldIntervalMicros - stableIntervalMicros) / (maxPermits - thresholdPermits)

//return表示成这样更易于理解 stableIntervalMicros + (coldIntervalMicros - stableIntervalMicros) * (permits/(maxPermits - thresholdPermits))

return stableIntervalMicros + permits * slope;

}