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