并发原语 Synchronization primitives 直译,同步原语 用于做协程同步、编排的类型或工具。
并发原语比 同步原语包括的范围更广泛。
go中的同步原语有:Channel(管道)、WaitGroup(线程等待)、Mutex(互斥锁)、RWMutex(读写锁)、Cond(条件变量)
并发的场景有:
1.共享资源。并发的读写共享资源,会出现数据竞争的问题,所以共享资源需要保护起来,避免竞争产生的错乱。所以会用到 Mutex(互斥锁)、RWMutex(读写锁)来保护数据安全。
2.任务编排。当我们的程序中需要协程goroutine按照一定的规律执行,而协程之间有互相等待或者依赖顺序关系。我们就需要用WaitGroup或者Channel来实现。
3.消息传递。信息交流以及不同的goroutine之间线程安全数据交流,常常使用Channel来实现。
在并发编程中,如果程序中的一部分会被并发访问或修改,那么,为了避免并发访问导致的意想不到的结果,这部分程序需要被保护起来,这部分被保护起来的程序,就叫做临界区
临界区就是一个被共享的资源,或者说是一个整体的一组共享资源,比如对数据库的访问、对某一个共享数据结构的操作、对一个 I/O 设备的使用、对一个连接池中的连接的调用
如果很多线程同步访问临界区,就会造成访问或操作错误,这当然不是我们希望看到的结果。所以,我们可以使用互斥锁,限定临界区只能同时由一个线程持有。
所以在运行到临界区之前获得锁,在临界区执行完后需要释放锁。而排他锁的获取和释放是有其原子性的。保证了同一时刻只有一个线程在执行临界区的程序。避免了并发时的数据错乱。