线程同步和互斥共存的典例
当线程A和线程B都需要访问临界资源a,此时,是线程A先访问呢?还是线程B先访问呢?假如线程A和线程B按一定的次序协同完成一个工作,这就牵扯到了线程同步的问题,如果线程B需要某个特定的条件才能够访问临界资源,而线程A在访问临界资源时才能够触发线程B所需的条件,这个条件就是条件变量。由线程A访问了临界资源时,触发条件变量,访问临界资源结束后,线程B满足条件变量,访问临界资源,从而达到线程A和线程B的同步。
线程同步关系和互斥关系共存需要“互斥量”和“条件变量”同时存在。
互斥和合作关系:在许多程序设计中,多个线程之间都要访问临界资源又要相互协调合作(线程之间同时存在互斥关系和合作关系)。
线程同步
两个或者多个任务为了合作完成一个工作,在执行速度或者某个确定的时序上必须相互协调,即一个任务必须依赖于另一个任务的执行情况。
线程同步依赖于“条件变量”,如:在线程A执行之后触发条件,线程B才能够执行。
线程互斥
在某任务访问临界资源之前,对互斥量加锁。如果此时有其他任务要访问此临界资源,则会被阻塞等待。在当前任务访问临界资源之后,对互斥量解锁,其他任务得以进入临界区(访问此临界资源)。
线程互斥依赖于“互斥量”。
- 任务:指进程或者线程(这里的任务指的是线程)
- 临界资源:在某一时间内,只允许一个任务(进程或线程)访问的资源。(如打印机属于临界资源)
- 临界区:访问临界资源的代码,称为临界区。
1. 互斥量
互斥量是保证临界资源在同一时间内只能被一个任务访问的锁。
在访问临界资源的时候,线程之间是互斥关系。
- 互斥量本质是一把锁
- 作用:确保同一时间内,只有一个任务进入临界区(又称为访问临界资源)
2. 条件变量
条件变量和互斥量一起使用,允许线程以互斥的方式阻塞等待特定条件的发生(同步)
3. 读者-写者问题
问题描述
在对临界资源的访问中,更多的是读操作,写操作较少,只有互斥量机制会影响访问效率。
期望对临界资源的访问控制粒度更加精准,任意时刻允许多个线程同时进行读操作,但只允许一个线程对临界资源进行写操作。
互斥关系
- 读操作-写操作
- 写操作-写操作
- 读操作-读操作
同步关系
- 缓冲区不满,才允许写操作;缓冲区不空,才允许读操作。
读写锁的访问控制机制:
- 如果有线程对互斥资源进行读操作,则允许其他线程对互斥资源进行读操作,但不允许进行写操作。
- 如果有线程对互斥资源进行写操作,则不允许其他线程进行读操作或者写操作。
读写锁的加锁机制:
如果有线程已经成功加上读锁,则其他线程可以继续加读锁,但不能加写锁(加写锁可能被阻塞)
如果已经有线程对读写锁加了写锁,则其他线程不能对该读写锁加读锁或者写锁。