计算机系统漫游

信息就是位 + 上下文

系统中所有的信息,包括磁盘文件、内存中的程序、内存中存放的用户数据以及网络上传送的数据,都是由一串比特表示的。区分不同数据对象的唯一方法是我们读到这些数据对象时的上下文。

处理器读并解释储存在内存中的指令

贯穿整个系统的的是一组电子管道,称作 总线,它携带信息字节并负责在各个部件间传递。通常总线被设计成算传送定长的字节块,也就是 (word)。字中的字节数(即 字长)一个基本的系统参数。

I/O(输入/输出)设备是系统与外部世界的联系通道。每个 I/O 设备都通过一个控制器或者适配器与 I/O 总线相连。

主存是一个临时存储设备,在处理器执行程序时,用来存放程序和程序处理的数据。从物理上来说,主存是由一个动态随机存取存储器(DRAM)芯片组成的。从逻辑上来说,存储器是一个线性的字节数组,每个字节都有其唯一的地址(数组索引)。

中央处理单元(CPU)简称处理器,是解释(或执行)存储在主存中指令的引擎。处理器的核心是一个大小为一个字的存储设备(或寄存器),称为程序计数器(PC)。在任何时刻,PC 都指向主存中的某条机器语言指令(即含有该条指令的地址)。

存储设备形成层次结构

存储器层次结构的主要思想是,上一层的存储器作为低一层存储器的高速缓存。

操作系统管理硬件

我们可以把操作系统看成是应用程序和硬件之间插入的一层软件。所有应用程序对硬件的操作尝试都必须通过操作系统。

操作系统有两个基本功能:防止硬件被失效的应用程序滥用,向应用程序提供简单一致的机制来控制复杂而又通常大不相同的低级硬件设备。操作系统通过几个基本的抽象概念来实现这两个功能:进程、虚拟内存和文件。文件是对 I/O 设备的抽象表示,虚拟内存是对主存和 I/O 设备的抽象表示,进程则是对处理器、主存和 I/O 设备的抽象表示。

进程是操作系统对一个正在运行的程序的一种抽象。在一个系统上可以同时运行多个进程,而每个进程都好像在独占地使用硬件。并发运行 则是说一个进程的指令和另一个进程的指令是交错执行的。操作系统实现这种交错执行的机制称为 上下文切换

操作系统保持跟踪进程运行所需的所有状态信息。这种状态也就是 上下文,包括许多信息,比如 PC 和寄存器文件的当前值,以及主存的内容。在任何一个时刻,单处理器系统都只能执行一个进程的代码。当操作系统决定要把控制权从当前进程转移到某个新进程时,就会进行 上下文切换,即保存当前进程的上下文、恢复新进程的上下文,然后将控制权传递到新进程。

一个进程实际上可以由多个称为 线程 的执行单元组成,每个线程都运行在进程的上下文中,并共享同样的代码和全局数据。

虚拟内存是一个抽象概念,它为每个进程提供了一个假象,即每个进程都在独占地使用主存。每个进程看到的内存都是一致的,称为 虚拟地址空间

文件就是字节序列,仅此而已。每个 I/O 设备,包括磁盘、键盘、显示器,甚至网络都可以看成是文件。

重要主题

术语 并发(concurrency)是一个通用的概念,指一个同时具有多个活动的系统。术语 并行(parallelism)指的是用并发来使一个系统运行得更快。

抽象的使用是计算机科学中最为重要的概念之一。

  1. +--------------Virtual machine-------------------------------------+
  2. | |
  3. | +----------------Processes----------------------+
  4. | | |
  5. | +--Instruction set--+------Virtual memory-------+
  6. | | architecture | |
  7. | | | +----Files----+
  8. | | | | |
  9. v v v v v
  10. +------------------+-------------------+-------------+-------------+
  11. | Operating system | Processor | Main memory | I/O devices |
  12. +------------------+-------------------+-------------+-------------+

信息的表示和处理

信息存储

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

十六进制数使用数字 0 ~ 9 以及字符 A ~ F 表示 16 个可能的值。用十六进制书写,一个字节的值域为 00 ~ FF

十六进制 -> 二进制:通过展开每个十六进制数字。

二进制 -> 十六进制:通过首先把它分为每 4 位一组来转换为十六进制。

