csapp 第二章

csapp 第二章

信息存储

1. 大多数计算机使用8位的块，或者说字节，作为最小的可寻址的内存单位，而不是访问内存中单独的位。机器级程序将内存视为一个非常大的字节数组，称为虚拟内存。内存的每个字节都由一个唯一的数字标识，称为它的地址，所有可能地址的集合称为虚拟地址空间。

2. 字长决定的最重要的系统参数就是虚拟地址空间的最大大小。对于一个字长为ω位的机器而言，虚拟地址的范围就是0 ~ 2^ω - 1，程序最多访问2^ω个字节。

   大部分数据类型都编码为有符号数值，除非有前缀关键字unsigned或者对确定大小的数据类型使用了特定的无符号声明。（数据类型char是个例外）

3. 多字节对象被存储为连续的字节序列，对象的地址为所用字节最小的地址。

   最低有效字节在最前面的方式，称为小端法。
   最高有效字节在最前面的方式，称为大端法。

   许多比较新的微处理器是双端法，然而实际上，一旦选择了特定的操作系统，字节顺序也就被固定下来。Android和iOS都是运行于小端模式。

4. 尔运算~对应逻辑运算NOT，对应集合的补；
   布尔运算&对应逻辑运算AND，对应集合的交；
   布尔运算|对应逻辑运算OR，对应集合的并；
   布尔运算^对应逻辑运算亦或。

   布尔运算的分配率：a & (b | c) = (a & b)|(a & c),
   a | (b & c) = (a | b)&(a | c)
   另外，对于a ^ a = 0，因此还有(a ^ b) ^ a = b

5. 语言提供了位移运算，向左或者向右移动位模式。

   C表达式x << k会x向左移动k位，丢弃最高的k位，并在右端补k个0.

   有一个相应的友谊运算x >> k。一般而言，机器支持两种形式的右移：逻辑右移和算术右移。逻辑右移在左端补k个0，算数右移是在左端补k个最高有效位的值。

   对于无符号数，右移必须是逻辑的。

   Java表达式中，x >> k是算术右移，x >>> k是逻辑右移。

   java进行位移前，对超过字长的进行取模

整数表示

1. 整型数据类型表示有限范围的整数。

   有一个很值得注意的特点是取值范围是不对称的，负数的范围比正数的范围大1。

   ω位补码所能表示的值的范围：最小是位向量[10……0]，最大的值是位向量[01……1]。

2. C语言允许在各种不同的数字数据类型之间做强制转换。

   强制类型转换的结果保持位值不变，只是改变了解释这些位的方式。

   执行一个运算的时候，如果它的一个运算数是有符号的而另一个是无符号的，那么C语言会隐式的将有符号数强制类型转换为无符号数，并假设两个数都是非负的，来执行运算。

3. 要将一个无符号数转换为一个更大的数据类型，只需要简单的在表示的开头添加0，这种运算被称为零扩展。

   要将一个补码数字转换为一个更大的数据类型，可以执行一个符号扩展，在表示中添加最高有效位的值。

整数运算

1. 编译器使用了一项重要优化，试着用位移和加法运算的组合来代替乘以常数因子的乘法。

2. 除以2的幂无符号除法：C变量x和k有无符号数值x和k，且0 ≤ k ＜ ω，则x>>k产生数值，x / 2^k
   除以2的幂补码除法，向下舍入：C变量补码x和无符号k，且0 ≤ k ＜ ω，当执行算术位移时，x>>k产生数值x / 2^k
   除以2的幂的补码除法，向上舍入：C变量补码x和无符号k，且0 ≤ k ＜ ω，当执行算术位移时，（x + (1 << k）- 1) >> k产生数值x / 2^k。