synchronized 轻量级锁：Mark Word 指向线程栈中的 Lock Record，为啥不和偏向锁一样，存线程id呢

轻量级锁与偏向锁的设计目标和应用场景不同，这决定了它们在 `Mark Word` 中存储的信息也不同。以下是为什么轻量级锁不直接存线程 ID 而是存储指向线程栈中 Lock Record 的指针的详细解释。 ### **1. 偏向锁和轻量级锁的设计目标** - **偏向锁**： - 设计目标是优化无竞争情况下的性能。 - 假设大部分情况下锁是由同一个线程独占，因此直接将线程 ID 存储在 `Mark Word` 中，避免加锁和解锁的额外操作。 - **轻量级锁**： - 设计目标是优化**少量竞争**的场景。 - 轻量级锁假设锁竞争较少且线程之间可能发生交替使用，需要支持快速获取和释放锁，同时兼容多个线程尝试获取锁的操作。 ### **2. 偏向锁存线程 ID 的限制** 在偏向锁中，`Mark Word` 存储线程 ID 是因为： - 偏向锁不涉及竞争，线程 ID 足以标识锁的持有者。 - 当另一个线程尝试获取锁时，偏向锁会撤销，转为轻量级锁或重量级锁。 但在轻量级锁中，存储线程 ID 会带来以下问题： 1. **无法处理竞争情况**： - 如果直接存线程 ID，那么多个线程同时竞争锁时，`Mark Word` 中的线程 ID 无法反映具体的竞争状态。 - 必须引入额外的机制（如全局结构或栈外记录）来跟踪竞争线程的状态，这会增加实现复杂性。 2. **线程切换成本高**： - 如果存储线程 ID，线程切换时需要频繁更新 `Mark Word`，导致额外的 CAS 操作开销。 ### **3. 为什么轻量级锁存储指向 Lock Record 的指针** - **Lock Record 的作用**： Lock Record 是线程栈中的一段内存，轻量级锁通过将 `Mark Word` 指向线程栈中的 Lock Record，可以高效地管理锁的获取和释放： 1. 每个线程都可以有自己的 Lock Record，无需共享，避免了竞争。 2. 线程释放锁时，只需通过指针操作即可快速恢复 `Mark Word` 的原始值。 - **优势**： 1. **支持多线程竞争**：指向 Lock Record 的设计允许多个线程同时参与轻量级锁的竞争，每个线程都可以在自己的栈上维护锁状态。 2. **减少内存占用**：指向 Lock Record 不需要像线程 ID 那样扩展为一个全局结构，只需使用线程栈中的小块空间。 3. **兼容性好**：当轻量级锁升级为重量级锁时，可以直接将竞争信息从 Lock Record 转移到 Monitor 对象，无需重新设计同步机制。 ### **4. 偏向锁到轻量级锁的转变** 偏向锁在撤销时，将 `Mark Word` 中的线程 ID 替换为指向 Lock Record 的指针。 原因是： - 偏向锁假设无竞争，存线程 ID 足够。 - 轻量级锁假设可能有竞争，指向线程栈中的 Lock Record 能更好地支持多线程竞争逻辑。 ### **5. 具体实现细节** 以下是轻量级锁通过指向 Lock Record 的设计解决的问题： 1. **竞争检测**： - 在获取锁时，轻量级锁通过 CAS 操作尝试将对象的 `Mark Word` 更新为指向当前线程的 Lock Record 的指针。 - 如果失败，则表示可能存在竞争，需要进一步处理（可能升级为重量级锁）。 2. **锁释放**： - 锁释放时，通过栈上的 Lock Record 快速恢复对象的原始 `Mark Word`，无需复杂的操作。 3. **升级机制**： - 如果发生竞争，轻量级锁可以无缝升级为重量级锁，将 Lock Record 的信息转移到 Monitor 对象中，便于管理等待队列和锁持有者信息。 ### **6. 总结** 轻量级锁不直接存线程 ID，而是存储指向线程栈中 Lock Record 的指针，主要基于以下原因： 1. **适应竞争场景**：轻量级锁需要支持多个线程竞争锁，而线程 ID 无法反映竞争状态。 2. **快速操作**：Lock Record 存储在线程栈中，释放锁时操作简单、高效。 3. **灵活性**：指针设计允许轻量级锁无缝升级为重量级锁，便于处理复杂的竞争场景。