十进制 -> 十六进制:将一个十进制数字 《深入理解计算机系统》笔记 - 图1 转换为十六进制,可以反复地用 16 除 《深入理解计算机系统》笔记 - 图2,得到一个商 《深入理解计算机系统》笔记 - 图3 和一个余数 《深入理解计算机系统》笔记 - 图4,也就是 《深入理解计算机系统》笔记 - 图5,然后我们用十六进制数字表示的 《深入理解计算机系统》笔记 - 图6 作为最低位数字,并且通过对 《深入理解计算机系统》笔记 - 图7 反复进行这个过程得到剩下的数字。

十六进制 -> 十进制:用相应的 16 的幂乘以每个十六进制数字。

每台计算机都有一个 字长(word size),指明指针数据的标称大小(nominal size)。

为了避免由于依赖典型大小和不同编译器设置带来的奇怪行为,ISO C99 引入了一类数据类型,其数据大小是固定的,不随编译器和机器设置而变化。其中就有数据类型 int32_tint64_t,它们分别为 4 个字节和 8 个字节。

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

多字节对象都被存储为连续的字节序列,对象的地址为所使用字节中最小的地址。

排列表示一个对象的字节有两个通用的规则。考虑一个 《深入理解计算机系统》笔记 - 图8 位的整数,其位表示为 《深入理解计算机系统》笔记 - 图9,其中 《深入理解计算机系统》笔记 - 图10 是最高有效位,而 《深入理解计算机系统》笔记 - 图11 是最低有效位。最低有效字节在最前面的方式,称为小端法(little endian),最高有效字节在最前面的方式,称为 大端法(big endian)。

假设变量 x 的类型为 int,位于地址 0x100 处,它的十六进制值为 0x01234567。地址范围 0x100 ~ 0x103 的字节顺序依赖于机器的类型:

  1. 大端法
  2. 0x100 0x101 0x102 0x103
  3. +-----+------+------+------+------+-----+
  4. | ... | 01 | 23 | 45 | 67 | ... |
  5. +-----+------+------+------+------+-----+
  6. 小端法
  7. 0x100 0x101 0x102 0x103
  8. +-----+------+------+------+------+-----+
  9. | ... | 67 | 45 | 23 | 01 | ... |
  10. +-----+------+------+------+------+-----+
C 语言 位运算符号 命题逻辑运算 命题逻辑运算符号
~ NOT ¬
& AND
| OR
^ EXCLUSIVE-OR

C 语言中还提供了一组 逻辑运算符号||&&!,分别对应于命题逻辑运算中的 OR、AND 和 NOT 运算。逻辑运算认为所有非零的参数都表示 TRUE,而参数 0 表示 FALSE。

如果对第一个参数求值就能确定表达式的结果,那么逻辑运算符就不会对第二个参数求值。

整数表示

对于向量《深入理解计算机系统》笔记 - 图12无符号数编码 的定义《深入理解计算机系统》笔记 - 图13

对于向量《深入理解计算机系统》笔记 - 图14补码编码 的定义《深入理解计算机系统》笔记 - 图15。最高有效位《深入理解计算机系统》笔记 - 图16也称为 符号位,它的「权重」为《深入理解计算机系统》笔记 - 图17,是无符号表示中权重的负数。

对于大多数 C 语言的实现,处理同样字长的有符号数和无符号数之间互相转换的一般规则是:数值可能会改变,但是位模式不变

对满足《深入理解计算机系统》笔记 - 图18《深入理解计算机系统》笔记 - 图19补码转换为无符号数《深入理解计算机系统》笔记 - 图20

对满足《深入理解计算机系统》笔记 - 图21《深入理解计算机系统》笔记 - 图22无符号数转换为补码《深入理解计算机系统》笔记 - 图23

对于在范围《深入理解计算机系统》笔记 - 图24之内的值《深入理解计算机系统》笔记 - 图25而言,我们得到 《深入理解计算机系统》笔记 - 图26《深入理解计算机系统》笔记 - 图27。也就是说,在这个范围内的数字有相同的无符号和补码表示。对于这个范围以外的数值,转换需要加上或者减去《深入理解计算机系统》笔记 - 图28

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

无符号数的零扩展:定义宽度为《深入理解计算机系统》笔记 - 图29的位向量《深入理解计算机系统》笔记 - 图30和宽度为《深入理解计算机系统》笔记 - 图31的位向量《深入理解计算机系统》笔记 - 图32,其中《深入理解计算机系统》笔记 - 图33。则《深入理解计算机系统》笔记 - 图34

