中文翻译:肖德时
这篇指南是想让读者能懂得怎样使用MASM。如果你不熟悉MASM,请
下载一个win32asm.exe并通过本指南学习下去。好的,现在准备好
让我们一起前进吧!
原理概述:
从80286开始就有了保护模式下的win32程序,但是这已经成为历史。
所以我们这里所涉及到的都是与我们相关的80386及以后的版本。
windows在单独的虚拟磁盘空间运行单个win32程序。这个意思就是
说每个win32程序都有自己独立的4GB寻址空间。但这并不意味着每
个win32程序都有4GB的物理存储空间,只仅仅是这个程序能在这个
范围里寻址而已。工作是由windows来处理并确认这个程序内存地址
的有效性。当然,这个程序必须是按照windows程序规则来编译的
才行。和win16程序不一样的是所有的win16程序互相“看到”对方。
这在win32下是没有的。这个特征帮助减少某程序代码覆盖另一程序
的可能。内存模式也和以往的win16世界完全的不同。在win32世界里,
我们不需要考虑内存模式或者是什么段。这里只有一种模式:Flat memory model.
这里也没有什么64K段地址的限制。内存是一个4GB的连续的大空间。
也就是说我们不必非要和段寄存器玩。我们也能用一些段寄存器来
寻址内存中的某处。这对程序员来说是一个极大的帮助。这也让
编译win32程序和c语言一样。
当你在win32下编译程序时,你必须要知道一些重要的规则。其中一个是:
windows内部使用esi、edi,ebp和ebx并不能在这寄存器中改变数值。所以
记住这条规则的意思就是:假如你在返回函数中使用这四个寄存器中某个
的话,不要忘记在返回window时恢复初值。一个返回函数就是在你的程序中
返回window。一个返还函数就是被windows调用的你自己的私有函数,最典型
的例子就是windows程序。但这并不意味着你不能使用这四个寄存器了,只要
你能确认在返回windows时恢复了它们的初值就行了。
代码内容:
下面就是win32汇编程序代码的主框架,如果你看不懂这些代码的话,也不要
着急,我将在后面给予详细的解释。
.386
.MODEL FLAT,STDCALL
.DATA
<你的初使化数据>
.........
.DATA?
<你的未确定初使化数据>
.........
.CONST
<你的常量>
.......
.CODE
<标记>
<你的代码>
......
end<标记>
就是这些,让我们分析一下这个主框架吧!
.386
这是一个汇编程序指令,告诉汇编编译程序使用80386指令集,你也可以用.486,.586。
但可靠的指令集还是用.386。这里还有两个实际上差不多的指令集:.386/.386p,.486/.486p;
那个有“p”的指令集只是在用到有特权指令时才用到。特权指令集是只在保护模式
下被这个cpu/操作系统所接受的。它们也只能被特权代码所使用,例如设备驱动程序。
多数情况下,你的程序是工作在非特权模式下所以安全的作法是使用不带“p"的指令。
.MODEL FLAT,STDCALL
.MODEL是标记内存模式的指令,在win32下,也仅仅只有这个模式:FLAT。
STDCALL是告诉编译器参数的传递模式。在这个模式中有:左到右或右到左。
并要在完成子程序后平衡堆栈。在win16下,有两种传递模式:c和pascal。C子程序传递
是右到左,最右边的参数将首先被压入,并在传递结束时要求平衡堆栈。例如:一个名为
foo的程序被调用,(int first_param,int second_param,int third_param)在C程序传递
中的汇编代码如下
push [third_param] ;压入第三个参数
push [second_param] ;压入第二个参数
push [first_param] ;压入第一个参数
call foo
add sp,12 ;平衡堆栈
PASCAL正好与C传递模式相反,它是通过左到右传递参数并在完成子程序后平衡堆栈的。
win16采取PASCAL传递方式是因为它的运行代码量小。C传递模式是在你不知道要传递
多少参数比如像wsprintf()子程序。在wsprintf()子程序中,子程序不能预先知道有
多少参数被压栈,所以你也不知道要怎样使堆栈平衡。
STDCALL是C和PASCAL传递模式的综合,它是通过右到左传递模式传递参数并平衡堆栈的,并
只有在win32下才专用的传递模式。但也有例外的是wsprintf(),你必须使用C传递模式。
.DATA
.DATA?
.CONST
.CODE
这四个指令是干什么用的呢?在win32下是没有段的,你记起来了吗?但是你仍然能按照
逻辑分区划分你的地址空间。这个最先的分区表是上一分区的结束。这里我们分为两个分区,
data和code。data分区又被分为三类:
.DATA 这个分区包含你的程序的初始化代码
.DATA?这个分区包含你程序的未初始化数据,有时你想预先分配一些内存但不想初始化它,
这个分区就是为这个想法而设的。这个未初始化数据的优势是:它不会增加程序容量大小。
比如,你在.DATA?分配了10,000字节容量,但你的程序并不是增加了10,1000字节。它仍然
和原大小一样。你只是仅仅告诉编译器当程序载入内存时你需要多少空间。就是这些。
.CONST这个分区包含你的程序的常量定义说明。在这个分区定义的常量就不能被修改,因为
它们已经被定义。
你也并不是非要在你的程序中都要使用这三个指令,只要说明你需要的指令就行了。
剩下来的分区是代码区:.CODE。以下是它的主构架:
end
这里的任意的只是说明你的代码区域,还有就是这两个label要一样哟!你的所有代码
都在和 end 之间。