线程同步机制 - 互斥关系和合作关系

线程同步和互斥共存的典例

  当线程A和线程B都需要访问临界资源a，此时，是线程A先访问呢？还是线程B先访问呢？假如线程A和线程B按一定的次序协同完成一个工作，这就牵扯到了线程同步的问题，如果线程B需要某个特定的条件才能够访问临界资源，而线程A在访问临界资源时才能够触发线程B所需的条件，这个条件就是条件变量。由线程A访问了临界资源时，触发条件变量，访问临界资源结束后，线程B满足条件变量，访问临界资源，从而达到线程A和线程B的同步。

线程同步关系和互斥关系共存需要“互斥量”和“条件变量”同时存在。

互斥和合作关系：在许多程序设计中，多个线程之间都要访问临界资源又要相互协调合作（线程之间同时存在互斥关系和合作关系）。

线程同步

  两个或者多个任务为了合作完成一个工作，在执行速度或者某个确定的时序上必须相互协调，即一个任务必须依赖于另一个任务的执行情况。

线程同步依赖于“条件变量”，如：在线程A执行之后触发条件，线程B才能够执行。

线程互斥

  在某任务访问临界资源之前，对互斥量加锁。如果此时有其他任务要访问此临界资源，则会被阻塞等待。在当前任务访问临界资源之后，对互斥量解锁，其他任务得以进入临界区（访问此临界资源）。

线程互斥依赖于“互斥量”。

1. 任务：指进程或者线程（这里的任务指的是线程）
2. 临界资源：在某一时间内，只允许一个任务（进程或线程）访问的资源。（如打印机属于临界资源）
3. 临界区：访问临界资源的代码，称为临界区。

1. 互斥量

  互斥量是保证临界资源在同一时间内只能被一个任务访问的锁。
  在访问临界资源的时候，线程之间是互斥关系。

1. 互斥量本质是一把锁
2. 作用：确保同一时间内，只有一个任务进入临界区（又称为访问临界资源）

2. 条件变量

  条件变量和互斥量一起使用，允许线程以互斥的方式阻塞等待特定条件的发生（同步）

3. 读者-写者问题

问题描述
  在对临界资源的访问中，更多的是读操作，写操作较少，只有互斥量机制会影响访问效率。
  期望对临界资源的访问控制粒度更加精准，任意时刻允许多个线程同时进行读操作，但只允许一个线程对临界资源进行写操作。

互斥关系

• 读操作-写操作
• 写操作-写操作
• 读操作-读操作

同步关系

• 缓冲区不满，才允许写操作；缓冲区不空，才允许读操作。

读写锁的访问控制机制：

• 如果有线程对互斥资源进行读操作，则允许其他线程对互斥资源进行读操作，但不允许进行写操作。
• 如果有线程对互斥资源进行写操作，则不允许其他线程进行读操作或者写操作。

读写锁的加锁机制：
  如果有线程已经成功加上读锁，则其他线程可以继续加读锁，但不能加写锁（加写锁可能被阻塞）
  如果已经有线程对读写锁加了写锁，则其他线程不能对该读写锁加读锁或者写锁。