Win32汇编数据对齐相关的伪指令(ALIGN、EVEN、ORG)

32 位的寄存器容量是 4 字节, 如果内存中的数据都按 4*n 字节对齐, 肯定会加快吞吐速度;
但事实并非如此, 不同大小的数据可能会让寄存器别别扭扭地去处理, 从而降低了运行速度!

如果使用对齐, 就会浪费掉一些内存空间; 其实这是一个需要权衡 "速度" 与 "内存" 得失的问题.

准备使用的测试文件:

---

; Test11_1.asm.586.model flat, stdcallinclude    windows.incinclude    kernel32.incinclude    masm32.incinclude    debug.incincludelib kernel32.libincludelib masm32.libincludelib debug.lib.data    ;声明三个字节变量    v1 db 0    v2 db 0    v3 db 0.codemain proc    ;三个字节变量的默认偏移地址如下(在没有对齐约束的情况下, 它们各占一个字节):    PrintDec offset v1  ;4206592    PrintDec offset v2  ;4206593    PrintDec offset v3  ;4206594    retmain endpend main

ALIGN: 指定对齐边界

---

; Test11_2.asm.586.model flat, stdcallinclude    windows.incinclude    kernel32.incinclude    masm32.incinclude    debug.incincludelib kernel32.libincludelib masm32.libincludelib debug.lib.data    v1 db 0    align 4 ;让下一个变量的起始地址保证是 4 的倍数    v2 db 0    v3 db 0.codemain proc    PrintDec offset v1  ;4206592    PrintDec offset v2  ;4206596 (!)    PrintDec offset v3  ;4206597    retmain endpend main;align 后面的参数是 2n, 还可测试下: 1、2、8、16

EVEN 是偶对齐, 相当于 ALIGN 2

---

; Test11_3.asm.586.model flat, stdcallinclude    windows.incinclude    kernel32.incinclude    masm32.incinclude    debug.incincludelib kernel32.libincludelib masm32.libincludelib debug.lib.data    v1 db 0    even    ;(!)    v2 db 0    v3 db 0.codemain proc    PrintDec offset v1  ;4206592    PrintDec offset v2  ;4206594 (!)    PrintDec offset v3  ;4206595    retmain endpend main

ORG 可以指定从当前位置跨越指定书目的字节再安排下一个数据:

---

; Test11_4.asm.586.model flat, stdcallinclude    windows.incinclude    kernel32.incinclude    masm32.incinclude    debug.incincludelib kernel32.libincludelib masm32.libincludelib debug.lib.data    v1 db 0    org 100 ;(!)    v2 db 0    v3 db 0.codemain proc    PrintDec offset v1  ;4206592    PrintDec offset v2  ;4206692 (!)    PrintDec offset v3  ;4206693    retmain endpend main

这些伪指令不对局部变量产生影响, 因为伪指令作用在编译之前, 局部变量使用内存是程序运行之后的事.
关于局部变量的对齐和速度, 除了编译的工作外, 我们在安排变量类型和次序时也应该考虑到 "对齐" 的问题.