操作系统专题：进程线程、内存管理、文件系统、I/O 多路复用、Linux 与 Shell

发表于2018-07-15|计算机基础

|浏览量:

操作系统位于应用与硬件之间，向上提供进程、虚拟内存、文件和网络等抽象，向下管理 CPU、内存与设备。它的核心目标不是让资源无限，而是在有限硬件上实现共享、隔离、保护和可观察的性能。

学习可沿一条请求路径展开：程序通过系统调用进入内核；调度器让线程获得 CPU；虚拟地址经页表映射到物理页；缺页时可能触发分配或磁盘读取；文件系统把路径解析到 inode 和数据块；设备完成 I/O 后以中断通知；内核唤醒等待线程。这样可把零散名词连接起来。

进程是资源与隔离边界，线程是执行流；并发需要锁、信号量和条件变量，并警惕死锁。内存管理通过分页、TLB、页面置换和 Swap 在地址空间与物理内存间协调。文件系统负责命名、权限、缓存与崩溃一致性。I/O 多路复用让一个线程观察多个描述符，零拷贝减少数据搬运。

实践中可结合 Linux 工具理解指标：CPU 使用率不等于系统负载，内存“已用”包含可回收缓存，进程阻塞可能来自锁也可能来自 I/O。性能分析应先确定瓶颈资源，再追踪等待链。

误区是只背定义、不画用户态到内核态的流程，或把所有慢都归因于 CPU。小结：以资源生命周期和一次请求为主线，理解抽象背后的状态转换与成本，操作系统知识才会形成整体。

文章作者: Dai Wei

文章链接: https://www.daiwei.biz/knowledge/cs-basics/operating-system/overview/

版权声明: 本博客所有文章除特别声明外，均采用 CC BY-NC-SA 4.0 许可协议。转载请注明来源 Dai Wei！

学习路线操作系统

扫码打赏

微信
支付宝

相关推荐

操作系统文件系统详解：inode、VFS、Page Cache 与日志机制

文件系统把持久化块设备组织成目录和文件。目录项建立名字到 inode 的映射，inode 保存类型、权限、大小、时间和数据块位置；文件名通常不在 inode 内，因此多个硬链接可指向同一 inode。符号链接则保存另一条路径。应用打开路径时，内核逐级解析目录、检查权限并建立打开文件对象，再给进程一个文件描述符。描述符只是进程表中的索引；复制描述符可能共享文件偏移。VFS 提供统一接口，让不同具体文件系统实现 open、read、write 等操作。读取通常先查 Page Cache，命中便免去设备 I/O；写入常先修改缓存页并标脏，内核稍后写回。write 返回不等于数据已落到稳定介质，关键数据需按语义调用 fsync，并注意目录项和文件内容可能需要分别持久化。顺序 I/O 往往比随机 I/O 更容易预读和合并。日志文件系统先记录元数据或事务意图，再写最终位置，崩溃后通过日志恢复一致结构，但并不自动保证应用多文件事务。容量也不只受数据块限制，海量小文件可能先耗尽 inode。误区是把删除文件等同立即释放空间（仍被进程打开时可能继续占用）、...

Java 新特性专题：Java 8 到 Java 26 重要特性梳理

版本节奏Java 6 个月一版，LTS（8、11、17、21）值得长期跟进。非 LTS 预览特性可能调整，生产启用需评估。学习策略Java 8 函数式与 Stream 是基础；11 起 HTTP Client、var；17 密封类与模式匹配；21 虚拟线程与分代 ZGC；后续版本关注字符串模板、结构化并发等预览项。实践方式每版选 1–2 个能在当前项目落地的特性做小 spike，比通读 Release Notes 更有效。课堂外的思考学习「Java 新特性专题：Java 8 到 Java 26 重要特性梳理」时，我把自己放在线上值班的情境里：如果告警与这一主题相关，我能否在较短时间内建立假设并用数据验证？这种提问方式逼迫我从「看过」变成「讲得清楚、做得到」，也避免笔记沦为标题摘抄。与同事的讨论方式我会用白板画出状态机、内存布局或调用链，请同事挑错。若被追问「更高并发或更老 JDK 版本会怎样」，答不上来就回到文首原文链接查 primary source，而不是凭记忆硬编。讨论后把新认识补进笔记末尾。可复现实验为每个主题保留最小复现：一段可运行的 Java 片段、一条...

Java 并发编程专题：线程、锁、JMM、CAS、AQS、线程池与虚拟线程

