Golang并发编程之Goroutines的同步与互斥机制详解
随着多核处理器的普及和计算机性能的不断提高,如何充分利用多个处理器核心进行并行计算成为了开发人员面临的一个重要问题。并发编程是解决这个问题的关键技术之一。在Golang中,Goroutines和Channels被广泛用于实现并发编程。其中,Goroutines是一种轻量级的线程,可以实现高并发的任务处理。为了保证多个Goroutines之间的正确协作,同步与互斥机制起到了至关重要的作用。
一、Goroutines的基本概念
在Golang中,Goroutines是一种轻量级的线程,可以与其他Goroutines并发执行。与传统线程相比,Goroutines的创建和销毁花费的资源更少,并且可以更高效地利用系统资源。
Goroutines通过关键字"go"来创建。示例代码如下:
package main
import (
"fmt"
"time"
)
func task1() {
for i := 0; i < 5; i++ {
fmt.Println("Task 1:", i)
time.Sleep(time.Millisecond * 500)
}
}
func task2() {
for i := 0; i < 5; i++ {
fmt.Println("Task 2:", i)
time.Sleep(time.Millisecond * 500)
}
}
func main() {
go task1()
go task2()
time.Sleep(time.Millisecond * 3000)
}
在上述代码中,通过关键字"go"创建了两个Goroutines,分别执行task1()
和task2()
函数。在main()
函数中,通过time.Sleep()
函数等待3秒钟,保证Goroutines有足够的时间执行完毕。
二、Goroutines的同步与互斥机制
在实际的并发编程中,多个Goroutines可能需要共享某些资源。这时候就需要通过同步与互斥机制来确保资源的正确访问。
- 同步
在Golang中,常用的同步机制有WaitGroup、Mutex和RWMutex。
1.1 WaitGroup
WaitGroup用于等待一组Goroutines的执行完成。它的功能类似于Java中的CountDownLatch。示例代码如下:
package main
import (
"fmt"
"sync"
"time"
)
func task(i int, wg *sync.WaitGroup) {
defer wg.Done()
fmt.Println("Task", i)
time.Sleep(time.Millisecond * 500)
}
func main() {
var wg sync.WaitGroup
for i := 0; i < 5; i++ {
wg.Add(1)
go task(i, &wg)
}
wg.Wait()
fmt.Println("All tasks finished")
}
在上述代码中,通过sync.WaitGroup
创建了一个等待组wg
。在每个Goroutine的执行前调用wg.Add(1)
将等待组计数器加1,表示有一个任务需要等待。在每个Goroutine执行完毕后调用wg.Done()
将等待组计数器减1,表示一个任务已完成。最后,通过wg.Wait()
等待所有任务执行完成。
1.2 Mutex
Mutex是一种互斥锁,用于保护共享资源在同一时间只能被一个Goroutine访问。示例代码如下:
package main
import (
"fmt"
"sync"
"time"
)
var count int
var mutex sync.Mutex
func task(i int, wg *sync.WaitGroup) {
defer wg.Done()
mutex.Lock()
defer mutex.Unlock()
count++
fmt.Println("Task", i, "count:", count)
time.Sleep(time.Millisecond * 500)
mutex.Lock()
defer mutex.Unlock()
count--
}
func main() {
var wg sync.WaitGroup
for i := 0; i < 5; i++ {
wg.Add(1)
go task(i, &wg)
}
wg.Wait()
fmt.Println("All tasks finished")
}
在上述代码中,通过sync.Mutex
创建了一个互斥锁mutex
。在每个Goroutine中,通过调用mutex.Lock()
和mutex.Unlock()
的配对来保护共享资源的访问。在实际的应用中,可以将需要保护的共享资源存放在结构体中,通过结构体中的互斥锁来控制对共享资源的访问。
- 互斥
除了同步外,有时候还需要通过互斥来保证某段代码在同一时间只能被一个Goroutine执行。在Golang中,常用的互斥机制有Once和Mutex。
2.1 Once
Once用于保证某段代码在程序运行期间只会执行一次。示例代码如下:
package main
import (
"fmt"
"sync"
)
var once sync.Once
func task() {
fmt.Println("Task executed")
}
func main() {
for i := 0; i < 5; i++ {
once.Do(task)
}
}
在上述代码中,通过sync.Once
创建了一个Once对象once
。在每个Goroutine中,通过调用once.Do(task)
来保证task()
函数在整个程序运行期间只会执行一次。
2.2 Mutex
Mutex也可以用来实现互斥。示例代码如下:
package main
import (
"fmt"
"sync"
"time"
)
var count int
var mutex sync.Mutex
func task(i int, wg *sync.WaitGroup) {
defer wg.Done()
mutex.Lock()
defer mutex.Unlo
.........................................................