美文网首页
Golang标准库——sync

Golang标准库——sync

作者: DevilRoshan | 来源:发表于2020-10-21 21:22 被阅读0次

    sync

    sync包提供了基本的同步基元,如互斥锁。除了Once和WaitGroup类型,大部分都是适用于低水平程序线程,高水平的同步使用channel通信更好一些。

    本包的类型的值不应被拷贝。

    type Locker

    type Locker interface {
        Lock()
        Unlock()
    }
    

    Locker接口代表一个可以加锁和解锁的对象。

    type Once

    type Once struct {
        // done indicates whether the action has been performed.
        // It is first in the struct because it is used in the hot path.
        // The hot path is inlined at every call site.
        // Placing done first allows more compact instructions on some architectures (amd64/x86),
        // and fewer instructions (to calculate offset) on other architectures.
        done uint32
        m    Mutex
    }
    

    Once是只执行一次动作的对象。

    func main() {
       var once sync.Once
       onceBody := func() {
          fmt.Println("Only once")
       }
       done := make(chan bool)
       for i := 0; i < 10; i++ {
          go func() {
             once.Do(onceBody)
             done <- true
          }()
       }
       for i := 0; i < 10; i++ {
          <-done
       }
       // Only once
    }
    

    func (*Once) Do

    func (o *Once) Do(f func())
    

    Do方法当且仅当第一次被调用时才执行函数f。换句话说,给定变量:

    var once Once
    

    如果once.Do(f)被多次调用,只有第一次调用会执行f,即使f每次调用Do 提供的f值不同。需要给每个要执行仅一次的函数都建立一个Once类型的实例。

    Do用于必须刚好运行一次的初始化。因为f是没有参数的,因此可能需要使用闭包来提供给Do方法调用:

    config.once.Do(func() { config.init(filename) })
    

    因为只有f返回后Do方法才会返回,f若引起了Do的调用,会导致死锁。

    type Mutex

    type Mutex struct {
        state int32
        sema  uint32
    }
    

    Mutex是一个互斥锁,可以创建为其他结构体的字段;零值为解锁状态。Mutex类型的锁和线程无关,可以由不同的线程加锁和解锁。

    func (*Mutex) Lock

    func (m *Mutex) Lock()
    

    Lock方法锁住m,如果m已经加锁,则阻塞直到m解锁。

    func (*Mutex) Unlock

    func (m *Mutex) Unlock()
    

    Unlock方法解锁m,如果m未加锁会导致运行时错误。锁和线程无关,可以由不同的线程加锁和解锁。

    type RWMutex

    type RWMutex struct {
        w           Mutex  // held if there are pending writers
        writerSem   uint32 // semaphore for writers to wait for completing readers
        readerSem   uint32 // semaphore for readers to wait for completing writers
        readerCount int32  // number of pending readers
        readerWait  int32  // number of departing readers
    }
    

    RWMutex是读写互斥锁。该锁可以被同时多个读取者持有或唯一个写入者持有。RWMutex可以创建为其他结构体的字段;零值为解锁状态。RWMutex类型的锁也和线程无关,可以由不同的线程加读取锁/写入和解读取锁/写入锁。

    func (*RWMutex) Lock

    func (rw *RWMutex) Lock()
    

    Lock方法将rw锁定为写入状态,禁止其他线程读取或者写入。

    func (*RWMutex) Unlock

    func (rw *RWMutex) Unlock()
    

    Unlock方法解除rw的写入锁状态,如果m未加写入锁会导致运行时错误。

    func (*RWMutex) RLock]

    func (rw *RWMutex) RLock()
    

    RLock方法将rw锁定为读取状态,禁止其他线程写入,但不禁止读取。

    func (*RWMutex) RUnlock

    func (rw *RWMutex) RUnlock()
    

    Runlock方法解除rw的读取锁状态,如果m未加读取锁会导致运行时错误。

    func (*RWMutex) RLocker

    func (rw *RWMutex) RLocker() Locker
    

    Rlocker方法返回一个互斥锁,通过调用rw.Rlock和rw.Runlock实现了Locker接口。

    type Cond

    type Cond struct {
        // 在观测或更改条件时L会冻结
        L Locker
        // 包含隐藏或非导出字段
    }
    

    Cond实现了一个条件变量,一个线程集合地,供线程等待或者宣布某事件的发生。

    每个Cond实例都有一个相关的锁(一般是Mutex或RWMutex类型的值),它必须在改变条件时或者调用Wait方法时保持锁定。Cond可以创建为其他结构体的字段,Cond在开始使用后不能被拷贝。

    func NewCond

    func NewCond(l Locker) *Cond
    

    使用锁l创建一个*Cond。

    func (*Cond) Broadcast

    func (c *Cond) Broadcast()
    

    Broadcast唤醒所有等待c的线程。调用者在调用本方法时,建议(但并非必须)保持c.L的锁定。

    func (*Cond) Signal

    func (c *Cond) Signal()
    

    Signal唤醒等待c的一个线程(如果存在)。调用者在调用本方法时,建议(但并非必须)保持c.L的锁定。

    func (*Cond) Wait

    func (c *Cond) Wait()
    

    Wait自行解锁c.L并阻塞当前线程,在之后线程恢复执行时,Wait方法会在返回前锁定c.L。和其他系统不同,Wait除非被Broadcast或者Signal唤醒,不会主动返回。

    因为线程中Wait方法是第一个恢复执行的,而此时c.L未加锁。调用者不应假设Wait恢复时条件已满足,相反,调用者应在循环中等待:

    c.L.Lock()
    for !condition() {
        c.Wait()
    }
    ... make use of condition ...
    c.L.Unlock()
    

    type WaitGroup

    type WaitGroup struct {
        noCopy noCopy
    
        // 64-bit value: high 32 bits are counter, low 32 bits are waiter count.
        // 64-bit atomic operations require 64-bit alignment, but 32-bit
        // compilers do not ensure it. So we allocate 12 bytes and then use
        // the aligned 8 bytes in them as state, and the other 4 as storage
        // for the sema.
        state1 [3]uint32
    }
    

    WaitGroup用于等待一组线程的结束。父线程调用Add方法来设定应等待的线程的数量。每个被等待的线程在结束时应调用Done方法。同时,主线程里可以调用Wait方法阻塞至所有线程结束。

    func main() {
       var wg sync.WaitGroup
       var urls = []string{
          "http://www.golang.org/",
          "http://www.google.com/",
          "http://www.somestupidname.com/",
       }
       for _, url := range urls {
          // Increment the WaitGroup counter.
          wg.Add(1)
          // Launch a goroutine to fetch the URL.
          go func(url string) {
             // Decrement the counter when the goroutine completes.
             defer wg.Done()
             // Fetch the URL.
             http.Get(url)
          }(url)
       }
       // Wait for all HTTP fetches to complete.
       wg.Wait()
    }
    

    func (*WaitGroup) Add

    func (wg *WaitGroup) Add(delta int)
    

    Add方法向内部计数加上delta,delta可以是负数;如果内部计数器变为0,Wait方法阻塞等待的所有线程都会释放,如果计数器小于0,方法panic。注意Add加上正数的调用应在Wait之前,否则Wait可能只会等待很少的线程。一般来说本方法应在创建新的线程或者其他应等待的事件之前调用。

    func (*WaitGroup) Done

    func (wg *WaitGroup) Done()
    

    Done方法减少WaitGroup计数器的值,应在线程的最后执行。

    func (*WaitGroup) Wait

    func (wg *WaitGroup) Wait()
    

    Wait方法阻塞直到WaitGroup计数器减为0。

    type Pool

    type Pool struct {
        // 可选参数New指定一个函数在Get方法可能返回nil时来生成一个值
        // 该参数不能在调用Get方法时被修改
        New func() interface{}
        // 包含隐藏或非导出字段
    }
    

    Pool是一个可以分别存取的临时对象的集合。

    Pool中保存的任何item都可能随时不做通告的释放掉。如果Pool持有该对象的唯一引用,这个item就可能被回收。

    Pool可以安全的被多个线程同时使用。

    Pool的目的是缓存申请但未使用的item用于之后的重用,以减轻GC的压力。也就是说,让创建高效而线程安全的空闲列表更容易。但Pool并不适用于所有空闲列表。

    Pool的合理用法是用于管理一组静静的被多个独立并发线程共享并可能重用的临时item。Pool提供了让多个线程分摊内存申请消耗的方法。

    Pool的一个好例子在fmt包里。该Pool维护一个动态大小的临时输出缓存仓库。该仓库会在过载(许多线程活跃的打印时)增大,在沉寂时缩小。

    另一方面,管理着短寿命对象的空闲列表不适合使用Pool,因为这种情况下内存申请消耗不能很好的分配。这时应该由这些对象自己实现空闲列表。

    func (*Pool) Get

    func (p *Pool) Get() interface{}
    

    Get方法从池中选择任意一个item,删除其在池中的引用计数,并提供给调用者。Get方法也可能选择无视内存池,将其当作空的。调用者不应认为Get的返回这和传递给Put的值之间有任何关系。

    假使Get方法没有取得item:如p.New非nil,Get返回调用p.New的结果;否则返回nil。

    func (*Pool) Put

    func (p *Pool) Put(x interface{})
    

    Put方法将x放入池中。

    • atomic

    atomic

    atomic包提供了底层的原子级内存操作,对于同步算法的实现很有用。

    这些函数必须谨慎地保证正确使用。除了某些特殊的底层应用,使用通道或者sync包的函数/类型实现同步更好。

    应通过通信来共享内存,而不通过共享内存实现通信。

    被SwapT系列函数实现的交换操作,在原子性上等价于:

    old = *addr
    *addr = new
    return old
    

    CompareAndSwapT系列函数实现的比较-交换操作,在原子性上等价于:

    if *addr == old {
        *addr = new
        return true
    }
    return false
    

    AddT 系列函数实现加法操作,在原子性上等价于:

    *addr += delta
    return *addr
    

    LoadT和StoreT系列函数实现的加载和保持操作,在原子性上等价于:"return addr"和"addr = val"。

    func LoadInt32

    func LoadInt32(addr *int32) (val int32)
    

    LoadInt32原子性的获取*addr的值。

    func LoadInt64

    func LoadInt64(addr *int64) (val int64)
    

    LoadInt64原子性的获取*addr的值。

    func LoadUint32

    func LoadUint32(addr *uint32) (val uint32)
    

    LoadUint32原子性的获取*addr的值。

    func LoadUint64

    func LoadUint64(addr *uint64) (val uint64)
    

    LoadUint64原子性的获取*addr的值。

    func LoadUintptr

    func LoadUintptr(addr *uintptr) (val uintptr)
    

    LoadUintptr原子性的获取*addr的值。

    func LoadPointer

    func LoadPointer(addr *unsafe.Pointer) (val unsafe.Pointer)
    

    LoadPointer原子性的获取*addr的值。

    func StoreInt32

    func StoreInt32(addr *int32, val int32)
    

    StoreInt32原子性的将val的值保存到*addr。

    func StoreInt64

    func StoreInt64(addr *int64, val int64)
    

    StoreInt64原子性的将val的值保存到*addr。

    func StoreUint32

    func StoreUint32(addr *uint32, val uint32)
    

    StoreUint32原子性的将val的值保存到*addr。

    func StoreUint64

    func StoreUint64(addr *uint64, val uint64)
    

    StoreUint64原子性的将val的值保存到*addr。

    func StoreUintptr

    func StoreUintptr(addr *uintptr, val uintptr)
    

    StoreUintptr原子性的将val的值保存到*addr。

    func StorePointer

    func StorePointer(addr *unsafe.Pointer, val unsafe.Pointer)
    

    StorePointer原子性的将val的值保存到*addr。

    func AddInt32

    func AddInt32(addr *int32, delta int32) (new int32)
    

    AddInt32原子性的将val的值添加到*addr并返回新值。

    func AddInt64

    func AddInt64(addr *int64, delta int64) (new int64)
    

    AddInt64原子性的将val的值添加到*addr并返回新值。

    func AddUint32

    func AddUint32(addr *uint32, delta uint32) (new uint32)
    

    AddUint32原子性的将val的值添加到*addr并返回新值。

    如要减去一个值c,调用AddUint32(&x, ^uint32(c-1));特别的,让x减1,调用AddUint32(&x, ^uint32(0))。

    func AddUint64

    func AddUint64(addr *uint64, delta uint64) (new uint64)
    

    AddUint64原子性的将val的值添加到*addr并返回新值。

    如要减去一个值c,调用AddUint64(&x, ^uint64(c-1));特别的,让x减1,调用AddUint64(&x, ^uint64(0))。

    func AddUintptr

    func AddUintptr(addr *uintptr, delta uintptr) (new uintptr)
    

    AddUintptr原子性的将val的值添加到*addr并返回新值。

    func SwapInt32

    func SwapInt32(addr *int32, new int32) (old int32)
    

    SwapInt32原子性的将新值保存到*addr并返回旧值。

    func SwapInt64

    func SwapInt64(addr *int64, new int64) (old int64)
    

    SwapInt64原子性的将新值保存到*addr并返回旧值。

    func SwapUint32

    func SwapUint32(addr *uint32, new uint32) (old uint32)
    

    SwapUint32原子性的将新值保存到*addr并返回旧值。

    func SwapUint64

    func SwapUint64(addr *uint64, new uint64) (old uint64)
    

    SwapUint64原子性的将新值保存到*addr并返回旧值。

    func SwapUintptr

    func SwapUintptr(addr *uintptr, new uintptr) (old uintptr)
    

    SwapUintptr原子性的将新值保存到*addr并返回旧值。

    func SwapPointer

    func SwapPointer(addr *unsafe.Pointer, new unsafe.Pointer) (old unsafe.Pointer)
    

    SwapPointer原子性的将新值保存到*addr并返回旧值。

    func CompareAndSwapInt32

    func CompareAndSwapInt32(addr *int32, old, new int32) (swapped bool)
    

    CompareAndSwapInt32原子性的比较addr和old,如果相同则将new赋值给addr并返回真。

    func CompareAndSwapInt64

    func CompareAndSwapInt64(addr *int64, old, new int64) (swapped bool)
    

    CompareAndSwapInt64原子性的比较addr和old,如果相同则将new赋值给addr并返回真。

    func CompareAndSwapUint32

    func CompareAndSwapUint32(addr *uint32, old, new uint32) (swapped bool)
    

    CompareAndSwapUint32原子性的比较addr和old,如果相同则将new赋值给addr并返回真。

    func CompareAndSwapUint64

    func CompareAndSwapUint64(addr *uint64, old, new uint64) (swapped bool)
    

    CompareAndSwapUint64原子性的比较addr和old,如果相同则将new赋值给addr并返回真。

    func CompareAndSwapUintptr

    func CompareAndSwapUintptr(addr *uintptr, old, new uintptr) (swapped bool)
    

    CompareAndSwapUintptr原子性的比较addr和old,如果相同则将new赋值给addr并返回真。

    func CompareAndSwapPointer

    func CompareAndSwapPointer(addr *unsafe.Pointer, old, new unsafe.Pointer) (swapped bool)
    

    CompareAndSwapPointer原子性的比较addr和old,如果相同则将new赋值给addr并返回真。

    Bugs

    在x86-32构架芯片上,64位函数使用的指令在Pentium MMX之前是不可用的;在非Linux的ARM芯片上,64位函数使用的指令在ARMv6k core之前是不可用的。不管是ARM又或x86-32芯片,安排原子性访问的64位word的64位对齐都是调用者的责任。可以依靠全局变量或申请的切片/结构体的第一个word来实现64位对齐。

    相关文章

      网友评论

          本文标题:Golang标准库——sync

          本文链接:https://www.haomeiwen.com/subject/burhmktx.html