学习地图并发编程不是「会写 synchronized」就够了。我按由浅入深的顺序给自己划了一条路线：先搞清线程生命周期与中断语义，再理解 JMM 带来的可见性与有序性问题；接着用 CAS 和原子类解决简单计数场景，遇到复杂互斥再落到 AQS 及其衍生锁；最后把线程池参数调优和 Java 21 虚拟线程纳入工程实践。自检清单能否解释「创建线程」与「启动线程」的区别？能否画出 happens-before 在 volatile 写/读上的作用？能否说明为什么线程池不建议用 Executors 静态工厂？小练习用两个线程交替打印 A/B 各 10 次，分别尝试 synchronized、ReentrantLock 和 Semaphore，体会 API 差异与可读性权衡。课堂外的思考学习「Java 并发编程专题：线程、锁、JMM、CAS、AQS、线程池与虚拟线程」时，我把自己放在线上值班的情境里：如果告警与这一主题相关，我能否在较短时间内建立假设并用数据验证？这种提问方式逼迫我从「看过」变成「讲得清楚、做得到」，也避免笔记沦为标题摘抄。与同事的讨论...

操作系统锁与同步机制详解：mutex、semaphore、condition variable、spinlock 与 futex

同步的目标是让并发访问满足不变量。互斥量保证同一时刻只有一个执行者进入临界区，适合保护共享结构；信号量维护许可计数，可限制并发资源数量，也可表达事件，但所有权语义通常弱于互斥量。条件变量用于等待某个共享状态成立。正确模式是在持有互斥锁时用 while 检查谓词，不满足则等待；等待操作原子地释放锁并睡眠，唤醒后重新加锁、再次检查。使用 if 会受虚假唤醒或其他线程抢先消费影响。自旋锁在等待时持续检查，不发生睡眠切换，适合临界区极短且预期等待很少的场景；持锁者被抢占或临界区含 I/O 时，自旋会浪费 CPU。futex 的思路是无竞争时在用户态用原子操作完成，发生竞争时才进入内核睡眠与唤醒，许多用户态锁基于此构建。读写锁允许多个读者并行、写者独占，只有读多写少且临界区足够大时才可能获益，还需关注读者或写者饥饿。任何锁都要控制粒度：过大降低并行，过细增加复杂度和死锁风险。误区是认为原子变量能自动保护多步不变量、条件变量本身保存事件、用自旋锁等待长任务、持锁调用未知回调，以及漏用 finally 释放。小结：先写共享谓词和所有权，再选择等待策略；锁是维护不变量的手段...

操作系统内存管理详解：分页、分段、页面置换、Swap 与 OOM

内存管理为进程提供独立、连续的虚拟地址视图，并把它映射到有限物理内存。分页把虚拟与物理空间切成固定大小的页，通过页表记录映射和权限；分段更贴近代码、数据、栈等逻辑区域，但可产生外部碎片。 CPU 访问虚拟地址时拆出虚拟页号和页内偏移，先查 TLB 缓存的页表项，未命中再走多级页表。页表项不存在可能触发缺页：匿名页可按需分配，文件页可从文件读取，换出页需从 Swap 调回。若地址不合法或权限不符，则向进程报告错误。物理页紧张时，系统回收干净文件页或写回脏页，也可能把匿名页换出。页面置换理论上有 FIFO、LRU、Clock 等策略，实际系统会结合访问位、活跃链表和工作集近似。抖动发生在工作集超过可用内存时，系统频繁换页却很少做有效计算。申请虚拟内存成功不代表物理页已立即准备，也不代表未来不会 OOM。Linux 还会利用剩余内存做页缓存，因而“空闲少”不必然异常。诊断应看可用内存、回收、缺页、Swap 活动和进程驻留集。误区是把虚拟地址等同物理地址、认为缺页都是故障、把 Swap 当内存扩容的等价替代、看到缓存就清理，以及只按平均内存容量规划。小结：分页提供隔离与按需分配...

Java IO 专题：BIO、NIO、AIO、IO 模型与设计模式

三条主线经典 IO（java.io）面向流，易上手；NIO（java.nio）引入 Buffer、Channel、Selector，适合高并发网络；NIO.2（Path/Files）改善文件 API。IO 模型（BIO/NIO/AIO）则是操作系统视角的阻塞与多路复用。学习顺序建议先掌握 InputStream/OutputStream 与装饰器模式，再读 NIO 非阻塞服务端示例，最后对照 Netty 看 EventLoop 如何封装 epoll/kqueue。自检能否用 try-with-resources 正确关闭嵌套流？能否解释「缓冲流为何提升性能」——减少系统调用次数。课堂外的思考学习「Java IO 专题：BIO、NIO、AIO、IO 模型与设计模式」时，我把自己放在线上值班的情境里：如果告警与这一主题相关，我能否在较短时间内建立假设并用数据验证？这种提问方式逼迫我从「看过」变成「讲得清楚、做得到」，也避免笔记沦为标题摘抄。与同事的讨论方式我会用白板画出状态机、内存布局或调用链，请同事挑错。若被追问「更高并...

评论

数据加载中