作为软件开发人员,我们通常会写一些测试程序用来对比不同算法、不同工具的性能问题。而最常见的做法是写一个 main 方法,构造模拟场景进行并发测试。

如果细心的朋友可能已经发现,每次测试结果误差很大,有时候测试出的结果甚至与事实相反。当然,这不排除是因为软硬件环境因素导致,但更多的可能是因为所使用测试方法自身有问题。

比如,不同需要性能比较方法放到一个虚拟机里调用,有可能会互相影响,缺少预热的过程等。

本文给大家推荐一款 JDK9 及以后自带的一款可用于软件基准测试的工具 JMH(Java Microbenchmark Harness)。

JMH 简介

JMH 是用于代码微基准测试的工具套件,主要是基于方法层面的基准测试,精度可以达到纳秒级。

何谓 Micro Benchmark 呢?简单的来说就是基于方法层面的基准测试,精度可以达到微秒级。当你定位到热点方法,希望进一步优化方法性能的时候,就可以使用 JMH 对优化的结果进行量化的分析。

这款工具是由 Oracle 内部实现 JIT 的作者所写。我们知道 JIT(Java 即时编译器)是将 JVM 优化的所有高效手段和技术都使用上的地方。可想而知,开发者比任何人都更加了解 JVM 和 JIT 对基准测试的影响。

因此,这款工具是值得我们信赖和在实践中进行使用的。而且使用起来也非常方便。

使用场景

JMH 不仅能帮我们测试一些常见类的性能,比如对比 StringBuffer 和 StringBuilder 的性能、对比不同算法的在不同数据量的性能等,还能够帮助我们对系统中发现的热点代码进行量化分析。

JMH 通常用于以下应用场景:

  • 测试某个方法在稳定执行的情况下所需时间,以及执行时间和问题规模的相关性;
  • 对比接口不同实现在给定条件下的吞吐量
  • 查看多少百分比的请求在多长时间内完成

使用实例

依赖引入

如果你使用的是 JDK9 或以上版本,则 JDK 中已经自带了该工具,直接使用即可。如果你使用的是其他版本则可以通过 maven 直接引入以下依赖:

<dependency>
    <groupId>org.openjdk.jmh</groupId>
    <artifactId>jmh-core</artifactId>
    <version>1.27</version>
</dependency>
<dependency>
    <groupId>org.openjdk.jmh</groupId>
    <artifactId>jmh-generator-annprocess</artifactId>
    <version>1.27</version>
</dependency>
复制代码

其中 1.27 是当前的最新版本,可根据实际需要更新或降低版本。

测试案例

下面以 StringBuffer 和 StringBuilder 的性能测试对比为例来进行基准测试。

//使用模式 默认是Mode.Throughput
@BenchmarkMode(Mode.AverageTime)
// 配置预热次数,默认是每次运行1秒,运行10次,这里设置为3次
@Warmup(iterations = 3, time = 1)
// 本例是一次运行4秒,总共运行3次,在性能对比时候,采用默认1秒即可
@Measurement(iterations = 3, time = 4)
// 配置同时起多少个线程执行
@Threads(1)
//代表启动多个单独的进程分别测试每个方法,这里指定为每个方法启动一个进程
@Fork(1)
// 定义类实例的生命周期,Scope.Benchmark:所有测试线程共享一个实例,用于测试有状态实例在多线程共享下的性能
@State(value = Scope.Benchmark)
// 统计结果的时间单元
@OutputTimeUnit(TimeUnit.NANOSECONDS)
public class JmhTest {

    @Param(value = {"10", "50", "100"})
    private int length;

    public static void main(String[] args) throws RunnerException {
        Options opt = new OptionsBuilder()
                .include(JmhTest.class.getSimpleName())
                .result("result.json")
                .resultFormat(ResultFormatType.JSON).build();
        new Runner(opt).run();
    }

    @Benchmark
    public void testStringBufferAdd(Blackhole blackhole) {
        StringBuffer sb = new StringBuffer();
        for (int i = 0; i < length; i++) {
            sb.append(i);
        }
        blackhole.consume(sb.toString());
    }

