Win32汇编程序结构

.386                            
.model flat,stdcall
option casemap:none
;----------------------------------------------------------------------------------
;Include define
;----------------------------------------------------------------------------------
include      windows.inc
include      user32.inc
includelib user32.lib
include      kernel32.inc
includelib kernel32.lib
;----------------------------------------------------------------------------------
;data segment
;----------------------------------------------------------------------------------
.data
szCaption db 'A MessageBox !',0
szText       db 'Hello, World !',0
;----------------------------------------------------------------------------------
;code segment
;----------------------------------------------------------------------------------
.code
start:
                  invoke MessageBox,NULL,offset szText,offset szCaption,MB_OK
                  invoke ExitProcess,NULL
;----------------------------------------------------------------------------------
               end start

;----------------------------------------------------------------------------------
1. 指定使用的指令集

.386语句是汇编语言的伪指令，它在低版本的宏汇编中就已经存在，类似的指令还有：.8086，.186，.286，.386/.386p，.486/.486p和 .586/.586p等，用于告诉编译器在本程序中使用的指令集。在DOS的汇编中默认使用的是8086指令集，那时候如果在源程序中写入80386所特有的指令或使用32位的寄存器就会报错，为了在DOS环境下进行保护模式编程或仅为了使用32位寄存器，常在DOS的汇编中使用 .386来定义。Win32环境工作在80386及以上的处理器中，所以这一句 .386是必不可少的。

后面带p的伪指令则表示程序中可以使用特权指令，如：

    mov cr0,eax

这一类指令必须在特权级0上运行，如果只指定 .386，那么使用普通的指令是可以的，编译时到这一句就会报错，如果我们要写的程序是VxD等驱动程序，中间要用到特权指令，那么必须定义 .386p，在应用程序级别的Win32编程中，程序都是运行在优先级3上，不会用到特权指令，只需定义 .386就够了。80486和Pentium处理器指令是80386处理器指令的超集，同样道理，如果程序中要用80486处理器或Pentium处理器的指令，则必须定义 .486或 .586。另外，Intel公司的80x86系列处理器从Pentium MMX开始增加了MMX指令集，为了使用MMX指令，除了定义 .586之外，还要加上一句 .mmx伪指令：
.586
.mmx
2. .model语句

.model语句在低版本的宏汇编中已经存在，用来定义程序工作的模式，它的使用方法是：

.model 内存模式[，语言模式][，其他模式]

内存模式的定义影响最后生成的可执行文件，可执行文件的规模从小到大，可以有很多种类型，在DOS的可执行程序中，有只用到64 KB的 .com文件，也有大大小小的 .exe文件。到了Win32环境下，又有了可以用4 GB内存的PE格式可执行文件，编写不同类型的可执行文件要用 .model语句定义不同的参数，具体如表所示。
                                      内存模式表
-------------------------------------------------------------------------------------------------------
模    式            |                                                   内 存 使 用 方 式
-------------------------------------------------------------------------------------------------------
tiny                 |用来建立 .com文件，所有的代码、数据和堆栈都在同一个64 KB段内
-------------------------------------------------------------------------------------------------------
small               |建立代码和数据分别用一个64 KB段的 .exe文件
-------------------------------------------------------------------------------------------------------
medium           |代码段可以有多个64 KB段，数据段只有一个64 KB段
-------------------------------------------------------------------------------------------------------
compact          |代码段只有一个64 KB段，数据段可以有多个64 KB段
-------------------------------------------------------------------------------------------------------
large               |代码段和数据段都可以有多个64 KB段
-------------------------------------------------------------------------------------------------------
huge               |同large，并且数据段中的一个数组也可以超过64 KB
-------------------------------------------------------------------------------------------------------
flat                 |Win32程序使用的模式，代码和数据段使用同一个4 GB段
-------------------------------------------------------------------------------------------------------
在前面章节中已经提到过：Windows程序运行在保护模式下，系统把每一个Win32应用程序都放到分开的虚拟地址空间中去运行，也就是说，每一个应用程序都拥有其相互独立的4 GB 地址空间，对Win32程序来说，只有一种内存模式，即flat（平坦）模式，意思是内存是很“平坦”地从0延伸到 4 GB，再没有64 KB段大小限制。对比一下DOS的Hello World和Win32的Hello World开始部分的不同，DOS程序中有这样两句：

