Semaphore  for the product-consumer problem