试修改下面消费者生产者问题解法中的错误： producer： begin repeat produce an item in nextp； wait(mutex)； wait(empty)； buffer(in)：=nextp； signal(mutex)； until false； end consumer： begin repeat wait(mutex)； wait(full)； nextc：=buffer(out)； out：=out+1； signal(mutex)； consume item in nextc； until false； end