竞态条件
数据被多个线程共享,那么很可能就产生争用或者冲突,这种场景叫静态条件,这往往会破坏共享数据的一致性。
同步方式
- 避免多个线程在同一时刻操作同一个数据块。
- 协调多个线程,以避免它们在同一时刻执行同一个代码块。
由于这样的数据块和代码块的背后都隐含着一种或多种资源(比如存储资源、计算资源、I/O 资源、网络资源等等),所以我们可以把它们看做是共享资源,或者说共享资源的代表。我们所说的同步其实就是在控制多个线程对共享资源的访问。
互斥锁
- 重复锁定互斥锁,对应的goroutine会则塞在本次lock的代码行,直到有对应的unlock解锁后,它抢到lock权限,才会继续向下进行,所以同一个goroutine重复锁定,必然会形成死锁。
- 重复解锁互斥锁,会引发panic。
互斥锁的使用,加锁<=>解锁,要成对出现,为了避免程序分叉,忘记解锁等,要配合defer使用比较好,在lock的后面,及时用defer unlock这样来保证在成对出现。