用信号量机制来实现多个进程对临界资源的互斥访问 & PV操作

进程互斥　　定义:两个或两个以上的进程,不能同时进入关于同一组共享变量的临界区域,否则可能发生与时间有关的错误,这种现象被称作进程互斥.
　　在多道程序环境下，存在着临界资源，它是指多进程存在时必须互斥访问的资源。也就是某一时刻不允许多个进程同时访问，只能单个进程的访问。我们把这些程序的片段称作临界区或临界段，它存在的目的是有效的防止竞争条件又能保证最大化使用共享数据。而这些并发进程必须有好的解决方案，才能防止出现以下情况：多个进程同时处于临界区，临界区外的进程阻塞其他的进程，有些进程在临界区外无休止的等待。除此以外，这些方案还不能对CPU的速度和数目做出任何的假设。只有满足了这些条件，才是一个好的解决方案。
　　访问临界资源的循环进程可以这样来描述：
　　Repeat
　　entry section
　　Critical sections;
　　exit section
　　Remainder sectioni;
　　Until false
　　为实现进程互斥，可以利用软件的方法，也可以在系统中设置专门的同步机制来协调多个进程，但是所有的同步机制应该遵循四大准则：
　　1.空闲让进 当临界资源处于空闲状态，允许一个请求进入临界区的进程立即进入临界区，从 而有效的利用资源。
　　2.忙则等待 已经有进程进入临界区时，意味着相应的临界资源正在被访问，所以其他准备进 入临界区的进程必须等待，来保证多进程互斥。
　　3.有限等待 对要求访问临界资源的进程，应该保证该进程能在有效的时间内进入临界区，防 止死等状态。
　　4.让权等待 当进程不能进入临界区，应该立即释放处理机，防止进程忙等待。
　　早期解决进程互斥问题有软件的方法和硬件的方法，如：严格轮换法，Peterson的解决方案，TSL指令，Swap指令都可以实现进程的互斥，不过它们都有一定的缺陷，这里就不一一详细说明，而后来Kijkstra提出的信号量机制则更好的解决了互斥问题。


信号量(Semaphore)，有时被称为信号灯，是在多线程环境下使用的一种设施, 它负责协调各个线程, 以保证它们能够正确、合理的使用公共资源。
　　Semaphore分为单值和多值两种，前者只能被一个线程获得，后者可以被若干个线程获得。
　　以一个停车场的运作为例。简单起见，假设停车场只有三个车位，一开始三个车位都是空的。这时如 果同时来了五辆车，看门人允许其中三辆直接进入，然后放下车拦，剩下的车则必须在入口等待，此后来的车也都不得不在入口处等待。这时，有一辆车离开停车 场，看门人得知后，打开车拦，放入外面的一辆进去，如果又离开两辆，则又可以放入两辆，如此往复。
　　在这个停车场系统中，车位是公共资源，每辆车好比一个线程，看门人起的就是信号量的作用。
　　抽象的来讲，信号量的特性如下：信号量是一个非负整数（车位数），所有通过它的线程/进程（车 辆）都会将该整数减一（通过它当然是为了使用资源），当该整数值为零时，所有试图通过它的线程都将处于等待状态。在信号量上我们定义两种操作： Wait（等待） 和 Release（释放）。当一个线程调用Wait操作时，它要么得到资源然后将信号量减一，要么一直等下去（指放入阻塞队列），直到信号量大于等于一时。 Release（释放）实际上是在信号量上执行加操作，对应于车辆离开停车场，该操作之所以叫做“释放”是因为释放了由