x86的cpu处理int类型并不是处理char高效多少-阿里云开发者社区

开发者社区> 科技小能手> 正文

x86的cpu处理int类型并不是处理char高效多少

简介:
+关注继续查看

很多文章上说int类型是最高效的类型,cpu处理这种类型要比其它类型快,比如要比处理char类型快,原因是什么,原因就是他们学过一本国人的教科书,教科书上就这么写的,所以人们就记住了,然而事实为何如此呢?事实上,所谓int比char高效会涉及到很多硬件知识,比如数据总线或者地址总线,比如内存的对齐访问等等。如果一个有心人(比如我)将下面的代码进行了反汇编,那么一步一步的做,最后就会得到一个不一定的答案,或者说是相反的答案,首先看一对C代码,前者是用int类型和0比较,后者是用char和0比较:

int comparetozero_int(int a)

{

if (a == 0)

{

return 0;

}

return 1;

}

char comparetozero_nonint(char c)

{

if ( c == 0 )

{

return 0;

}

return 1;

}

下面用objdump将其反汇编,在windows下用vc调试的话直接进入调试状态然后转到反汇编就可以了,下面看linux下的objdump的结果:

:

push %ebp

mov %esp,%ebp

sub $0x4,%esp

cmpl $0x0,0x8(%ebp)

jne 8048399+0x15>

movl $0x0,0xfffffffc(%ebp)

jmp 80483a0+0x1c>

movl $0x1,0xfffffffc(%ebp)

mov 0xfffffffc(%ebp),%eax

leave

ret

上面的int类型的比较就不多说了,由于是4个字节的,因此很简单,真的很简单,但是comparetozero_nonint呢,看来就不是那么假单了,先看看再说:

:

push %ebp

mov %esp,%ebp

sub $0x8,%esp

mov 0x8(%ebp),%eax

mov %al,0xfffffffc(%ebp)

cmpb $0x0,0xfffffffc(%ebp)

jne 80483c0+0x1b>

movl $0x0,0xfffffff8(%ebp)

jmp 80483c7+0x22>

movl $0x1,0xfffffff8(%ebp)

mov 0xfffffff8(%ebp),%eax

leave

ret

从反汇编中可以看到,并没有像比较int类型时那样在栈中直接比较函数的参数和0,而是先将这个char类型的数据搬运到了局部变量中,然后再比较,可是这是为什么呢?既然有cmpb指令,那么为何不能直接定位到栈中的参数,然后直接比较呢?带着怀疑我写下了下面的汇编函数,这些汇编函数就是直接比较栈中数据的版本:

int comparetozero_nonint(char c)

{

asm volatile("cmpb $0x0,0x8(%%ebp)/n/t"

"jne 1f/n"

"movl $47,%%eax/n"

"jmp 2f/n"

"1:/t"

"movl $32,%%eax/n"

"2:/t"::);

}

经过试验证实这种方式完全可行,那么为何gcc或者vc编译器不将代码直接编译成这样呢?原来这是c语言规范在起着作用,c语言规定了一个类型转换体系,这里就不说了,该体系中有强制转换和自动转换,像char这种类型就是强制转换,就是说两个char参与运算,编译器都要将之转换为int来计算,这主要是在多个处理器中取个交集,就是说该规范照顾了所有的处理器,为何要照顾?很多cpu不能正常处理没有4字节对齐的数据,或者说它们的地址总线的低两位不是总是有效,对于这类处理器,强制转换是为了最少化运行时异常,c语言的规范当然要在标准规范集合中照顾到这种情况,然而这仅仅保证了编译后程序的正确性和稳定性,那么高效性从何而来呢?这就是优化的作用,刚才提到规范是一种共性上的折中,这里的优化当然就是个性的尽情发挥了,比如在x86处理器上没有地址总线的限制,这类处理器上可以说没有什么限制,甚至不要求数据必须对齐,因此在x86机器上编译程序时设置了O1优化,那么代码就会成为下面的样子:

:

push %ebp

mov %esp,%ebp

cmpl $0x0,0x8(%ebp)

setne %al

movzbl %al,%eax

pop %ebp

ret

:

push %ebp

mov %esp,%ebp

cmpb $0x0,0x8(%ebp)

setne %al

movzbl %al,%eax

pop %ebp

ret

由此可见,c语言的规范仅仅是共性的东西,这些规范仅仅是一种设计原则,而不是什么必须的东西,其实本来就没有什么东西是必须的,只有最适合的,而优化后的代码就是最适合的,当然前提是正确性,在x86上,不一定int的效率是最高的,由于x86是cisc的架构,因此可以直接支持很多长度的数据类型的操作,单纯从代码考虑,char不比int差。最后重申一遍,c语言的类型转换仅仅是约定,而优化可以违背这种约定,看看x86机器上的又一个例子,看一个函数:

char abc()

{

char a = 'a',b = 'b';

char c = a+b;

return c;

}

下面两种编译都是正确的:

:

push %ebp

mov %esp,%ebp

sub $0x10,%esp

movb $0x61,0xfffffffd(%ebp)

movb $0x62,0xfffffffe(%ebp)

movzbl 0xfffffffd(%ebp),%edx

movzbl 0xfffffffe(%ebp),%eax

add %edx,%eax

mov %al,0xffffffff(%ebp)

movsbl 0xffffffff(%ebp),%eax

leave

ret

:

push %ebp

mov %esp,%ebp

sub $0x10,%esp

movb $0x61,0xfffffffd(%ebp)

movb $0x62,0xfffffffe(%ebp)

movzbl 0xfffffffd(%ebp),%edx

movzbl 0xfffffffe(%ebp),%eax

lea (%edx,%eax,1),%eax

mov %al,0xffffffff(%ebp)

movsbl 0xffffffff(%ebp),%eax

leave

ret



 本文转自 dog250 51CTO博客,原文链接:http://blog.51cto.com/dog250/1274100

版权声明:本文内容由阿里云实名注册用户自发贡献,版权归原作者所有,阿里云开发者社区不拥有其著作权,亦不承担相应法律责任。具体规则请查看《阿里云开发者社区用户服务协议》和《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容,填写侵权投诉表单进行举报,一经查实,本社区将立刻删除涉嫌侵权内容。

相关文章
如何在函数计算中使用 Node.js 处理 multipart 文件上传请求
web 开发中我们经常会允许用户通过 HTTP POST 请求上传文档到服务器,本文将介绍在函数计算中基于 node.js 使用 multipart form-data 来实现文件上传服务。
2663 0
hive executeTask被interrupt处理
异常信息如下: java.io.IOException: Failed on local exception: java.nio.channels.ClosedByInterruptException; Host Details : local host is: "hadoop008/192.
1104 0
Knative Eventing 中如何排查Event事件处理异常
在 Knative Eventing 如果事件处理过程出现异常,如何进行排查?本文通过一个实际中遇到的事件处理异常 issue 的角度, 介绍了事件排查处理方式。
1263 0
iOS 下APNS推送处理函数详解
相比起Android,iOS在推送方面无疑惯例得更好。APNS(Apple Push Notification Service)是苹果公司提供的消息推送服务。其原理就是,第三方应用将要推送给用户的信息推送到苹果服务器,苹果服务器再通过统一的系统接口将这些信息推送到用户的手机上。如果对此不舍了解的朋友可以参见这篇文章:一步一步教你做ios 推送 本文着重叫在App端如何处理推送信息。主
1319 0
APNS IOS 消息推送处理失效的Token
在开发苹果推送服务时候,要合理的控制ios设备的Token,而这个Token是由苹果服务器Apns产生的,就是每次app问Apns要Token,由苹果服务器产生的Token会记录到Apns里面,我们需要根据该Token进行制定设备的消息推送,所有Token需要我们自己去记录和管理,每个设备对应唯一的Token,而app的用户登录会有自己约束的别名,与该tokne进行关系绑定,这样按该别名进行推送,就可以找到对应的Token,进而推送到该iso设备上,对应失效的Token我们需要访问苹果的feedbackServer,拿取失效的Token,然后把本地记录的失效token进行移除。
1472 0
hive 动态分区(Dynamic Partition)异常处理
Changing Hive Dynamic Partition Limits Symptoms: Hive enforces limits on the number of dynamic partitions that it creates.
1226 0
Jquery 中为后生成或插入的 Html 元素先设定响应事件处理方法
Jquery 中为后生成或插入的 Html 元素先设定响应事件处理方法 太阳火神的美丽人生 (http://blog.csdn.net/opengl_es) 本文遵循“署名-非商业用途-保持一致”创作公用协议 转载请保留此句:太阳火神的美丽人生 -  本博客专注于 敏捷开发及移动和物联设备研究:iOS、Android、Html5、Arduino、pcDuino,否则,出自本博客的文章拒绝转载或再转载,谢谢合作。
725 0
14491
文章
0
问答
文章排行榜
最热
最新
相关电子书
更多
文娱运维技术
立即下载
《SaaS模式云原生数据仓库应用场景实践》
立即下载
《看见新力量:二》电子书
立即下载