    @Benchmark
    public void testStringBuilderAdd(Blackhole blackhole) {
        StringBuilder sb = new StringBuilder();
        for (int i = 0; i < length; i++) {
            sb.append(i);
        }
        blackhole.consume(sb.toString());
    }
}
复制代码

上面介绍概念时已经提到 Benchmark 为基准测试,在使用中只需对要测试的方法添加 @Benchmark 注解即可。而在测试类 JmhTest 指定测试的预热、线程、测试维度等信息。

main 方法中通过 OptionsBuilder 构造测试配置对象 Options,并传入 Runner,启动测试。这里指定测试结果为 json 格式,同时会将结果存储在 result.json 文件当中。

执行测试

执行 main 方法,控制台首先会打印出如下信息:

# JMH version: 1.27
# VM version: JDK 1.8.0_271, Java HotSpot(TM) 64-Bit Server VM, 25.271-b09
# VM invoker: /Library/Java/JavaVirtualMachines/jdk1.8.0_271.jdk/Contents/Home/jre/bin/java
# VM options: -javaagent:/Applications/IntelliJ IDEA.app/Contents/lib/idea_rt.jar=56800:/Applications/IntelliJ IDEA.app/Contents/bin -Dfile.encoding=UTF-8
# JMH blackhole mode: full blackhole + dont-inline hint
# Warmup: 3 iterations, 1 s each
# Measurement: 3 iterations, 4 s each
# Timeout: 10 min per iteration
# Threads: 1 thread, will synchronize iterations
# Benchmark mode: Average time, time/op
# Benchmark: com.choupangxia.strings.JmhTest.testStringBufferAdd
# Parameters: (length = 10)
复制代码

这些信息主要用来展示测试的基本信息,包括 jdk、JVM、预热配置、执行轮次、执行时间、执行线程、测试的统计单位等。

# Warmup Iteration   1: 76.124 ns/op
# Warmup Iteration   2: 77.703 ns/op
# Warmup Iteration   3: 249.515 ns/op
复制代码

这是对待测试方法的预热处理,这部分不会记入测试结果。预热主要让 JVM 对被测代码进行足够多的优化,比如 JIT 编译器的优化。

Iteration   1: 921.191 ns/op
Iteration   2: 897.729 ns/op
Iteration   3: 890.245 ns/op


Result "com.choupangxia.strings.JmhTest.testStringBuilderAdd":
  903.055 ±(99.9%) 294.557 ns/op [Average]
  (min, avg, max) = (890.245, 903.055, 921.191), stdev = 16.146
  CI (99.9%): [608.498, 1197.612] (assumes normal distribution)
复制代码

显示每次(共 3 次)迭代执行速率,最后进行统计。这里是对 testStringBuilderAdd 方法执行 length 为 100 的测试,通过 (min, avg, max) 三项可以看出最小时间、平均时间、最大时间的值,单位为 ns。stdev 显示的是误差时间。

通常情况下,我们只用看最后的结果即可:

Benchmark                     (length)  Mode  Cnt     Score      Error  Units
JmhTest.testStringBufferAdd               10  avgt    3    92.599 ±  105.019  ns/op
JmhTest.testStringBufferAdd               50  avgt    3   582.974 ±  580.536  ns/op
JmhTest.testStringBufferAdd              100  avgt    3  1131.460 ± 1109.380  ns/op
JmhTest.testStringBuilderAdd        10  avgt    3    76.072 ±    2.824  ns/op
JmhTest.testStringBuilderAdd        50  avgt    3   450.325 ±   14.271  ns/op
JmhTest.testStringBuilderAdd       100  avgt    3   903.055 ±  294.557  ns/op
复制代码

看到上述结果我们可能会很吃惊,我们知道 StringBuffer 要比 StringBuilder 的性能低一些,但结果发现它们的之间的差别并不是很大。这是因为 JIT 编译器进行了优化,比如当 JVM 发现在测试当中 StringBuffer 并没有发生逃逸,于是就进行了锁消除操作。

常用注解

下面对 JHM 当中常用的注解进行说明,以便大家可以更精确的使用。

@BenchmarkMode

