CSP 是 Communicating Sequential Process 的简称,中文可以叫做通信顺序进程,是一种并发编程模型,最初于Tony Hoare的1977年的论文中被描述,影响了许多编程语言的设计。
golang CSP模型
golang语言并没有完全实现了CSP模型的所有理论,仅仅是借用了 process和channel这两个概念。process是在golang语言上的表现就是 goroutine, 是实际并发执行的实体,每个实体之间是通过channel通讯来实现数据共享。
最经典的数据通信共享理论
以通信的方式来共享内存
Do not communicate by sharing memory; instead, share memory by communicating
不要以共享内存的方式来通信,相反,要通过通信来共享内存。
这是golang实现高并发的基础通信理论。
在golang语言上面,就是通过channel实现多个goroutine的数据通信。
sync.WaitGroup使用
如果需要让多个goroutine都执行完成,就是用使用time.sleep,延迟几秒保证每个goroutine都能执行到。
func testPrint(i int) {
fmt.Println(i)
}
func main() {
for i:=0;i<5;i++ {
go testPrint(i)
}
time.Sleep(time.Second)
}
但是在生产项目里面就没法这么写了,延迟1S有可能所有goroutine没执行完成,延迟1000S可能1毫秒就执行完了,其他999S都是等待,延长了程序执行时间。
所以就有sync.WaitGroup
func testPrint(wg *sync.WaitGroup, i int) {
fmt.Println(i)
wg.Done()
}
func main() {
var wg = new(sync.WaitGroup)
for i:=0;i<5;i++ {
wg.Add(1)
go testPrint(wg,i)
}
wg.Wait()
}
WaitGroup比较容易理解,其实就是一个内部计数器,在执行goroutine行为之前执行 wg.Add(1),给计数器+1,执行完之后,执行wg.Done(),表示这个goroutine执行完成,计数器内部-1,wg.Wait()会阻塞代码的运行,等待所有的添加进WaitGroup的goroutine全部执行完毕(计数器减为0),再退出程序。
非常完美的解决了等待所有goroutine执行完毕的需要。
sync.Mutex
sync.Mutex,互斥锁排它锁。
我们需要维护一个变量,保证每个goroutine都能成功的修改它,如果没有互斥锁可能就是下面的代码
func testPrint(wg *sync.WaitGroup, i int) {
count++
fmt.Println(i)
wg.Done()
}
var count int
func main() {
count = 0
var wg = new(sync.WaitGroup)
for i:=0;i<500;i++ {
wg.Add(1)
go testPrint(wg,i)
}
wg.Wait()
fmt.Printf("count:%d",count)
}
预期应该是特定的值,500,其实经常性的不是500.就是因为多个goroutine同时去修改count值了,加上互斥锁试一下。
func testPrint(wg *sync.WaitGroup, i int) {
defer func() {
mu.Unlock()
}()
mu.Lock()
count++
fmt.Println(i)
wg.Done()
}
var count int
var mu *sync.Mutex
func main() {
count = 0
mu = new(sync.Mutex)
var wg = new(sync.WaitGroup)
for i:=0;i<500;i++ {
wg.Add(1)
go testPrint(wg,i)
}
wg.Wait()
fmt.Printf("count:%d",count)
}
结果是定值500,跟预想的一致。