10行代码理解Java锁消除

2021-03-20 15:26

阅读：700

标签：意义联网举例优化 java线程使用开发理解除了

10行代码理解Java锁消除

导语：锁消除是Java虚拟机在JIT编译期间，通过对运行上下文的扫描，去除不可能存在共享资源竞争的锁，通过锁消除，可以节省毫无意义的请求锁时间。本文作者举例说明了锁消除，并分析了锁消除的条件，本文适合对于深入了解JVM有兴趣的开发者。

问题：
我听说JVM会对锁进行优化，所以如果我写了synchronized，JVM会帮我做优化！对吗

理论：
在当前Java内存模型中，未观察到的锁不能保证具有任何效果。另外，这意味着在非共享对象上进行同步是无效的，因此runtime可以啥也不做。同步有可能是不需要的，这为优化提供了机会。

因此，如果逃逸分析发现对象是非逃逸的，编译器就可以自行消除同步。

测试：
考虑如下JMH基准测试：
技术图片
如果我们运行此测试并启用-prof perfnorm profiler，将看到：

执行结果完全相同。这意味着生成的代码是相同的。生成的代码是这样：

锁完全被消除了。如果我们使用jvm参数-xx:-eliminateLocks，或者使用-xx:-doescapeanalysis禁用EA（这会破坏依赖EA的每个优化，包括锁消除），则锁计数器将膨胀：
技术图片
显示了两种方式的开销对比。