Go语言的并发模式)
1、约束
保证操作安全的方法:
- 用于共享内存的同步原语 (锁,sync.Mutex)
- 通过通信共享内存来进行同步(channel)
- 隐式并发安全: 不会发生改变的数据和受保护的数据
在并发编程中,不可变数据是理想的,它隐式的并行安全。
并发进程之间可以对相同的数据操作,但是不能修改,如果创建新数据,就需要创建所需修改的数据的新副本,可以提高开发效率和程序运行速度,使得程序临界区减少。
两种可能的约束:特定约束和词法约束
特定约束:即通过约定来实现的,在大型项目中很难保证。例子:
data := make([]int, 4)
loopData := func( handleData chan<- int){
defer close(handleData)
for i := range data {
handleData <- data[i]
}
}
handleData := make(chan int)
go loopData(handleData)
for num := range handleData {
fmt.Println(num)
}
https://play.golang.org/p/f-EpjaA2k6G
在loopData函数和handleData channel里的循环都可以使用data切片。但是我们希望的是在loopData中使用,因此随着时间和更多的人使用代码,约束也会被打破。
词法约束: 涉及使用词法作用域仅公开用于多个并发进程的正确数据和并发原语;例子:
1、channel相关<