II. C语言本质_18 x86汇编程序基础_1 最简单汇编程序.docVIP

第?18?章?x86汇编程序基础 1.?最简单的汇编程序 例?18.1.?最简单的汇编程序 #PURPOSE: Simple program that exits and returns a # status code back to the Linux kernel # #INPUT: none # #OUTPUT: returns a status code. This can be viewed # by typing # # echo $? # # after running the program # #VARIABLES: # %eax holds the system call number # %ebx holds the return status # .section .data .section .text .globl _start _start: movl $1, %eax # this is the linux kernel command # number (system call) for exiting # a program movl $4, %ebx # this is the status number we will # return to the operating system. # Change this around and it will # return different things to # echo $? int $0x80 # this wakes up the kernel to run # the exit command 把这个程序保存成文件hello.s（汇编程序通常以.s作为文件名后缀），用汇编器（Assembler）as把汇编程序中的助记符翻译成机器指令，生成目标文件hello.o： $ as hello.s -o hello.o 然后用链接器（Linker，或Link Editor）ld把目标文件hello.o链接成可执行文件hello： $ ld hello.o -o hello 为什么用汇编器翻译成机器指令了还不行，还要有一个链接的步骤呢？链接主要有两个作用，一是修改目标文件中的信息，对地址做重定位，在第?5.2?节 “可执行文件”详细解释，二是把多个目标文件合并成一个可执行文件，在第?2?节 “main函数和启动例程”详细解释。我们这个例子虽然只有一个目标文件，但也需要经过链接才能成为可执行文件。 现在执行这个程序，它只做了一件事就是退出，退出状态是4，第?2?节 “自定义函数”讲过在Shell中可以用特殊变量$?得到上一条命令的退出状态： $ ./hello $ echo $? 4 所以这段汇编代码相当于在C程序的main函数中return 4;。为什么会相当呢？我们在第?2?节 “main函数和启动例程”详细解释。 下面逐行分析这个汇编程序。首先，#号表示单行注释，类似于C语言的//注释。 .section .data 汇编程序中以.开头的名称并不是指令的助记符，不会被翻译成机器指令，而是给汇编器一些特殊指示，称为汇编指示（Assembler Directive）或伪操作（Pseudo-operation），由于它不是真正的指令所以加个“伪”字。.section指示把代码划分成若干个段（Section），程序被操作系统加载执行时，每个段被加载到不同的地址，操作系统对不同的页面设置不同的读、写、执行权限。.data段保存程序的数据，是可读可写的，相当于C程序的全局变量。本程序中没有定义数据，所以.data段是空的。 .section .text .text段保存代码，是只读和可执行的，后面那些指令都属于.text段。 .globl _start _start是一个符号（Symbol），符号在汇编程序中代表一个地址，可以用在指令中，汇编程序经过汇编器的处理之后，所有的符号都被替换成它所代表的地址值。在C语言中我们通过变量名访问一个变量，其实就是读写某个地址的内存单元，我们通过函数名调用一个函数，其实就是跳转到该函数第一条指令所在的地址，所以变量名和函数名都是符号，本质上是代表内存地址的。 .globl指示告诉汇编器，_start这个符号要被链接器用到，所以要在目标文件的符号表中标记它是一个全局符号（在第?5.1?节 “目标文件”详细解释）。_start就像C程序的main函数一样特殊，是整个程序的入口，链接器在链接时会查找目标文件中的_start符号代表的地址，把它设置为整个程序的入口地址，所以每个汇编程序都要提供一个_start符号并且用.globl声明。如果一个符号