我们知道，Linux是Unix家族的一员，尽管Linux的历史不长，但与其相关的很多事情都发源于Unix。就Linux所使用的386汇编语言而言，它也是起源于Unix。Unix最初是为PDP－11开发的，曾先后被移植到VAX及68000系列的处理器上，这些处理器上的汇编语言都采用的是AT&T的指令格式。当Unix被移植到i386时，自然也就采用了AT&T的汇编语言格式，而不是Intel的格式。尽管这两种汇编语言在语法上有一定的差异，但所基于的硬件知识是相同的，因此，如果你非常熟悉Intel的语法格式，那么你也可以很容易地把它“移植“到AT&T来。下面我们通过对照Intel与AT&T的语法格式，以便于你把过去的知识能很快地“移植”过来。
1．前缀
在Intel的语法中，寄存器和和立即数都没有前缀。但是在AT&T中，寄存器前冠以“％”，而立即数前冠以“$”。在Intel的语法中，十六进制和二进制立即数后缀分别冠以“h”和“b”，而在AT&T中，十六进制立即数前冠以“0x”，表2.2给出几个相应的例子。
表2.2 Intel与AT&T前缀的区别
2. 操作数的方向
Intel与AT&T操作数的方向正好相反。在Intel语法中，第一个操作数是目的操作数，第二个操作数源操作数。而在AT&T中，第一个数是源操作数，第二个数是目的操作数。由此可以看出，AT&T 的语法符合人们通常的阅读习惯。
例如：在Intel中， mov eax,[ecx]
在AT&T中，movl (%ecx),%eax
3．内存单元操作数
从上面的例子可以看出，内存操作数也有所不同。在Intel的语法中，基寄存器用“［］”括起来，而在AT&T中，用“（）”括起来。
例如： 在Intel中，mov eax,[ebx+5]
在AT&T，movl 5(%ebx),%eax
4．间接寻址方式
与Intel的语法比较，AT&T间接寻址方式可能更晦涩难懂一些。Intel的指令格式是segreg:[base+index*scale+disp]，而AT&T的格式是%segreg:disp(base,index,scale)。其中index/scale/disp/segreg全部是可选的，完全可以简化掉。如果没有指定scale而指定了index，则scale的缺省值为1。segreg段寄存器依赖于指令以及应用程序是运行在实模式还是保护模式下，在实模式下，它依赖于指令，而在保护模式下，segreg是多余的。在AT&T中，当立即数用在scale/disp中时，不应当在其前冠以“$”前缀，表2.3给出其语法及几个相应的例子。
表2.3 内存操作数的语法及举例
从表中可以看出，AT&T的语法比较晦涩难懂，因为[base+index*scale+disp]一眼就可以看出其含义，而disp(base,index,scale)则不可能做到这点。
这种寻址方式常常用在访问数据结构数组中某个特定元素内的一个字段，其中，base为数组的起始地址，scale为每个数组元素的大小，index为下标。如果数组元素还是一个结构，则disp为具体字段在结构中的位移。
5．操作码的后缀
在上面的例子中你可能已注意到，在AT&T的操作码后面有一个后缀，其含义就是指出操作码的大小。“l”表示长整数（32位），“w”表示字（16位），“b”表示字节（8位）。而在Intel的语法中，则要在内存单元操作数的前面加上byte ptr、 word ptr,和dword ptr，“dword”对应“long”。表2.4给出几个相应的例子。
表2.4 操作码的后缀举例
2.6.2 AT&T汇编语言的相关知识
在Linux源代码中，以.S为扩展名的文件是“纯”汇编语言的文件。这里，我们结合具体的例子再介绍一些AT&T汇编语言的相关知识。
1．GNU汇编程序GAS（GNU Assembly和连接程序
当你编写了一个程序后，就需要对其进行汇编（assembly）和连接。在Linux下有两种方式，一种是使用汇编程序GAS和连接程序ld，一种是使用gcc。我们先来看一下GAS和ld:
GAS把汇编语言源文件（.o）转换为目标文件（.o），其基本语法如下：
as filename.s -o filename.o
一旦创建了一个目标文件，就需要把它连接并执行，连接一个目标文件的基本语法为：
ld filename.o -o filename
这里 filename.o是目标文件名，而filename 是输出(可执行) 文件。
GAS使用的是AT&T的语法而不是Intel的语法，这就再次说明了AT&T语法是Unix世界的标准，你必须熟悉它。
如果要使用GNC的C编译器gcc，就可以一步完成汇编和连接，例如：
gcc -o example example.S
这里，example.S是你的汇编程序，输出文件（可执行文件）名为example。其中，扩展名必须为大写的S，这是因为，大写的S可以使gcc自动识别汇编程序中的C预处理命令，像#include、#define、#ifdef、 #endif等，也就是说，使用gcc进行编译，你可以在汇编程序中使用C的预处理命令。
2. AT&T中的节（Section）
在AT&T的语法中，一个节由.section关键词来标识，当你编写汇编语言程序时，至少需要有以下三种节：
.section .data： 这种节包含程序已初始化的数据，也就是说，包含具有初值的那些变量，例如：
hello : .string "Hello world!\n"
hello_len : .long 13
.section .bss：这个节包含程序还未初始化的数据，也就是说，包含没有初值的那些变量。当操作
系统装入这个程序时将把这些变量都置为0，例如：
name : .fill 30 # 用来请求用户输入名字
name_len : .long 0 # 名字的长度 (尚未定义)
当这个程序被装入时，name 和 name_len都被置为0。如果你在.bss节不小心给一个变量赋了初值，这个值也会丢失，并且变量的值仍为0。
使用.bss比使用.data的优势在于，.bss节不占用磁盘的空间。在磁盘上，一个长整数就足以存放.bss节。当程序被装入到内存时，操作系统也只分配给这个节4个字节的内存大小。
注意：编译程序把.data和.bss在4字节上对齐（align），例如，.data总共有34字节，那么编译程序把它对其在36字节上，也就是说，实际给它36字节的空间。
.section .text ：这个节包含程序的代码，它是只读节，而.data 和.bss是读／写节。
3．汇编程序指令（Assembler Directive）
上面介绍的.section就是汇编程序指令的一种，GNU汇编程序提供了很多这样的指令（directiv），这种指令都是以句点（.）为开头，后跟指令名（小写字母），在此，我们只介绍在内核源代码中出现的几个指令（以arch/i386/kernel/head.S中的代码为例）。
（1）ascii "string"...
.ascii 表示零个或多个（用逗号隔开）字符串，并把每个字符串（结尾不自动加“0“字节）中的字符放在连续的地址单元。
还有一个与.ascii类似的.asciz，z代表“0“，即每个字符串结尾自动加一个”0“字节，例如：
int_msg:
.asciz "Unknown interrupt\n"
（2）.byte 表达式
.byte表示零或多个表达式（用逗号隔开），每个表达式被放在下一个字节单元。
（3）.fill 表达式
形式：.fill repeat , size , value
其中，repeat、size 和value都是常量表达式。Fill的含义是反复拷贝size个字节。Repeat可以大于等于0。size也可以大于等于0，但不能超过8，如果超过8，也只取8。把repeat个字节以8个为一组，每组的最高4个字节内容为0，最低4字节内容置为value。
Size和 value为可选项。如果第二个逗号和value值不存在，则假定value为0。如果第一个逗号和size不存在，则假定size为1。
例如，在Linux初始化的过程中，对全局描述符表GDT进行设置的最后一句为：
.fill NR_CPUS*4,8,0 /* space for TSS's and LDT's */
因为每个描述符正好占8个字节，因此，.fill给每个CPU留有存放4个描述符的位置。
（4）.globl symbol
.globl使得连接程序（ld）能够看到symbl。如果你的局部程序中定义了symbl，那么，与这个局部程序连接的其他局部程序也能存取symbl，例如：
.globl SYMBOL_NAME(idt)
.globl SYMBOL_NAME(gdt)
定义idt和gdt为全局符号。
（5）quad bignums
.quad表示零个或多个bignums（用逗号分隔），对于每个bignum，其缺省值是8字节整数。如果bignum超过8字节，则打印一个警告信息；并只取bignum最低8字节。
例如，对全局描述符表的填充就用到这个指令：
| .quad 0x00cf9a000000ffff /* 0x10 kernel 4GB code at 0x00000000 */ .quad 0x00cf92000000ffff /* 0x18 kernel 4GB data at 0x00000000 */ .quad 0x00cffa000000ffff /* 0x23 user 4GB code at 0x00000000 */ .quad 0x00cff2000000ffff /* 0x2b user 4GB data at 0x00000000 */ |
（6）rept count
把.rept指令与.endr指令之间的行重复count次，例如
.rept 3
.long 0
.endr
相当于
.long 0
.long 0
.long 0
（7）space size , fill
这个指令保留size个字节的空间，每个字节的值为fill。size 和fill都是常量表达式。如果逗号和fill被省略，则假定fill为0，例如在arch/i386/bootl/setup.S中有一句：
.space 1024
表示保留1024字节的空间，并且每个字节的值为0。
（8）.word expressions
这个表达式表示任意一节中的一个或多个表达式（用逗号分开），表达式的值占两个字节，例如：
gdt_descr:
.word GDT_ENTRIES*8-1
表示变量gdt_descr的置为GDT_ENTRIES*8-1
（9）.long expressions
这与.word类似
（10）.org new-lc , fill
把当前节的位置计数器提前到new-lc（new location counter）。new-lc或者是一个常量表达式，或者是一个与当前子节处于同一节的表达式。也就是说，你不能用.org横跨节：如果new-lc是个错误的值，则.org被忽略。.org只能增加位置计数器的值，或者让其保持不变；但绝不能用.org来让位置计数器倒退。
注意，位置计数器的起始值是相对于一个节的开始的，而不是子节的开始。当位置计数器被提升后，中间位置的字节被填充值fill（这也是一个常量表达式）。如果逗号和fill都省略，则fill的缺省值为0。
例如：.org 0x2000
ENTRY(pg0)
表示把位置计数器置为0x2000，这个位置存放的就是临时页表pg0。
2.6.3 Gcc嵌入式汇编
在Linux的源代码中，有很多C语言的函数中嵌入一段汇编语言程序段，这就是gcc提供的“asm”功能，例如在include/asm-i386/system.h中定义的，读控制寄存器CR0的一个宏read_cr0()：
| #define read_cr0() ({ \ unsigned int __dummy; \ __asm__( \ "movl %%cr0,%0\n\t" \ "=r" (__dummy)); \ __dummy; \ }) |
这种形式看起来比较陌生，这是因为这不是标准C所定义的形式，而是gcc 对C语言的扩充。其中__dummy为C函数所定义的变量；关键词__asm__表示汇编代码的开始。括弧中第一个引号中为汇编指令movl，紧接着有一个冒号，这种形式阅读起来比较复杂。
一般而言，嵌入式汇编语言片段比单纯的汇编语言代码要复杂得多，因为这里存在怎样分配和使用寄存器，以及把C代码中的变量应该存放在哪个寄存器中。为了达到这个目的，就必须对一般的C语言进行扩充，增加对编译器的指导作用，因此，嵌入式汇编看起来晦涩而难以读懂。
1. 嵌入式汇编的一般形式：
__asm__ __volatile__ ("<asm routine>" : output : input : modify);
其中，__asm__表示汇编代码的开始，其后可以跟__volatile__（这是可选项），其含义是避免“asm”指令被删除、移动或组合；然后就是小括弧，括弧中的内容是我们介绍的重点：
· "<asm routine>"为汇编指令部分，例如，"movl %%cr0,%0\n\t"。数字前加前缀“％“，如％1，％2等表示使用寄存器的样板操作数。可以使用的操作数总数取决于具体CPU中通用寄存器的数量，如Intel可以有8个。指令中有几个操作数，就说明有几个变量需要与寄存器结合，由gcc在编译时根据后面输出部分和输入部分的约束条件进行相应的处理。由于这些样板操作数的前缀使用了”％“，因此，在用到具体的寄存器时就在前面加两个“％”，如%%cr0。
· 输出部分（output），用以规定对输出变量（目标操作数）如何与寄存器结合的约束（constraint）,输出部分可以有多个约束，互相以逗号分开。每个约束以“＝”开头，接着用一个字母来表示操作数的类型，然后是关于变量结合的约束。例如，上例中：
:"=r" (__dummy)
“＝r”表示相应的目标操作数（指令部分的%0）可以使用任何一个通用寄存器，并且变量__dummy 存放在这个寄存器中，但如果是：
：“＝m”（__dummy）
“＝m”就表示相应的目标操作数是存放在内存单元__dummy中。
表示约束条件的字母很多，表 2－5 给出几个主要的约束字母及其含义：
表2.5 主要的约束字母及其含义
· 输入部分（Input）：输入部分与输出部分相似，但没有“＝”。如果输入部分一个操作数所要求使用的寄存器，与前面输出部分某个约束所要求的是同一个寄存器，那就把对应操作数的编号（如“1”，“2”等）放在约束条件中，在后面的例子中，我们会看到这种情况。
· 修改部分（modify）:这部分常常以“memory”为约束条件，以表示操作完成后内存中的内容已有改变，如果原来某个寄存器的内容来自内存，那么现在内存中这个单元的内容已经改变。
注意，指令部分为必选项，而输入部分、输出部分及修改部分为可选项，当输入部分存在，而输出部分不存在时，分号“：“要保留，当“memory”存在时，三个分号都要保留，例如system.h中的宏定义__cli()：
#define __cli() __asm__ __volatile__("cli": : :"memory")
2. Linux源代码中嵌入式汇编举例
Linux源代码中，在arch目录下的.h和.c文件中，很多文件都涉及嵌入式汇编，下面以system.h中的C函数为例，说明嵌入式汇编的应用。
（1）简单应用
| #define __save_flags(x) __asm__ __volatile__("pushfl ; popl %0":"=g" (x): /* no input */) #define __restore_flags(x) __asm__ __volatile__("pushl %0 ; popfl": /* no output */ :"g" (x):"memory", "cc") |
第一个宏是保存标志寄存器的值，第二个宏是恢复标志寄存器的值。第一个宏中的pushfl指令是把标志寄存器的值压栈。而popl是把栈顶的值（刚压入栈的flags）弹出到x变量中，这个变量可以存放在一个寄存器或内存中。这样，你可以很容易地读懂第二个宏。
(2) 较复杂应用
| static inline unsigned long get_limit(unsigned long segment) { unsigned long __limit; __asm__("lsll %1,%0" :"=r" (__limit):"r" (segment)); return __limit+1; } |
这是一个设置段界限的函数，汇编代码段中的输出参数为__limit（即%0），输入参数为segment（即%1）。Lsll是加载段界限的指令，即把segment段描述符中的段界限字段装入某个寄存器（这个寄存器与__limit结合），函数返回__limit加1，即段长。
（3）复杂应用
在Linux内核代码中，有关字符串操作的函数都是通过嵌入式汇编完成的，因为内核及用户程序对字符串函数的调用非常频繁，因此，用汇编代码实现主要是为了提高效率（当然是以牺牲可读性和可维护性为代价的）。在此，我们仅列举一个字符串比较函数strcmp，其代码在arch/i386／string.h中。
| static inline int strcmp(const char * cs,const char * ct) { int d0, d1; register int __res; __asm__ __volatile__( "1:\tlodsb\n\t" "scasb\n\t" "jne 2f\n\t" "testb %%al,%%al\n\t" "jne 1b\n\t" "xorl %%eax,%%eax\n\t" "jmp 3f\n" "2:\tsbbl %%eax,%%eax\n\t" "orb $1,%%al\n" "3:" :"=a" (__res), "=&S" (d0), "=&D" (d1) :"1" (cs),"2" (ct)); return __res; } |
其中的“\n”是换行符，“\t”是tab符，在每条命令的结束加这两个符号，是为了让gcc把嵌入式汇编代码翻译成一般的汇编代码时能够保证换行和留有一定的空格。例如，上面的嵌入式汇编会被翻译成：
1： lodsb //装入串操作数,即从[esi]传送到al寄存器，然后esi指向串中下一个元素
scasb //扫描串操作数，即从al中减去es:[edi]，不保留结果，只改变标志
jne2f //如果两个字符不相等，则转到标号2
testb %al %al
jne 1b
xorl %eax %eax
jmp 3f
2: sbbl %eax %eax
orb $1 %al
3:
这段代码看起来非常熟悉，读起来也不困难。其中1f 表示往前（forword）找到第一个标号为1的那一行，相应地，1b表示往后找。其中嵌入式汇编代码中输出和输入部分的结合情况为：
· 返回值__res，放在al寄存器中，与%0相结合；
· 局部变量d0，与％1相结合，也与输入部分的cs参数相对应，也存放在寄存器ESI中，即ESI中存放源字符串的起始地址。
· 局部变量d1， 与％2相结合，也与输入部分的ct参数相对应，也存放在寄存器EDI中，即EDI中存放目的字符串的起始地址。
通过对这段代码的分析我们应当体会到，万变不利其本，嵌入式汇编与一般汇编的区别仅仅是形式，本质依然不变。因此，全面掌握Intel 386 汇编指令乃突破阅读低层代码之根本。
2.6.4 Intel386汇编指令摘要
在阅读Linux源代码时，你可能遇到很多汇编指令，有些是你熟悉的，有些可能不熟悉，在此简要列出一些常用的386汇编指令及其功能。
1． 位操作指令
指令 功能
BT 位测试
BTC 位测试并求反
BTR 位测试并复位
BTS 位测试并置位
2.控制转移类指令
指令 功能
CALL 调用过程
JMP 跳转
LOOP 用ECX计数器的循环
LOOPNZ/LOOPNE 用ECX计数器且不为0的循环／用ECX计数器且不等的循环
RET 返回
3. 数据传输指令
指令 功能
IN 从端口输入
LEA 装入有效地址
MOV 传送
OUT 从段口输出
POP 从堆栈中弹出
POPA／POPAD 从栈弹出至所有寄存器
PUSH 压栈
PUSH／PUSHAD 所有通用寄存器压栈
XCHG 交换
4．标志控制类指令
指令 功能
CLC 清0进位标志
CLD 清0方向标志
CLI 清0中断标志
LAHF 将标志寄存器装入AH寄存器
POPF／POPFD 从栈中弹出至标志位
PUSHF／PUSHFD 将标志压栈
SAHF 将AH寄存器存入标志寄存器
STC 置进位标志
STD 置方向标志
STI 置中断标志
5．逻辑类指令
指令 功能
NOT 与
AND 非
OR 或
SAL/SHL 算术作移／逻辑左移
SAR 算术右移
SHLD 逻辑右移
TEST 逻辑比较
XOR 异或
6．串操作指令
指令 功能
CMPS/CMPSB/CMPSW/CMPSD 比较串操作数
INS/INSB/INSW/INSD 输入串操作数
LODS/LODSB/LODSW/LODSD 装入串操作数
MOVS/MOVSB/MOVSW/MOVSD 传送串操作数
REP 重复
REPE/REPZ 相等时重复／为0时重复
SCAS/SCASB/SCASW/SCASD 扫描串操作数
STOS/STOSB/STOSW/STOSD 存储串操作数
7．多段类操作指令
指令 功能
CALL 过程调用
INT 中断过程的调用
INTO 溢出中断过程的调用
IRET 中断返回
JMP 跳转
LDS 将指针转入DS
LES 将指针转入ES
LFS 将指针转入FS
LGS 将指针转入GS
LSS 将指针转入SS
MOV 段寄存器的传送
POP 从栈弹出至段寄存器
PUSH 压栈
RET 返回
8．操作系统类指令
指令 功能
APPL 调整请求特权级
ALTS 清任务切换标志
HLT 暂停
LAR 加载访问权
LGDT 加载全局描述符表
LIDT 加载中断描述符表
LLDT 加载局部描述符表
LMSW 加载机器状态字
LSL 加载段界限
LTR 加载任务寄存器
MOV 特殊寄存器的数据传送
SGDT 存储全局描述符表
SIDT 存储中断描述符表
SMSW 存储机器状态字
STR 存储任务寄存器
