在上一篇文章里,我们学习了goroutine和channel结合起来实现并发的方式。今天我们来学习另一种并发的方式。goroutine + share variables.
同时，我们还可以来比较一下goroutine和线程的不同。
share variables就是指多个goroutine同时操作的变量。而同时操作就会带来竞态(race condition)问题。
竞态问题
如果你对并发有一点点了解，就可以跳过这一节。
竞态问题就是当两个或多个线程（goroutine）同时操作一个变量，你就无法预测他到底发生了什么
func Deposit(amount int){
balance = balance + amount
}
func main() {
for i := 2000; i > 0; i-- {
go Deposit(10)
}
time.Sleep(2*time.Second)
fmt.Println(balance)
}
上面的代码中，我们假设有一个银行账户，初始时里面没有钱。然后有2000个人一起往里面存钱，每人存10块钱，所以结果应该是20000元。
但是结果却不到20000。原因是
balance = balance + amount
并不是一个原子操作。你可以将其分为三步：读取balance和amount,两数字相加，相加结果写回balance。现在我们假设现在账户内有1000元，两个用户(go routine)完成了第一步，拿到balance为10000，用户a执行加10后写回，账户剩余10010，这时候用户b也写回balance,写回的值依旧是10010，于是，用户a的操作被覆盖了。
解决竞态的方法是加锁
var (
mu sync.Mutex
balance int
)
func Deposit(amount int){
mu.Lock()
balance = balance + amount
mu.Unlock()
}
func main() {
for i := 2000; i > 0; i-- {
go Deposit(10)
}
time.Sleep(2*time.Second)
fmt.Println(balance)
}
goroutine与线程的不同
第一，线程通常都有一个固定大小的栈内存（2mb），如果你的程序需要同时跑1000个线程，你最好准备好2G以上的内存。另外，如果线程的栈内存比较小，可能会stackoverflow,而如果栈太大，机器可能又跑不了几个线程了。而goroutine的栈内存不是固定的，初始只有2kb，最大可以到1G
我们先看看node的线程，调用不到20000层就溢出了
const test = (a) => {
if (a == 0){
return 0
}
return test(a-1)
}
test(20000) //maximum call size exceeded
再来看看goroutine，可以跑到20000000层，多了1000倍不止
func test(a int) int{
if a == 0{
return a
}
return test(a-1)
}
func main() {
test(20000000)
}
第二，线程是内核调度的，机器上的定时器每过一个固定时间就会调度一次。内核调度的过程是很慢的，需要把线程当前的状态存进内存,恢复另一个线程的状态，更新调度器状态。而goroutine的调度器是go runtime提供的，所以不需要切换内核的context，所以更轻量。
第三，我们可以通过设置GOMAXPROCS环境变量来控制go程序使用的线程数（默认为cpu核数）
第四，线程往往有一个标识（一个int或者指针），而goroutine没有标识。这也导致golang中没有办法存储和获取指定goroutine的"状态"。官方的解释是"this is by design, since thread-local storage tends to be abused"。换句话说，golang鼓励你写出更纯的代码，函数的返回不应该受到之前状态的影响。
网友评论