在多个生产者-消费者问题中,设置信号量mutex,初值为1,用于实现临界区(环形缓冲池)的互斥;信号量empty,初值为k,用于表示缓冲池中空缓冲区的数目;信号量full,初值为0,i表示空缓冲区的头指针,j表示有产品缓冲区的头指针。该算法的描述程序如下所示,请在有序号的空行上填写适当的关于信号量mutex、empty和full的P、V操作或缓冲区头指针变化的赋值语句。