技术传播的价值,不仅仅体现在通过商业化产品和开源项目来缩短我们构建应用的路径,加速业务的上线速率,体现也会在优秀程序员在工作效率提升,产品性能优化和用户体验改善等小技巧方面的分享,以提高我们的工作能力。
\n本文来自阿里巴巴中间件技术团队的程序员断岭,他是阿里微服务开源项目Dubbo的项目组成员,也是Java线上诊断开源项目Arthas的负责人。
\n一 、基础概念
\na. Dubbo: 是一款高性能、轻量级的开源Java RPC框架,提供了三大核心能力:面向接口的远程方法调用,智能容错和负载均衡,以及服务自动注册和发现;
\nb. ChannelEventRunnable: Dubbo 里所有网络事件的回调接口;
\nc. JMH:即Java Microbenchmark Harness,是专门用于代码微基准测试的工具套件。在性能优化的过程中,可以使用JMH对优化的结果进行量化的分析。
\n二、需求缘起:
\n在Stack Overflow上有一个非常著名的问题:为什么处理有序数组要比非有序数组快?从问题的结论来看,是分支预测对代码运行效率的提升起到了非常重要的作用。
\n现今的CPU是都支持分支预测(branch prediction)和指令流水线(instruction pipeline),这俩的结合可以极大的提高CPU的工作效率,从而提高代码执行效率。但这仅适用于简单的if跳转,但对于Switch跳转,CPU则没有太好的解决办法,因为Switch本质上是据索引,是从地址数组里取地址再跳转。
\n三、思考和方案假设
\n要提高代码执行效率,一个重要的实现原则就是尽量避免CPU把流水线清空,从Stack Overflow上的讨论结果来看,通过提高分支预测的成功率,是可以降低CPU对流水线清空的概率。那么,除了在硬件层面,是否可以考虑代码层面帮CPU把判断提前,来提高代码执行效率呢?
\n四、方案验证
\n在Dubbo的ChannelEventRunnable里有一个Switch来判断channel state。当一个channel建立起来之后,超过99.9%的情况,它的state都是ChannelState.RECEIVED,我们可以考虑,把这个判断提前。
\n以下通过JMH来验证,把判断提前后是否就可以提高代码执行效率。
\npublic class TestBenchMarks {\n\tpublic enum ChannelState {\n\t\tCONNECTED, DISCONNECTED, SENT, RECEIVED, CAUGHT\t}\n\n\t@State(Scope.Benchmark)\n\tpublic static class ExecutionPlan {\n\t\t@Param({ \u0026quot;1000000\u0026quot; })\n\t\tpublic int size;\n\t\tpublic ChannelState[] states = null;\n\n\t\t@Setup\n\t\tpublic void setUp() {\n\t\t\tChannelState[] values = ChannelState.values();\n\t\t\tstates = new ChannelState[size];\n\t\t\tRandom random = new Random(new Date().getTime());\n\t\t\tfor (int i = 0; i \u0026lt; size; i++) {\n\t\t\t\tint nextInt = random.nextInt(1000000);\n\t\t\t\tif (nextInt \u0026gt; 100) {\n\t\t\t\t\tstates[i] = ChannelState.RECEIVED;\n\t\t\t\t} else {\n\t\t\t\t\tstates[i] = values[nextInt % values.length];\n\t\t\t\t}\n\t\t\t}\n\t\t}\n\t}\n\n\t@Fork(value = 5)\n\t@Benchmark\n\t@BenchmarkMode(Mode.Throughput)\n\tpublic void benchSiwtch(ExecutionPlan plan, Blackhole bh) {\n\t\tint result = 0;\n\t\tfor (int i = 0; i \u0026lt; plan.size; ++i) {\n\t\t\tswitch (plan.states[i]) {\n\t\t\tcase CONNECTED:\n\t\t\t\tresult += ChannelState.CONNECTED.ordinal();\n\t\t\t\tbreak;\n\t\t\tcase DISCONNECTED:\n\t\t\t\tresult += ChannelState.DISCONNECTED.ordinal();\n\t\t\t\tbreak;\n\t\t\tcase SENT:\n\t\t\t\tresult += ChannelState.SENT.ordinal();\n\t\t\t\tbreak;\n\t\t\tcase RECEIVED:\n\t\t\t\tresult += ChannelState.RECEIVED.ordinal();\n\t\t\t\tbreak;\n\t\t\tcase CAUGHT:\n\t\t\t\tresult += ChannelState.CAUGHT.ordinal();\n\t\t\t\tbreak;\n\t\t\t}\n\t\t}\n\t\tbh.consume(result);\n\t}\n\n\t@Fork(value = 5)\n\t@Benchmark\n\t@BenchmarkMode(Mode.Throughput)\n\tpublic void benchIfAndSwitch(ExecutionPlan plan, Blackhole bh) {\n\t\tint result = 0;\n\t\tfor (int i = 0; i \u0026lt; plan.size; ++i) {\n\t\t\tChannelState state = plan.states[i];\n\t\t\tif (state == ChannelState.RECEIVED) {\n\t\t\t\tresult += ChannelState.RECEIVED.ordinal();\n\t\t\t} else {\n\t\t\t\tswitch (state) {\n\t\t\t\tcase CONNECTED:\n\t\t\t\t\tresult += ChannelState.CONNECTED.ordinal();\n\t\t\t\t\tbreak;\n\t\t\t\tcase SENT:\n\t\t\t\t\tresult += ChannelState.SENT.ordinal();\n\t\t\t\t\tbreak;\n\t\t\t\tcase DISCONNECTED:\n\t\t\t\t\tresult += ChannelState.DISCONNECTED.ordinal();\n\t\t\t\t\tbreak;\n\t\t\t\tcase CAUGHT:\n\t\t\t\t\tresult += ChannelState.CAUGHT.ordinal();\n\t\t\t\t\tbreak;\n\t\t\t\t}\n\t\t\t}\n\t\t}\n\t\tbh.consume(result);\n\t}}\n
\n
验证说明:
\n- \n
- benchSiwtch里是纯Switch判断;\n
- benchIfAndSwitch里用一个如果提前判断状态是否
ChannelState.RECEIVED
。\n
基准测试结果是:
\nResult \u0026quot;io.github.hengyunabc.jmh.TestBenchMarks.benchSiwtch\u0026quot;:\n 576.745 ±(99.9%) 6.806 ops/s [Average]\n (min, avg, max) = (490.348, 576.745, 618.360), stdev = 20.066\n CI (99.9%): [569.939, 583.550] (assumes normal distribution)\n\n\n# Run complete. Total time: 00:06:48\n\nBenchmark (size) Mode Cnt Score Error Units\nTestBenchMarks.benchIfAndSwitch 1000000 thrpt 100 1535.867 ± 61.212 ops/s\nTestBenchMarks.benchSiwtch 1000000 thrpt 100 576.745 ± 6.806 ops/s\n
\n
可以看到,提前if判断提高了近3倍的代码效率,这种技巧可以放在性能要求严格的地方。。
\n五、总结
\n- \n
- 开关对于CPU来说难以做分支预测。\n
- 某些Switch条件如果概率比较高,可以在代码层设置提前if判断,充分利用CPU的分支预测机制。\n
查看原文链接:阿里程序员工作小技巧| 理解CPU分支预测,提高代码效率
\n