进程同步与互斥机制 — 计算机填空题

某系统中三个进程 P1、P2、P3 共享一个只能容纳 1 个产品的缓冲区。生产者 P1 每次放入一个产品，消费者 P2、P3 各需取走一个产品。设置信号量 empty 初值为 1（表示缓冲区空位数），full 初值为 0（表示产品数），mutex 初值为 1（互斥访问缓冲区）。P1 依次执行 P(empty)、P(mutex)、放产品、V(mutex)、V(full)；P2、P3 均依次执行 P(full)、P(mutex)、取产品、V(mutex)、V(empty)。若系统运行中 P2 已完成一次取产品，且此时 P3 已执行完 P(full)，但尚未执行 P(mutex)，则此时信号量 empty 的值为____，mutex 的值为____。