汇编语言程序设计（六）

5 简化的段定义

前面，我们介绍了完整的段定义格式，用完整的段定义格式虽然可以控制段的各种属性，但程序员很少会这样做。现在的汇编程序提供了一种简化的段定义方式，它使定义段更简单、方便。

 

5.1 存储模式定义伪指令

在使用简化的段定义方式之前，必须使用存储模式说明伪指令来描述源程序所采用的存储模式。该伪指令说程序所使用的存储模式，汇编程序将用该存储模式生成相应的ASSUME和GROUP语句，同时也为其它的简化段创建等价的预定义。

 

程序存储模式说明伪指令的格式如下：

 

.MODEL  存储模式[，语言类型] [，操作系统类型] [，堆栈类型]

 

程序可选的存储模式有：TINY、SMALL、COMPACT、MEDIUM、LARGE、HUGE和FLAT。

 

伪指令.MODEL必须写在源程序的首部，且只能出现一次，其前内容只能是注释。

 

如果用伪指令来指定程序所遵循的语言类型，那么，将不允许子程序的嵌套定义。

 

一、存储模式

 

如果要用汇编语言编写被高级语言调用的子程序，那么，该汇编程序的存储模式必须与该高级语言编译(或解释)程序所使用的存储模式相匹配。汇编语言程序所能使用的存储模式、符号及其相关信息如表6.2所列。

 

在程序中，还可伪指令OPTION SEGMENT和SEGMENT来指定段的规模。

 

有关存储模式的具体规定如下：

 

（1）TINY

 

在汇编程序MASM 6.11和TASM 4.0，该存储类型是为编写COM文件类型而设置的。程序员还可用汇编命令行选项/AT和连接命令选项/TINY来达到此目的。

 

（2）SMALL

 

所有的数据变量必须在一个数据段之内，所有的代码也必须在一个代码段之内。在这种模型下，数据段寄存器的内容保持不变，所有转移也都是段内转移。

 

该存储类型是独立汇编语言源程序常用的存储模型。

 

（3）MEDIUM

 

所有的数据变量必须在一个数据段之内，但代码段可以有多个。在这种模型下，数据段寄存器的内容保持不变，转移可以是段间转移。

 

（4）COMPACT

 

数据段可以有多个，但代码段只能有一。

 

（5）LARGE

 

数据段和代码段都可以有多个，但一个数组的字节数不能超过64KB。

 

（6）HUGE

 

数据段和代码段都可以有多个，一个数组的字节数也可以超过64KB。

 

（7）FLAT

 

FLAT存储模式在创建执行文件时，将使该程序仅含一个包括程序数据和代码的32位段，并且只能在80386及其以后的计算机系统中运行。该程序的文件类型为EXE。

 

在使用该存储模式之前，必须先用伪指令.386、.486或其它伪指令来说明更高性能的CPU类型。也就是说：FLAT模式仅在386及其以后CPU模式下才能使用。

 

在该程序中，所有代码和数据位距的缺省值都是NEAR，子程序的类型也是NEAR，并且标识符@CodeSize，@DataSize和@Model的值分别为：0、0和7。

 

在FLAT存储模式下，程序将不使用段寄存器FS和GS。汇编程序在处理说明语句“.MODEL  FLAT”时，将自动生成下列段寄存器说明语句：

 

ASSUME  CS:FLAT, DS:FLAT, SS:FLAT, ES:FLAT, FS:ERROR, GS:ERROR

 

当然，程序员也可把该段寄存器说明语句写在其指令序列之中。

 

二、语言类型

 

C、SYSCALL、STDCALL、Basic、Fortran、Pascal

 

三、操作系统类型

 

OS_DOS是当前唯一支持的选项值，也是该选项的缺省值。

 

四、堆栈类型

 

堆栈类型的值主要影响伪指令.STARTUP所生成的指令序列。该选项有二个可选值：NEARSTACK和FARSTACK。其中：NEARSTACK是该选项的缺省堆栈类型。

 

l         NEARSTACK——堆栈段和数据段是同一段；

l         FARSTACK——堆栈段和数据段是不同的段，且堆栈不在段组DGROUP中。

 

例如：

.MODEL  SMALL, C, OS_DOS, FARSTACK

 

