Chinaunix首页 | 论坛 | 博客
  • 博客访问: 769344
  • 博文数量: 247
  • 博客积分: 0
  • 博客等级: 民兵
  • 技术积分: 501
  • 用 户 组: 普通用户
  • 注册时间: 2013-07-12 21:53
个人简介

系统未建立

文章分类

全部博文(247)

文章存档

2021年(1)

2020年(3)

2019年(5)

2018年(3)

2017年(44)

2016年(75)

2015年(52)

2014年(63)

2013年(1)

我的朋友

分类: LINUX

2016-08-17 10:38:12

本篇文章来源于 Linux公社网站()  原文链接:http:///Linux/2013-03/81246p2.htm

优化你的软件时,发觉"-fomit-frame-pointer"这个选项还是蛮有用的。
 
GCC手册上面这么说:
Don't keep the frame pointer in a register for functions that don't need one. This avoids the instructions to save, set up and restore frame pointers; it also makes an extra register available in many functions. It also makes debugging impossible on some machines.
 
On some machines, such as the VAX, this flag has no effect, because the standard calling sequence automatically handles the frame pointer and nothing is saved by pretending it doesn't exist. The machine-description macro "FRAME_POINTER_REQUIRED" controls whether a target machine supports this flag.
 
这里,引入了一个"frame pointer"的概念,什么是"stack frame pointer(SFP)"呢?
 
我们知道,backtrace是利用堆栈中的信息把函数调用关系层层遍历出来的,其中这里的堆栈信息就是SFP。
一般情况下,每一个函数都包含一个堆栈边界指针,也就是说会存在一个栈底和栈顶指针。在X86下,假设堆栈由上往下发展,栈底大地址而栈顶小地址,那么,通常情况下,寄存器ESP为栈顶指针,而EBP就为栈底指针。而EBP和ESP之间的空间就是这个函数的stack frame。
GCC在默认情况下会在每个函数的开始加入一些堆栈设置代码,而在函数退出的时候恢复原来的样子,SFP就是在这个时候设置的。还是看一下这个时候的汇编代码吧 ;-)
 
环境:X86+RedHat 9.0,gcc 3.2.2
 
源文件如下:
 
$ cat test.c 
void a(unsigned long a, unsigned int b)
{
        unsigned long i;
        unsigned int j;
 
        i = a;
        j = b;
 
        i++;
 
        j += 2;
 
}
 
默认编译选项:
$ gcc -c test.c -o with_SFP.o
 
反汇编后是这个样子:
$ objdump -D with_SFP.o
 
with_SFP.o:    file format elf32-i386
 
Disassembly of section .text:
 
00000000 :
  0:  55                      push  %ebp
  1:  89 e5                  mov    %esp,%ebp
  3:  83 ec 08                sub    $0x8,%esp
  6:  8b 45 08                mov    0x8(%ebp),%eax
  9:  89 45 fc                mov    %eax,0xfffffffc(%ebp)
  c:  8b 45 0c                mov    0xc(%ebp),%eax
  f:  89 45 f8                mov    %eax,0xfffffff8(%ebp)
  12:  8d 45 fc                lea    0xfffffffc(%ebp),%eax
  15:  ff 00                  incl  (%eax)
  17:  8d 45 f8                lea    0xfffffff8(%ebp),%eax
  1a:  83 00 02                addl  $0x2,(%eax)
  1d:  c9                      leave  
  1e:  c3                      ret    
Disassembly of section .data:
 
可以看到函数ENTER时首先把上一层函数的EBP入栈,设置本函数的EBP,然后会根据临时变量的数量和对齐要求去设置ESP,也就产生了函数的stack frame。
我们再看看函数的返回:"leave"指令相当于"mov %ebp,%esp;pop %ebp",也就是ENTER是两条指令的恢复过程,所以,后面的"ret"指令和"call"指令对应。
这里backtrace就可以根据现有函数EBP指针得知上一个函数的EBP----栈底再往上保存着上一个函数的EBP和EIP,然后就可以得知函数调用的路径。

SFP是可以在编译时候优化掉的,用"-fomit-frame-pointer"选项
 
