代码优化与分析:基础块重排序、反编译问题及圈复杂度
1. 基础块重排序与轮廓引导优化
基础块重排序是一种优化方法,能够将可执行二进制文件中的一些基础块移动到其他部分。在一个函数中,不同部分的执行频率存在明显差异,像循环体这类部分执行频率较高,而错误报告代码、异常处理程序等执行频率较低。
轮廓引导优化的具体操作步骤如下:
1. 编译器在可执行文件中添加插桩代码。
2. 开发者运行大量测试用例,收集相关统计信息。
3. 编译器依据收集到的统计信息,将所有不常执行的代码移动到另一个部分,生成最终的可执行文件。
这种优化方式的好处是可以压缩频繁执行的函数代码,对执行速度和缓存使用都非常重要。以Oracle RDBMS代码(使用Intel C++编译)为例:
public _skgfsync
_skgfsync
proc near
; address 0x6030D86A
db 66h
nop
push ebp
mov ebp, esp
mov edx, [ebp+0Ch]
test edx, edx
jz short loc_6030D884
mov eax, [edx+30h]
test eax, 400h
jnz __VInfreq__skgfsync
; write to log
continue:
mov eax, [ebp+8]
mov edx, [ebp+10h]
mov dword ptr [eax], 0
lea eax, [edx+0Fh]
and eax, 0FFFFFFFCh
mov ecx, [eax]
cmp ecx, 45726963h
jnz error