用信号量实现进程互斥、同步、前驱关系

信号量机制实现进程互斥

1.分析并发进程的关键活动，划分临界区（如：对临界资源打印机的访问就应放在临界区）

2.设置互斥信号量mutex，初值为1

3.在临界区之前执行P(mutex)

4.在临界区之后执行V(mutex)

注意：

对不同的临界资源需要设置不同的互斥信号量

 P、V操作必须成对出现。缺失P(mutex)就不能保证临界资源的互斥访问。缺失V(mutex)会导致资源永不被释放，等待进程永不被唤醒。

// 信号量机制实现互斥
semphore mutex = 1;    //初始化信号量

P1(){
    ...
    P(mutex);          //使用临界资源前需要加锁
    临界区代码段
    V(mutex);          //使用临界资源后需要解锁        
    ...
}

P2(){
    ...
    P(mutex);
    临界区代码段
    V(mutex);
    ...
}

信号量机制实现进程同步

进程同步：要让各并发进程按要求有序地推进。

P1(){
    代码1;
    代码2;
    代码3;
}

P2(){
    代码1;
    代码2;
    代码3;
}

比如，P1、P2并发执行，由于存在异步性，因此二者交替推进的次序是不确定的。

若P2的"代码4"要基于P1的"代码1"和"代码2"的运行结果才能执行，那么我们就必须保证"代码4"一定是在"代码2"之后才会执行。

这