补码数的符号扩展:定义宽度为《深入理解计算机系统》笔记 - 图35的位向量《深入理解计算机系统》笔记 - 图36和宽度为《深入理解计算机系统》笔记 - 图37的位向量《深入理解计算机系统》笔记 - 图38%22%20aria-hidden%3D%22true%22%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMATHI-78%22%20x%3D%220%22%20y%3D%220%22%3E%3C%2Fuse%3E%0A%20%3Cuse%20transform%3D%22scale(0.707)%22%20xlink%3Ahref%3D%22%23E1-MJMAIN-2032%22%20x%3D%22809%22%20y%3D%22583%22%3E%3C%2Fuse%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMAIN-20D7%22%20x%3D%22668%22%20y%3D%22402%22%3E%3C%2Fuse%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMAIN-3D%22%20x%3D%221145%22%20y%3D%220%22%3E%3C%2Fuse%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMAIN-5B%22%20x%3D%222201%22%20y%3D%220%22%3E%3C%2Fuse%3E%0A%3Cg%20fill%3D%22blue%22%20stroke%3D%22blue%22%20transform%3D%22translate(2479%2C0)%22%3E%0A%3Cg%20fill%3D%22blue%22%20stroke%3D%22blue%22%3E%0A%3Cg%20fill%3D%22blue%22%20stroke%3D%22blue%22%3E%0A%3Cg%20fill%3D%22blue%22%20stroke%3D%22blue%22%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMATHI-78%22%3E%3C%2Fuse%3E%0A%3C%2Fg%3E%0A%3Cg%20fill%3D%22blue%22%20stroke%3D%22blue%22%20transform%3D%22translate(572%2C-150)%22%3E%0A%3Cg%20fill%3D%22blue%22%20stroke%3D%22blue%22%3E%0A%20%3Cuse%20transform%3D%22scale(0.707)%22%20xlink%3Ahref%3D%22%23E1-MJMATHI-77%22%3E%3C%2Fuse%3E%0A%3C%2Fg%3E%0A%3Cg%20fill%3D%22blue%22%20stroke%3D%22blue%22%20transform%3D%22translate(506%2C0)%22%3E%0A%20%3Cuse%20transform%3D%22scale(0.707)%22%20xlink%3Ahref%3D%22%23E1-MJMAIN-2212%22%3E%3C%2Fuse%3E%0A%3C%2Fg%3E%0A%3Cg%20fill%3D%22blue%22%20stroke%3D%22blue%22%20transform%3D%22translate(1057%2C0)%22%3E%0A%20%3Cuse%20transform%3D%22scale(0.707)%22%20xlink%3Ahref%3D%22%23E1-MJMAIN-31%22%3E%3C%2Fuse%3E%0A%3C%2Fg%3E%0A%3C%2Fg%3E%0A%3C%2Fg%3E%0A%3Cg%20fill%3D%22blue%22%20stroke%3D%22blue%22%20transform%3D%22translate(2083%2C0)%22%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMAIN-2C%22%3E%3C%2Fuse%3E%0A%3C%2Fg%3E%0A%3Cg%20fill%3D%22blue%22%20stroke%3D%22blue%22%20transform%3D%22translate(2528%2C0)%22%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMAIN-2026%22%3E%3C%2Fuse%3E%0A%3C%2Fg%3E%0A%3Cg%20fill%3D%22blue%22%20stroke%3D%22blue%22%20transform%3D%22translate(3867%2C0)%22%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMAIN-2C%22%3E%3C%2Fuse%3E%0A%3C%2Fg%3E%0A%3Cg%20fill%3D%22blue%22%20stroke%3D%22blue%22%20transform%3D%22translate(4313%2C0)%22%3E%0A%3Cg%20fill%3D%22blue%22%20stroke%3D%22blue%22%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMATHI-78%22%3E%3C%2Fuse%3E%0A%3C%2Fg%3E%0A%3Cg%20fill%3D%22blue%22%20stroke%3D%22blue%22%20transform%3D%22translate(572%2C-150)%22%3E%0A%3Cg%20fill%3D%22blue%22%20stroke%3D%22blue%22%3E%0A%20%3Cuse%20transform%3D%22scale(0.707)%22%20xlink%3Ahref%3D%22%23E1-MJMATHI-77%22%3E%3C%2Fuse%3E%0A%3C%2Fg%3E%0A%3Cg%20fill%3D%22blue%22%20stroke%3D%22blue%22%20transform%3D%22translate(506%2C0)%22%3E%0A%20%3Cuse%20transform%3D%22scale(0.707)%22%20xlink%3Ahref%3D%22%23E1-MJMAIN-2212%22%3E%3C%2Fuse%3E%0A%3C%2Fg%3E%0A%3Cg%20fill%3D%22blue%22%20stroke%3D%22blue%22%20transform%3D%22translate(1057%2C0)%22%3E%0A%20%3Cuse%20transform%3D%22scale(0.707)%22%20xlink%3Ahref%3D%22%23E1-MJMAIN-31%22%3E%3C%2Fuse%3E%0A%3C%2Fg%3E%0A%3C%2Fg%3E%0A%3C%2Fg%3E%0A%3Cg%20fill%3D%22blue%22%20stroke%3D%22blue%22%20transform%3D%22translate(6396%2C0)%22%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMAIN-2C%22%3E%3C%2Fuse%3E%0A%3C%2Fg%3E%0A%3Cg%20fill%3D%22blue%22%20stroke%3D%22blue%22%20transform%3D%22translate(6841%2C0)%22%3E%0A%3Cg%20fill%3D%22blue%22%20stroke%3D%22blue%22%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMATHI-78%22%3E%3C%2Fuse%3E%0A%3C%2Fg%3E%0A%3Cg%20fill%3D%22blue%22%20stroke%3D%22blue%22%20transform%3D%22translate(572%2C-150)%22%3E%0A%3Cg%20fill%3D%22blue%22%20stroke%3D%22blue%22%3E%0A%20%3Cuse%20transform%3D%22scale(0.707)%22%20xlink%3Ahref%3D%22%23E1-MJMATHI-77%22%3E%3C%2Fuse%3E%0A%3C%2Fg%3E%0A%3Cg%20fill%3D%22blue%22%20stroke%3D%22blue%22%20transform%3D%22translate(506%2C0)%22%3E%0A%20%3Cuse%20transform%3D%22scale(0.707)%22%20xlink%3Ahref%3D%22%23E1-MJMAIN-2212%22%3E%3C%2Fuse%3E%0A%3C%2Fg%3E%0A%3Cg%20fill%3D%22blue%22%20stroke%3D%22blue%22%20transform%3D%22translate(1057%2C0)%22%3E%0A%20%3Cuse%20transform%3D%22scale(0.707)%22%20xlink%3Ahref%3D%22%23E1-MJMAIN-31%22%3E%3C%2Fuse%3E%0A%3C%2Fg%3E%0A%3C%2Fg%3E%0A%3C%2Fg%3E%0A%3C%2Fg%3E%0A%3C%2Fg%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMAIN-2C%22%20x%3D%2211405%22%20y%3D%220%22%3E%3C%2Fuse%3E%0A%3Cg%20transform%3D%22translate(11850%2C0)%22%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMATHI-78%22%20x%3D%220%22%20y%3D%220%22%3E%3C%2Fuse%3E%0A%3Cg%20transform%3D%22translate(572%2C-150)%22%3E%0A%20%3Cuse%20transform%3D%22scale(0.707)%22%20xlink%3Ahref%3D%22%23E1-MJMATHI-77%22%20x%3D%220%22%20y%3D%220%22%3E%3C%2Fuse%3E%0A%20%3Cuse%20transform%3D%22scale(0.707)%22%20xlink%3Ahref%3D%22%23E1-MJMAIN-2212%22%20x%3D%22716%22%20y%3D%220%22%3E%3C%2Fuse%3E%0A%20%3Cuse%20transform%3D%22scale(0.707)%22%20xlink%3Ahref%3D%22%23E1-MJMAIN-32%22%20x%3D%221495%22%20y%3D%220%22%3E%3C%2Fuse%3E%0A%3C%2Fg%3E%0A%3C%2Fg%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMAIN-2C%22%20x%3D%2213933%22%20y%3D%220%22%3E%3C%2Fuse%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMAIN-2026%22%20x%3D%2214378%22%20y%3D%220%22%3E%3C%2Fuse%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMAIN-2C%22%20x%3D%2215718%22%20y%3D%220%22%3E%3C%2Fuse%3E%0A%3Cg%20transform%3D%22translate(16163%2C0)%22%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMATHI-78%22%20x%3D%220%22%20y%3D%220%22%3E%3C%2Fuse%3E%0A%20%3Cuse%20transform%3D%22scale(0.707)%22%20xlink%3Ahref%3D%22%23E1-MJMAIN-30%22%20x%3D%22809%22%20y%3D%22-213%22%3E%3C%2Fuse%3E%0A%3C%2Fg%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMAIN-5D%22%20x%3D%2217189%22%20y%3D%220%22%3E%3C%2Fuse%3E%0A%3C%2Fg%3E%0A%3C%2Fsvg%3E#card=math&code=%5Cvec%7Bx%27%7D%3D%5B%5Ctextcolor%7Bblue%7D%7Bx%7Bw-1%7D%2C%5Cdots%2Cx%7Bw-1%7D%2Cx%7Bw-1%7D%7D%2Cx%7Bw-2%7D%2C%5Cdots%2Cx%7B0%7D%5D&id=IdtZl),其中《深入理解计算机系统》笔记 - 图39。则《深入理解计算机系统》笔记 - 图40%22%20aria-hidden%3D%22true%22%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMATHI-42%22%20x%3D%220%22%20y%3D%220%22%3E%3C%2Fuse%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMAIN-32%22%20x%3D%22759%22%20y%3D%220%22%3E%3C%2Fuse%3E%0A%3Cg%20transform%3D%22translate(1260%2C0)%22%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMATHI-54%22%20x%3D%220%22%20y%3D%220%22%3E%3C%2Fuse%3E%0A%20%3Cuse%20transform%3D%22scale(0.707)%22%20xlink%3Ahref%3D%22%23E1-MJMATHI-77%22%20x%3D%22826%22%20y%3D%22-213%22%3E%3C%2Fuse%3E%0A%3C%2Fg%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMAIN-28%22%20x%3D%222451%22%20y%3D%220%22%3E%3C%2Fuse%3E%0A%3Cg%20transform%3D%22translate(2840%2C0)%22%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMATHI-78%22%20x%3D%220%22%20y%3D%220%22%3E%3C%2Fuse%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMAIN-20D7%22%20x%3D%22549%22%20y%3D%2235%22%3E%3C%2Fuse%3E%0A%3C%2Fg%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMAIN-29%22%20x%3D%223413%22%20y%3D%220%22%3E%3C%2Fuse%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMAIN-3D%22%20x%3D%224080%22%20y%3D%220%22%3E%3C%2Fuse%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMATHI-42%22%20x%3D%225136%22%20y%3D%220%22%3E%3C%2Fuse%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMAIN-32%22%20x%3D%225896%22%20y%3D%220%22%3E%3C%2Fuse%3E%0A%3Cg%20transform%3D%22translate(6396%2C0)%22%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMATHI-54%22%20x%3D%220%22%20y%3D%220%22%3E%3C%2Fuse%3E%0A%3Cg%20transform%3D%22translate(584%2C-182)%22%3E%0A%20%3Cuse%20transform%3D%22scale(0.707)%22%20xlink%3Ahref%3D%22%23E1-MJMATHI-77%22%20x%3D%220%22%20y%3D%220%22%3E%3C%2Fuse%3E%0A%20%3Cuse%20transform%3D%22scale(0.574)%22%20xlink%3Ahref%3D%22%23E1-MJMAIN-2032%22%20x%3D%22882%22%20y%3D%22355%22%3E%3C%2Fuse%3E%0A%3C%2Fg%3E%0A%3C%2Fg%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMAIN-28%22%20x%3D%227816%22%20y%3D%220%22%3E%3C%2Fuse%3E%0A%3Cg%20transform%3D%22translate(8206%2C0)%22%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMATHI-78%22%20x%3D%220%22%20y%3D%220%22%3E%3C%2Fuse%3E%0A%20%3Cuse%20transform%3D%22scale(0.707)%22%20xlink%3Ahref%3D%22%23E1-MJMAIN-2032%22%20x%3D%22809%22%20y%3D%22583%22%3E%3C%2Fuse%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMAIN-20D7%22%20x%3D%22668%22%20y%3D%22402%22%3E%3C%2Fuse%3E%0A%3C%2Fg%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMAIN-29%22%20x%3D%229073%22%20y%3D%220%22%3E%3C%2Fuse%3E%0A%3C%2Fg%3E%0A%3C%2Fsvg%3E#card=math&code=B2T_w%28%5Cvec%7Bx%7D%29%3DB2T%7Bw%27%7D%28%5Cvec%7Bx%27%7D%29&id=oISr5)。

