信号量机制与进程同步 — 计算机填空题

某面包店有一个容量为 5 的货架（缓冲区），两名烘焙师（生产者）与三名顾客（消费者）并发操作。使用信号量 mutex=1、empty=5、full=0 同步。某次执行中，某生产者将「wait(empty)」与「wait(mutex)」两条语句的顺序交换，先执行 wait(mutex) 再执行 wait(empty)。当货架已放满 5 个面包时，若一名生产者进入其交换后的代码段，随后一名顾客也到来，则系统将发生____（填写现象名）；其根本原因是生产者持有 mutex 后因 empty=0 被____（填写信号量名）阻塞，而顾客的 wait(full) 虽可执行，但需先通过 wait(mutex) 才能取货，形成相互等待。