生产者消费者问题(多进程+共享内存+信号量)

最近学习java多线程，遇到生产者，消费者问题。记录一下，加以巩固

生产者和消费者问题是多个相互合作的进程之间的一种抽象。生产者和消费者之间的关系:

1.  对缓冲区的访问是互斥的。由于两者都会修改缓冲区，因此，一方修改缓冲区时，另一方不能修改，这就是互斥。

2.  一方的行为影响另一方。缓冲区不空，才能消费，何时不空？生产了就不空；缓冲区满，就不能生产，何时不满？消费了就不满。这是同步关系。

为了描述这种关系，一方面，使用共享内存代表缓冲区；另一方面，使用 互斥信号量 控制对缓冲区的访问，使用同步信号量描述两者的依赖关系。

使用 hayDato 表示缓冲区中是否有物品,初值为0,即初始时缓冲区没有物品.

使用 vacio 表示缓冲是否为空，初值为1,即初始时可以存入一件物品

使用mutex 来表示互斥信号

代码如下（由于本人所在学校非英语学校，请自动忽略注释区域语言）

import es.upm.babel.cclib.Producto;
import es.upm.babel.cclib.Almacen;
import es.upm.babel.cclib.Semaphore;

// TODO: importar la clase de los semáforos.

/**
 * Implementación de la clase Almacen que permite el almacenamiento
 * de producto y el uso simultáneo del almacen por varios threads.
 */
class Almacen1 implements Almacen {
   // Producto a almacenar: null representa que no hay producto
   private Producto almacenado = null;

   // TODO: declaración e inicialización de los semáforos
   // necesarios
   private Semaphore mutex = new Semaphore(1);
   private Semaphore hayDato = new Semaphore(0);
   private Semaphore vacio = new Semaphore(1);
   public Almacen1() {
   }

   public void almacenar(Producto producto) {
      // TODO: protocolo de acceso a la sección crítica y código de
      // sincronización para poder almacenar.
	   vacio.await();
	   mutex.await();
	  
      // Sección crítica
	
      almacenado = producto;
      mutex.signal();
      hayDato.signal();

      // TODO: protocolo de salida de la sección crítica y código de
      // sincronización para poder extraer.
   }

   public Producto extraer() {
      Producto result;

      // TODO: protocolo de acceso a la sección crítica y código de
      // sincronización para poder extraer.
      hayDato.await();
      mutex.await();
      
      // Sección crítica
      result = almacenado;
      almacenado = null;

      // TODO: protocolo de salida de la sección crítica y código de
      // sincronización para poder almacenar.
      mutex.signal();
      vacio.signal();
      return result;
     
   }
}