第一章 计算机系统漫游
所有计算机系统都是由硬件和系统软件组成。
以hello.c的生命周期为例学习系统知识
#include <stdio.h>
int main()
{
printf("Hello world!");
return 0;
}
1.1 信息就是位+上下文
源文件在系统中实际是由0和1组成的位(bit)序列,8位组成一个字节(byte),每个字节代表一个字符。大部分现代系统使用ASCII码表,注意大小写字符的ASCII是不同的。
系统中的所有信息--包括磁盘文件、存储器中的程序、存储器中存放的用户数据以及网络上传送的数据都是由一串bit表示的。
在不同的上下文中,同样的bit序列表示的意义可能不同,比如整型、字符串;
ASCII码一览表,ASCII码对照表_54笨鸟 (54benniao.com)
二进制 | 十进制 | 十六进制 | 字符/缩写 | 解释 |
---|---|---|---|---|
00000000 | 0 | 00 | NUL (NULL) | 空字符 |
00000001 | 1 | 01 | SOH (Start Of Headling) | 标题开始 |
00000010 | 2 | 02 | STX (Start Of Text) | 正文开始 |
00000011 | 3 | 03 | ETX (End Of Text) | 正文结束 |
00000100 | 4 | 04 | EOT (End Of Transmission) | 传输结束 |
00000101 | 5 | 05 | ENQ (Enquiry) | 请求 |
00000110 | 6 | 06 | ACK (Acknowledge) | 回应/响应/收到通知 |
00000111 | 7 | 07 | BEL (Bell) | 响铃 |
00001000 | 8 | 08 | BS (Backspace) | 退格 |
00001001 | 9 | 09 | HT (Horizontal Tab) | 水平制表符 |
00001010 | 10 | 0A | LF/NL(Line Feed/New Line) | 换行键 |
00001011 | 11 | 0B | VT (Vertical Tab) | 垂直制表符 |
00001100 | 12 | 0C | FF/NP (Form Feed/New Page) | 换页键 |
00001101 | 13 | 0D | CR (Carriage Return) | 回车键 |
00001110 | 14 | 0E | SO (Shift Out) | 不用切换 |
00001111 | 15 | 0F | SI (Shift In) | 启用切换 |
00010000 | 16 | 10 | DLE (Data Link Escape) | 数据链路转义 |
00010001 | 17 | 11 | DC1/XON (Device Control 1/Transmission On) | 设备控制1/传输开始 |
00010010 | 18 | 12 | DC2 (Device Control 2) | 设备控制2 |
00010011 | 19 | 13 | DC3/XOFF (Device Control 3/Transmission Off) | 设备控制3/传输中断 |
00010100 | 20 | 14 | DC4 (Device Control 4) | 设备控制4 |
00010101 | 21 | 15 | NAK (Negative Acknowledge) | 无响应/非正常响应/拒绝接收 |
00010110 | 22 | 16 | SYN (Synchronous Idle) | 同步空闲 |
00010111 | 23 | 17 | ETB (End of Transmission Block) | 传输块结束/块传输终止 |
00011000 | 24 | 18 | CAN (Cancel) | 取消 |
00011001 | 25 | 19 | EM (End of Medium) | 已到介质末端/介质存储已满/介质中断 |
00011010 | 26 | 1A | SUB (Substitute) | 替补/替换 |
00011011 | 27 | 1B | ESC (Escape) | 逃离/取消 |
00011100 | 28 | 1C | FS (File Separator) | 文件分割符 |
00011101 | 29 | 1D | GS (Group Separator) | 组分隔符/分组符 |
00011110 | 30 | 1E | RS (Record Separator) | 记录分离符 |
00011111 | 31 | 1F | US (Unit Separator) | 单元分隔符 |
00100000 | 32 | 20 | (Space) | 空格 |
00100001 | 33 | 21 | ! | |
00100010 | 34 | 22 | " | |
00100011 | 35 | 23 | # | |
00100100 | 36 | 24 | $ | |
00100101 | 37 | 25 | % | |
00100110 | 38 | 26 | & | |
00100111 | 39 | 27 | ' | |
00101000 | 40 | 28 | ( | |
00101001 | 41 | 29 | ) | |
00101010 | 42 | 2A | * | |
00101011 | 43 | 2B | + | |
00101100 | 44 | 2C | , | |
00101101 | 45 | 2D | - | |
00101110 | 46 | 2E | . | |
00101111 | 47 | 2F | / | |
00110000 | 48 | 30 | 0 | |
00110001 | 49 | 31 | 1 | |
00110010 | 50 | 32 | 2 | |
00110011 | 51 | 33 | 3 | |
00110100 | 52 | 34 | 4 | |
00110101 | 53 | 35 | 5 | |
00110110 | 54 | 36 | 6 | |
00110111 | 55 | 37 | 7 | |
00111000 | 56 | 38 | 8 | |
00111001 | 57 | 39 | 9 | |
00111010 | 58 | 3A | : | |
00111011 | 59 | 3B | ; | |
00111100 | 60 | 3C | < | |
00111101 | 61 | 3D | = | |
00111110 | 62 | 3E | > | |
00111111 | 63 | 3F | ? | |
01000000 | 64 | 40 | @ | |
01000001 | 65 | 41 | A | |
01000010 | 66 | 42 | B | |
01000011 | 67 | 43 | C | |
01000100 | 68 | 44 | D | |
01000101 | 69 | 45 | E | |
01000110 | 70 | 46 | F | |
01000111 | 71 | 47 | G | |
01001000 | 72 | 48 | H | |
01001001 | 73 | 49 | I | |
01001010 | 74 | 4A | J | |
01001011 | 75 | 4B | K | |
01001100 | 76 | 4C | L | |
01001101 | 77 | 4D | M | |
01001110 | 78 | 4E | N | |
01001111 | 79 | 4F | O | |
01010000 | 80 | 50 | P | |
01010001 | 81 | 51 | Q | |
01010010 | 82 | 52 | R | |
01010011 | 83 | 53 | S | |
01010100 | 84 | 54 | T | |
01010101 | 85 | 55 | U | |
01010110 | 86 | 56 | V | |
01010111 | 87 | 57 | W | |
01011000 | 88 | 58 | X | |
01011001 | 89 | 59 | Y | |
01011010 | 90 | 5A | Z | |
01011011 | 91 | 5B | [ | |
01011100 | 92 | 5C | \ | |
01011101 | 93 | 5D | ] | |
01011110 | 94 | 5E | ^ | |
01011111 | 95 | 5F | _ | |
01100000 | 96 | 60 | ` | |
01100001 | 97 | 61 | a | |
01100010 | 98 | 62 | b | |
01100011 | 99 | 63 | c | |
01100100 | 100 | 64 | d | |
01100101 | 101 | 65 | e | |
01100110 | 102 | 66 | f | |
01100111 | 103 | 67 | g | |
01101000 | 104 | 68 | h | |
01101001 | 105 | 69 | i | |
01101010 | 106 | 6A | j | |
01101011 | 107 | 6B | k | |
01101100 | 108 | 6C | l | |
01101101 | 109 | 6D | m | |
01101110 | 110 | 6E | n | |
01101111 | 111 | 6F | o | |
01110000 | 112 | 70 | p | |
01110001 | 113 | 71 | q | |
01110010 | 114 | 72 | r | |
01110011 | 115 | 73 | s | |
01110100 | 116 | 74 | t | |
01110101 | 117 | 75 | u | |
01110110 | 118 | 76 | v | |
01110111 | 119 | 77 | w | |
01111000 | 120 | 78 | x | |
01111001 | 121 | 79 | y | |
01111010 | 122 | 7A | z | |
01111011 | 123 | 7B | { | |
01111100 | 124 | 7C | | | |
01111101 | 125 | 7D | } | |
01111110 | 126 | 7E | ~ | |
01111111 | 127 | 7F | DEL (Delete) | 删除 |
1.2 程序被其它程序翻译成不同的格式
c程序到可执行程序是由编译器驱动(compiler driver)实现的,要经历四个阶段
预处理:预处理器(cpp)根据#开头的命令进行展开,生成hello.i
编译:编译器(ccl)将hello.i翻译成汇编程序hello.S
汇编:汇编器(as)将hello.S翻译成机器语言指令把这些指令打包成可重定位(relocatable)目标程序的格式,并将结果保存在hello.o中。他是机器语言的二进制文件,用文本打开是乱码。
链接:所有程序都会使用库函数,比如hello.c中的printf,链接器(ld)负责把他们合并到我们的程序中,并生成可执行目标文件hello。
1.3 了解编译系统如何工作是大有益处的
优化程序性能
理解链接时出现的错误
避免安全漏洞
1.4 处理器读并解释存储在存储器中的指令
hello.c被编译成只可行程序hello存储在磁盘中,需要在shell应用程序中执行,shell是一种命令行解释器。
1.4.1 系统的硬件组成
总线:负责数据传输,通常被设计成定长的字节块,也就是字(word),字中的字节数叫字长,不同的系统字长不同,常见的有1、2、4、8等。
I\O设备:是系统与外界联系的通道,如上图中的鼠标,键盘,显示器,磁盘等。每个I\O设备都是通过一个控制器或适配器与I\O总线连接。
主存:是临时存储设备,在处理器执行程序时,用来存放程序和程序处理的数据。物理上由DRAM芯片组成,逻辑上是线性字节数组组成,每个字节有自己唯一的地址,从0开始。
处理器:中央处理单元(CPU),有程序计数器PC、算术逻辑运算单元ALU和寄存器组成。负责解释执行程序。工作流程:从PC指向的内存读取指令,执行对应的操作,更新PC指向下一条指令。
1.4.2 执行hello程序
1. 当在shell输入./hello 时,shell程序逐一读取字符到CPU寄存器,再把它送到内存中。
2. 当按下回车时,shell知道我们已经结束命令输入,然后把hello目标文件中的代码和数据从磁盘拷贝到主存。
3. 处理器执行hello中的机器语言指令,将"hello,world!\n"从主存拷贝到寄存器,在从寄存器拷贝到显示设备。
1.5 高速缓存
为解决处理器和主存之间速度差异,设计了高速缓存(cache),用于存放处理器马上可能会用的信息。它的速度比主存快,L1缓存几乎和cpu一样快,L2比L1慢5倍,但仍然比主存快5到10倍,物理上通过SRAM实现。
1.6 形成层次结构的存储设备
主存可以称为磁盘的高速缓存,L2可以称为主存的高速缓存,L1可以称为L2的高速缓存
1.7 操作系统管理硬件
应用程序不可以直接访问硬件,需要经过操作系统
操作系统的两个基本功能:
1. 防止硬件被恶意的,失控的、不安全的应用滥用
2. 屏蔽底层硬件差异,为应用提供统一的接口。
操作系统通过进程、虚拟存储器和文件三个抽象的概念实现上述两个功能
文件是对I\O设备的抽象
虚拟存储器是对主存+I\O设备的抽象
进程是对处理器+主存+I\O设备的抽象
1.7.1 进程
进程是操作系统对运行程序的抽象。每个进程都认为自己独享硬件资源。操作系统可以同时运行多个进程,宏观上是并行,但微观上是串行的(多核架构可以并行),一个进程的指令和另一个进程的指令是交错进行的,操作系统实现这种交错执行的机制叫做上下文切换。
进程运行所需要的所有状态称为上下文,如PC和寄存器的当前值,主存的内容等。
1.7.2 线程
进程可以由多个称作线程的执行单元组成,每个线程都运行在进程的上下文中,共享同样的代码和全局数据。
1.7.3 虚拟存储器
虚拟存储器是一个抽象概念,它为每个进程提供一个假象,好像每个进程都在独占主存。每个进程看到的存储器都是一致的,称为虚拟地址空间。最上面的1/4留个操作系统,剩下的给应用程序。
1.7.4 文件
所见皆文件,屏蔽底层差异,通过标准系统函数调用访问。
1.8 利用网络系统和其他系统通信
通过telnet在远程主机运行hello流程