c 和java效率_C和Java效率对比试验和编译器优化影响

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

C语言版本1

#include

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.c

time ./a.out

4999999950000000

real0m0.237s

user0m0.234s

sys0m0.002s

javac T.java

time java T

4999999950000000

real0m0.123s

user0m0.108s

sys0m0.020s

神奇的结果，以效率著称的C输给了Java，Java版本的用时大概是C版本的1/2；

不过以上的结果是在gcc未开启编译优化的情况下得出的，让我们看看开启优化后的情况；开启O2优化后的测试结果

gcc -O2 t.c

time ./a.out

4999999950000000

real0m0.003s

user0m0.001s

sys0m0.002s

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

LBB0_1:## =>This Inner Loop Header: Depth=1

cmpq$100000000, -24(%rbp) ## imm = 0x5F5E100

jgeLBB0_4

## BB#2: ## in Loop: Header=BB0_1 Depth=1

movq-24(%rbp), %rax

movq-16(%rbp), %rcx

addq%rax, %rcx

movq%rcx, -16(%rbp)

## BB#3:## in Loop: Header=BB0_1 Depth=1

movq-24(%rbp), %rax

addq$1, %rax

movq%rax, -24(%rbp)

jmpLBB0_1

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

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

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

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

C语言版本2

#include

int main(int args,char* argv[]){

long a =0;

long x =0;

sscanf(argv[1],"%ld",&x);

for(long i=0; i

a += i;

}

printf("%ld\n", a);

return0;

}

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

LBB0_1: ## =>This Inner Loop Header: Depth=1

movq-40(%rbp), %rax

cmpq-32(%rbp), %rax

jgeLBB0_4

## BB#2: ## in Loop: Header=BB0_1 Depth=1

movq-40(%rbp), %rax

movq-24(%rbp), %rcx

addq%rax, %rcx

movq%rcx, -24(%rbp)

## BB#3: ## in Loop: Header=BB0_1 Depth=1

movq-40(%rbp), %rax

addq$1, %rax

movq%rax, -40(%rbp)

jmpLBB0_1

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

## BB#1: ## %.lr.ph

movl$1, %ecx

cmovgq%rax, %rcx

leaq-1(%rcx), %rax

leaq-2(%rcx), %rdx

mulq%rdx

shldq$63, %rax, %rdx

leaq-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非常有可能会更快一些；