配置 Mode 选项,作用于类或者方法上,其 value 属性为 Mode 数组,可同时支持多种 Mode,如:@BenchmarkMode({Mode.SampleTime, Mode.AverageTime}),也可设为 Mode.All,即全部执行一遍。

org.openjdk.jmh.annotations.Mode 为枚举类,对应的源代码如下:

public enum Mode {
    Throughput("thrpt", "Throughput, ops/time"),
    AverageTime("avgt", "Average time, time/op"),
    SampleTime("sample", "Sampling time"),
    SingleShotTime("ss", "Single shot invocation time"),
    All("all", "All benchmark modes");
    // 省略其他内容
}
复制代码

不同模式之间,测量的维度或测量的方式不同。目前 JMH 共有四种模式:

  • Throughput:整体吞吐量,例如 “1 秒内可以执行多少次调用”,单位为 ops/time;
  • AverageTime:调用的平均时间,例如 “每次调用平均耗时 xxx 毫秒”,单位为 time/op;
  • SampleTime:随机取样,最后输出取样结果的分布,,例如 “99% 的调用在 xxx 毫秒以内,99.99% 的调用在 xxx 毫秒以内”;
  • SingleShotTime:以上模式都是默认一次 iteration 是 1s,只有 SingleShotTime 是只运行一次。往往同时把 warmup 次数设为 0,用于测试冷启动时的性能;
  • All:上面的所有模式都执行一次;

@Warmup

在执行 @Benchmark 之前进行预热操作,确保测试的准确性,可用于类或者方法上。默认是每次运行 1 秒,运行 10 次。

其中 @Warmup 有以下属性:

  • iterations:预热的次数;Iteration 是 JMH 进行测试的最小单位,在大部分模式下,一次 iteration 代表的是一秒,JMH 会在这一秒内不断调用需要 benchmark 的方法,然后根据模式对其采样,计算吞吐量,计算平均执行时间等。
  • time:每次预热的时间;
  • timeUnit:时间的单位,默认秒;
  • batchSize:批处理大小,每次操作调用几次方法;

JIT 在执行的过程中会将热点代码编译为机器码,并进行各种优化,从而提高执行效率。预热的主要目的是让 JVM 的 JIT 机制生效,让结果更接近真实效果。

@State

类注解,JMH 测试类必须使用 @State 注解,不然会提示无法运行。

State 定义了一个类实例的生命周期(作用范围),可以类比 Spring Bean 的 Scope。因为很多 benchmark 会需要一些表示状态的类,JMH 会根据 scope 来进行实例化和共享操作。

@State 可以被继承使用,如果父类定义了该注解,子类则无需定义。

由于 JMH 允许多线程同时执行测试,不同的选项含义如下:

  • Scope.Thread:默认的 State,该状态为每个线程独享,每个测试线程分配一个实例;
  • Scope.Benchmark:该状态在所有线程间共享,所有测试线程共享一个实例,用于测试有状态实例在多线程共享下的性能;
  • Scope.Group:该状态为同一个组里面所有线程共享。

@OutputTimeUnit

benchmark 统计结果所使用的时间单位,可用于类或者方法注解,使用 java.util.concurrent.TimeUnit 中的标准时间单位。

@Measurement

度量,其实就是实际调用方法所需要配置的一些基本测试参数,可用于类或者方法上。配置属性项目和作用与 @Warmup 相同。

一般比较重的程序可以进行大量的测试,放到服务器上运行。在性能对比时,采用默认 1 秒即可,如果用 jvisualvm 做性能监控,可以指定一个较长时间运行。

@Threads

每个进程中同时起多少个线程执行,可用于类或者方法上。默认值是 Runtime.getRuntime().availableProcessors(),根据具体情况选择,一般为 cpu 乘以 2。

@Fork

代表启动多个单独的进程分别测试每个方法,可用于类或者方法上。如果 fork 数是 2 的话,则 JMH 会 fork 出两个进程来进行测试。

