生产者与消费者问题(Producer-consumer problem)，或称有限缓冲区问题(Bounded-buffer problem)，是一个多线程/进程同步问题的经典案例。该问题描述了共享固定大小缓冲区的两类线程：即“生产者”线程和“消费者”线程在实际运行时会发生的问题。生产者的主要作用是生成一定量的数据(产品)放入缓冲区中，然后重复此过程。与此同时，消费者从缓冲区中取出数据并消耗。解决该问题的关键是如何保证生产者不会在缓冲区满时放入数据，而消费者也不会在缓冲区中空时消耗数据。使用POSIX thread库函数pthread_create创建若干个(至少2个)生产者线程和1个或若干个消费者线程，利用POSIX线程同步机制互斥锁和条件变量实现生产者线程和消费者线程的同步。程序流程图

程序流程图：

       +------------------+
       |     Producer     |
       +------------------+
           |           |
        lock(mutex)   wait(not_full)
           |           |
       put_item()     signal(not_empty)
           |           |
        unlock(mutex)  |
           |           |
       +------+   +------+
       | Buffer |   |      |
       +------+   +------+
           |
        lock(mutex)
           |
       get_item()
           |
        unlock(mutex)
           |
  signal(not_full)  |
           |        lock(mutex)
       +------+     |
       |      |     get_item()
       +------+     |
           |     unlock(mutex)
        wait(not_empty)
           |
       +------+ 
       |Consumer| 
       +------+ 

具体步骤：

1. 定义一个有限缓冲区(Buffer)和至少2个生产者(Producer)线程以及1个或若干个消费者(Consumer)线程。
2. 使用POSIX线程同步机制互斥锁(mutex)和条件变量(not_empty, not_full)实现同步。
3. 生产者线程在生成数据(产品)后，使用lock(mutex)获取互斥锁，判断缓冲区是否满，如果满了就使用wait(not_full)等待条件变量not_full的信号。如果缓冲区没有满，则将数据放入缓冲区中，再使用signal(not_empty)发送条件变量not_empty的信号，最后使用unlock(mutex)释放互斥锁。
4. 消费者线程在消耗数据之前，使用lock(mutex)获取互斥锁，判断缓冲区是否为空，如果为空就使用wait(not_empty)等待条件变量not_empty的信号。如果缓冲区不为空，则从缓冲区中取出数据并使用unlock(mutex)释放互斥锁，再使用signal(not_full)发送条件变量not_full的信号。
5. 当生产者线程将数据放入缓冲区时，如果缓冲区满了就会等待条件变量not_full的信号。当消费者线程从缓冲区中取出数据时，如果缓冲区为空就会等待条件变量not_empty的信号。这样就可以保证生产者不会在缓冲区满时放入数据，而消费者也不会在缓冲区中空时消耗数据。
6. 生产者线程和消费者线程的数量可以根据具体情况进行调整。