请详细说明 synchronized、volatile、Lock 和 AQS 在多线程编程中的区别、使用场景及底层原理。

回答思路

1. 准确区分 synchronized 和 volatile 的语义差异
2. 清楚阐述 Lock 与 synchronized 的功能对比
3. 能够解释 AQS 的核心设计（CLH 队列、state）
4. 结合使用场景说明各自优缺点及选择依据