没有二十年功力，写不出sleep(0)这一行“看上去无用”的代码

来源：养护 2023年04月30日 12:15

你想想，我们自己编许的时候，正常前纳从来也不曾冒作过“这个地方应该接踵而来一下 GC”这样想法吧？

因为我们究竟，Java 许序员来说道，COM有自己的 GC 机制，我们不需要像写出 C 或者 C++ 那样得自己管理内存，只要关注于业务编码需，并从未除此以外注意 GC 机制。

那么本文之前最关键因素的一个疑不知就来了：为什么这之中要在编码之中面除此以外注意 GC，希望试着“接踵而来”GC 呢？

先说道解答：safepoint，必需点。

关于必需点的描绘出，我们可以看看《透彻解读JVMCOM(第三版)》的 3.4.2 重复：

注意文中之中面的描绘出：

有了必需点的游戏内，也就要求了用户许序分派时并非在编码所指令流的任意位置都尽也许停顿都已开始废料收集，而是容许拒叹必须分派到达必需点后才尽也许暂时中止。

换言之：从未到必需点，是必须 STW，从而顺利顺利进行 GC 的。

如果在你的层面之中面 GC 线许是随时都可以运营的。那么就需要刷新一下层面了。

接着，让我们把慢慢地放入文中的 5.2.8 重复：由必需点随之而来间歇停顿。

之中面有这样一段话：

我把标记述的均单独拿出来，你妥当读一遍：

是HotSpotCOM为了也许会必需点极少带来致使的负担，对尿素还有一项提高效率措施，认为尿素次数较少的话，分派小时应该也不想太长，所以常用int一般来说道或适用范围来得小的数据一般来说道作为录入叹对值的尿素默认是不想被摆放必需点的。这种尿素被称为有界尿素（Counted Loop），一般来说应地，常用long或者适用范围相当大的数据一般来说道作为录入叹对值的尿素就被称为不有界尿素（Uncounted Loop），将会被摆放必需点。

意思就是在有界尿素（Counted Loop）的前纳，HotSpot COM没用了一个提高效率，就是等尿素完结以后，线许才会离开必需点。

反悄悄说道就是：尿素如果从未完结，线许不想离开必需点，GC 线许就得等着现阶段的线许尿素完结，离开必需点，才能开始工作。

什么是有界尿素（Counted Loop）？

文中之中面的这个与此相关来自于这个链接：

HBase实弹射击：记述一次Safepoint随之而来间歇STW的踏坑之旅

如果你有小时，我建言你把这个与此相关明晰的看一下，我只省去疑不知化解的均：

截图之前的 while(i < end) 就是一个有界尿素，由于分派这个尿素的线许需要在尿素完结后才离开 Safepoint，所以先离开 Safepoint 的线许需要等候它。从而影响到 GC 线许的运营。

所以，修订拟议就是把 int 修订为 long。

基本原理就是让其去掉不有界尿素（Uncounted Loop），从而不须等尿素完结，在尿素期间就能离开 Safepoint。

接着我们再把慢慢地努回到这之中：

这个尿素也是一个有界尿素。

Thread.sleep(0) 这个编码样子发疯，但是我不对可以敢于的传闻一下：不对写出这个编码的人，不对为了在这之中摆放一个 Safepoint 呢，以达到也许会 GC 线许间歇等候，从而加长 stop the world 的小时的用以？

所以，我接都已只需要找寻 sleep 会离开 Safepoint 的证据，就能证明了我的猜想。

你猜怎么着？

只不过是想去看一下CVS，结果啪的一下，在CVS的编者之中面，如此一来找寻了：

编者之中面说道，在许序离开 Safepoint 的时候， Java 线许也许正处于框大大的的五种各不相同的静止状态，针对各不相同的静止状态有各不相同的处理事件拟议。

只不过我想一个个的中文翻译的，但是反馈量太大，我消化大大的有点费劲儿，所以就不乱说道了。

主要聚焦于和本文相关的第二点：Running in native code。

When returning from the native code, a Java thread must check the safepoint _state to see if we must block.

第一句话，就是解答，意思就是一个线许在运营 native 方式后，送回到 Java 线许后，必须顺利顺利进行一次 safepoint 的侦测。

同时我在知乎碰到了 R 大的这个讲出，之中面有这样一句，也印证了这个点：

那么接都已，就是见证似地的时刻了：

根据 R 大的说道法：正在分派 native 函数的线许毫无疑不知“之前离开了safepoint”，或者把这种情形又叫“在safe-region之中”。

sleep 方式就是一个 native 方式，你说道有心不有心？

所以，到这之中我们可以确定的是：codice_ sleep 方式的线许会离开 Safepoint。

另外，我还找寻了一个 2013 年的 R 大关于类似疑不知提不知的帖子：

这之中就如此一来所指出批评道复姓的认为了：Thread.sleep(0).

这让我想起直到现在有个面试题不知：Thread.sleep(0) 有什么用。

之前我就想：这题真难（S）啊（B）。今日发现原来是我道行不够，小丑竟是我自己。

还真的是精确。

有系统

后面似乎说道的都是理论。

这一均我们来拿编码有系统赛跑上一把，就拿我之前分享过的《真是叹了！这段被JVM一动了手臂的编码！》篇名之中面的与此相关。

public class MainTest { public static AtomicInteger num = new AtomicInteger(0); public static void main(String[] args) throws InterruptedException { Runnable runnable=()->{ for (int i = 0; i < 1000000000; i++) { num.getAndAdd(1); } System.out.println(Thread.currentThread().getName()+"分派完结!"); }; Thread t1 = new Thread(runnable); Thread t2 = new Thread(runnable); t1.start(); t2.start(); Thread.sleep(1000); System.out.println("num = " + num); }}

这个编码，你如此一来粘到你的 idea 之中面去就能赛跑。

按照编码来看，副线许休眠 1000ms 后就会控制器结果，但是实际情形却是副线许长期在等候 t1,t2 分派完结才继续分派。

这个尿素就归属于后面说道的有界尿素（Counted Loop）。

这个许序遭遇了什么什么事呢？

1.启一动了两个长的、长达的尿素（内部从未必需点核对）。2.副线许离开排便静止状态 1 秒钟。3.在1000 ms以后，JVM试着在Safepoint中止，以便Java线许顺利顺利进行均会修整，但是直到有界尿素顺利进行后才能分派此操作者。4.副线许的 Thread.sleep 方式从 native 送回，发现必需点操作者正在顺利顺利进行之前，于是把自己挂起，直到操作者完结。

所以，当我们把 int 修订为 long 后，许序就展现出正常了：

受到 RocketMQ CVS的启示，我们还可以如此一来把它的编码拿悄悄：

这样，即使 for 尿素的实例是 int 一般来说道，也可以按照预期分派。因为我们相等于在尿素体之前插入了 Safepoint。

另外，我通过不注重的方式试验了一下两个拟议的费时：

在我的电脑许式上运营了几次，小时上都差距不大。

但是要论不得已格的话，还得是右面的 prevent gc 的写出法。从未二十年本领，写出不出这一行“看似无用”的编码！

额外纳一句

再说道一个也是由后面的 RocketMQ 的CVS引致的一个思考：

这个方式是在温啥？

吸热文件，按照 4K 的较小往 byteBuffer 放 0，对文件顺利顺利进行吸热。

byteBuffer.put(i, (byte) 0);

为什么我会对这个 4k 的吸热比较敏感呢？