CS自学指南中的南京大学 NJU OS 操作系统课程并发状态机视角、对象化 OS 体系与 MiniLab 实战【免费下载链接】cs-self-learning计算机自学指南项目地址: https://gitcode.com/GitHub_Trending/cs/cs-self-learning本文以《CS 自学指南》cs-self-learning操作系统章节中收录的南京大学「操作系统设计与实现」NJU OS课程为绝对主体完整梳理该课程的先修要求、独家的讲授框架程序即状态机、对象系统调用、可持久化、5 个 MiniLab 与 4 个 OSLab 的实操路径与全部课程资源。读完后你将明确如何仅凭公开资源自学这门全中文操作系统课、MiniLab 本地自测应如何组织以及它在本指南与 MIT 6.S081、UCB CS162、HIT OS 等课程之间的定位差异。课程档案一门面向自学的中文操作系统课《CS 自学指南》操作系统章节的 NJU OS 词条英文条目见 NJUOS.en.md为该课程给出的基本档案如下项目内容所属大学南京大学先修要求计算机体系结构 扎实的 C 语言功底编程语言C课程难度本指南四星标准预计学时150 小时两个值得注意的档案细节全中文授课。CS学习规划 的操作系统小节明确指出这门课的全部课程内容都是中文的非常方便大家学习。在欧美名校操作系统课程多为英文授课占主导的自学场景里这一点显著降低了语言门槛。先修要求中体系结构被单独强调。课程会触及上下文切换、地址空间、动态链接等主题先修体系结构课如 Coursera: Nand2Tetris、UCB CS61C后这些概念会更容易与硬件视角对上同时要求扎实的 C 语言功底与本指南其他系统课如 MIT 6.S081 要求 C RISC-V 汇编、UCB CS162 要求 C x86 汇编的门槛设定一致。讲授框架一把程序就是状态机作为并发的解释模型词条对课程讲授思路的描述是全篇技术浓度最高的部分。蒋炎岩老师的课程第一部分从程序就是状态机这一视角入手为作者称为万恶之源的并发程序建立状态机的转化模型并在此基础上讲授并发控制的常见手段以及并发 bug 的应对方法。这一框架的实际含义可以从文档措辞中还原出来并发问题的本质被抽象为多份状态在多个执行流下交错演化因此并发 bug竞态、死锁等被归结为状态机中不期望的状态转移路径。掌握了这个模型加锁、原子操作、消息传递等手段就不再是零散的 API 技巧而是剪除不期望转移路径的不同实现策略。词条特别提到这门课让我收获了很多独到的视角来看待系统软件说明这套讲法与常见的先讲锁、再讲死锁、最后讲生产者消费者的枚举式教学有明显区别。讲授框架二操作系统 对象 系统调用用对象虚拟化硬件课程的第二部分将操作系统看作一系列对象进程/线程、地址空间、文件、设备等以及操作这些对象的 API系统调用并结合丰富的实际例子介绍操作系统如何利用这组对象虚拟化硬件资源、为应用软件提供各类服务。这一表述实际上给出了操作系统内核设计的一条主线对象抽象物理 CPU 时间被抽象成进程/线程对象物理内存被抽象成地址空间对象磁盘块被抽象成文件对象外部硬件被抽象成设备对象API 边界系统调用是应用与内核之间唯一合法的交互边界虚拟化正是发生在这些 API 之下——对上层呈现的是统一、隔离、可扩展的资源视图例子驱动文档强调课程结合丰富的实际例子而非停留在概念定义这与作者做系统不是靠 PPT 念出来的的整体价值观见 CS学习规划 操作系统小节没有什么能比自己写个内核更能加深对操作系统的理解了一脉相承。讲授框架三从 1-bit 存储介质一路构建到文件系统课程的最后一部分可持久化是词条着墨的另一大特色蒋老师从 1-bit 的存储介质讲起一步步构建起各类存储设备并通过设备驱动抽象出一组接口来方便地与上层解耦、设计与实现文件系统。自底向上的构建路径可以概括为存储介质1-bit 起→ 存储设备 → 设备驱动接口抽象 → 文件系统。这种从最小单元堆叠的讲法与词条中注重实践的特点直接挂钩——文档提到课程会刻意培养阅读源码、查阅手册的能力作者正是在第五个 MiniLab期间第一次仔细研读了微软的 FAT 文件系统手册称之为非常有价值的经历。这提示自学者文件系统实验不要指望看视频就能过真正的工作量在于阅读规范文档并逐条对照实现。Hacker 风格的课堂与动态链接的迷你实现词条用大量篇幅描述了蒋老师的授课风格作为年轻且有丰富一线代码经验的教师课上经常一言不合就在命令行里开始写代码重要知识点都配有生动直白的代码示例。其中对作者冲击最大的一课是为了让学生理解动态链接库的设计思想专门实现了一个迷你的可执行文件与一系列二进制工具使困扰多年的动态链接问题如可执行文件格式、符号如何被解析与重定位、共享库如何被加载得到解答。这一细节的价值在于动态链接通常是操作系统课程里最看得见摸不着的章节之一而课程选择了从零写一个能跑的极简工具链来打通理解。自学者在跟进这部分内容时建议提前用本机的file、ldd、readelf等工具观察真实 ELF 文件再对照课上迷你实现理解会更直接。作业体系5 个 MiniLab 4 个 OSLabMiniLab 可完全本地自测词条对编程作业体系给出了明确的结构性信息自学者规划 150 学时时应以此为准作业总量共由5 个 MiniLab和4 个 OSLab组成MiniLab 偏小而精OSLab 承担更大的实现量MiniLab 2协程实验。这是作者印象最深的实验——在不到百行的小实验里深刻体验了上下文切换的美妙与可怕。百行级别的实验恰好是理解上下文切换的最佳粒度寄存器保存/恢复、栈指针迁移、控制流转移这三件事在一小段代码里全部暴露出来是理解进程/线程抽象的最低成本入口MiniLab 5FAT 文件系统。如前所述这个实验要求直接面对 FAT 规范文档是课程培养读手册能力的代表性环节评测机限制与本地自测。作业评测系统目前只对南京大学学生开放作者系邮件申请后由蒋老师允许参与。但词条给出了一条关键结论几个 MiniLab 都能非常方便地进行本地测试就算没有评测机也不影响自学——即校外自学者可以把 MiniLab 作为完全自包含的练习闭环本地编写、本地测试、自行判错。作者也据此提醒希望大家不要聚众骚扰老师以图蹭课尊重评测资源的封闭性。对自学的组织建议基于上述事实归纳先按顺序完成 5 个 MiniLab重点保证 MiniLab 2 的百行级上下文切换代码能独立复述其每一步寄存器操作再根据时间预算决定是否推进 4 个 OSLab——若目标是完整体验自己写内核OSLab 才是主要工作量所在。课程资源清单词条课程资源小节列出的资源此处按仓库写作规范以名称指代具体入口见词条原文 NJUOS.md资源说明课程网站jyywiki.cn 上蒋老师维护的 OS 课程主页含讲义与作业说明课程作业与课程网站同址发布MiniLab/OSLab 要求均出自此处课程视频蒋老师 Bilibili 账号下的课程视频合集全中文课程教材OSTEPOperating Systems: Three Easy Pieces开源操作系统教材与课程讲授内容互为补充自学者应把课程网站 视频 OSTEP作为标准三件套视频负责讲授主线与代码演示OSTEP 负责概念的系统化梳理课程网站负责作业要求与本地环境说明。在《CS 自学指南》操作系统版图中的定位从 mkdocs.yml 的导航结构看本书操作系统章节共收录四门课MIT 6.S081、UCB CS162、NJU OS、HIT OS。NJU OS 词条自评其独特性本书收录的第一门国内高校自主开设的计算机课程结合 CS学习规划 的导语可以从三条轴上与其他三门区分以下为基于各词条内容的对照供选课参考课程实验载体核心特点参考词条MIT 6.S081xv6-riscv11 个 lab基于 RISC-V 教学 OSlab 有完善测试框架难度五星MIT6.S081.mdUCB CS162Pintos重设计与实现无框架代码要求学生自行设计方案难度六星CS162.mdNJU OS5 MiniLab 4 OSLab全中文、状态机并发模型、对象化讲授、MiniLab 可本地自测NJUOS.mdHIT OS基于 Linux 0.118 小实验 4 大实验中文课基于真实工业早期内核源码注重代码实践HITOS.md可以推断NJU OS 适合这样一类自学者想系统学操作系统但希望全程中文、且愿意从小而精的 MiniLab 起步、逐步推进到 OSLab 的读者若追求更大的设计自由度可转向 CS162 的 Pintos若追求最完整的 lab 覆盖则选择 6.S081 的 xv6。资源汇总与自学提示词条资源汇总明确说明按蒋老师的要求作者本指南作者的作业实现没有开源因此本词条不提供个人作业仓库链接。自学者应以课程官网发布的作业说明与本地测试环境为准组织练习。课程难度四星、预计 150 学时与 MIT 6.S081五星、150 学时相当但语言门槛更低建议先完成体系结构先修与 C 语言复习可参考本指南 编程入门 与 计算机系统基础 词条再按MiniLab 全做、OSLab 量力而行的节奏推进。本指南为双语维护中文章节与.en.md英文条目并存贡献新章节时可参考 template.mdNJU OS 的英文版本即 NJUOS.en.md内容结构与中文词条一一对应。最后词条本身也传递了这条课程线索的价值判断正是年轻一代教师在繁重的学术考核之余用爱发电才让南京大学这操作系统课程以全中文、强实践、可自测的面貌对全球自学者开放成为本指南收录的第一门国内高校自主开设的计算机课程。【免费下载链接】cs-self-learning计算机自学指南项目地址: https://gitcode.com/GitHub_Trending/cs/cs-self-learning创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考
CS自学指南中的南京大学 NJU OS 操作系统课程并发状态机视角、对象化 OS 体系与 MiniLab 实战【免费下载链接】cs-self-learning计算机自学指南项目地址: https://gitcode.com/GitHub_Trending/cs/cs-self-learning本文以《CS 自学指南》cs-self-learning操作系统章节中收录的南京大学「操作系统设计与实现」NJU OS课程为绝对主体完整梳理该课程的先修要求、独家的讲授框架程序即状态机、对象系统调用、可持久化、5 个 MiniLab 与 4 个 OSLab 的实操路径与全部课程资源。读完后你将明确如何仅凭公开资源自学这门全中文操作系统课、MiniLab 本地自测应如何组织以及它在本指南与 MIT 6.S081、UCB CS162、HIT OS 等课程之间的定位差异。课程档案一门面向自学的中文操作系统课《CS 自学指南》操作系统章节的 NJU OS 词条英文条目见 NJUOS.en.md为该课程给出的基本档案如下项目内容所属大学南京大学先修要求计算机体系结构 扎实的 C 语言功底编程语言C课程难度本指南四星标准预计学时150 小时两个值得注意的档案细节全中文授课。CS学习规划 的操作系统小节明确指出这门课的全部课程内容都是中文的非常方便大家学习。在欧美名校操作系统课程多为英文授课占主导的自学场景里这一点显著降低了语言门槛。先修要求中体系结构被单独强调。课程会触及上下文切换、地址空间、动态链接等主题先修体系结构课如 Coursera: Nand2Tetris、UCB CS61C后这些概念会更容易与硬件视角对上同时要求扎实的 C 语言功底与本指南其他系统课如 MIT 6.S081 要求 C RISC-V 汇编、UCB CS162 要求 C x86 汇编的门槛设定一致。讲授框架一把程序就是状态机作为并发的解释模型词条对课程讲授思路的描述是全篇技术浓度最高的部分。蒋炎岩老师的课程第一部分从程序就是状态机这一视角入手为作者称为万恶之源的并发程序建立状态机的转化模型并在此基础上讲授并发控制的常见手段以及并发 bug 的应对方法。这一框架的实际含义可以从文档措辞中还原出来并发问题的本质被抽象为多份状态在多个执行流下交错演化因此并发 bug竞态、死锁等被归结为状态机中不期望的状态转移路径。掌握了这个模型加锁、原子操作、消息传递等手段就不再是零散的 API 技巧而是剪除不期望转移路径的不同实现策略。词条特别提到这门课让我收获了很多独到的视角来看待系统软件说明这套讲法与常见的先讲锁、再讲死锁、最后讲生产者消费者的枚举式教学有明显区别。讲授框架二操作系统 对象 系统调用用对象虚拟化硬件课程的第二部分将操作系统看作一系列对象进程/线程、地址空间、文件、设备等以及操作这些对象的 API系统调用并结合丰富的实际例子介绍操作系统如何利用这组对象虚拟化硬件资源、为应用软件提供各类服务。这一表述实际上给出了操作系统内核设计的一条主线对象抽象物理 CPU 时间被抽象成进程/线程对象物理内存被抽象成地址空间对象磁盘块被抽象成文件对象外部硬件被抽象成设备对象API 边界系统调用是应用与内核之间唯一合法的交互边界虚拟化正是发生在这些 API 之下——对上层呈现的是统一、隔离、可扩展的资源视图例子驱动文档强调课程结合丰富的实际例子而非停留在概念定义这与作者做系统不是靠 PPT 念出来的的整体价值观见 CS学习规划 操作系统小节没有什么能比自己写个内核更能加深对操作系统的理解了一脉相承。讲授框架三从 1-bit 存储介质一路构建到文件系统课程的最后一部分可持久化是词条着墨的另一大特色蒋老师从 1-bit 的存储介质讲起一步步构建起各类存储设备并通过设备驱动抽象出一组接口来方便地与上层解耦、设计与实现文件系统。自底向上的构建路径可以概括为存储介质1-bit 起→ 存储设备 → 设备驱动接口抽象 → 文件系统。这种从最小单元堆叠的讲法与词条中注重实践的特点直接挂钩——文档提到课程会刻意培养阅读源码、查阅手册的能力作者正是在第五个 MiniLab期间第一次仔细研读了微软的 FAT 文件系统手册称之为非常有价值的经历。这提示自学者文件系统实验不要指望看视频就能过真正的工作量在于阅读规范文档并逐条对照实现。Hacker 风格的课堂与动态链接的迷你实现词条用大量篇幅描述了蒋老师的授课风格作为年轻且有丰富一线代码经验的教师课上经常一言不合就在命令行里开始写代码重要知识点都配有生动直白的代码示例。其中对作者冲击最大的一课是为了让学生理解动态链接库的设计思想专门实现了一个迷你的可执行文件与一系列二进制工具使困扰多年的动态链接问题如可执行文件格式、符号如何被解析与重定位、共享库如何被加载得到解答。这一细节的价值在于动态链接通常是操作系统课程里最看得见摸不着的章节之一而课程选择了从零写一个能跑的极简工具链来打通理解。自学者在跟进这部分内容时建议提前用本机的file、ldd、readelf等工具观察真实 ELF 文件再对照课上迷你实现理解会更直接。作业体系5 个 MiniLab 4 个 OSLabMiniLab 可完全本地自测词条对编程作业体系给出了明确的结构性信息自学者规划 150 学时时应以此为准作业总量共由5 个 MiniLab和4 个 OSLab组成MiniLab 偏小而精OSLab 承担更大的实现量MiniLab 2协程实验。这是作者印象最深的实验——在不到百行的小实验里深刻体验了上下文切换的美妙与可怕。百行级别的实验恰好是理解上下文切换的最佳粒度寄存器保存/恢复、栈指针迁移、控制流转移这三件事在一小段代码里全部暴露出来是理解进程/线程抽象的最低成本入口MiniLab 5FAT 文件系统。如前所述这个实验要求直接面对 FAT 规范文档是课程培养读手册能力的代表性环节评测机限制与本地自测。作业评测系统目前只对南京大学学生开放作者系邮件申请后由蒋老师允许参与。但词条给出了一条关键结论几个 MiniLab 都能非常方便地进行本地测试就算没有评测机也不影响自学——即校外自学者可以把 MiniLab 作为完全自包含的练习闭环本地编写、本地测试、自行判错。作者也据此提醒希望大家不要聚众骚扰老师以图蹭课尊重评测资源的封闭性。对自学的组织建议基于上述事实归纳先按顺序完成 5 个 MiniLab重点保证 MiniLab 2 的百行级上下文切换代码能独立复述其每一步寄存器操作再根据时间预算决定是否推进 4 个 OSLab——若目标是完整体验自己写内核OSLab 才是主要工作量所在。课程资源清单词条课程资源小节列出的资源此处按仓库写作规范以名称指代具体入口见词条原文 NJUOS.md资源说明课程网站jyywiki.cn 上蒋老师维护的 OS 课程主页含讲义与作业说明课程作业与课程网站同址发布MiniLab/OSLab 要求均出自此处课程视频蒋老师 Bilibili 账号下的课程视频合集全中文课程教材OSTEPOperating Systems: Three Easy Pieces开源操作系统教材与课程讲授内容互为补充自学者应把课程网站 视频 OSTEP作为标准三件套视频负责讲授主线与代码演示OSTEP 负责概念的系统化梳理课程网站负责作业要求与本地环境说明。在《CS 自学指南》操作系统版图中的定位从 mkdocs.yml 的导航结构看本书操作系统章节共收录四门课MIT 6.S081、UCB CS162、NJU OS、HIT OS。NJU OS 词条自评其独特性本书收录的第一门国内高校自主开设的计算机课程结合 CS学习规划 的导语可以从三条轴上与其他三门区分以下为基于各词条内容的对照供选课参考课程实验载体核心特点参考词条MIT 6.S081xv6-riscv11 个 lab基于 RISC-V 教学 OSlab 有完善测试框架难度五星MIT6.S081.mdUCB CS162Pintos重设计与实现无框架代码要求学生自行设计方案难度六星CS162.mdNJU OS5 MiniLab 4 OSLab全中文、状态机并发模型、对象化讲授、MiniLab 可本地自测NJUOS.mdHIT OS基于 Linux 0.118 小实验 4 大实验中文课基于真实工业早期内核源码注重代码实践HITOS.md可以推断NJU OS 适合这样一类自学者想系统学操作系统但希望全程中文、且愿意从小而精的 MiniLab 起步、逐步推进到 OSLab 的读者若追求更大的设计自由度可转向 CS162 的 Pintos若追求最完整的 lab 覆盖则选择 6.S081 的 xv6。资源汇总与自学提示词条资源汇总明确说明按蒋老师的要求作者本指南作者的作业实现没有开源因此本词条不提供个人作业仓库链接。自学者应以课程官网发布的作业说明与本地测试环境为准组织练习。课程难度四星、预计 150 学时与 MIT 6.S081五星、150 学时相当但语言门槛更低建议先完成体系结构先修与 C 语言复习可参考本指南 编程入门 与 计算机系统基础 词条再按MiniLab 全做、OSLab 量力而行的节奏推进。本指南为双语维护中文章节与.en.md英文条目并存贡献新章节时可参考 template.mdNJU OS 的英文版本即 NJUOS.en.md内容结构与中文词条一一对应。最后词条本身也传递了这条课程线索的价值判断正是年轻一代教师在繁重的学术考核之余用爱发电才让南京大学这操作系统课程以全中文、强实践、可自测的面貌对全球自学者开放成为本指南收录的第一门国内高校自主开设的计算机课程。【免费下载链接】cs-self-learning计算机自学指南项目地址: https://gitcode.com/GitHub_Trending/cs/cs-self-learning创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考
