信号量和管程

信号量

• 并发（互斥访问）
• 同步（条件同步）
• 整数变量、P（-1）V（+1）操作

特性：

• 信号量是被保护的整数变量，只能通过PV操作修改，由OS保证
• P()可能阻塞，V()不会阻塞

管程

• 改进信号量在处理临界区的时候的PV操作匹配的繁琐
• 一个线程在临界区执行，必须执行到它退出临界区，它才能放弃临界区的互斥访问，而管程允许在执行的过程当中，临时放弃。放弃之后其他线程就可进入管程区域
• 采用面向对象方法，简化了线程的同步机制

特性：

• 条件变量是管程内的等待机制，进入管程的线程因资源被占用而进入等待状态，每个条件变量表示一种等待原因，对应一个等待队列；
• Wait()操作，将自己阻塞在等待队列中，唤醒一个等待着或释放管程的互斥访问
• Signal()操作，将等待队列中的一个线程唤醒，如果等待队列为空，则等同空操作

分类：

       根据执行的优先级不同，又分为Hansen 管程和Hoare 管程：

• Hansen 管程：主要用于真实操作系统和Java中，当前正在执行的线程优先级更高（即A线程拿到管程锁后由于某个条件被阻塞，释放锁，B线程拿到管程锁执行临界区代码，这时候A条件符合了，则A必须等到B执行完释放锁后才能再次拿到锁），效率更高，少了一次切换
• Hoare 管程：内部的线程优先执行（和上面相反，A条件符合后，B会被阻塞，先切换到A线程继续执行，A执行完成后释放锁，再切换到B继续执行，这里切换了两次），优先角度考虑更合理，更容易证明正确性

参考：图示、信号量和管程、详解