无符号数的截断:令《深入理解计算机系统》笔记 - 图41等于位向量《深入理解计算机系统》笔记 - 图42,而《深入理解计算机系统》笔记 - 图43是将其截断为《深入理解计算机系统》笔记 - 图44位的结果:《深入理解计算机系统》笔记 - 图45。令《深入理解计算机系统》笔记 - 图46《深入理解计算机系统》笔记 - 图47。则《深入理解计算机系统》笔记 - 图48

补码数的截断:令《深入理解计算机系统》笔记 - 图49等于位向量《深入理解计算机系统》笔记 - 图50,而《深入理解计算机系统》笔记 - 图51是将其截断为《深入理解计算机系统》笔记 - 图52位的结果:《深入理解计算机系统》笔记 - 图53。令《深入理解计算机系统》笔记 - 图54《深入理解计算机系统》笔记 - 图55。则《深入理解计算机系统》笔记 - 图56

有符号数到无符号数的隐式转换,会导致错误或者漏洞,避免这类错误的一种方式就是绝不使用无符号数。

当我们想要把数字仅仅看作是位的集合,而没有任何数字意义时,无符号数值是非常有用的。

整数运算

对满足《深入理解计算机系统》笔记 - 图57《深入理解计算机系统》笔记 - 图58《深入理解计算机系统》笔记 - 图59无符号数加法《深入理解计算机系统》笔记 - 图60

