进程同步中的信号量机制(二)

3.AND型信号量

假定现在有两个进程A和B，他们都要求访问共享数据D和E。当然，共享数据都应该作为临界资源。为此，可为这两个数据分别设置用于互斥的信号量Dmutex和Emutex，并令他们的初值都是1。相应的，在两个进程中都要包含两个对Dmutex和Emutex的操作，即：
process A:                      process B:
wait(Dmutex):                   wait(Emutex):                                    
wait(Emutex):                   wait(Dmutex);

AND同步机制的基本思想是：将进程在整个运行过程中需要的所有资源，一次性全部地分配给进程，待进程使用完后再一起释放。只要尚有一个资源未能分配给进程，其它所有可能为之分配的资源也不分配给它，亦即，对若干个临界资源的分配，采取原子操作方式：要么把它所请求的资源全部分配到进程，要么一个也不分配。由死锁理论可知，这样就可避免上述死锁情况发生。为此，在wait操作中，增加了一个“AND”条件，故称为AND同步，或称为同时wait操作，即Swait定义：
Swait(S)
Swait(S1,S2,......Sn)
　　if Si>=1 and ....and Sn>=1 then  //各临界资源都为可分配状态
　　for i:=1 to n do     //循环n次，分配进程运行过程中所需要的所有资源
　　Si:=Si-1;