锁策略和优化是并发编程中的重要话题，特别是在 Java 中，synchronized 作为基本的内置锁机制，得到了多层次的优化。在 JVM 和编译器层面，也有多种优化策略以提升锁的性能。
1. 锁策略：不同场景下的锁机制选择
- 无锁（Lock-Free）
- 通过使用原子变量（如
AtomicInteger）或无锁算法实现。 - 适用于竞争较低的场景，性能最高。
- 通过使用原子变量（如
- 偏向锁（Biased Locking）
- 当一个线程多次获得同一个锁时，偏向锁会避免同步操作。
- 提高单线程场景下的性能。
- 可通过 JVM 参数
-XX:-UseBiasedLocking禁用偏向锁。
- 轻量级锁（Lightweight Locking）
- 线程之间短时间竞争时，通过 CAS 操作实现加锁和解锁。
- 避免了重量级锁的上下文切换开销。
- 重量级锁（Heavyweight Locking）
- 线程竞争激烈时，锁膨胀为重量级锁，进入操作系统的监视器机制。
- 性能较低，但保证了线程安全。
2. synchronized 的优化
2.1 早期问题
在 Java 1.5 之前，synchronized 的实现依赖重量级锁，直接涉及操作系统的上下文切换，开销较大。
2.2 优化技术
从 Java 1.6 开始，synchronized 经过了显著优化：
- 偏向锁
- 锁对象记录最后持有该锁的线程 ID。
- 如果线程再次进入，同步操作直接通过对象头中的标记位完成。
- 避免竞争场景下的额外同步开销。
- 轻量级锁
- 使用 CAS 替代重量级锁。
- 如果 CAS 失败（其他线程正在争夺锁），锁膨胀为重量级锁。
- 锁粗化（Lock Coarsening）
- JVM 在 JIT 编译时，将多个锁操作合并为一个更大的锁范围。
- 避免频繁的加锁解锁操作。
- 锁消除（Lock Elimination）
- JIT 编译器在检测到局部对象的锁未被线程共享时，直接消除锁操作。
- 例如：
public void example() {
StringBuilder sb = new StringBuilder(); // 线程私有
sb.append("Hello");
sb.append("World");
}
-
- 在这种情况下，JVM 会移除
StringBuilder的同步机制。
- 在这种情况下，JVM 会移除
- 自适应自旋（Adaptive Spinning）
- 在线程尝试获取锁时，自旋等待（忙等）一定时间，避免直接挂起线程。
- 如果发现锁持有时间较长，进入阻塞状态。
- 锁升级与降级
- 锁可以从偏向锁升级到轻量级锁，再升级到重量级锁。
- 但是不会降级（JVM 不支持锁降级）。
3. JVM 与编译器的锁优化
3.1 JVM 内部优化
- 对象头设计
- 对象头中存储了锁标记位，用于记录锁状态（无锁、偏向锁、轻量级锁、重量级锁）。
- 提高锁状态切换的效率。
- 代码内联
- JIT 编译器在运行时将
synchronized方法的字节码内联到调用者上下文中，减少方法调用的额外开销。
- JIT 编译器在运行时将
- 逃逸分析
- JVM 通过逃逸分析，判断对象是否只在单线程中使用。
- 如果对象未逃逸出线程，则可以进行锁消除。
3.2 编译器级优化
- 指令重排序
- JIT 编译器在保证线程安全的前提下，对锁相关指令进行重排序，优化性能。
- 热点代码路径优化
- 将高频访问的同步代码路径优化为更高效的机器代码。
4. 调优建议与实践
- 减少锁粒度
- 缩小锁的作用范围，仅在必要的代码块上加锁。
synchronized (this) {
criticalSection();
}
2. 使用显式锁
- 对于复杂的同步场景，使用
ReentrantLock提供更灵活的控制。
Lock lock = new ReentrantLock();
lock.lock();
try {
// critical section
} finally {
lock.unlock();
}
3. 减少锁竞争
- 将热点数据分片，避免多个线程访问同一资源。
4. 非阻塞算法
- 使用无锁数据结构（如
ConcurrentHashMap）替代传统的同步机制。
5. 分析工具
- 使用工具（如 VisualVM 或 JProfiler）分析锁竞争和线程阻塞。
5. 示例代码对比
传统同步
public synchronized void increment() {
counter++;
}
使用 ReentrantLock
Lock lock = new ReentrantLock();
public void increment() {
lock.lock();
try {
counter++;
} finally {
lock.unlock();
}
}
无锁操作
AtomicInteger counter = new AtomicInteger();
public void increment() {
counter.incrementAndGet();
}
通过结合 JVM 内部优化技术和合理的锁策略，可以在保证线程安全的前提下最大化系统性能。
发布者：myrgd，转载请注明出处：https://www.object-c.cn/4486