对满足《深入理解计算机系统》笔记 - 图61的任意《深入理解计算机系统》笔记 - 图62,其《深入理解计算机系统》笔记 - 图63位的 无符号数求反《深入理解计算机系统》笔记 - 图64

对满足《深入理解计算机系统》笔记 - 图65的整数《深入理解计算机系统》笔记 - 图66《深入理解计算机系统》笔记 - 图67补码加法《深入理解计算机系统》笔记 - 图68

对满足《深入理解计算机系统》笔记 - 图69的 ,其《深入理解计算机系统》笔记 - 图70位的 补码求反《深入理解计算机系统》笔记 - 图71

执行位级别补码求反的一种方式是对每一位求反,然后再对结果加 1。在 C 语言中,我们可以说对于任意整数值 x,计算表达式 -x~x+1 得到的结果完全一致。

对满足《深入理解计算机系统》笔记 - 图72《深入理解计算机系统》笔记 - 图73《深入理解计算机系统》笔记 - 图74无符号数乘法《深入理解计算机系统》笔记 - 图75

对满足《深入理解计算机系统》笔记 - 图76《深入理解计算机系统》笔记 - 图77《深入理解计算机系统》笔记 - 图78补码乘法《深入理解计算机系统》笔记 - 图79

计算机执行的整数运算实际上是一种 模运算形式,表示数字的有限字长限制了可能值的取值范围,运算结果可能溢出。

