OS_PV操作_1.仓库问题（附带 Java 代码实现）

仓库问题

有一个仓库，可以存放 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();

    }
}