Java 多线程生产者消费者模式：信号量实现

程序中定义了三个信号量：

1. 'notFull'：表示缓冲区未满，初始值为 10，用于控制生产者线程的数量。
2. 'notEmpty'：表示缓冲区非空，初始值为 0，用于控制消费者线程的数量。
3. 'mutex'：表示互斥锁，初始值为 1，用于保护共享变量 'count' 的访问。

该程序使用三个信号量实现了一个简单的生产者消费者模式：

• 生产者 线程使用 'notFull' 信号量来判断缓冲区是否已满，如果未满则申请 'mutex' 互斥锁，生产产品并将产品放入缓冲区，最后释放 'mutex' 互斥锁并使用 'notEmpty' 信号量通知消费者线程可以消费。
• 消费者 线程使用 'notEmpty' 信号量来判断缓冲区是否为空，如果非空则申请 'mutex' 互斥锁，从缓冲区取出产品进行消费，最后释放 'mutex' 互斥锁并使用 'notFull' 信号量通知生产者线程可以生产。

该程序展示了信号量在多线程编程中的重要作用，它可以用来实现线程之间的同步和互斥，从而保证程序的正确性和效率。