同步与互斥

同步与互斥的概念

当线程并发执行时，由于资源共享和线程协作，使用线程之间会存在以下两种制约关系。
1.间接相互制约。一个系统中的多个线程必然要共享某种系统资源，如共享CPU，共享I/O设备，所谓间接相互制约即源于这种资源共享，打印机就是最好的例子，线程A在使用打印机时，其它线程都要等待。

2.直接相互制约。这种制约主要是因为线程之间的合作，如有线程A将计算结果提供给线程B作进一步处理，那么线程B在线程A将数据送达之前都将处于阻塞状态。

间接相互制约可以称为互斥，直接相互制约可以称为同步，对于互斥可以这样理解，线程A和线程B互斥访问某个资源则它们之间就会产个顺序问题——要么线程A等待线程B操作完毕，要么线程B等待线程操作完毕，这其实就是线程的同步了。因此同步包括互斥，互斥其实是一种特殊的同步。

由于线程共享进程的资源和地址空间，所以在访问到他们的公共资源的时候，一定会出现线程的同步和互斥现象，多线程访问一个数据的次序一定是杂乱无章的，所以这也是我们一个非常头疼的一个问题，这时候我们就可以灵活运用到互斥锁和信号量,对一份资源让线程一个一个的访问，让程序的可控性提升.

线程同步于互斥实现的四种方式：

1. 临界区（Critical Section）：适合一个进程内的多线程访问公共区域或代码段时使用
2. 互斥量 (Mutex)：适合不同进程内多线程访问公共区域或代码段时使用，与临界区相似。
3. 事件（Event）：通过线程间触发事件实现同步互斥
4. 信号量（Semaphore）：与临界区和互斥量不同，可以实现多个线程同时访问公共区域数据，原理与操作系统中PV操作类似，先设置一个访问公共区域的线程最大连接数，每有一个线程访问共享区资源数就减一，直到资源数小于等于零

互斥锁：用于保证在某一段时间只有一个线程在执行某些代码.
互斥锁的操作流程如下：
1）在访问共享资源后临界区域前，对互斥锁进行加锁。
2）在访问完成后释放互斥锁导上的锁。
3）对互斥锁进行加锁后，任何其他试图再次对互斥锁加锁的线程将会被阻塞，直到锁被释放。

条件变量
条件变量用来阻塞线程等待某个事件的发生，并且当等待的事件发生时，阻塞线程会被通知。
互斥锁一个明显的缺点是它只有两种状态：锁定和非锁定。而条件变量通过允许线程阻塞和等待另一个线程发送信号的方法弥补了互斥锁的不足，它常和互斥锁一起使用。使用时，条件变量被用来阻塞一个线程，当条件不满足时，线程往往解开相应的互斥锁并等待条件发生变化。一旦其它的某个线程改变了条件变量，它将通知相应的条件变量唤醒一个或多个正被此条件变量阻塞的线程。这些线程将重新锁定互斥锁并重新测试条件是否满足。一般说来，条件变量被用来进行线承间的同步。

信号量
信号量本质上是一个非负的整数计数器，它被用来控制对公共资源的访问。当公共资源增加时，调用函数sem_post（）增加信号量。
只有当信号量值大于０时，才能使用公共资源，使用后，函数sem_wait（）减少信号量。函数sem_trywait（）和函数
pthread_ mutex_trylock（）起同样的作用，它是函数sem_wait（）的非阻塞版本。

原文：
https://blog.csdn.net/dawn_sf/article/details/72862416
https://blog.csdn.net/lianghe_work/article/details/47747497
https://blog.csdn.net/weixin_39345003/article/details/80740085