经典进程同步问题 — 计算机填空题

在一组生产者-消费者进程中，信号量 mutex=1 用于互斥访问缓冲池，empty=n（缓冲区空单元数），full=0（缓冲区满单元数）。生产者代码为：P(empty); P(mutex); 放入产品; V(mutex); V(full)。若某生产者在缓冲区已满时执行上述代码，其将在 P(____) 操作上阻塞；而按教材正确写法应先执行同步 P 操作、后执行互斥 P 操作，否则先执行 P(mutex) 再执行 P(empty) 可能导致生产者持有 mutex 并阻塞，消费者因无法进入临界区取出产品而最终____（填"正常同步"或"死锁"）。