并发逐行高亮。两类阻塞用不同样式区分：同步阻塞（等 empty/full 资源）= 琥珀 + 睡眠呼吸；互斥阻塞（等 mutex 锁）= 紫色 + 浮现挂锁。
代码里 empty/full 着琥珀（同步信号量，直接制约），mutex 着紫色（互斥锁，间接制约）。阻塞时颜色一致：等资源→琥珀睡眠态，等锁→紫色挂锁态。信号量为负数表示有进程正排队等待。