龙空技术网

C和Java效率对比试验和编译器优化影响

博客园 3306

前言:

现在小伙伴们对“java运行效率比c低多少”大概比较关心,同学们都需要学习一些“java运行效率比c低多少”的相关内容。那么小编也在网摘上网罗了一些有关“java运行效率比c低多少””的相关知识,希望看官们能喜欢,兄弟们一起来了解一下吧!

首先得承认这不是一个好例子,逻辑过于简单,受环境的干扰也特别大。不能作为评价一门语言综合效率的用例,仅仅是基于个人兴趣的小实验的记录。

C语言版本1

#include<stdio.h>int main{    long a = 0;    for(long i=0; i<100000000; i++){        a += i;    }    printf("%ld\n", a);    return0;}

Java版本1

public class T{    publicstaticvoid main(String args[]){        long a =0;        for(long i=0; i<100000000;++i){ a += i;        }        System.out.println(a);    }}

如以上代码所示,计算0到100000000的累加值,测试过程及结果如下

gcc t.ctime ./a.out4999999950000000real    0m0.237suser    0m0.234ssys 0m0.002sjavac T.javatime java T4999999950000000real    0m0.123suser    0m0.108ssys 0m0.020s

神奇的结果,以效率著称的C输给了Java,Java版本的用时大概是C版本的1/2; 不过以上的结果是在gcc未开启编译优化的情况下得出的,让我们看看开启优化后的情况;开启O2优化后的测试结果

gcc -O2 t.ctime ./a.out4999999950000000real    0m0.003suser    0m0.001ssys 0m0.002s

效果不可思议的好,都不能用提速多少倍来评价了,像作弊了一样;我们有必要看一看优化都做了什么,首先查看一下不开启优化时的汇编代码;

LBB0_1: ## =>This Inner Loop Header: Depth=1cmpq    $100000000, -24(%rbp)   ## imm = 0x5F5E100jge LBB0_4## BB#2: ##   in Loop: Header=BB0_1 Depth=1movq    -24(%rbp), %raxmovq    -16(%rbp), %rcxaddq    %rax, %rcxmovq    %rcx, -16(%rbp)## BB#3: ##   in Loop: Header=BB0_1 Depth=1movq    -24(%rbp), %raxaddq    $1, %raxmovq    %rax, -24(%rbp)jmp LBB0_1

代码很简单,循环的汇编版本,栈变量 -24(%rbp)与常量$100000000进行比较,大于等于时则跳出循环,否则进入循环进行累加,累加值放在-16(%rbp)另一个栈变量里;

然后是开启优化之后的汇编代码,只看关键部分

movabsq $4999999950000000, %rsi ## imm = 0x11C37934E58F80

编译器直接把循环优化掉,算出了最终结果;这实在是很神奇,编译器优化是我的知识盲区;不过我怀疑,我们平时的业务代码中,可能能进行这么彻底的优化的用例不是那么多;常量循环累加可能太简单了,我们稍微把逻辑增加一些,让循环次数作为一个变量从外部获得;

C语言版本2

#include<stdio.h>int main(int args,char* argv[]){    long a =0;    long x =0;    sscanf(argv[1],"%ld",&x);    for(long i=0; i<x; i++){        a += i;    }    printf("%ld\n", a);    return0;}

查看不优化时的汇编代码如下,

LBB0_1: ## =>This Inner Loop Header: Depth=1movq    -40(%rbp), %raxcmpq    -32(%rbp), %raxjge LBB0_4## BB#2: ##   in Loop: Header=BB0_1 Depth=1movq    -40(%rbp), %raxmovq    -24(%rbp), %rcxaddq    %rax, %rcxmovq    %rcx, -24(%rbp)## BB#3: ##   in Loop: Header=BB0_1 Depth=1movq    -40(%rbp), %raxaddq    $1, %raxmovq    %rax, -40(%rbp)jmp LBB0_1

和常量循环的代码差不多,比较变量,进入循环累加或者跳出,设定同样的循环次数,和常量循环版本运行结果几乎一样;然后查看优化之后的汇编代码如下;

## BB#1: ## %.lr.phmovl    $1, %ecxcmovgq  %rax, %rcxleaq    -1(%rcx), %raxleaq    -2(%rcx), %rdxmulq    %rdxshldq   $63, %rax, %rdxleaq    -1(%rcx,%rdx), %rbx

这段代码以我微薄的汇编水平理解起来非常的吃力,cmov代表“如果src大于dst则进行移动”,lea是使用内存寻址计算指令进行计算,shld是逻辑左移;用高级语言来表示上面这段代码的意义为 (x-1)(x-2)/2 + x - 1,简化一下的话是x(x-1)/2,计算之后的结果确实是从0累加到x-1的值;也是算法级别的优化,直接把循环变为同等意义的多项式;

不过我还是觉得,一般的业务逻辑代码可能得不到这种级别的优化,有机会要在复杂度上做更多的实验,来验证这个问题;

需要提出的问题1,是Java有没有类似的优化参数和过程?2,假设Java没有优化,为什么会比同样没有优化的C代码快?

问题1需要等Java高手来解答,对于问题2,我听说过一个听起来很有道理的解释是这样的,C的编译器要保证编译出的指令在大部分CPU上正常运行,所以只能使用老的通用指令,而CPU不断发展,产生了很多新的速度更快的指令,jvm是有能力根据不同的平台选择最优指令的,所以同样的指令逻辑,Java非常有可能会更快一些;

标签: #java运行效率比c低多少