5.2 简化段定义伪指令

简化段定义伪指令在说明一个新段即将开始的同时，也说明了上一个段的结束。在本段定义结束时，也不必用伪指令“ENDS”来标识。

 

具体的伪指令说明形式及其功能描述如下：

 

1、代码段定义

 

.CODE

 

作用：说明其下面的内容是代码段中内容。

 

2、堆栈段定义

 

.STACK  [堆栈字节数]

 

其中，“堆栈字节数”可以不写，其缺省值为1024B。

 

3、数据段定义

 

.DATA / .DATA? / .CONST

 

作用：说明其下面的内容是数据段中的变量定义。

 

在一个源程序中，可以有多个伪指令.DATA定义的数据段，这就好象在源程序中定义多个同段名的数据段一样。

 

伪指令.DATA?说明下面是一个未初始化数据段的开始，伪指令.CONST说明下面是一个常数数据段的开始。这二条伪指令很少使用，除非在与高级语言编写的程序相结合时，为了遵守高级语言的某些约定，而需要特殊说明时才使用。

 

汇编程序在处理简化的堆栈段和数据段定义时，它会自动地把伪指令.STACK、.DATA、.DATA?和.CONST所定义的段组合成一个段组。如果想定义一个独立的、不与其它段组合在一起的数据段的话，那么，就可选用下面的数据段定义方式。

 

4、远程数据段定义

 

.FARDATA  [段名] / .FARDATA?  [段名]

 

其中：“段名”是可选项，如果不指定的话，则该段名就取其缺省段名。

 

作用：说明一个独立的数据段。

 

伪指令.FARDATA?说明下面是一个未初始化的、独立数据段的开始。通常情况下，很少使用该伪指令。

 

5.3 简化段段名的引用

当使用简化的段定义时，一般情况下，程序员可以不知道这些段的段名、段地址堆齐类型和组合类型等。但当把简化定义的段和标准定义的段混合使用时，就需要知道简化定义段的基本属性。下表是在小模式下段的基本属性对应表。

 

伪指令	缺省段名	对齐类型	组合类型	类别	段组名
.CODE	_TEXT	WORD	PUBLIC	'CODE'
.FARDATA	FAR_DATA	PARA	NONE	'FAR_DATA'
.FARDATA?	FAR_BSS	PARA	NONE	'FAR_BSS'
.STACK	STACK	PARA	STACK	'STACK'	DGROUP
.DATA	DATA	WORD	PUBLIC	'DATA'	DGROUP
.DATA?	BSS	WORD	PUBLIC	'BSS'	DGROUP
.CONST	CONST	WORD	PUBLIC	'CONST'	DGROUP

 

在其它存储模型下，由伪指令".CODE"说明的代码段段名在"_TEXT"之前还要加上其模块名(源程序名)。假设，某模块名为ABC，则其缺省的代码段段名就为ABC_TEXT。因此，在这种情况下，程序的模块名或源程序名不要以数字开头。

 

例，非简化段的程序：

 

简化段定义的方法的程序：

.MODEL  SMALL

.STACK  128

.DATA

MSG DB　"Simplified Segment Directives.$"

.CODE

MOV  AX, @DATA     ;取数据段的段值

MOV DS, AX           ;把给段寄存器DS赋值

MOV DX, offset MSG

MOV AH, 9H

INT 21h

MOV AX, 4C00H

INT 21h

END

 

另外，在汇编程序MASM中，还提供了二组简化的代码伪指令：.STARTUP和.EXIT。

 

l         .STARTUP——在代码段的开始，用于自动初始化寄存器DS、SS和SP；

l         .EXIT——用于结束程序的运行，它等价于下列二条语句：

 

MOV　AH, 4CH

INT　　21h

 

当使用汇编程序TASM时，以上二条伪指令分别改为：STARTUPCODE和EXITCODE。假设使用汇编程序MASM，那么，上面的例子可改写成下例的形式：

 

.MODEL  SMALL

.STACK  128

.DATA

MSG DB　"Simplified Segment Directives.$"

.CODE

.STARTUP　　　　                           ;自动初始化寄存器DS、SS和SP

MOV DX, offset MSG

MOV AH, 9H

INT 21h

.EXIT

END