循环优化 Oracle Java 7-8 Hotspot VM

Question

我想知道 Oracle Java 7（或 8）Hotspot VM 执行的循环优化是什么？

Answer 1

• Range Check Elimination - 消除了对循环不变数组的范围检查。有关详细信息，请参阅PhaseIdealLoop::do_range_check。优化由标志-XX:+RangeCheckElimination 控制
• Loop Peeling - 从循环中拆分第一次迭代并在循环体之外执行它。在这里查看惊人的描述PhaseIdealLoop::do_peeling。此优化由标志 -XX:PartialPeelLoop=true 控制
• Loop Predication - 消除循环体内的条件检查。目前，已应用循环预测优化来删除数组范围检查和循环不变检查（例如空检查和数组检查）。循环预测由-XX:+UseLoopPredicate 控制。见代码PhaseIdealLoop::loop_predication_impl
• Loop Unrolling - 用作Superword Level Parallelism 的第一步。见PhaseIdealLoop::do_unroll。循环展开由以下属性控制：-XX:LoopMaxUnroll=16 和 -XX:LoopUnrollMin=4
• 阵列填充 - 用 intrisc 替换任何填充图案。见PhaseIdealLoop::do_intrinsify_fill。 JVM 选项-XX:+OptimizeFill
• 向量化 - 用展开循环中的向量运算替换数组初始化、复制和算术运算。 Hotspot 编译器在superword.cpp 中实现了Superword Level Parallelism 的概念。另请参阅 JVM 选项 -XX:+UseSuperWord