G1如何精确控制 STW的时间的？¶

典型回答¶

上文中说过，G1的STW时长是可预测的，或者说，G1可以根据用户设定的目标停顿时间来动态调整垃圾回收行为。通过-XX:MaxGCPauseMillis=<N>可以设置我们允许的G1的目标最大停顿时间（毫秒）

那么，G1是如何保证一次垃圾回收能够在这个时间范围内的呢？

主要是因为G1中的一个另外的关键方案，那就是 G1 会把堆（Heap）划分成多个等大小的 Region。每个Region可以是Eden、Survivor、Old或Humongous（大对象区）区域中的任何一个。

有了这些分区之后，G1采用增量式的收集方式。它并不是在每次收集时处理整个堆，而是每次只选择一部分区域进行收集。G1会根据停顿时间目标，预测在给定的时间内可以处理多少区域。它通过记录每个区域的回收时间（包括复制对象的时间）来建立停顿预测模型（回收收益预测模型）：

G1通过维护一个区域回收的代价（时间）和收益（释放空间）的模型，来预测每次收集的停顿时间。它会选择一组区域，使得预计的停顿时间不超过设定的目标。这个模型会随着运行的进行而不断调整，以更准确地预测。

假设你设定 MaxGCPauseMillis=100；G1 会估算每个 Region 回收的“收益/成本比”；然后动态决定：这次 GC 要处理多少个 Region；让整个停顿时间 ≈ 100ms（即接近目标）。

就像大家评估工作量一样，一个大项目你评估下来肯定不准，不知道需要几天才能完成，但是如果你把其中的所有功能点都拆开，那么你就能很好地预估出写个Mapper、写一个方法、写个Dao所需的时间了。这时候如果只给你固定的时间，你就大概知道，可以砍哪些功能点了。。。。