进程同步之信号量机制(笔记三)

0.进程同步机制

进程同步机制的主要任务是对多个相关进程在执行次序上进行协调，使得诸进程能够合理的共享系统资源，使得程序的执行具有可再现性。
进程之间的两种制约关系：
①间接相互制约关系 eg: 对诸如打印机、CPU等资源，多个进程只能互斥地访问，所以竞争这类资源的进程之间存在间接相互制约的关系
②直接相互制约关系 eg: 某些应用程序为了完成某些任务建立了两个或多个进程，这些进程为了完成任务而相互合作。例如共享一个缓冲区的输入进程A和计算进程B，A通过缓冲区写入数据，B通过缓冲区提取数据，它们之间是像话合作的。
进程同步相关名词：
临界资源(Critical Resource)：需要互斥访问的资源称为临界资源，如上面提到的打印机
临界区(critical section)：进程中访问临界资源的那段代码称为临界区
同步机制应遵循的规则：
①空闲让进 临界资源处于空闲状态时允许一个进程进入临界区利用邻接资源
②忙则等待 当临界资源已有进程在访问时，其他试图进入临界区的进程必须等待，以保证对临界资源的互斥访问
③有限等待 要求访问临界资源的进程能在有限的时间内进入临界区，不能陷入“死等”
④让权等待 进程不能进入自己的临界区时，立即释放处理机，以免陷入“忙等”

1.信号量(semaphores)机制

信号量机制是由Dijkstra提出的一种用于进程同步工具。由整型信号量经记录型信号量发展为“信号量集”。
信号量机制中的原子操作(原语)：
wait操作(P原语)：申请资源
signal操作(V原语)：释放资源
注：原子操作不可中断。当一个进程在修改信号量时，没有其他进程可同时对该信号量进行修改。

2.信号量类型
①整型信号量：整型信号量用于表示资源数目
整型信号量的P、V操作：

wait(S){
    while(S<=0)   ;
    S--;
}
signal(S){
    S++;
}

看上面的wait(S)，当需要申请的资源数量不足时，进程会不断测试，不放弃CPU，陷入“忙等”状态。下面介绍的记录型信号量有效能有效解决这一问题。
②记录型信号量
记录型信号量的数据结构如下：

typedef struct{
    int value;
    struct process_control_block *list