37. [并发] 并发 bugs：Lockdep、Sanitizers 和动态分析 - 1

[完结] 2021 南京大学 “操作系统 设计与实现” (蒋炎岩)

大学课程 / 计算机 / 程序设计开发

共84集 9.5万人观看

---

• 
  1[绪论] 操作系统概述 - 1

  31:48
• 
  2[绪论] 操作系统概述 - 2

  31:48
• 
  3[绪论] 操作系统概述 - 3

  31:48
• 
  4[代码讲解] 操作系统上的程序 - 1

  34:04
• 
  5[代码讲解] 操作系统上的程序 - 2

  34:05
• 
  6[代码讲解] 操作系统上的程序 - 3

  34:00
• 
  7[并发] 多处理器编程：从入门到放弃 - 1

  33:54
• 
  8[并发] 多处理器编程：从入门到放弃 - 2

  33:57
• 
  9[并发] 多处理器编程：从入门到放弃 - 3

  33:55
• 
  10[代码讲解] 操作系统也是程序 (调试固件和 boot loader) - 1

  33:35
• 
  11[代码讲解] 操作系统也是程序 (调试固件和 boot loader) - 2

  33:43
• 
  12[代码讲解] 操作系统也是程序 (调试固件和 boot loader) - 3

  33:35
• 
  13[并发] 阅读理解并发程序 - 1

  33:58
• 
  14[并发] 阅读理解并发程序 - 2

  34:01
• 
  15[并发] 阅读理解并发程序 - 3

  33:59
• 
  16[代码讲解] 实现 Model Checker (和其他黑科技) - 1

  33:46
• 
  17[代码讲解] 实现 Model Checker (和其他黑科技) - 2

  33:53
• 
  18[代码讲解] 实现 Model Checker (和其他黑科技) - 3

  33:44
• 
  19[并发] 互斥：原子指令、自旋锁 - 1

  30:51
• 
  20[并发] 互斥：原子指令、自旋锁 - 2

  31:03
• 
  21[并发] 互斥：原子指令、自旋锁 - 3

  30:46
• 
  22[代码讲解] 并发数据结构：链表和malloc/free - 1

  34:00
• 
  23[代码讲解] 并发数据结构：链表和malloc/free - 2

  34:07
• 
  24[代码讲解] 并发数据结构：链表和malloc/free - 3

  33:59
• 
  25[并发] 互斥：实现 (结尾神秘嘉宾) - 1

  35:32
• 
  26[并发] 互斥：实现 (结尾神秘嘉宾) - 2

  35:37
• 
  27[并发] 互斥：实现 (结尾神秘嘉宾) - 3

  35:26
• 
  28[代码讲解] xv6 和操作系统中的自旋锁 (画质飙升) - 1

  34:12
• 
  29[代码讲解] xv6 和操作系统中的自旋锁 (画质飙升) - 2

  34:21
• 
  30[代码讲解] xv6 和操作系统中的自旋锁 (画质飙升) - 3

  34:13
• 
  31[并发] 同步：条件变量、信号量 - 1

  33:26
• 
  32[并发] 同步：条件变量、信号量 - 2

  33:37
• 
  33[并发] 同步：条件变量、信号量 - 3

  33:19
• 
  34[并发] 并发编程模型：协程和 Goroutine；Channel 和 Promise - 1

  33:23
• 
  35[并发] 并发编程模型：协程和 Goroutine；Channel 和 Promise - 2

  33:31
• 
  36[并发] 并发编程模型：协程和 Goroutine；Channel 和 Promise - 3

  33:22
• 
  37[并发] 并发 bugs：Lockdep、Sanitizers 和动态分析 - 1

  34:07
• 
  38[并发] 并发 bugs：Lockdep、Sanitizers 和动态分析 - 2

  34:11
• 
  39[并发] 并发 bugs：Lockdep、Sanitizers 和动态分析 - 3

  33:59
