转载

你真的深入理解计算机系统了吗之篇章三：程序的结构

计算机中的信息=位+上下文。进一步，信息可以分为两大类：一类是数据，一类是指令。指令用来表明操作的动作，数据用来表明被操作的对象，这两者同时也构成了一个完整的程序。

对于数据而言，我们先来谈整数的表示和运算。无符号编码表示无符号数，补码表示有符号数，相信大家对这两种编码应该是非常熟悉的（无符号编码没有符号位，补码的最高位表示符号位）。

在整数的运算方面一共有两种，一种是算术运算，一种是逻辑运算。算术运算就指平常的加减乘数，当然要注意溢出、符号位等各种情况（这个讲起来的话太多了，而且我也担心自己讲不好，不懂的读者可以去翻翻书）。逻辑运算主要包括移位操作、或与非等，对于移位操作，一定要注意是算术右移还是逻辑右移，算法右移在所缺的位置要补齐符号位，逻辑右移要补齐零。

由于浮点型的表示和运算，我也掌握的不是太好，读者自己翻书吧。

对于指令而言，有传送指令、算术指令、逻辑指令、跳转指令以及支持过程调用和返回的指令。这些指令与c语言中的结构都是对应的，下面我会为大家讲解。

传送指令主要是mov a, b这种形式，像c语言中的赋值操作以及取某个变量的值等最后都会转化为这种指令。传送指令一共有三种寻址方式。第一种方式为立即数寻址，形式为mov $imm, EM，表示将imm传送到寄存器或者存储器EM中；第二种方式为寄存器寻址，形式为mov Ea, EM，表示将寄存器Ea中的值传送到EM中；第三种为存储器寻址，形式为mov (Ea), EM，表示将寄存器中的值所表示的存储器位置的值传送到EM中，当然这个有很多变形，但本质是一样的。要注意到不能从存储器传送到存储器。

在算术和逻辑指令中，像加减乘除、或与非、移位操作自不必说，在c语言中的这些操作与汇编中基本是没什么区别。我主要来说一下lea，即加载有效地址指令，它是mov指令的变形。指令形式为lea S, D，效果是将S的地址传送到D中，其中D必须为寄存器，像c语言中的求地址操作&就对应这种汇编语言。例如lea (Ea), Eb，在mov指令中表示将寄存器中的值所表示的存储器位置的值传送到Eb中，而在lea指令中表示将寄存器Ea中的值传送到寄存器Eb中。同时还可以用这个指令来进行一些算术运算。

跳转指令主要包括无条件跳转和有条件跳转，无条件跳转的形式为jmp Label或者jmp *Operand，后者的跳转目标是从寄存器或者存储器中读出的。对于有条件跳转，只有在符合某些条件的情况下才会跳转，比如je、jne等，那么在汇编中是如何知道这些条件成立不成立呢？除了整数寄存器，CPU还包含一组单个位的条件码寄存器，比如CF（无符号溢出）、ZF（零）、SF（负数）、OF（有符号溢出），它们描述的是最近操作的属性，也有一些指令专门用来设置条件码而不修改其他寄存器，像test、cmp。跳转指令根据这些条件码的组合情况来决定是否跳转。在c语言中像if语言、for语言、while语言、switch语言最终都会翻译成跳转指令。

最后一种指令就是支持过程调用和返回的指令。其中call指令用来过程调用，ret指令用来从过程调用中返回。c语言中的过程最后会翻译为汇编中的过程调用代码。在x86系统中一共有8个整数寄存器，其中有两个寄存器支持过程的实现，分别是栈指针%esp，帧指针%ebp。当执行call Label时（Label表示被调用的标记，也可以是*Operand的形式），计算机将返回地址（调用者的下一条指令地址）入栈，再将帧指针中保存的值（调用者的帧指针）入栈，最后将栈指针中保存的值传给帧指针，下面就开始执行被调用者中的指令，当执行ret返回时就是call指令的逆序，先将帧指针中保存的值传给栈指针，再push %ebp，将返回地址更新到程序计数器中，继续调用函数的执行。

正文到此结束