管程C语言,信号量PV和管程

一、概述

信号量是操作系统提供的一种协调共享资源访问的方法。和用软件实现的同步比较，软件同步是平等线程间的的一种同步协商机制，不能保证原子性。而信号量则由操作系统进行管理，地位高于进程，操作系统保证信号量的原子性。

信号量是跟锁机制在同一个层次上的编程方法。

管程是为了解决信号量在临界区的PV操作上的配对的麻烦，把配对的PV操作集中在一起，生成的一种并发编程方法。其中使用了条件变量这种同步机制。

二、信号量

1)概述

信号中包括一个整形变量，和两个原子操作P和V，其原子性由操作系统保证，这个整形变量只能通过P操作和V操作改变。

P意味着信号量值减1，减完之后如果信号量值小于0，则说明资源不够用的，把进程加入等待队列。

V意味着信号量值加1，加完之后如果信号量值小于等于0，则说明等待队列里有进程，那么唤醒一个等待进程。

信号量的等待进程被放在等待队列中，按先进先出的次序执行。

自旋锁不能保证进程按先进先出的次序执行，因为自旋锁的所有等待进程都在循环中忙等待，在临界区释放的那一刻，先检查到临界区为空