仓库问题
有一个仓库,可以存放 A 和 B 两种产品,仓库的存储空间足够大,但要求: (1)一次只能存入一种产品(A 或 B); (2)-N < (A 产品数量-B 产品数量) < M。 其中,N 和 M 是正整数。试用“存放 A”和“存放 B”以及 P、V 操作描述产品 A 与 产品 B 的入库过程。
2023.10.30 补充一点:因为 PV 都是原子操作,因此对 Sa 和 Sb 的操作我就放在临界区外了,放在临界区内是不是也可以?答案是不可以。感谢评论区 @qq_53491951 同学指出的问题!
顺便我补充了一下 Java 代码的实现,同样类型的题目大家可以参考自己动手练习一下。
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
}
}
Java 实现
import java.util.concurrent.Semaphore;
public class TempTest {
private static Semaphore sa = new Semaphore(10);
private static Semaphore sb = new Semaphore(10);
private static Semaphore mutex = new Semaphore(1);
public static void main(String[] args) {
new Thread(() -> {
while (true) {
try {
sa.acquire(1);
mutex.acquire(1);
System.out.println("A 产品入库");
mutex.release(1);
sb.release(1);
} catch (InterruptedException e) {
throw new RuntimeException(e);
}
}
}).start();
new Thread(() -> {
while (true) {
try {
sb.acquire(1);
mutex.acquire(1);
System.out.println("B 产品入库");
mutex.release(1);
sa.release(1);
} catch (InterruptedException e) {
throw new RuntimeException(e);
}
}
}).start();
}
}