线程同步的方式:1.互斥锁(Mutex), 2.条件变量(condition variable), 3.信号量(Semaphore) 。
一、互斥锁
互斥锁的理解相对比较简单,就是每个线程对资源互斥访问时,必须加上互斥锁的保护。
更深一层:为了减少线程被阻塞的机会,有的os提供了一种对于mutext的另一个中操作---Trylock,用Trylock去检测mutex的状态,如果是lock状态,返回失败,否则返回成功。
二、条件变量
条件变量的诞生背景:当线程A去访问临界资源1时,还需要访问另一个临界资源2。同时另一个线程B去访问临界资源2时,还需要访问临界资源1。这种场景下会概率性的产生死锁现象。 死锁时的调度顺序请读者自行理解,这里不再赘述。
为了解决这个死锁问题,进而引入了条件变量。
所以条件变量的使用通常都是和互斥锁配套使用的。创建一个互斥锁时便联系着一个条件变量。单纯的互斥锁用于短期的锁定,保证各个线程互斥的进入临界资源。
条件变量则用于线程的长期等待,直至所有资源都可用。
核心接口:
①等待条件成立.pthread_wait(condition,mutext),在wait的同时接口内部会同时unlock对应的Mutex
②激活条件变量:pthread_cond_signal(condition),pthread_cond_broadcast(激活所有等待线程)
更深一层:如果条件变量释放的是一个临界资源,则此时唤醒此条件变量上等待的某一线程。
如果条件变量释放的是一个数据文件,则当一个写线程完成写操作后,需要唤醒其他的读线程。
三、信号量
信号量分为私用信号量和共用信号量。当信号量的资源为1时,实际就是Mutex了。
一般我们代码用的都是私用信号量,工程师自己负责创建,调用和释放。
公用信号量:由OS为它分配存储空间,工程师如果自己忘记释放,OS会负责释放