CSAPP L7 Machine-Level Programming III: Procedures

这一节主要讲 Procedures，包含

• Stack Structure
• Calling Conventions
  • Passing control
  • Passing data
  • Managing local data
• Illustration of Recursion

如何传入参数？
函数调用返回正确的位置？
减少调用过程的开销：原则 - 只做必要的事

内存的一部分 - 栈 ：用来管理过程调用与返回的状态

Passing control

栈顶在下，push 栈指针递减， pop 栈指针递增。deallocate - 栈指针移动

无法显示操作 %rip

Passing data

前六个参数被存入到相对应的寄存器中，超出的参数将被放置到栈上的内存，寄存器访问比内存访问快得多

Managing local data

栈帧：用于特定 call 的每个内存块称为栈帧

默认分配16个字节，当无法提前得知分配空间大小时会使用 %rbp

改变了 p 指针，返回的是原来指针所指向的地址。 %rax 未动，改变的是 %rsi → %rdi

寄存器不会永远地存储某个值，在函数调用过程中新值会覆盖旧值，callee 约定会使得函数调用后把相应寄存器的值恢复到调用以前寄存器中存储的值。

Illustration of Recursion

C 编译器无需额外考虑递归情况

总结：