1. 从看不见的管家说起操作系统到底在管什么很多人第一次接触操作系统这门课看到的第一句话往往是操作系统是管理计算机硬件与软件资源的程序。这句话没错但它太像一句正确的废话了。我当年学的时候也是一头雾水背下来了考试也能写可心里始终没有一个具体的画面。后来自己动手写了一些底层的小程序又折腾过嵌入式设备才慢慢把这句话翻译成了人话。你可以把一台计算机想象成一家规模不小的餐厅。CPU是后厨里那位手脚最快的掌勺大厨内存是操作台硬盘是仓库各种外设——键盘、鼠标、显示器、打印机——就是传菜口和服务员。问题是如果没有人来调度大厨可能同时被十个单子叫走操作台堆满了食材却找不到要用的那一样仓库里的东西谁想拿就拿传菜口乱成一锅粥。这时候就需要一个大堂经理他不做菜但他决定谁先做、谁后做、食材放哪、仓库怎么登记、客人怎么排队。这个大堂经理就是操作系统。所以操作系统最核心的职责其实可以拆成四件事进程管理谁用CPU、用多久、怎么切换、内存管理程序放哪、怎么分配、怎么隔离、文件管理数据怎么存、怎么找、怎么组织、设备管理怎么和五花八门的硬件打交道。这四件事几乎贯穿了整门操作系统课程后面你学的每一个算法、每一种机制基本都能归到这四个筐里。我特别想强调一点学操作系统概论最忌讳的就是把它当成一门背诵课。如果你只是记住操作系统有并发、共享、虚拟、异步四个特征那考完试就全忘了。真正有用的学法是每学一个概念都问自己一句——如果没有这个机制会发生什么比如没有虚拟内存会怎样程序稍微大一点就跑不起来或者一个程序崩溃把整个系统带崩。带着这种如果没有它的思路去学你会发现每个设计都是有血有肉的而不是凭空冒出来的名词。这一章作为全书的开篇任务不是让你立刻掌握某个具体算法而是帮你建立一张地图。你得先知道这片森林里有哪些区域、它们之间怎么连通后面深入到每一棵树的时候才不会迷路。接下来我会从操作系统的定义与角色、发展历程、基本特征、主要功能、以及常见的分类这几个角度把这张地图给你画清楚。不管你是准备考试的学生还是想补一补计算机基础的开发者这一章都值得你慢下来读。2. 操作系统的定义与它扮演的三重角色2.1 从裸机到可用系统的中间层要理解操作系统先得理解一个词——裸机。裸机就是没有任何软件支持的纯硬件一堆芯片、电路板和接口。裸机能不能干活理论上能但极其难用。你得直接用机器指令去控制每一个寄存器、每一根总线写一个Hello World可能都要几百行而且换一块硬件就得全部重写。这种开发方式在今天看来简直不可想象。操作系统干的第一件事就是在裸机之上铺一层地毯把丑陋的硬件细节包起来对外提供一套相对统一、友好的接口。这层地毯在学术上叫虚拟机或者抽象层。你写程序的时候调用read()读文件根本不用管数据是从机械硬盘的哪个扇区、还是从固态硬盘的哪个闪存块读出来的操作系统帮你屏蔽了这些差异。这就是所谓的硬件抽象。我打个比方裸机就像一片没有路的荒地操作系统是修好的公路网应用程序是跑在公路上的车。没有公路车也能开但只能在泥地里颠簸而且每辆车都得自己认路。有了公路车只管往前开路怎么修的、哪里拐弯交给公路系统去操心。这个类比虽然粗糙但能帮你抓住抽象这个词的精髓——把复杂的、多样的底层细节隐藏在一个简单的、统一的接口后面。2.2 资源管理者公平与效率的平衡术操作系统的第二个角色是资源管理者。计算机里的资源是有限的CPU核心就那么几个内存就那么大硬盘空间也不是无限的。而同时想用这些资源的程序可能有很多个。操作系统要做的就是在这些贪心的程序之间做分配和调度。这里有个很微妙的平衡。资源分配得太公平每个程序都分一点可能导致谁都跑不快分配得太偏心某个程序独占资源其他程序就饿死了。操作系统要在公平和效率之间反复权衡。比如进程调度里的时间片轮转算法给每个进程分配一个固定的时间片轮流执行这就是偏向公平而优先级调度则让重要的进程先跑这是偏向效率。实际系统里往往是两者的混合。还有一个关键点是隔离。多个程序同时运行必须保证它们互不干扰。A程序的一个bug不能把B程序的数据改掉更不能让整个系统崩溃。这靠的是内存保护、权限级别等机制。你可以理解为餐厅里每桌客人都有自己的包间虽然共用同一个厨房但谁也进不了别人的包间。2.3 用户与硬件之间的桥梁第三个角色是用户接口。普通用户不会直接和硬件打交道他们通过操作系统提供的界面来使用计算机。这个界面分两种一种是命令行界面CLI你敲命令系统执行另一种是图形用户界面GUI你点图标、拖窗口。不管哪种本质上都是操作系统在中间做翻译把你的意图翻译成硬件能懂的电信号。我个人的体会是命令行和图形界面各有各的不可替代性。图形界面上手快、直观适合日常操作命令行效率高、可脚本化适合批量任务和自动化。很多初学者觉得命令行古老难用其实一旦你熟悉了会发现它才是真正把操作系统的能力释放出来的方式。这也是为什么服务器领域至今仍然以命令行为主。把这三个角色合起来看操作系统的定义就清晰了它是一组控制和管理计算机硬件与软件资源、合理组织多道程序运行、方便用户使用的程序集合。注意程序集合这四个字操作系统不是一个单一的程序而是一大堆程序协同工作的整体。3. 操作系统是怎么一步步长成今天这样的3.1 手工操作阶段一个人独占一台机器最早的计算机根本没有操作系统。那时候的用法是程序员把程序写在纸带上拿着纸带去机房排队等着上机。轮到自己了把纸带装进去手动拨开关启动机器跑完取走结果下一个人再来。整个过程人工干预极多机器大部分时间在等人效率低得可怜。这个阶段的典型特征是单用户独占和人工操作。机器贵得离谱人的时间反而不值钱所以大家也就忍了。但很快人们就发现机器空转的时间太长了必须想办法让它连续工作。这就催生了下一阶段。3.2 批处理阶段让机器自己连着干批处理的核心思想是把一批作业提前准备好交给一个监控程序由它自动地一个接一个地执行中间不需要人工干预。这样机器就能连续运转效率大幅提升。批处理又分单道批处理和多道批处理。单道批处理一次内存里只放一个作业作业执行时如果要做I/O操作CPU就得干等着利用率还是不高。多道批处理则是一次放多个作业进内存当一个作业等待I/O时CPU立刻切换去执行另一个作业。这就是多道程序设计的雏形也是操作系统发展史上一个里程碑式的思想。多道程序设计带来的好处是CPU和I/O设备可以并行工作但同时也带来了新问题多个作业同时在内存里怎么分配内存怎么决定谁先执行怎么保证它们不互相破坏这些问题直接催生了进程管理、内存管理等一系列机制。可以说现代操作系统的绝大部分复杂性都源于多道这两个字。3.3 分时与实时从批到交互的转变批处理虽然效率高但有个致命缺点用户提交作业后可能要等几个小时甚至几天才能拿到结果中间没法交互。对于需要调试程序的开发者来说这简直是折磨。于是分时系统出现了。分时系统的思路是把CPU的时间切成很短的时间片轮流分配给多个终端用户。因为切换速度极快每个用户都感觉自己独占了一台机器。这就实现了交互式使用。你在终端敲一条命令马上就能看到结果体验和批处理天差地别。另一个分支是实时系统。实时系统强调的不是吞吐量而是响应时间的确定性。比如工业控制、飞行控制这类场景系统必须在严格的时间限制内做出响应晚一毫秒都可能出大事。实时系统又分硬实时和软实时硬实时要求绝对不能超时软实时则允许偶尔超时但整体要快。我在这里想提醒一句分时和实时经常被混淆。分时的目标是让每个用户都觉得快本质是公平轮转实时的目标是在截止时间前必须完成本质是确定性。两者的设计取向完全不同别搞混了。3.4 从单机到网络、分布式与个人化再往后随着网络的发展出现了网络操作系统和分布式操作系统。网络操作系统是在各自独立的机器上运行通过网络互相通信、共享资源分布式操作系统则更进一步把多台机器当成一台逻辑上的机器来管理任务可以透明地分布到不同节点上执行。与此同时个人计算机的普及催生了个人计算机操作系统比如我们熟悉的那些桌面系统。再后来智能手机、嵌入式设备、云计算平台又各自演化出了适合自己场景的操作系统形态。可以说操作系统的形态一直在随着硬件和应用需求的变化而演化没有哪一种形态是终极答案。下面这张表把几个主要阶段做个对比方便你建立整体印象阶段核心特征主要解决的问题典型局限手工操作单用户独占、人工干预无效率极低机器空转单道批处理自动连续执行减少人工干预I/O时CPU空闲多道批处理多作业并发提高资源利用率无交互响应慢分时系统时间片轮转实现交互式使用实时性无保证实时系统响应时间确定满足时限要求吞吐量相对较低网络/分布式多机协同资源共享与透明分布复杂度高4. 并发、共享、虚拟、异步四个特征背后的逻辑4.1 并发与并行一字之差天壤之别并发和并行这两个词是操作系统里最容易被搞混的一对。并发指的是多个任务在同一时间段内交替执行注意是时间段宏观上看起来像同时进行微观上CPU在它们之间快速切换。并行指的是多个任务在同一时刻真正同时执行这需要多核CPU或者多台处理器的硬件支持。打个比方一个人同时处理三件事他一会儿回邮件、一会儿接电话、一会儿写文档看起来三件事都在推进但任何一瞬间他只能做一件——这是并发。三个人各做一件事同一瞬间三件事都在发生——这是并行。单核CPU只能实现并发多核CPU才能实现真正的并行。理解这个区别很重要因为它直接关系到你对为什么单核也能多任务这个问题的回答。很多人第一次听说单核CPU能同时跑几十个程序觉得很神奇其实靠的就是并发——快速切换制造同时的错觉。4.2 共享资源不是独占的共享指的是系统中的资源可以被多个并发进程共同使用。共享有两种方式互斥共享和同时共享。互斥共享是指一段时间内只允许一个进程访问比如打印机A在打印的时候B只能等同时共享是指一段时间内允许多个进程同时访问比如磁盘文件多个进程可以同时读同一个文件。这里有个关键点共享和并发是互为条件的。没有并发就谈不上共享没有共享机制并发也无法正常进行。它们俩是一对孪生兄弟必须放在一起理解。4.3 虚拟把一份资源变成多份的魔法虚拟是操作系统里最魔法的一个特征。它的核心思想是把物理上的一个资源通过技术手段变成逻辑上的多个或者把物理上的多个变成逻辑上的一个。前者的典型例子是虚拟处理器——一个物理CPU通过时间片轮转变成多个逻辑CPU每个进程都以为自己独占一个CPU。后者的典型例子是虚拟存储器——多个物理内存块加上硬盘空间组合成一个统一的、比实际物理内存大得多的逻辑地址空间程序以为自己有一大片连续内存。虚拟技术分时分复用和空分复用两类。时分复用是把时间切成片轮流使用比如CPU空分复用是把空间切块分别使用比如内存。理解了这两个维度你就能看穿大部分虚拟化技术的本质。4.4 异步走走停停才是常态异步指的是进程的执行不是一贯到底的而是走走停停、以不可预知的速度向前推进。为什么会这样因为进程在运行过程中可能需要等待I/O、等待其他进程释放资源、等待CPU调度这些等待的时机和时长都是不确定的。异步性带来一个很重要的后果程序的执行结果与它的执行时序有关。同样的代码跑两次可能因为调度顺序不同而得到不同的中间状态。这就是为什么并发编程这么难——你必须考虑各种可能的执行顺序处理好同步和互斥。我见过太多bug都是因为忽略了异步性想当然地以为代码会按写的顺序执行。这四个特征不是孤立的它们互相支撑并发是前提共享是结果虚拟是手段异步是表现。把它们串起来理解比单独背四个词要牢固得多。5. 操作系统到底提供了哪些功能5.1 处理机管理让CPU不闲着处理机管理说白了就是进程管理。它的核心任务包括进程的创建、撤销、状态转换以及进程之间的调度和通信。进程的状态通常有就绪、运行、阻塞三种。就绪是万事俱备只欠CPU运行是正在占用CPU阻塞是等待某个事件比如I/O完成而暂时无法运行。这三种状态之间的转换规则是考试的重点也是理解调度的基础。我建议你画一张状态转换图把每条转换边的触发条件都标清楚比死记硬背强得多。调度算法是这一块的重头戏常见的有先来先服务、短作业优先、时间片轮转、优先级调度、多级反馈队列等。每种算法都有它的适用场景和优缺点没有哪个是万能的。比如短作业优先能降低平均等待时间但可能导致长作业饿死时间片轮转公平但上下文切换开销大。实际系统往往是多种算法的组合。5.2 存储器管理给每个程序一个独立王国存储器管理的目标是让每个程序都觉得自己独占一片连续的内存同时又要高效地利用有限的物理内存。这中间涉及几个核心概念地址空间、地址重定位、内存分配与回收、内存保护、内存扩充。地址重定位分静态和动态两种。静态重定位是在程序装入内存时一次性把逻辑地址转换成物理地址简单但程序一旦装入就不能移动动态重定位是在程序执行时由硬件比如基址寄存器实时转换灵活但需要硬件支持。现代系统基本都用动态重定位。内存扩充主要靠虚拟内存技术包括分页、分段、段页式等。分页是把内存和程序都切成固定大小的块解决外部碎片问题分段是按程序的逻辑结构划分便于共享和保护段页式则是两者的结合。这些概念在后面会有专门章节展开这里先建立个印象。5.3 文件管理数据怎么住进仓库文件管理负责把数据组织成文件并提供创建、删除、读写、查找等操作。它要解决的核心问题是如何在存储介质上高效、可靠、方便地组织和管理大量数据。文件管理涉及几个层面文件的逻辑结构用户看到的样子比如流式文件、记录式文件、文件的物理结构在磁盘上实际怎么存比如连续分配、链接分配、索引分配、目录结构怎么组织文件比如树形目录、存储空间管理空闲块怎么记录和分配。每一层都有多种方案各有取舍。我个人的经验是文件系统这块最容易被忽视但实际工作中又最常打交道。理解文件系统的设计能帮你更好地理解为什么有些操作快、有些操作慢为什么磁盘碎片会影响性能为什么断电可能导致数据丢失。5.4 设备管理和五花八门的硬件打交道设备管理的任务是管理各种输入输出设备包括设备的分配、驱动、以及数据传输的控制。它的核心挑战是硬件的多样性——不同厂商、不同型号的设备接口和协议千差万别。解决这个问题的关键是抽象和分层。操作系统定义一套统一的设备接口具体的硬件差异由设备驱动程序来屏蔽。上层软件只管调用统一接口不用关心底层是什么设备。这就是为什么你换一个品牌的打印机系统装个驱动就能用而不需要重写整个打印子系统。设备管理还涉及缓冲技术、中断处理、SPOOLing技术等。缓冲是为了缓解CPU和I/O设备之间的速度差异中断是设备通知CPU的方式SPOOLing则是把独占设备改造成共享设备典型应用就是打印机的排队。6. 操作系统的分类与各自的脾气6.1 按用途和场景划分操作系统的分类方式有很多最常用的是按应用场景来分。批处理系统追求吞吐量适合大规模数据处理分时系统追求交互性适合多用户共享实时系统追求确定性适合工业控制网络操作系统和分布式操作系统追求资源共享和协同嵌入式操作系统追求小巧、低功耗、高可靠个人计算机操作系统追求易用性和丰富的应用生态。每种系统的设计目标不同导致它们在调度策略、内存管理、文件系统等方面都有不同的取舍。比如实时系统通常不用复杂的虚拟内存因为页面换入换出带来的延迟是不可接受的而个人计算机系统则大量使用虚拟内存因为用户体验比确定性更重要。6.2 按用户数和任务数划分另一种常见的分类维度是用户数和任务数。单用户单任务比如早期的DOS、单用户多任务比如早期的Windows、多用户多任务比如各种服务器系统。这个维度相对简单但能帮你快速定位一个系统的定位。我想说的是分类本身不是目的目的是通过分类理解不同场景对操作系统的不同要求。当你看到一个陌生的操作系统时先问它面向什么场景、服务多少用户、要跑多少任务你就能大致推断出它的设计取向。6.3 现代操作系统的融合趋势有意思的是现代操作系统越来越不纯粹了。一个典型的桌面系统既有分时的交互能力又有批处理的后台任务还支持实时性的音视频处理同时又是网络化的。各种特征在同一个系统里融合边界越来越模糊。这给我们一个启示学操作系统不要死守分类的框框而要理解每种设计背后的权衡逻辑。当你明白了为什么要这样设计你就能理解为什么现代系统会走向融合——因为单一场景的需求已经不能满足用户了系统必须在多个目标之间找平衡。7. 学这一章时我踩过的坑和给你的建议7.1 别把概论当背诵材料我见过太多人学操作系统概论就是划重点、背名词、刷选择题考完就忘。这种学法最大的问题是你记住的是孤立的点而不是一张网。等到学后面的进程调度、内存管理时你会发现前面的概念全忘了又得回头补。我的建议是学概论的时候一定要动手画图。画一张操作系统功能结构图画一张进程状态转换图画一张操作系统发展时间线。画的过程就是建立联系的过程。图不用多漂亮自己能看懂就行。我当年就是靠几张手绘的草图把整章的脉络理清楚的。7.2 用如果没有它来检验理解前面提过这个思路这里再强调一次。每学一个概念问自己如果没有它会怎样。比如如果没有进程调度多个程序怎么共享CPU如果没有虚拟内存大程序怎么运行如果没有文件系统数据怎么组织如果没有设备抽象换硬件要改多少代码能回答这些问题说明你真的理解了而不是背下来了。这个方法我用了很多年屡试不爽。7.3 结合实际系统去观察理论学得再多不结合实际也是空中楼阁。你可以打开自己电脑的任务管理器看看进程列表、CPU占用、内存使用对照着课本上的概念去理解。你会发现课本上抽象的进程内存分配在任务管理器里都是活生生的数字和曲线。如果你有条件可以装一个轻量的Linux系统用命令行去操作文件、查看进程、观察内存。这种看得见摸得着的学习比纯看书效率高得多。我自己就是通过折腾这些才真正把书本知识变成了自己的东西。7.4 常见误区提醒最后列几个初学者常踩的坑帮你提前避开混淆并发与并行记住并发是交替并行是同时单核只能并发。以为虚拟内存就是硬盘当内存用虚拟内存的核心是地址空间的抽象硬盘只是它的后备存储不是简单的扩展。把分时当实时分时追求公平和交互实时追求确定性两者目标不同。忽视异步性并发程序的执行顺序不确定写代码时必须考虑各种可能的时序。死记调度算法理解每种算法解决什么问题、牺牲了什么比记住公式重要。这一章的内容看起来都是概念但它们是后面所有章节的地基。地基打不牢后面越学越吃力。所以别急着往后赶把这一章吃透你会发现后面的路顺很多。我个人最大的体会就是操作系统这门课慢就是快把每个为什么想清楚比刷一百道题都管用。