编译:
$ gcc -fomit-frame-pointer -c test.c -o no_SFP.o
 
$ objdump -D no_SFP.o
 
no_SFP.o:    file format elf32-i386
 
Disassembly of section .text:
 
00000000
:
  0:  83 ec 08                sub    $0x8,%esp
  3:  8b 44 24 0c            mov    0xc(%esp,1),%eax
  7:  89 44 24 04            mov    %eax,0x4(%esp,1)
  b:  8b 44 24 10            mov    0x10(%esp,1),%eax
  f:  89 04 24                mov    %eax,(%esp,1)
  12:  8d 44 24 04            lea    0x4(%esp,1),%eax
  16:  ff 00                  incl  (%eax)
  18:  89 e0                  mov    %esp,%eax
  1a:  83 00 02                addl  $0x2,(%eax)
  1d:  83 c4 08                add    $0x8,%esp
  20:  c3                      ret    
Disassembly of section .data:
 


这里把EBP省掉了,ESP兼职了EBP的部分工作(索引临时变量)。
显而易见,代码难懂了;-P, 代码执行长度缩短了,应该能引起效率的提升。 可恶的是,不能用backtrace调试了。
 
看一下arm下面的情况:
含有SFP的版本:
$ arm-linux-objdump -D SFP_arm.o


SFP_arm.o :    file format elf32-littlearm
 
Disassembly of section .text:
 
00000000
:
  0:  e1a0c00d        mov    ip, sp
  4:  e92dd800        stmdb  sp!, {fp, ip, lr, pc}
  8:  e24cb004        sub    fp, ip, #4      ; 0x4
  c:  e24dd010        sub    sp, sp, #16    ; 0x10
  10:  e50b0010        str    r0, [fp, -#16]
  14:  e50b1014        str    r1, [fp, -#20]
  18:  e51b3010        ldr    r3, [fp, -#16]
  1c:  e50b3018        str    r3, [fp, -#24]
  20:  e51b3014        ldr    r3, [fp, -#20]
  24:  e50b301c        str    r3, [fp, -#28]
  28:  e51b3018        ldr    r3, [fp, -#24]
  2c:  e2833001        add    r3, r3, #1      ; 0x1
  30:  e50b3018        str    r3, [fp, -#24]
  34:  e51b301c        ldr    r3, [fp, -#28]
  38:  e2833002        add    r3, r3, #2      ; 0x2
  3c:  e50b301c        str    r3, [fp, -#28]
  40:  e91ba800        ldmdb  fp, {fp, sp, pc}
Disassembly of section .data:


优化后的版本:
$ arm-linux-objdump -D no_SFP_arm.o


no_SFP_arm.o:    file format elf32-littlearm
 
Disassembly of section .text:
 
00000000
:
  0:  e24dd010        sub    sp, sp, #16    ; 0x10
  4:  e58d000c        str    r0, [sp, #12]
  8:  e58d1008        str    r1, [sp, #8]
  c:  e59d300c        ldr    r3, [sp, #12]
  10:  e58d3004        str    r3, [sp, #4]
  14:  e59d3008        ldr    r3, [sp, #8]
  18:  e58d3000        str    r3, [sp]
  1c:  e59d3004        ldr    r3, [sp, #4]
  20:  e2833001        add    r3, r3, #1      ; 0x1
  24:  e58d3004        str    r3, [sp, #4]
  28:  e59d3000        ldr    r3, [sp]
  2c:  e2833002        add    r3, r3, #2      ; 0x2
  30:  e58d3000        str    r3, [sp]
  34:  e28dd010        add    sp, sp, #16    ; 0x10
  38:  e1a0f00e        mov    pc, lr
Disassembly of section .data:
 
这里,"fp"充当了"EBP"的角色,ESP在X86里面被leave隐含的恢复好了,所以没有显示设置的必要。
看起来arm平台上"-fomit-frame-pointer"选项的优化作用更加明显。


本篇文章来源于 Linux公社网站()  原文链接:http:///Linux/2013-03/81246p3.htm


阅读(1630) | 评论(0) | 转发(0) |
0

上一篇:MIPS32 backtrace

下一篇:GCC的几个常用选项

给主人留下些什么吧!~~