AQS同步队列首节点为何为空？为何不直接用竞争线程作头节点？

AQS选择用空对象作为同步队列的头节点，核心是为了简化逻辑、统一操作，具体原因如下：

• 简化锁释放的处理逻辑
  持有锁的线程释放锁时，只需要唤醒头节点的后继节点即可。空节点相当于一个“锁持有者占位符”，不用关联具体线程，释放锁时无需修改头节点的线程信息或状态，直接操作后继节点就能完成唤醒，逻辑更简洁。如果头节点是竞争线程节点，释放锁时还要处理头节点的状态变更、引用替换等额外步骤，复杂度会提升。

• 统一队列的初始化与新增逻辑
  用空节点当头后，队列的初始化就是创建这个空节点，后续所有竞争失败的线程节点都是从尾节点追加。不管队列是空还是已有等待节点，新增节点的逻辑完全一致，不需要额外判断头节点是否是有效线程节点，减少了分支判断，让队列操作的代码更简洁易维护。

• 明确节点状态的语义
  AQS节点有多种状态（如SIGNAL、CANCELLED等），空节点的状态可以固定为初始值，明确代表“当前锁被持有”的状态，不会和等待节点的状态产生歧义。如果头节点是线程节点，它的状态可能会和等待节点的状态混淆，增加状态判断的复杂度。

从代码实现来看，初始化同步队列时会先创建一个空节点作为头，后续新的竞争线程节点通过enq()方法追加到队列尾部，整个流程的逻辑一致性很强。

内容的提问来源于stack exchange，提问作者daigl