• 
  40[虚拟化] 什么是进程；fork, execve, exit - 1

  34:21
• 
  41[虚拟化] 什么是进程；fork, execve, exit - 2

  34:27
• 
  42[虚拟化] 什么是进程；fork, execve, exit - 3

  34:16
• 
  43[虚拟化] 进程的状态和文件描述符 - 1

  32:58
• 
  44[虚拟化] 进程的状态和文件描述符 - 2

  33:03
• 
  45[虚拟化] 进程的状态和文件描述符 - 3

  32:53
• 
  46[虚拟化] 进程的地址空间 - 1

  34:10
• 
  47[虚拟化] 进程的地址空间 - 2

  34:17
• 
  48[虚拟化] 进程的地址空间 - 3

  34:06
• 
  49[虚拟化] xv6 中的进程 (1) - 1

  34:15
• 
  50[虚拟化] xv6 中的进程 (1) - 2

  34:25
• 
  51[虚拟化] xv6 中的进程 (1) - 3

  34:09
• 
  52[代码讲解] 可执行文件 - 1

  33:39
• 
  53[代码讲解] 可执行文件 - 2

  33:51
• 
  54[代码讲解] 可执行文件 - 3

  33:33
• 
  55[代码讲解] 从零实现动态加载 (结尾神秘嘉宾) - 1

  33:58
• 
  56[代码讲解] 从零实现动态加载 (结尾神秘嘉宾) - 2

  34:05
• 
  57[代码讲解] 从零实现动态加载 (结尾神秘嘉宾) - 3

  33:55
• 
  58[虚拟化] 进程调度 - 1

  33:45
• 
  59[虚拟化] 进程调度 - 2

  33:51
• 
  60[虚拟化] 进程调度 - 3

  33:41
• 
  61[代码讲解] 终端、Shell 和 Hello World - 1

  34:58
• 
  62[代码讲解] 终端、Shell 和 Hello World - 2

  35:01
• 
  63[代码讲解] 终端、Shell 和 Hello World - 3

  34:58
• 
  64[持久化] 1-Bit 信息的存储 - 1

  33:47
• 
  65[持久化] 1-Bit 信息的存储 - 2

  33:51
• 
  66[持久化] 1-Bit 信息的存储 - 3

  33:39
• 
  67[持久化] I/O 设备和驱动 - 1

  34:03
• 
  68[持久化] I/O 设备和驱动 - 2

  34:15
• 
  69[持久化] I/O 设备和驱动 - 3

  33:59
• 
  70[持久化] 文件系统 API - 1

  34:26
• 
  71[持久化] 文件系统 API - 2

  34:37
• 
  72[持久化] 文件系统 API - 3

  34:20
• 
  73[持久化] 文件系统实现：FAT 和 UNIX 文件系统 - 1

  33:42
• 
  74[持久化] 文件系统实现：FAT 和 UNIX 文件系统 - 2

  33:51
• 
  75[持久化] 文件系统实现：FAT 和 UNIX 文件系统 - 3

  33:34
• 
  76[持久化] 持久数据的可靠性：RAID 和 journaling - 1

  33:51
• 
  77[持久化] 持久数据的可靠性：RAID 和 journaling - 2

  34:03
• 
  78[持久化] 持久数据的可靠性：RAID 和 journaling - 3

  33:46
• 
  79[代码讲解] xv6 文件系统实现：mkfs; buffer cache; log - 1

  33:43
• 
  80[代码讲解] xv6 文件系统实现：mkfs; buffer cache; log - 2

  33:53
• 
  81[代码讲解] xv6 文件系统实现：mkfs; buffer cache; log - 3

  33:39
• 
  82[完结撒花] 课程总结；毒鸡汤 - 1

  28:37
• 
  83[完结撒花] 课程总结；毒鸡汤 - 2

  28:41
• 
  84[完结撒花] 课程总结；毒鸡汤 - 3

  28:30