一、什么是线程的同步
当多个线程同时访问其共享的资源时,需要相互协调,以防止出现数据不一致、不完整的问题,能达到这种状态线程同步
二、线程同步的方式
1、互斥量(互斥锁)
如果一个线程要访问一块数据时,它就调用mutex_lock
,如果互斥量是处于解锁状态,也就是说这块数据可用,那么就调用成功,如果这个互斥量已经加锁,那么该线程被阻塞,直到访问这块数据的线程调用mutex_unlock
,如果有多个线程被阻塞在这个互斥量上,那么将随机选择一个线程允许它解锁
2、信号量
它允许多个线程在同一时刻访问同一资源,但是需要限制在同一时刻访问此资源的最大线程数目
以一个停车场的运作为例:简单起见,假设停车场只有三个车位,一开始三个车位都是空的。这时如果同时来了五辆车,看门人允许其中三辆直接进入,然后放下车拦,剩下的车则必须在入口等待,此后来的车也都不得不在入口处等待。这时,有一辆车离开停车场,看门人得知后,打开车拦,放入外面的一辆进去,如果又离开两辆,则又可以放入两辆,如此往复。
在这个停车场系统中,车位是公共资源,每辆车好比一个线程,看门人起的就是信号量的作用
3、条件变量
条件变量可以让线程在满足特定的条件下暂停(睡眠),需要与互斥量配合使用
为什么需要和互斥量一起使用呢?
互斥锁只有两个条件加锁和解锁,如果A线程加锁了,B线程再加锁就会被阻塞,直到A线程解锁,在A线程解锁之前,B线程会一直判断有没有解锁,这样是比较消耗系统资源的,所以就引入条件变量,A线程解锁之前B线程就一直处于休眠状态,等到解锁了才通知B线程醒来,这样就避免了线程不断运行浪费资源