mov     ax,data

mov     ds,ax

意思是把数据段寄存器DS指向data数据段，data数据段在前面已经用 data segment 语句定义，只要DS不重新设置，那么从此以后指令中涉及的数据默认将从data数据段中取得，所以下面的语句是从data数据段取出szHello字符串的地址后再显示：

mov     ah,9

mov     dx,offset szHello

int     21h

纵观Win32汇编的源程序，没有一处可以找到ds或es等段寄存器的使用，因为所有的4 GB空间用32位的寄存器全部都能访问到了，不必在头脑中随时记着当前使用的是哪个数据段，这就是“平坦”内存模式带来的好处。

如果定义了 .model flat，MASM自动为各种段寄存器做了如下定义：

ASSUME cs:FLAT, ds:FLAT, ss:FLAT, es:FLAT, fs:ERROR, gs:ERROR

也就是说，CS，DS，ES和SS段全部使用平坦模式，FS和GS寄存器默认不使用，这时若在源程序中使用FS或GS，在编译时会报错。如果有必要使用它们，只需在使用前用下面的语句声明一下就可以了：

assume fs:nothing, gs:nothing 或者 assume fs:flat, gs:flat

在Win32汇编中，.model语句中还应该指定语言模式，即子程序的调用方式，例子中用的是stdcall，它指出了调用子程序或Win32 API时参数传递的次序和堆栈平衡的方法，相对于stdcall，不同的语言类型还有C，SysCall，BASIC，FORTRAN和PASCAL，虽然各种高级语言在调用子程序时都是使用堆栈来传递参数，但它们的处理方法各有不同。要和别的语言配合，就必须指定相应的语言种类。Windows的API调用使用的是stdcall格式，所以在Win32汇编中没有选择，必须在 .model中加上stdcall参数。

3. option语句

用option语句定义的选项有很多，如option language定义和option segment定义等，在Win32汇编程序中，需要的只是定义option casemap:none，这个语句定义了程序中的变量和子程序名是否对大小写敏感，由于Win32 API中的API名称是区分大小写的，所以必须指定这个选项，否则在调用API的时候会有问题。
1. 段的概念
下面是包含全部段的源程序结构：

.386

.model flat,stdcall

option casemap:none

<一些include语句>

.stack [堆栈段的大小]

.data

<一些初始化过的变量定义>

.data?

<一些没有初始化过的变量定义>

.const

<一些常量定义>

.code

<代码>

<开始标号>

     <其他语句>

end 开始标号

.stack，.data，.data?，.const和 .code是分段伪指令，Win32中实际上只有代码和数据之分，.data，.data?和 .const是数据段，.code是代码段，和DOS汇编不同，Win32汇编不必考虑堆栈，系统会为程序分配一个向下扩展的、足够大的段作为堆栈段，所以 .stack段定义常常被忽略。
前面不是说过Win32环境下不用段了吗？是的，这些“段”实际上并不是DOS汇编中那种意义的段，而是内存的“分段”。上一个段的结束就是下一个段的开始，所有的“分段”合起来，包括系统使用的地址空间，就组成了整个可以寻址的4 GB空间。Win32环境的内存管理使用了80386处理器的分页机制，每个页（4 KB大小）可以自由指定属性，所以上一个4 KB可能是代码，属性是可执行但不可写，下一个4 KB就有可能是既可读也可写但不可执行的数据，再下面呢？有可能是可读不可写也不可执行的数据。Win32汇编源程序中“分段”的概念实际上是把不同类型的数据或代码归类，再放到不同属性的内存页（也就是不同的“分段”）中，这中间不涉及使用不同的段选择器。虽然使用和DOS汇编同样的 .code和 .data语句来定义，意思可是完全不同了！
2. 数据段

.data，.data?和 .const定义的是数据段，分别对应不同方式的数据定义，在最后生成的可执行文件中也分别放在不同的节区（Section）中。程序中的数据定义一般可以归纳为3类：

第一类是可读可写的已定义变量。这些数据在源程序中已经被定义了初始值，而且在程序的执行中有可能被更改，如一些标志等，这些数据必须定义在 .data段中，.data段是已初始化数据段，其中定义的数据是可读可写的，在程序装入完成的时候，这些值就已经在内存中了，.data段存放在可执行文件的_DATA节区内。

