汇编程序入门：从指令、寄存器到第一个可运行示例
汇编语言把处理器指令以便于人阅读的符号形式写出来。它比 C、Rust 等高级语言更贴近硬件：程序员需要明确选择寄存器、安排数据访问，并遵守处理器架构和操作系统的约定。入门汇编不必先掌握整套指令集，但要理解一件事：一段汇编代码通常只适用于特定处理器架构、操作系统和二进制格式。
本文使用 NASM 汇编器和 Linux x86-64 系统，从指令、寄存器、内存和系统调用讲起，最后编写一个可以直接构建运行的“Hello, world!”程序。示例面向 64 位 Linux，不适用于 macOS、Windows 或 ARM 处理器；这些平台的调用约定和程序格式不同。
一、汇编适合用在哪里
大多数应用程序不需要手写汇编。编译器通常能为常见任务生成质量很高的机器码，还能帮助管理类型、内存和调用约定。汇编更常见于以下场景：
- 理解编译结果：查看反汇编或编译器生成的汇编，有助于分析函数调用、分支、内存访问和性能瓶颈。
- 少量底层代码：操作系统、运行时、引导代码、上下文切换和某些设备驱动等场景，可能需要直接控制处理器状态或访问特定指令。
- 受约束的性能优化：先通过基准测试发现热点，再考虑用汇编优化极少数关键路径。优化前后应使用真实输入测量，并验证不同处理器上的行为。
- 学习计算机体系结构：汇编能让寄存器、栈、内存和指令执行之间的关系变得具体。
汇编不是自动的性能加速器。手写代码可能妨碍编译器优化，也可能因数据布局、缓存、分支预测或处理器差异而变慢。需要可移植性、易维护性和内存安全时，优先使用高级语言；只有明确的需求和测量结果，才足以支持引入汇编。
二、从指令和操作数开始
汇编语句通常由助记符和操作数组成。例如：
mov rax, 42
add rax, 8这里的 mov 把数值 42 放进寄存器 rax，add 再把 8 加到其中。执行后，rax 的值为 50。助记符是人类可读的指令名称；汇编器会将它们转换成处理器能够执行的机器码。
常见指令包括：
mov：传送数据。它不是 C 语言意义上的“移动后清空源数据”；通常是复制数值。add、sub：加法和减法。cmp、test：设置状态标志，常与条件跳转配合。jmp、je、jne：无条件跳转或根据条件跳转。call、ret：调用函数和返回。它们会涉及栈和调用约定。
不同汇编器有不同语法。本文使用 NASM 的 Intel 风格，常见形式是“目标在前，来源在后”：mov 目标, 来源。例如 mov rax, rbx 表示把 rbx 的值复制到 rax。GNU 汇编器也常使用 AT&T 语法，操作数顺序和符号写法不同，不能不加区分地混用。
三、寄存器：处理器里的小型工作区
寄存器是处理器直接操作的少量高速存储位置。x86-64 有多种通用寄存器，例如 rax、rbx、rcx、rdx、rsi、rdi 和 r8 到 r15。它们的具体用途取决于指令和调用约定，并非每个寄存器都只能干一件事。
寄存器名称还体现数据宽度。以 rax 为例，它表示 64 位寄存器；eax 是其低 32 位，ax 是低 16 位，al 是低 8 位。在 x86-64 中，对 32 位通用寄存器写入会把对应 64 位寄存器的高 32 位清零；对 8 位或 16 位部分写入则不会以同样方式清零高位。处理不同宽度的数据时，应明确检查读写的是哪一部分。
还有一些特殊用途的寄存器：
rsp是栈指针，指向当前栈顶附近的位置。调用、返回和保存局部数据通常会使用栈。rip是指令指针，表示处理器正在执行或将要执行的位置，通常由控制流指令改变。rflags保存条件标志等状态，例如比较结果会影响后续条件跳转。
实际编写程序时，不要仅凭寄存器名称猜测其含义。调用函数或系统调用前，需要根据对应 ABI（应用二进制接口）确认参数、返回值和会被改写的寄存器。
四、内存、地址和标签
寄存器数量有限，程序的大量数据保存在内存中。汇编代码需要区分“一个数值”和“这个数值所在的地址”。在 NASM 中，方括号表示访问内存。例如，mov rax, 5 把常数 5 放进 rax；mov rax, [somewhere] 则从标签 somewhere 对应的内存地址读取数据。
标签是汇编源文件里对位置的命名，例如 message:。它可以标记代码位置，也可以标记数据位置。标签本身通常代表地址；是否读取标签所指向的内存，取决于指令写法。把地址误当成数据，是初学者很常见的错误。
NASM 程序常用以下节（section）组织内容：
section .text：通常放置程序指令。section .data：通常放置有初始值的数据。section .bss：通常为未初始化数据保留空间。
程序还可以使用汇编器伪指令。伪指令不是处理器执行的机器指令，而是告诉汇编器如何组织和生成目标文件。例如 db 用于定义字节，equ 用于定义常量，global 用于导出符号。
五、先分清硬件指令与操作系统服务
处理器指令和操作系统提供的功能不是一回事。加法由处理器指令完成；向终端输出文字通常要请求操作系统执行 I/O。Linux x86-64 提供系统调用接口，程序把系统调用编号和参数放到指定寄存器，再执行 syscall 指令。
对 Linux x86-64 系统调用而言，系统调用编号放在 rax 中，前六个参数依次通过 rdi、rsi、rdx、r10、r8、r9 传递，返回值放在 rax。执行 syscall 会破坏 rcx 和 r11 的原值，因此不能指望它们保留调用前的内容。这是 Linux x86-64 的约定，不是所有操作系统或处理器都通用的规则。
下面示例用到的系统调用是：
write：编号 1。参数依次是文件描述符、缓冲区地址和字节数。exit：编号 60。参数是进程退出状态。
这些编号是 Linux x86-64 的接口细节，不应当作通用常数复制到其他平台。直接使用系统调用可以省去 C 运行库，但也意味着程序要自己遵守相应接口约定。
六、第一个可运行示例：输出一行文字
将以下内容保存为 hello.asm：
global _start
section .text
_start:
; write(1, message, message_len)
mov eax, 1
mov edi, 1
lea rsi, [rel message]
mov edx, message_len
syscall
; exit(0)
mov eax, 60
xor edi, edi
syscall
section .rodata
message: db "Hello, world!", 10
message_len: equ $ - message
section .note.GNU-stack noalloc noexec nowrite progbits代码逐步完成以下工作：
global _start把_start符号导出，让链接器能够找到程序入口。这里没有 C 运行库入口函数main；进程从内核设置的入口开始执行。message定义要输出的字节。db表示定义字节，末尾的10是换行符。字符串不需要以零结尾，因为write使用明确的字节数，而不是 C 字符串终止符。message_len: equ $ - message让汇编器计算从message到当前位置的字节数。这里把换行符也计算在内。字符串含有非 ASCII 字符时，源文件编码和字节数需要一并考虑；字符数不一定等于 UTF-8 字节数。- 第一次调用前，
eax设为 1，即write的系统调用编号。写入标准输出使用文件描述符 1；缓冲区地址放在rsi，长度放在rdx。 lea rsi, [rel message]计算标签的地址并放入rsi。在 64 位位置无关代码中，NASM 的rel写法可以生成相对地址访问。此处取得的是地址，不是读取消息内容本身。- 第二次调用把系统调用编号设为 60、退出状态设为 0。
xor edi, edi将edi清零；在 x86-64 中，写入edi会同时清零rdi的高 32 位。
七、构建并运行
在安装了 NASM 和 Linux x86-64 链接工具的环境中执行：
nasm -f elf64 hello.asm -o hello.o
ld -o hello hello.o
./hello如果构建成功，终端会显示：
Hello, world!nasm -f elf64 把源代码汇编成 64 位 ELF 格式目标文件；ld 把目标文件链接成可执行文件。这里直接使用 ld，因为程序自行提供入口并直接调用 Linux 系统调用，不需要通过 C 运行库启动。若提示找不到 nasm 或 ld，应先安装对应发行版的软件包；如果输出“格式错误”或“无法执行”，则检查当前系统架构、可执行文件格式以及运行环境是否匹配。
可用 file hello 查看文件类型，用 objdump -d hello 查看反汇编。若要调试，可使用 GDB 设置断点、单步执行，并观察 rax、rdi 等寄存器。工具的具体安装方式因发行版而异。
八、示例的边界：write 不保证一次写完
上面的程序适合演示接口，并不是健壮的通用输出实现。Linux 的 write 成功时返回实际写入的字节数，这个数可能小于请求长度；出错时返回负值形式的错误码。实际程序若必须确保数据完整写出，需要检查返回值，对未写出的部分继续写，并根据应用需要处理中断和错误。对非阻塞文件描述符，还要考虑暂时无法写入的情况。
本例忽略了 write 的返回值，接着尝试正常退出。因此，不能据此认为任何输出目标都必定收到完整内容。实际输出到终端时，短写不常见，但管道、套接字、文件系统和进程信号等因素都可能影响调用结果。生产代码应按 Linux 文档定义的返回值和错误规则编写，而不是假设调用必然成功。
此外，示例的消息内容和长度都是程序内置的，不涉及外部输入。若程序把外部提供的长度直接当作缓冲区长度，或把不可信数据当作地址使用，可能造成越界读写、崩溃或信息泄露。汇编不会自动替程序检查缓冲区边界；边界验证必须由程序逻辑明确完成。
九、常见错误与排查方法
- 混淆架构和系统调用编号。Linux x86-64 的编号与参数位置不能直接用于 Linux ARM64、32 位 Linux 或 Windows。先确认目标架构、操作系统和 ABI，再查对应文档。
- 把寄存器大小写混为一谈。
rax、eax和al宽度不同。使用较小部分可能保留其他位，也可能因写入规则改变高位。调试时检查完整寄存器值和指令的数据宽度。 - 把地址当成内容。
lea rsi, [rel message]取得地址；类似mov al, [message]的写法则是读取内存中的数据。要明确指令需要地址还是数据。 - 长度单位错误。
write的长度是字节数，不是字符数，也不是以零结尾字符串的长度。多字节编码、缓冲区容量和实际可读长度都要分别处理。 - 误以为零结尾是系统调用要求。本例传递了明确长度，内核不会根据字符串里的零字节判断结束。反过来，若调用的确需要 C 字符串，就必须按它的接口要求提供正确的终止符。
- 忘记函数调用约定。系统调用 ABI 与普通函数调用 ABI 不完全相同。调用 C 函数时应使用平台的函数 ABI；例如 System V AMD64 函数调用对参数寄存器、栈对齐和保存寄存器有自己的规定，不能照搬
syscall的规则。 - 随意改动栈指针。错误的
push、pop或栈空间分配可能造成栈不平衡；调用函数时还可能违反栈对齐要求。保存寄存器后应在所有控制流路径上恢复。 - 误解标志寄存器。
cmp等指令设置的标志可能被后续指令改写。条件跳转应紧接在依赖的比较或测试之后，或者明确确认中间指令不会改变相关标志。 - 把汇编器指令当成处理器指令。
section、global和equ是汇编器处理的声明，不会像add那样由处理器执行。
十、参数限制与安全用途
汇编器通常不会自动替你验证参数。寄存器能容纳的数值范围、指令支持的数据宽度、系统调用可接受的参数，以及缓冲区实际大小，是不同层面的限制。例如，rdx 可以保存一个 64 位数值，并不代表对应缓冲区真的有那么多可读字节；把长度写进寄存器不会自动扩展内存，也不会让内核替程序修复越界访问。
系统调用的参数限制由操作系统和具体接口决定。write 的长度参数以字节计，调用的实际返回值可能小于请求值，也可能报告错误；单次调用允许处理的大小并不应被当作任意大的无限值。若程序处理大数据，应查阅目标 Linux 版本和接口文档，做好分段、错误处理和类型范围检查。本文没有设置外部输入参数，因此不涉及命令行参数解析；需要处理参数时，必须按 Linux 进程初始栈上的参数布局或使用运行库提供的接口，并验证数量、长度和编码，不能凭假设读取。
汇编也没有天然的安全优势或安全漏洞豁免。它可以用于实现操作系统安全边界内的底层功能，也常用于逆向分析和恶意软件分析等安全研究；但同样能写出越界读写、错误权限控制、竞态和信息泄露问题。用于安全研究时，应在获得授权的系统或隔离实验环境中进行，不要将分析或测试扩展到未经许可的设备和服务。
如果用汇编实现密码学、校验、沙箱或访问控制等关键组件，不能仅凭“代码离硬件更近”就认为它更安全。应当使用经过审查的算法和实现，检查常数时间需求、密钥与中间值生命周期、处理器指令差异、编译与链接配置，并通过测试、审计和目标平台验证。安全结论来自具体设计和验证，不来自编程语言本身。
十一、接下来如何练习
可以从不依赖外部输入的小程序开始：用 mov、add 和 sub 计算结果；用 cmp 和条件跳转编写简单分支；再学习 call、ret、栈和函数调用约定。每次只引入一个新概念，并通过反汇编和单步调试确认寄存器、内存与控制流的变化。
写汇编时，优先查阅目标平台的官方 ABI、处理器手册、汇编器手册和操作系统系统调用文档。把示例迁移到其他平台前，先重新确认目标文件格式、入口点、参数传递、寄存器保存规则和系统调用接口。掌握这些边界后，汇编就不再是一串需要死记硬背的指令，而是可以逐步检查和推理的程序。
