10行代码理解Java锁消除

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

问题：

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

理论：

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

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

测试：

考虑如下JMH基准测试：

如果我们运行此测试并启用-prof perfnorm profiler，将看到：

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

锁完全被消除了。如果我们使用jvm参数-xx:-eliminateLocks，或者使用-xx:-doescapeanalysis禁用EA（这会破坏依赖EA的每个优化，包括锁消除），则锁计数器将膨胀：

显示了两种方式的开销对比。

结论：

锁消除是由于逃逸分析带来的优化，它消除了多余的同步。当内部同步代码没有逃逸到外部时，runtime就可以完全消除同步了。

原文地址：

https://shipilev.net/jvm/anatomy-quarks/10-string-intern/

本文作者Aleksey Shipilёv，由方圆翻译。转载本文请注明出处，欢迎更多小伙伴加入翻译及投稿文章的行列，详情请戳公众号菜单「联系我们」。

参考阅读：

技术原创及架构实践文章，欢迎通过公众号菜单「联系我们」进行投稿。转载请注明来自高可用架构「ArchNotes」微信公众号及包含以下二维码。

高可用架构

改变互联网的构建方式

长按二维码 关注「高可用架构」公众号