请解释 synchronized 的底层实现原理，以及等待队列在其中起什么作用？

回答思路

1. 能说明 synchronized 基于监视器锁（monitor）实现的整体机制
2. 能解释偏向锁、轻量级锁、重量级锁的升级路径
3. 能说明等待队列与 wait/notify 的关系及线程状态迁移
4. 能结合实际场景说明等待队列的作用和潜在问题（如虚假唤醒）