【go】gopl学习笔记（6.基于共享变量的并发）

前言

并发：在有多个goroutine的程序中，每一个goroutine内的语句也是按照既定的顺序去执行的，但是一般情况下我们没法去知道分别位于两个goroutine的事件x和y的执行顺序。当我们不能确认一个事件x是在另一个事件y的前或者后发生的话，就说明x和y这两个事件是并发的。

并发安全：一个函数在线性程序中可以正确地工作，如果在并发的情况下，依然可以正确地工作的话，那么我们就说这个函数是并发安全的，并发安全的函数不需要额外的同步工作。对于某个类型来说，如果其所有可访问的方法和操作都是并发安全的话，那么类型便是并发安全的。

1.竞争条件(Race Conditions)

什么叫正确地执行呢？其中一种情况是竞争条件，指的是程序在多个goroutine交叉执行操作时，没有给出正确的结果。

数据竞争会在两个以上的goroutine并发访问相同的变量且至少其中一个为写操作时发生，通常表现为更新丢失。

这都是通用地概念，Java并发编程部分都有过涉及，go有哪些方式避免数据竞争情况呢？

1. 不变性：不要去写变量
2. 不共享：变量限定在单个goroutine A，其余goroutine通过channel让A去更新或查询变量状态
3. 互斥访问：同一个时刻最多只有一个goroutine在访问

1.1 检测

Go的runtime和工具链为我们提供了一个复杂但好用的动态分析工具，竞争检查器(the race detector)。只要在go build，go run或者go test命令后面加上-race的flag，就会使编译器创建一个你的应用的“修改”版或者一个附带了能够记录所有运行期对共享变量访问工具的test，并且会记录下每一个读或者写共享变量的goroutine