JVM 因为使用了 profile-guided optimization 而 “臭名昭著”,这对于微基准测试来说十分不友好,因为不同测试方法的 profile 混杂在一起,“互相伤害” 彼此的测试结果。对于每个 @Benchmark 方法使用一个独立的进程可以解决这个问题,这也是 JMH 的默认选项。注意不要设置为 0,设置为 n 则会启动 n 个进程执行测试(似乎也没有太大意义)。fork 选项也可以通过方法注解以及启动参数来设置。

@Param

属性级注解,指定某项参数的多种情况,特别适合用来测试一个函数在不同的参数输入的情况下的性能,只能作用在字段上,使用该注解必须定义 @State 注解。

@Param 注解接收一个 String 数组,在 @Setup 方法执行前转化为对应的数据类型。多个 @Param 注解的成员之间是乘积关系,譬如有两个用 @Param 注解的字段,第一个有 5 个值,第二个字段有 2 个值,那么每个测试方法会跑 5*2=10 次。

@Benchmark

方法注解,表示该方法是需要进行 benchmark 的对象,用法和 JUnit 的 @Test 类似。

@Setup

方法注解,这个注解的作用就是我们需要在测试之前进行一些准备工作,比如对一些数据的初始化之类的。

@TearDown

方法注解,与 @Setup 相对的,会在所有 benchmark 执行结束以后执行,比如关闭线程池,数据库连接等的,主要用于资源的回收等。

Threads

每个 fork 进程使用多少个线程去执行测试方法,默认值是 Runtime.getRuntime().availableProcessors()。

@Group

方法注解,可以把多个 benchmark 定义为同一个 group,则它们会被同时执行,譬如用来模拟生产者-消费者读写速度不一致情况下的表现。

@Level

用于控制 @Setup,@TearDown 的调用时机,默认是 Level.Trial。

  • Trial:每个 benchmark 方法前后;
  • Iteration:每个 benchmark 方法每次迭代前后;
  • Invocation:每个 benchmark 方法每次调用前后,谨慎使用,需留意 javadoc 注释;

JMH 注意事项

无用代码消除(Dead Code Elimination)

现代编译器是十分聪明的,它们会对代码进行推导分析,判定哪些代码是无用的然后进行去除,这种行为对微基准测试是致命的,它会使你无法准确测试出你的方法性能。

JMH 本身已经对这种情况做了处理,要记住:1. 永远不要写 void 方法;2. 在方法结束返回计算结果。有时候如果需要返回多于一个结果,可以考虑自行合并计算结果,或者使用 JMH 提供的 BlackHole 对象:

/*
 * This demonstrates Option A:
 *
 * Merge multiple results into one and return it.
 * This is OK when is computation is relatively heavyweight, and merging
 * the results does not offset the results much.
 */
@Benchmark
public double measureRight_1() {
    return Math.log(x1) + Math.log(x2);
}
/*
 * This demonstrates Option B:
 *
 * Use explicit Blackhole objects, and sink the values there.
 * (Background: Blackhole is just another @State object, bundled with JMH).
 */
@Benchmark
public void measureRight_2(Blackhole bh) {
    bh.consume(Math.log(x1));
    bh.consume(Math.log(x2));
}
复制代码

再比如下面代码:

@Benchmark
public void testStringAdd(Blackhole blackhole) {
    String a = "";
    for (int i = 0; i < length; i++) {
        a += i;
    }
}
复制代码

JVM 可能会认为变量 a 从来没有使用过,从而进行优化把整个方法内部代码移除掉,这就会影响测试结果。

JMH 提供了两种方式避免这种问题,一种是将这个变量作为方法返回值 return a,一种是通过 Blackhole 的 consume 来避免 JIT 的优化消除。

常量折叠(Constant Folding)

常量折叠是一种现代编译器优化策略,例如,i = 320 200 32,多数的现代编译器不会真的产生两个乘法的指令再将结果储存下来,取而代之的,它们会辨识出语句的结构,并在编译时期将数值计算出来(i = 2,048,000)。

在微基准测试中,如果你的计算输入是可预测的,也不是一个 @State 实例变量,那么很可能会被 JIT 给优化掉。对此,JMH 的建议是:1. 永远从 @State 实例中读取你的方法输入;2. 返回你的计算结果;3. 或者考虑使用 BlackHole 对象;

