共计 1270 个字符，预计需要花费 4 分钟才能阅读完成。

背景介绍

8086 作为 x86 架构的鼻祖，其函数调用机制直接影响现代处理器的设计。在实模式下，所有内存访问都需要通过段寄存器 + 偏移量的方式完成，这使得函数调用的参数传递和栈管理成为关键性能瓶颈。理解这些底层机制对嵌入式开发、操作系统内核优化以及逆向工程都有重要意义。

核心机制

CALL/RET 指令的工作流程

1. CALL 指令执行时，CPU 会先将下一条指令的地址（CS:IP）压栈
2. 然后跳转到目标函数地址，此时栈顶存放着返回地址
3. RET 指令则相反，会弹出栈顶的返回地址到 CS:IP

栈帧结构

典型的 8086 栈帧布局如下（从高地址向低地址生长）：

+-----------------+
| 调用者保存寄存器 |
+-----------------+
|    参数 n        |
+-----------------+
|      ...        |
+-----------------+
|    参数 1        |
+-----------------+
|   返回地址      |
+-----------------+
|    局部变量     |  <-- BP 指向这里
+-----------------+
| 被调用者保存寄存器 |
+-----------------+

传参方式对比

• 寄存器传参（FASTCALL）：使用 AX、BX、CX、DX 传递前几个参数
• 栈传参（CDECL）：所有参数通过栈传递
• 混合传参（PASCAL）：部分寄存器 + 部分栈

代码示例

基本函数调用

; 调用者代码
1.  MOV AX, 1234h    ; 参数 1
2.  PUSH AX          ; 入栈
3.  CALL my_func     ; 调用
4.  ADD SP, 2        ; 平衡栈

; 被调用函数
5.  my_func PROC
6.    PUSH BP        ; 保存 BP
7.    MOV BP, SP     ; 建立栈帧
8.    SUB SP, 4      ; 分配局部变量
9.    ...            ; 函数体
10.   MOV SP, BP     ; 释放局部变量
11.   POP BP         ; 恢复 BP
12.   RET            ; 返回
13. my_func ENDP

调用约定差异

• CDECL（C 风格）：调用者清栈，参数从右向左压栈
• PASCAL：被调用者清栈，参数从左向右压栈
• STDCALL：被调用者清栈，参数从右向左压栈

性能考量

调用类型开销

1. 近调用（NEAR）：只压入 IP，节约 2 字节栈空间
2. 远调用（FAR）：压入 CS:IP，适合跨段调用但更耗时

寄存器优化

• 优先使用寄存器传递小参数（≤16 位）
• 对高频调用的小函数使用 __fastcall 约定
• 避免在循环内部进行函数调用

避坑指南

栈溢出防护

1. 始终检查递归深度
2. 为中断栈保留足够空间（至少 256 字节）
3. 使用 CHKSTK 宏检查栈溢出（MS-DOS 特性）

中断上下文

• 中断处理函数必须使用 IRET 返回
• 保存所有使用的寄存器
• 避免在中断中调用可能阻塞的函数

总结与延伸

现代 CPU 通过硬件栈指针预测、寄存器重命名等技术大幅优化了函数调用。但在嵌入式领域，8086 的这些基础概念仍然适用。建议练习：

1. 手动计算以下函数的栈帧大小：

   int func(int a, char b) {int c[3];
       return a + b;
   }

2. 编写汇编代码实现递归阶乘函数
3. 比较不同调用约定生成的机器码差异

理解这些底层细节，能帮助我们在资源受限的环境中写出更高效的代码。当遇到性能瓶颈时，往往正是这些基础机制的理解深度决定了优化效果。