有9个生产者，6个消费者，共享容量为8的缓冲区。在这个生产者一消费者问题中，互斥使用缓冲区的信号量mutex的初值应该为()。