见如下官方例子:

@State(Scope.Thread)
@BenchmarkMode(Mode.AverageTime)
@OutputTimeUnit(TimeUnit.NANOSECONDS)
public class JMHSample_10_ConstantFold {
    private double x = Math.PI;
    private final double wrongX = Math.PI;
    @Benchmark
    public double baseline() {
        // simply return the value, this is a baseline
        return Math.PI;
    }
    @Benchmark
    public double measureWrong_1() {
        // This is wrong: the source is predictable, and computation is foldable.
        return Math.log(Math.PI);
    }
    @Benchmark
    public double measureWrong_2() {
        // This is wrong: the source is predictable, and computation is foldable.
        return Math.log(wrongX);
    }
    @Benchmark
    public double measureRight() {
        // This is correct: the source is not predictable.
        return Math.log(x);
    }
    public static void main(String[] args) throws RunnerException {
        Options opt = new OptionsBuilder()
                .include(JMHSample_10_ConstantFold.class.getSimpleName())
                .warmupIterations(5)
                .measurementIterations(5)
                .forks(1)
                .build();
        new Runner(opt).run();
    }
}
复制代码

循环展开(Loop Unwinding)

循环展开最常用来降低循环开销,为具有多个功能单元的处理器提供指令级并行。也有利于指令流水线的调度。例如:

for (i = 1; i <= 60; i++) 
   a[i] = a[i] * b + c;
复制代码

可以展开成:

for (i = 1; i <= 60; i+=3){
  a[i] = a[i] * b + c;
  a[i+1] = a[i+1] * b + c;
  a[i+2] = a[i+2] * b + c;
}
复制代码

由于编译器可能会对你的代码进行循环展开,因此 JMH 建议不要在你的测试方法中写任何循环。如果确实需要执行循环计算,可以结合 @BenchmarkMode(Mode.SingleShotTime) 和 @Measurement(batchSize = N) 来达到同样的效果。参考如下例子:

/*
 * Suppose we want to measure how much it takes to sum two integers:
 */
int x = 1;
int y = 2;
/*
 * This is what you do with JMH.
 */
@Benchmark
@OperationsPerInvocation(100)
public int measureRight() {
    return (x + y);
}
复制代码

JMH 可视化

在示例的 main 方法中指定了生成测试结果的输出文件 result.json,其中的内容就是控制台输出的相关内容以 json 格式存储。

针对 json 格式的内容,可以在其他网站上以图表的形式可视化展示。

对应网站,JMH Visual Chart(http://deepoove.com/jmh-visua...)、JMH Visualizer(https://jmh.morethan.io/)。

展示效果如下图:

生成 jar 包执行

对于大型的测试,一般会放在 Linux 服务器里去执行。JMH 官方提供了生成 jar 包的方式来执行,在 maven 里增加如下插件:

<plugins>
    <plugin>
        <groupId>org.apache.maven.plugins</groupId>
        <artifactId>maven-shade-plugin</artifactId>
        <version>2.4.1</version>
        <executions>
            <execution>
                <phase>package</phase>
                <goals>
                    <goal>shade</goal>
                </goals>
                <configuration>
                    <finalName>jmh-demo</finalName>
                    <transformers>
                        <transformer
                                implementation="org.apache.maven.plugins.shade.resource.ManifestResourceTransformer">
                            <mainClass>org.openjdk.jmh.Main</mainClass>
                        </transformer>
                    </transformers>
                </configuration>
            </execution>
        </executions>
    </plugin>
</plugins>
复制代码

执行 maven 的命令生成可执行 jar 包,并执行:

mvn clean package
java -jar target/jmh-demo.jar JmhTest
复制代码

总结

一篇文章几乎涵盖了 JMH 各方面的知识点,如果实践中还没运用,赶紧用起来吧,你的专业水平将又提升那么一点。当然,也可以收藏起来,以备不时不需。

参考: 《2020最新Java基础精讲视频教程和学习路线!》

链接:https://juejin.cn/post/691496...


Java攻城师
451 声望390 粉丝

本人太过于丰富,无法简介