V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
The Go Programming Language
http://golang.org/
Go Playground
Go Projects
Revel Web Framework
bigHave
V2EX  ›  Go 编程语言

uber-go/ratelimit 菜鸡求助

  •  
  •   bigHave · 2020-12-08 20:20:58 +08:00 · 1115 次点击
    这是一个创建于 1450 天前的主题,其中的信息可能已经有所发展或是发生改变。

    uber 开源的限流算法,代码不多,尝试理解但是没怎么理解。有没有大佬指点一二.主要不理解的点在于这个 for 循环

    // Take blocks to ensure that the time spent between multiple
    // Take calls is on average time.Second/rate.
    func (t *limiter) Take() time.Time {
    	newState := state{}
    	taken := false
    	for !taken {
    		now := t.clock.Now()
    
    		previousStatePointer := atomic.LoadPointer(&t.state)
    		oldState := (*state)(previousStatePointer)
    
    		newState = state{}
    		newState.last = now
    
    		// If this is our first request, then we allow it.
    		if oldState.last.IsZero() {
    			taken = atomic.CompareAndSwapPointer(&t.state, previousStatePointer, unsafe.Pointer(&newState))
    			continue
    		}
    
    		// sleepFor calculates how much time we should sleep based on
    		// the perRequest budget and how long the last request took.
    		// Since the request may take longer than the budget, this number
    		// can get negative, and is summed across requests.
    		newState.sleepFor += t.perRequest - now.Sub(oldState.last)
    		// We shouldn't allow sleepFor to get too negative, since it would mean that
    		// a service that slowed down a lot for a short period of time would get
    		// a much higher RPS following that.
    		if newState.sleepFor < t.maxSlack {
    			newState.sleepFor = t.maxSlack
    		}
    		if newState.sleepFor > 0 {
    			newState.last = newState.last.Add(newState.sleepFor)
    		}
    		taken = atomic.CompareAndSwapPointer(&t.state, previousStatePointer, unsafe.Pointer(&newState))
    	}
    	t.clock.Sleep(newState.sleepFor)
    	return newState.last
    }
    
    2 条回复    2020-12-08 21:01:08 +08:00
    CRVV
        1
    CRVV  
       2020-12-08 20:47:43 +08:00
    var counter int64

    然后如果有多个线程执行下面这个循环,每次 break 都会给 counter 加一
    for {
    counter0 := atomic.LoadInt64(&counter)
    if atomic.CompareAndSwap(&counter, counter0, counter+1) {
    break
    }
    }

    这种就是所谓的 lock-free,把它写成用 lock 的形式,再把那几个 if 去掉,这个函数其实就是

    func (t *limiter) Take() time.Time {

    mutex.Lock()

    oldState := t.state
    newState = state{}
    now := t.clock.Now()
    newState.last = now
    newState.sleepFor += t.perRequest - now.Sub(oldState.last)

    t.state = &newState
    mutex.Unlock()

    t.clock.Sleep(newState.sleepFor)
    return newState.last
    }

    然后应该很好懂了
    bigHave
        2
    bigHave  
    OP
       2020-12-08 21:01:08 +08:00
    @CRVV 感谢。第一次在 V2EX 发帖就得到了高效帮助,太棒了
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   5455 人在线   最高记录 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 31ms · UTC 08:32 · PVG 16:32 · LAX 00:32 · JFK 03:32
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.