投稿

Xv6 文件系统实现 (gdb 追踪 mkfs; buffer cache 和 log) [南京大学2022操作系统-P29]

1.7万

100

2022-05-31 15:32:36

未经作者授权，禁止转载

正在缓冲...

2022 南京大学拔尖计划《操作系统：设计与实现》课程主页：http://jyywiki.cn/OS/2022/

https://jyywiki.cn

1 - 操作系统概述统概述 (为什么要学操作系统)

01:39:23

2 - 操作系统上的程序 (什么是程序和编译器)

01:51:32

3 - 多处理器编程：从入门到放弃 (线程库；现代处理器和宽松内存模型)

01:43:26

4 - 理解并发程序执行 (Peterson算法、模型检验与软件自动化工具)

01:45:52

5 - 并发控制：互斥 (自旋锁、互斥锁和 futex)

01:37:02

6 - 并发控制：同步 (条件变量、信号量、生产者-消费者和哲♂学家吃饭问题)

01:38:35

7 - 真实世界的并发编程 (高性能计算/数据中心/人机交互中的并发编程)

01:41:27

8 - 并发 bug 和应对 (死锁/数据竞争/原子性违反；防御性编程和动态分析) [南京大学2022操作系统-P8]

01:40:15

9 - 操作系统的状态机模型 (操作系统的加载; thread-os 代码讲解)

01:42:23

10 - 状态机模型的应用 (细胞自动机; gdb/rr/perf; 代码验证工具)

01:43:44

11 - 操作系统上的进程 (最小 Linux; fork, execve 和 exit)

01:40:33

12 - 进程的地址空间 (pmap; vdso; mmap; 游戏修改器/外挂)

01:41:00

13 - 系统调用和 Shell (freestanding shell, 终端和 job control)

01:43:14

14 - C 标准库的实现 (系统调用的封装；内存空间管理)

01:44:19

15 - fork 的应用 (文件描述符的复制；写时复制；创建平行宇宙的魔法)

01:43:09

16 - 什么是可执行文件 (调试信息；Stack Unwinding；静态链接中的重定位)

01:43:31

17 - 动态链接和加载 (静态 ELF 加载器实现；调试 Linux 内核；动态链接和加载)

01:47:10

18 - Xv6 代码导读 (调试工具配置；调试系统调用执行)

01:43:14

19 - Xv6 上下文切换 (上下文切换的实现；状态机的封装与恢复)

01:42:52

20 - 处理器调度 (RR, MLFQ 和 CFS；优先级翻转；多处理器调度)

01:53:28

21 - 操作系统设计选讲 (POSIX; Windows API; Micro/Exo/Unikernel)

01:48:09

22 - 极限速通操作系统实验 (内存管理、线程和信号量、进程和 kputc, sleep, fork)

01:52:35

23 - 1-Bit 数据的存储 (延迟线/磁芯/DRAM/SRAM/磁带/磁盘/光盘/Flash SSD)

01:43:23

24 - 输入输出设备模型 (串口/键盘/磁盘/打印机/总线/中断控制器/DMA 和 GPU)

01:50:06

25 - 设备驱动程序 (Linux 设备驱动; GPU 和 CUDA; 存储设备抽象)

01:44:09

26 - 文件系统 API (设备在应用间的共享；目录和文件 API) [南京大学2022操作系统-P26]

01:43:36

27 - FAT 和 UNIX 文件系统 (数据结构视角的文件系统; FAT 手册导读和目录树遍历)

01:43:25

28 - 持久数据的可靠性 (RAID; 崩溃一致性; FSCK 和日志)

01:51:52

29 - Xv6 文件系统实现 (gdb 追踪 mkfs; buffer cache 和 log)

01:40:12

30 - 现代存储系统 (关系数据库和分布式存储系统)

01:41:59

31 - Android 系统 (Android App 和系统架构；应用后台保活)

01:38:38

32 - 课程总结 (从逻辑门到计算机系统)

01:39:39

顶部