【读书笔记】《csapp》第三章 第六七节

第六节：控制

包括描述表达循环和switch 语句的方法

3.6.1 条件码

cpu 维护着一组单个位的条件码寄存器，他们描述了最近的算数或逻辑操作的属性。可以检测这些寄存器来执行条件分支指令。

• CF: 进位标志
• ZF:零标志
• SF:符号标志
• OF:溢出标志

CF (unsigned) t < (unsigned) a
ZF (t==0)
SF (t<0)
OF (a<0== b<0) && (t<0 != a<0)

3.6.2 访问条件码

1. 可以根据条件码的某种组合，奖一个字节设置为0或这1
2. 可以条件跳转到程序的某个其他部分
3. 可以有条件地传送数据

区分有符号和无符号：
大多数情况下，机器代码对于有符号和无符号两种情况使用一样的指令，这是因为许多算数运算符对无符号和补码算数都有一样的位级行为

跳转指令

跳转指令会导致执行切换到程序中的一个全新位置。
jmp （感觉和goto：差不多）

第七节：过程

过程是软件中一种很重要的抽象。它提供了一种封装代码的方式，用一组指定的参数和一个可选的返回值实现某种功能。然后，可以在程序中的不同地方调用这个函数。。。

• 传递过程：在进入过程q的时候，程序计数器必须被设置为q的代码的起始地址，然后在返回时，要把程序计数器设置为p中调用q后面那条指令的地址。
• 传递数据：p必须能够向q提供一个或多个参数，q必须能够向p返回一个值
• 分配和释放内存：在开始时，q可能需要为局部变量分配空间，而在返回前，有必须释放这些存储空间。

有些时候，局部数据必须放在内存中

• 寄存器不足够存放所有的本地数据
• 对一个局部变量使用地址运算符“&”，因此必须能够为它产生一个地址
• 某些局部变量是数据或结构，因此必须能够通过数据或结构引用被访问到。

递归：
每个递归调用在栈中都有他自己的私有空间，因此多个未完成调用的局部变量不会相互影响。此外，栈的原则很自然地就提供了适当的策略，当过程被调用时，分配局部存储，当返回时释放存储。