第二类是可读可写的未定义变量。这些变量一般是当做缓冲区或者在程序执行后才开始使用的，这些数据可以定义在 .data段中，也可以定义在 .data?段中，但一般把它放到 .data?段中。虽然定义在这两种段中都可以正常使用，但定义在 .data?段中不会增大 .exe文件的大小。举例说明，如果要用到一个100 KB的缓冲区，可以在数据段中定义：

szBuffer            db      100 * 1024 dup (?)

如果放在 .data段中，编译器认为这些数据在程序装入时就必须有效，所以它在生成可执行文件的时候保留了所有的100 KB的内容，即使它们是全零！如果程序其他部分的大小是50 KB，那么最后的 .exe文件就会是150 KB大小，如果缓冲区定义为1 MB，那么 .exe文件会增大到1 050 KB。.data?段则不同，其中的内容编译器会认为程序在开始执行后才会用到，所以在生成可执行文件的时候只保留了大小信息，不会为它浪费磁盘空间。和上面同样的情况下，即使缓冲区定义为1 MB，可执行文件同样只有50 KB！总之，.data?段是未初始化数据段，其中的数据也是可读可写的，但在可执行文件中不占空间，.data?段在可执行文件中存放在_BSS节区中。

第三类数据是一些常量。如一些要显示的字符串信息，它们在程序装入的时候也已经有效，但在整个执行过程中不需要修改，这些数据可以放在 .const段中，.const段是常量段，它是可读不可写的。一般为了方便起见，在小程序中常常把常量一起定义到 .data段中，而不另外定义一个 .const段。在程序中如果不小心写了对 .const段中的数据做写操作的指令，会引起保护错误，Windows会显示一个如图所示的提示框并结束程序。

如果不怕程序可读性不佳的话，把 .const段中定义的东西混到 .code段中去也可以正常使用，因为 .code段也是可以读的。
3. 代码段

.code段是代码段，所有的指令都必须写在代码段中，在可执行文件中，代码段是放在_TEXT节区中的。Win32环境中的数据段是不可执行的，只有代码段有可执行的属性。对于工作在特权级3的应用程序来说，.code段是不可写的，在编DOS汇编程序的时候，好事的程序员往往有个习惯，就是靠改动代码段中的代码来做一些反跟踪的事情，如果企图在Win32汇编下做同样的事情，结果就是和上面同样的“非法操作”。

当然事物总有两面性，在Windows 95下，在特权级0下运行的程序对所有的段都有读写的权利，包括代码段。另外，在优先级3下运行的程序也不是一定不能写代码段，代码段的属性是由可执行文件PE头部中的属性位决定的，通过编辑磁盘上的 .exe文件，把代码段属性位改成可写，那么在程序中就允许修改自己的代码段。一个典型的应用就是一些针对可执行文件的压缩软件和加壳软件，如Upx和PeCompact等，这些软件靠把代码段进行变换来达到解压缩或解密的目的，被处理过的可执行文件在执行时需要由解压代码来将代码段解压缩，这就需要写代码段，所以这些软件对可执行文件代码段的属性预先做了修改。

@@ 程序结束和程序入口

在C语言源程序中，程序不必显式地指定程序由哪里开始执行，编译器已经约定好从main()函数开始执行了。而在汇编源程序中，并没有一个main函数，程序员可以指定从代码段的任何一个地方开始执行，这个地方由程序最后一句的end语句来指定：

end     [开始地址]

这句语句同时表示源程序结束，所有的代码必须在end语句之前。

end start

上述语句指定程序从start这个标号开始执行。当然，start标号必须在程序的代码段中有所定义。

但是，一个源程序不必非要指定入口标号，这时候可以把开始地址忽略不写，这种情况发生在编写多模块程序的单个模块的时候。当分开写多个程序模块时，每个模块的源程序中也可以包括 .data，.data?，.const和 .code段，结构就和上面的Win32 Hello World一样，只是其他模块最后的end语句必须不带开始地址。当最后把多个模块链接在一起的时候，只能有一个主模块指定入口地址，在多个模块中指定入口地址或者没有一个模块指定了入口地址，链接程序都会报错。