学 Win32 汇编[11]: 数据对齐相关的伪指令(ALIGN、EVEN、ORG)
32 位的寄存器容量是 4 字节, 如果内存中的数据都按 4*n 字节对齐, 肯定会加快吞吐速度;
但事实并非如此, 不同大小的数据可能会让寄存器别别扭扭地去处理, 从而降低了运行速度!
如果使用对齐, 就会浪费掉一些内存空间; 其实这是一个需要权衡 "速度" 与 "内存" 得失的问题.
准备使用的测试文件:
; Test11_1.asm
.586
.model flat, stdcall
include windows.inc
include kernel32.inc
include masm32.inc
include debug.inc
includelib kernel32.lib
includelib masm32.lib
includelib debug.lib
.data
;声明三个字节变量
v1 db 0
v2 db 0
v3 db 0
.code
main proc
;三个字节变量的默认偏移地址如下(在没有对齐约束的情况下, 它们各占一个字节):
PrintDec offset v1 ;4206592
PrintDec offset v2 ;4206593
PrintDec offset v3 ;4206594
ret
main endp
end main
ALIGN: 指定对齐边界
; Test11_2.asm
.586
.model flat, stdcall
include windows.inc
include kernel32.inc
include masm32.inc
include debug.inc
includelib kernel32.lib
includelib masm32.lib
includelib debug.lib
.data
v1 db 0
align 4 ;让下一个变量的起始地址保证是 4 的倍数
v2 db 0
v3 db 0
.code
main proc
PrintDec offset v1 ;4206592
PrintDec offset v2 ;4206596 (!)
PrintDec offset v3 ;4206597
ret
main endp
end main
;align 后面的参数是 2n, 还可测试下: 1、2、8、16
EVEN 是偶对齐, 相当于 ALIGN 2
; Test11_3.asm
.586
.model flat, stdcall
include windows.inc
include kernel32.inc
include masm32.inc
include debug.inc
includelib kernel32.lib
includelib masm32.lib
includelib debug.lib
.data
v1 db 0
even ;(!)
v2 db 0
v3 db 0
.code
main proc
PrintDec offset v1 ;4206592
PrintDec offset v2 ;4206594 (!)
PrintDec offset v3 ;4206595
ret
main endp
end main
ORG 可以指定从当前位置跨越指定书目的字节再安排下一个数据:
; Test11_4.asm
.586
.model flat, stdcall
include windows.inc
include kernel32.inc
include masm32.inc
include debug.inc
includelib kernel32.lib
includelib masm32.lib
includelib debug.lib
.data
v1 db 0
org 100 ;(!)
v2 db 0
v3 db 0
.code
main proc
PrintDec offset v1 ;4206592
PrintDec offset v2 ;4206692 (!)
PrintDec offset v3 ;4206693
ret
main endp
end main
这些伪指令不对局部变量产生影响, 因为伪指令作用在编译之前, 局部变量使用内存是程序运行之后的事.
关于局部变量的对齐和速度, 除了编译的工作外, 我们在安排变量类型和次序时也应该考虑到 "对齐" 的问题.