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;
}