补码表示提供了一种既能表示负数,也能表示正数的灵活方法,同时使用了与执行无符号算数相同的位级实现,这些运算包括像加法、减法、乘法甚至除法,无论运算数是以无符号形式还是以补码形式表示的,都有完全一样或者非常类似的位级行为

浮点数

对于《深入理解计算机系统》笔记 - 图80的表示法,每个二进制位《深入理解计算机系统》笔记 - 图81的取值范围是 0 和 1,浮点数编码 的定义《深入理解计算机系统》笔记 - 图82,符号点左边的位的权是 2 的正幂,右边的位的全是 2 的负幂。

形如《深入理解计算机系统》笔记 - 图83的数表示的是刚好小于 1 的数,例如《深入理解计算机系统》笔记 - 图84表示《深入理解计算机系统》笔记 - 图85,表示法《深入理解计算机系统》笔记 - 图86用于表示这样的数值。

十进制表示法不能准确地表达像《深入理解计算机系统》笔记 - 图87《深入理解计算机系统》笔记 - 图88这样的数,类似,小数的二进制表示法只能表示那些能够被写成《深入理解计算机系统》笔记 - 图89的数

IEEE 浮点数标准使用《深入理解计算机系统》笔记 - 图90的形式来表示一个数:

  • 符号 sign《深入理解计算机系统》笔记 - 图91决定这个数是负数(《深入理解计算机系统》笔记 - 图92)还是正数(《深入理解计算机系统》笔记 - 图93);
  • 尾数 significand《深入理解计算机系统》笔记 - 图94是一个二进制小数,它的范围是《深入理解计算机系统》笔记 - 图95或者是《深入理解计算机系统》笔记 - 图96
  • 指数 exponent《深入理解计算机系统》笔记 - 图97通过 2 的次幂对浮点数值进行加权。

