后台负责人|网易
Mycat 和 Java JFRUnit 的核心贡献者，贡献过 OpenJDK，Spring，Spring Cloud，Apache Bookkeeper，Apache RocketMQ，Ribbon 和 Lettuce 等项目，后台 Leader
获得徽章 0
今天看 JLS 突然发现，实际的 implementation(实现) 的输出结果只是 specification(规范) 里面的输出结果的一个 subset（子集）。就是实际的实现，只是对于规范的一个视图，并不是完整的设计思路。所以太抠实际实现的源码的细节可能会导致我们对于整体思路的理解有误。
比如：
线程一执行
x = 1;
r1 = x;
线程 2 执行 x = 2
究竟会在什么情况下会被编译成：
线程1：
x = 1;
r1 = 1;
线程2：
x=2;
不同的虚拟机在不同的场景表现都不一样，但是只要结果（r1 究竟等于什么）是属于结果集的一个子集就可以，规范中说这个是不确定的，我们不必纠结，只是知道这里有并发安全问题知道要同步就可以。实际的实现，会很复杂，JIT 优化，内存优化涉及的会很多，究竟是否因为编译成 r1 = 1 导致其实 r1 只有一个结果不同操作系统不同环境不同JVM实现其实是不确定的。
比如：
线程一执行
x = 1;
r1 = x;
线程 2 执行 x = 2
究竟会在什么情况下会被编译成：
线程1：
x = 1;
r1 = 1;
线程2：
x=2;
不同的虚拟机在不同的场景表现都不一样，但是只要结果（r1 究竟等于什么）是属于结果集的一个子集就可以，规范中说这个是不确定的，我们不必纠结，只是知道这里有并发安全问题知道要同步就可以。实际的实现，会很复杂，JIT 优化，内存优化涉及的会很多，究竟是否因为编译成 r1 = 1 导致其实 r1 只有一个结果不同操作系统不同环境不同JVM实现其实是不确定的。
展开
评论
1
1. 最近不准备更新文章，因为看到很多抄袭自己的，举报不过来，想到以后还需要面对这些，觉得在找到避免抄袭方式之前，不发文章，只发视频
之后聊聊 JDK 17：
1.oracle jdk从17开始也算不收费了，三年内白嫖，之后如果升级到新版本又是白嫖三年不收费，外加lts从17开始变成两年一个，无缝白嫖，一年过渡，外加openjdk免费
2. 如何平滑升级，netflix 的大神有过升级经验
carlmastrangelo.com ，我也写了一篇：zhuanlan.zhihu.com，升级真的没那么困难。
3. 各种库的兼容性，这个jdk社区也一直在解决，各种常用库的Java版本兼容性统一归纳网站可以参考这里：wiki.openjdk.java.net 能看到 netty、maven 等大家熟知的库，里面还有联系人，可以在 github 或者 twitter 上面 @ 他们 询问
之后聊聊 JDK 17：
1.oracle jdk从17开始也算不收费了，三年内白嫖，之后如果升级到新版本又是白嫖三年不收费，外加lts从17开始变成两年一个，无缝白嫖，一年过渡，外加openjdk免费
2. 如何平滑升级，netflix 的大神有过升级经验
carlmastrangelo.com ，我也写了一篇：zhuanlan.zhihu.com，升级真的没那么困难。 3. 各种库的兼容性，这个jdk社区也一直在解决，各种常用库的Java版本兼容性统一归纳网站可以参考这里：
wiki.openjdk.java.net 能看到 netty、maven 等大家熟知的库，里面还有联系人，可以在 github 或者 twitter 上面 @ 他们 询问
展开
5
4