仓库问题
有一个仓库，可以存放 A 和 B 两种产品，仓库的存储空间足够大，但要求: (1)一次只能存入一种产品(A 或 B); (2)-N < (A 产品数量-B 产品数量) < M。 其中，N 和 M 是正整数。试用“存放 A”和“存放 B”以及 P、V 操作描述产品 A 与 产品 B 的入库过程。
Semaphore Sa = M - 1;
Semaphore Sb = N - 1;
//代表还能存入的数量
Semaphore mutex = 1;
process_A() {
while(1){
P(Sa); //取一个A产品准备入库
P(mutex);
A产品入库;
// A产品入库后还能存入A产品数量-1
V(mutex);
V(Sb); //还能存入B产品数量+1
}
}
process_B() {
while(1){
P(Sb); //取一个B产品准备入库
P(mutex);
B产品入库;
// B产品入库后还能存入B产品数量-1
V(mutex);
V(Sa); //还能存入A产品数量+1
}
}