IEEE 浮点数的位表示分为三个字段:

  • 1 位的符号字段 《深入理解计算机系统》笔记 - 图98 编码符号《深入理解计算机系统》笔记 - 图99
  • k 位的指数字段《深入理解计算机系统》笔记 - 图100 编码指数《深入理解计算机系统》笔记 - 图101
  • n 位的尾数字段《深入理解计算机系统》笔记 - 图102编码尾数《深入理解计算机系统》笔记 - 图103

在单精度浮点格式(float)中,《深入理解计算机系统》笔记 - 图104《深入理解计算机系统》笔记 - 图105%22%20aria-hidden%3D%22true%22%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMATHI-65%22%20x%3D%220%22%20y%3D%220%22%3E%3C%2Fuse%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMATHI-78%22%20x%3D%22466%22%20y%3D%220%22%3E%3C%2Fuse%3E%0A%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMATHI-70%22%20x%3D%221039%22%20y%3D%220%22%3E%3C%2Fuse%3E%0A%3C%2Fg%3E%0A%3C%2Fsvg%3E#card=math&code=exp&id=v5TN1)、《深入理解计算机系统》笔记 - 图106分别占 1 位、8 位、23 位。在双精度浮点格式(double)中,《深入理解计算机系统》笔记 - 图107《深入理解计算机系统》笔记 - 图108《深入理解计算机系统》笔记 - 图109分别占 1 位、11 位、52 位。

  1. Single precision
  2. 31 30 23 22 0
  3. +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
  4. |s| exp | frac |
  5. +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
  6. Double precision
  7. 63 62 52 51 32
  8. +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
  9. |s| exp | frac(51:32) |
  10. +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
  11. 31 0
  12. +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
  13. | frac(31:0) |
  14. +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+

当指数《深入理解计算机系统》笔记 - 图110的位模式不全为 0,也不全为 1 时,浮点数数值是规范化的。指数字段被解释为以偏移(biased)形式表示的有符号整数。指数的值是《深入理解计算机系统》笔记 - 图111《深入理解计算机系统》笔记 - 图112是由《深入理解计算机系统》笔记 - 图113表示的无符号数,《深入理解计算机系统》笔记 - 图114《深入理解计算机系统》笔记 - 图115的值(单精度是 127,双精度是 1023)。尾数《深入理解计算机系统》笔记 - 图116被解释为描述小数值《深入理解计算机系统》笔记 - 图117,其中《深入理解计算机系统》笔记 - 图118,二进制表示为《深入理解计算机系统》笔记 - 图119。尾数的值是《深入理解计算机系统》笔记 - 图120,因为总是能够调整指数《深入理解计算机系统》笔记 - 图121,使得尾数《深入理解计算机系统》笔记 - 图122的值在范围《深入理解计算机系统》笔记 - 图123之中,所以既然第一位总是等于 1,那么就不需要显式地表示它。

当指数《深入理解计算机系统》笔记 - 图124的位模式全为 0 时,浮点数数值是非规范化的。指数的值是《深入理解计算机系统》笔记 - 图125,尾数的值是《深入理解计算机系统》笔记 - 图126。非规范化数有两个用途:提供了表示数值 0 的方式、提供了表示非常接近于数值 0.0 的方式。

当指数《深入理解计算机系统》笔记 - 图127的位模式全为 1 时,浮点数数值表示特殊值。当时尾数《深入理解计算机系统》笔记 - 图128的位模式全为 0 时,此时浮点数值表示无穷。当时尾数《深入理解计算机系统》笔记 - 图129的位模式不全为 0 时,此时浮点数值表示 NaN,即不是一个数(Not a Number)。