1. 互斥锁(mutex)
sync.mutex
:这是最基本的互斥锁,用于保护共享资源防止同时访问。
它有两个主要的方法:
lock()
:获取锁,如果锁已经被其他goroutine获取,则等待。unlock()
:释放锁。
1.1 示例
创建多个goroutine来增加一个共享变量的值。为了防止并发访问导致的数据竞争,我们将使用sync.mutex
来确保每次只有一个goroutine可以修改变量。
package main import ( "fmt" "sync" "time" ) // 定义一个共享资源 var counter int = 0 // 创建一个互斥锁 var lock sync.mutex func main() { // 创建一个等待组,以便等待所有goroutine完成 var wg sync.waitgroup // 启动多个goroutine来增加计数器 for i := 0; i < 5; i++ { wg.add(1) go func(id int) { defer wg.done() for j := 0; j < 10; j++ { // 在修改共享资源前获取锁 lock.lock() // 修改共享资源 counter++ fmt.printf("goroutine %d sees counter: %d\n", id, counter) // 释放锁 lock.unlock() // 等待一段时间,模拟处理过程 time.sleep(time.millisecond * 10) } }(i) } // 等待所有goroutine完成 wg.wait() // 打印最终的计数器值 fmt.println("final counter:", counter) }
1.2 代码解释
- 共享资源:这里的共享资源是
counter
变量,所有goroutine都会尝试修改它。 - 互斥锁:使用
sync.mutex
来保护对counter
的访问。在每次修改前,goroutine会调用lock.lock()
来尝试获取锁,完成修改后调用lock.unlock()
释放锁。 - 等待组:使用
sync.waitgroup
来等待所有goroutine完成。每启动一个goroutine,调用wg.add(1)
,每个goroutine完成时调用wg.done()
。 - 并发执行:通过
go func(id int)
启动goroutine,每个goroutine都尝试多次修改counter
,并在控制台输出当前看到的counter
值。
2. 读写锁(rwmutex)
sync.rwmutex
:这是一个读写互斥锁,允许多个读操作并发,但写操作是互斥的。
主要方法有:
rlock()
:获取读锁,允许其他goroutine同时获取读锁。runlock()
:释放读锁。lock()
:获取写锁,阻塞其他的读锁和写锁请求。unlock()
:释放写锁。
2.1 示例
创建多个goroutine,一些用于读取共享数据,而另一些用于写入共享数据。sync.rwmutex
将允许多个读操作并发执行,但写操作将是互斥的,确保了数据的一致性。
package main import ( "fmt" "sync" "time" ) // 定义一个共享资源 var data int = 0 // 创建一个读写互斥锁 var rwmutex sync.rwmutex func main() { // 创建一个等待组,以便等待所有goroutine完成 var wg sync.waitgroup // 启动多个读goroutine for i := 0; i < 3; i++ { wg.add(1) go func(id int) { defer wg.done() readdata(id) }(i) } // 启动多个写goroutine for i := 0; i < 2; i++ { wg.add(1) go func(id int) { defer wg.done() writedata(id) }(i) } // 等待所有goroutine完成 wg.wait() } // 读取数据的函数 func readdata(id int) { for j := 0; j < 5; j++ { // 获取读锁 rwmutex.rlock() fmt.printf("goroutine %d reads data: %d\n", id, data) // 释放读锁 rwmutex.runlock() // 等待一段时间,模拟读取过程 time.sleep(time.millisecond * 100) } } // 写入数据的函数 func writedata(id int) { for j := 0; j < 5; j++ { // 获取写锁 rwmutex.lock() // 修改数据 data += id fmt.printf("goroutine %d writes data: %d\n", id, data) // 释放写锁 rwmutex.unlock() // 等待一段时间,模拟写入过程 time.sleep(time.millisecond * 100) } }
2.2 代码解释
- 共享资源:这里的共享资源是
data
变量,所有读goroutine都会读取它,而写goroutine会修改它。 - 读写互斥锁:使用
sync.rwmutex
来保护对data
的访问。读goroutine在读取前调用rwmutex.rlock()
获取读锁,并在读取后调用rwmutex.runlock()
释放读锁。写goroutine在写入前调用rwmutex.lock()
获取写锁,并在写入后调用rwmutex.unlock()
释放写锁。 - 等待组:使用
sync.waitgroup
来等待所有goroutine完成。每启动一个goroutine,调用wg.add(1)
,每个goroutine完成时调用wg.done()
。 - 并发执行:通过
go func(id int)
启动goroutine,读goroutine和写goroutine分别执行读取和写入操作。
3. 条件变量(cond)
sync.cond
:条件变量通常与互斥锁一起使用,用于实现更复杂的同步场景。
它提供了三种方法:
wait()
:等待条件满足。signal()
:唤醒一个等待中的goroutine。broadcast()
:唤醒所有等待中的goroutine。
3.1 示例
创建一个生产者-消费者模型,生产者将数据添加到缓冲区中,而消费者从缓冲区中获取数据。我们使用sync.cond
来实现生产者和消费者之间的同步。
package main import ( "fmt" "sync" "time" ) // 缓冲区容量 const buffersize = 5 // 缓冲区 var buffer = make([]int, 0, buffersize) // 互斥锁 var mutex sync.mutex // 条件变量 var cond = sync.newcond(&mutex) func main() { // 创建一个等待组,以便等待所有goroutine完成 var wg sync.waitgroup // 启动生产者goroutine for i := 0; i < 2; i++ { wg.add(1) go producer(&wg, i) } // 启动消费者goroutine for i := 0; i < 3; i++ { wg.add(1) go consumer(&wg, i) } // 等待所有goroutine完成 wg.wait() } // 生产者函数 func producer(wg *sync.waitgroup, id int) { defer wg.done() for j := 0; j < 10; j++ { time.sleep(time.millisecond * 100) // 模拟生产过程 // 获取锁 mutex.lock() // 等待缓冲区未满 for len(buffer) == buffersize { cond.wait() } // 生产数据 buffer = append(buffer, j) fmt.printf("producer %d produced: %d, buffer: %v\n", id, j, buffer) // 唤醒消费者 cond.signal() // 释放锁 mutex.unlock() } } // 消费者函数 func consumer(wg *sync.waitgroup, id int) { defer wg.done() for { time.sleep(time.millisecond * 150) // 模拟消费过程 // 获取锁 mutex.lock() // 等待缓冲区非空 for len(buffer) == 0 { cond.wait() } // 消费数据 data := buffer[0] buffer = buffer[1:] fmt.printf("consumer %d consumed: %d, buffer: %v\n", id, data, buffer) // 唤醒生产者 cond.signal() // 释放锁 mutex.unlock() } }
3.2 代码解释
- 缓冲区:
buffer
是一个用于存放数据的切片,buffersize
定义了缓冲区的容量。 - 互斥锁:
mutex
用于保护缓冲区的并发访问。 - 条件变量:
cond
是一个条件变量,配合互斥锁使用,用于实现生产者和消费者之间的同步。 - 生产者函数:
producer
函数模拟生产数据。当缓冲区满时,生产者会等待条件变量。生产数据后,生产者会发出signal
通知消费者。 - 消费者函数:
consumer
函数模拟消费数据。当缓冲区空时,消费者会等待条件变量。消费数据后,消费者会发出signal
通知生产者。 - 等待组:使用
sync.waitgroup
来等待所有生产者和消费者goroutine完成。
4. once
sync.once
:保证某个操作只执行一次,常用于初始化操作。
主要方法是:
do(f func())
:只执行一次传入的函数,即使从多个goroutine调用也只会执行一次。
4.1 示例
模拟一个只需初始化一次的资源。无论有多少个goroutine尝试初始化这个资源,sync.once
都确保它们中的某一个只会执行一次初始化操作。
package main import ( "fmt" "sync" "time" ) // 定义一个全局变量用于存放初始化资源 var resource string // 定义一个sync.once变量 var once sync.once // 模拟资源初始化的函数 func initialize() { fmt.println("initializing resource...") resource = "resource initialized" } func main() { // 创建一个等待组,以便等待所有goroutine完成 var wg sync.waitgroup // 启动多个goroutine,尝试初始化资源 for i := 0; i < 5; i++ { wg.add(1) go func(id int) { defer wg.done() useresource(id) }(i) } // 等待所有goroutine完成 wg.wait() // 最后打印资源的状态 fmt.println("final resource state:", resource) } // 使用资源的函数,尝试初始化资源 func useresource(id int) { // 使用sync.once的do方法确保initialize函数只执行一次 once.do(initialize) fmt.printf("goroutine %d using resource: %s\n", id, resource) // 模拟资源使用过程 time.sleep(time.millisecond * 100) }
4.2 代码解释
- 全局变量:
resource
是一个全局变量,用于存放初始化的资源。 - sync.once:
once
是一个sync.once
变量,用于确保初始化函数initialize
只执行一次。 - 初始化函数:
initialize
函数模拟初始化资源的操作,只会在第一次调用时执行。 - 等待组:使用
sync.waitgroup
等待所有goroutine完成操作。 - 使用资源的函数:
useresource
函数模拟使用资源的过程。它调用once.do(initialize)
确保initialize
函数只执行一次。然后,它打印出资源的状态,并模拟使用资源的过程。
5. 原子操作
sync/atomic
包提供了底层的原子操作,可以用于实现无锁的并发算法。
这些操作包括:
addint32()
addint64()
loadint32()
loadint64()
storeint32()
storeint64()
compareandswapint32()
compareandswapint64()
5.1 示例
创建一个简单的程序,该程序使用原子操作来增加、存储和加载一个整数值,并使用compareandswap
来实现条件更新。
package main import ( "fmt" "sync" "sync/atomic" ) func main() { var wg sync.waitgroup var count int32 = 0 // 启动多个goroutine来增加计数器 for i := 0; i < 10; i++ { wg.add(1) go func() { defer wg.done() for j := 0; j < 5; j++ { // 使用atomic.addint32来原子地增加计数器 atomic.addint32(&count, 1) } }() } // 等待所有goroutine完成 wg.wait() // 使用atomic.loadint32来原子地读取计数器 finalcount := atomic.loadint32(&count) fmt.println("final count:", finalcount) // 尝试使用atomic.compareandswapint32来条件性地更新计数器 if atomic.compareandswapint32(&count, finalcount, 100) { fmt.println("count was", finalcount, ", updated count to 100") } else { fmt.println("failed to update count") } // 再次读取并打印计数器的值 updatedcount := atomic.loadint32(&count) fmt.println("updated count:", updatedcount) }
5.2 代码解释
- 变量定义:定义一个
int32
类型的变量count
用于计数。 - 增加计数器:启动多个goroutine,每个goroutine使用
atomic.addint32
来原子地增加count
的值。这保证了在并发环境下,计数的增加操作是安全的。 - 读取计数器:所有goroutine完成后,使用
atomic.loadint32
原子地读取count
的值。这是读取共享变量的安全方式。 - 条件更新:使用
atomic.compareandswapint32
尝试原子地更新count
的值。这个函数只有在当前值等于预期值时才会更新,并返回是否成功。 - 打印最终结果:打印最终的计数值和更新后的计数值。
6. pool
sync.pool
:用于临时对象的缓存,减少垃圾回收的压力。
主要方法包括:
get()
:获取一个对象。put(x interface{})
:放回一个对象。
6.1 示例
如何使用对象池来缓存和重用对象,从而减少垃圾回收的压力。
package main import ( "fmt" "sync" "time" ) // 定义一个结构体类型,用于示例 type myobject struct { id int } // 创建一个全局的sync.pool对象 var objectpool = sync.pool{ new: func() interface{} { return &myobject{} }, } func main() { var wg sync.waitgroup // 启动多个goroutine来获取和放回对象 for i := 0; i < 10; i++ { wg.add(1) go func(id int) { defer wg.done() // 从对象池中获取一个对象 obj := objectpool.get().(*myobject) // 模拟对象的使用 obj.id = id fmt.printf("goroutine %d using object with id: %d\n", id, obj.id) // 模拟工作延迟 time.sleep(time.millisecond * 100) // 重置对象的状态(可选) obj.id = 0 // 将对象放回池中 objectpool.put(obj) }(i) } // 等待所有goroutine完成 wg.wait() // 打印对象池的状态 fmt.println("all goroutines finished, objects are back in the pool.") }
6.2 代码解释
- 定义结构体:定义一个
myobject
结构体,用于示例。 - 创建对象池:使用
sync.pool
创建一个全局的对象池objectpool
。通过设置new
字段指定当对象池为空时如何创建新对象。 - 启动多个goroutine:在主函数中,启动10个goroutine,每个goroutine从对象池中获取一个对象,使用后将其放回池中。
- 获取对象:使用
objectpool.get()
从对象池中获取一个对象,并类型断言为*myobject
。 - 使用对象:模拟对象的使用过程,设置对象的
id
字段,并打印信息。 - 模拟延迟:使用
time.sleep
模拟一些处理延迟。 - 重置对象状态:重置对象的状态(这是可选的,但有助于避免状态污染)。
- 放回对象:使用
objectpool.put(obj)
将对象放回对象池中。 - 等待所有goroutine完成:使用
sync.waitgroup
等待所有goroutine完成。 - 打印状态:最后打印消息,表示所有goroutine已完成。
到此这篇关于浅谈go用于同步和并发控制的几种常见锁的文章就介绍到这了,更多相关go 同步和并发控制锁内容请搜索代码网以前的文章或继续浏览下面的相关文章希望大家以后多多支持代码网!
发表评论