13. [并发] 并发控制 (1): 线程的互斥 - 3
2023年2月4日 1166观看
[完结] 2020 南京大学 “操作系统 设计与实现” (蒋炎岩)
大学课程 / 计算机 / 硬软件系统
![[完结] 2020 南京大学 “操作系统 设计与实现” (蒋炎岩)](https://videoimg.ws.126.net/cover/20220421/N9WaFRJD0_cover.jpg?imageView&thumbnail=480x0)
共87集 10.6万人观看
![[请移步更新的课程]](https://videoimg.ws.126.net/cover/20220421/N9WaFRJD0_cover.jpg?imageView&thumbnail=160x100)
1[请移步更新的课程]00:15![[绪论] 操作系统的历史 - 1](https://videoimg.ws.126.net/cover/20220421/0zPvyRYJF_cover.jpg?imageView&thumbnail=160x100)
2[绪论] 操作系统的历史 - 114:07- 3[绪论] 操作系统的历史 - 214:10
- 4[绪论] 操作系统的历史 - 314:07
![[代码讲解] 应用眼中的操作系统；系统调用 - 1](https://videoimg.ws.126.net/cover/20220421/53b8wJTX7_cover.jpg?imageView&thumbnail=160x100)
5[代码讲解] 应用眼中的操作系统；系统调用 - 124:52- 6[代码讲解] 应用眼中的操作系统；系统调用 - 224:59
- 7[代码讲解] 应用眼中的操作系统；系统调用 - 324:53
![[并发] 多处理器编程：从入门到放弃 - 1](https://videoimg.ws.126.net/cover/20220421/nztDpqR9A_cover.jpg?imageView&thumbnail=160x100)
8[并发] 多处理器编程：从入门到放弃 - 124:57- 9[并发] 多处理器编程：从入门到放弃 - 224:59
- 10[并发] 多处理器编程：从入门到放弃 - 324:58
![[并发] 并发控制 (1): 线程的互斥 - 1](https://videoimg.ws.126.net/cover/20220421/xEhm8jDot_cover.jpg?imageView&thumbnail=160x100)
11[并发] 并发控制 (1): 线程的互斥 - 122:41- 13[并发] 并发控制 (1): 线程的互斥 - 322:42
![[代码讲解] 硬件眼中的操作系统；硬件初始化和操作系统的加载 - 1](https://videoimg.ws.126.net/cover/20220421/2u6IDObKY_cover.jpg?imageView&thumbnail=160x100)
14[代码讲解] 硬件眼中的操作系统；硬件初始化和操作系统的加载 - 127:16- 15[代码讲解] 硬件眼中的操作系统；硬件初始化和操作系统的加载 - 227:17
- 16[代码讲解] 硬件眼中的操作系统；硬件初始化和操作系统的加载 - 327:08
![[并发] 并发控制 (2): 操作系统中的互斥；xv6 spinlock 讲解 - 1](https://videoimg.ws.126.net/cover/20220421/5ydYJw2l8_cover.jpg?imageView&thumbnail=160x100)
17[并发] 并发控制 (2): 操作系统中的互斥；xv6 spinlock 讲解 - 122:41- 18[并发] 并发控制 (2): 操作系统中的互斥；xv6 spinlock 讲解 - 222:42
- 19[并发] 并发控制 (2): 操作系统中的互斥；xv6 spinlock 讲解 - 322:39
![[并发] 并发数据结构；malloc/free 算法 - 1](https://videoimg.ws.126.net/cover/20220421/GjRv7Qktg_cover.jpg?imageView&thumbnail=160x100)
20[并发] 并发数据结构；malloc/free 算法 - 120:28- 21[并发] 并发数据结构；malloc/free 算法 - 220:31
- 22[并发] 并发数据结构；malloc/free 算法 - 320:23
![[代码讲解] 并发 bugs (死锁和原子性/顺序违反)；Lab1 生存指南 - 1](https://videoimg.ws.126.net/cover/20220421/G83CAYpy7_cover.jpg?imageView&thumbnail=160x100)
26[代码讲解] 并发 bugs (死锁和原子性/顺序违反)；Lab1 生存指南 - 123:34- 27[代码讲解] 并发 bugs (死锁和原子性/顺序违反)；Lab1 生存指南 - 223:44
- 28[代码讲解] 并发 bugs (死锁和原子性/顺序违反)；Lab1 生存指南 - 323:28
![[特别篇] 学术诚信 (Academic Integrity) - 1](https://videoimg.ws.126.net/cover/20220421/iTPekM4KG_cover.jpg?imageView&thumbnail=160x100)
29[特别篇] 学术诚信 (Academic Integrity) - 107:52- 30[特别篇] 学术诚信 (Academic Integrity) - 307:57
![[虚拟化] 进程抽象；fork, execve, exit - 1](https://videoimg.ws.126.net/cover/20220421/wHWDhtx3e_cover.jpg?imageView&thumbnail=160x100)
31[虚拟化] 进程抽象；fork, execve, exit - 116:17- 32[虚拟化] 进程抽象；fork, execve, exit - 216:22
- 33[虚拟化] 进程抽象；fork, execve, exit - 316:17
![[代码讲解] 操作系统中的进程: trivial-os.c, xv6, Linux - 1](https://videoimg.ws.126.net/cover/20220421/w3zq5d2QP_cover.jpg?imageView&thumbnail=160x100)
34[代码讲解] 操作系统中的进程: trivial-os.c, xv6, Linux - 123:06- 35[代码讲解] 操作系统中的进程: trivial-os.c, xv6, Linux - 223:08
- 36[代码讲解] 操作系统中的进程: trivial-os.c, xv6, Linux - 322:57
![[虚拟化] 链接与加载；动态符号解析 - 1](https://videoimg.ws.126.net/cover/20220421/h7Pr8n5tq_cover.jpg?imageView&thumbnail=160x100)
37[虚拟化] 链接与加载；动态符号解析 - 119:39- 38[虚拟化] 链接与加载；动态符号解析 - 219:45
- 39[虚拟化] 链接与加载；动态符号解析 - 319:37
![[虚拟化] 处理器调度 (1): 时间片, RR, MLFQ 和 CFS - 1](https://videoimg.ws.126.net/cover/20220421/8GrpQgxFo_cover.jpg?imageView&thumbnail=160x100)
40[虚拟化] 处理器调度 (1): 时间片, RR, MLFQ 和 CFS - 119:20- 41[虚拟化] 处理器调度 (1): 时间片, RR, MLFQ 和 CFS - 219:26
- 42[虚拟化] 处理器调度 (1): 时间片, RR, MLFQ 和 CFS - 319:20
![[虚拟化] 处理器调度 (2): 优先级翻转、多处理器调度 - 1](https://videoimg.ws.126.net/cover/20220421/0eqWYJPRk_cover.jpg?imageView&thumbnail=160x100)
43[虚拟化] 处理器调度 (2): 优先级翻转、多处理器调度 - 125:35- 44[虚拟化] 处理器调度 (2): 优先级翻转、多处理器调度 - 225:35
- 45[虚拟化] 处理器调度 (2): 优先级翻转、多处理器调度 - 325:32
![[虚拟化] Demand Paging; 动态加载的礼物 - 1](https://videoimg.ws.126.net/cover/20220421/b6JHuk19g_cover.jpg?imageView&thumbnail=160x100)
46[虚拟化] Demand Paging; 动态加载的礼物 - 123:01- 47[虚拟化] Demand Paging; 动态加载的礼物 - 223:07
- 48[虚拟化] Demand Paging; 动态加载的礼物 - 323:03
![[代码讲解] 终端和 Shell (OS-应用视角的复习) - 1](https://videoimg.ws.126.net/cover/20220421/V4E9OKg5P_cover.jpg?imageView&thumbnail=160x100)
49[代码讲解] 终端和 Shell (OS-应用视角的复习) - 125:54- 50[代码讲解] 终端和 Shell (OS-应用视角的复习) - 225:54
- 51[代码讲解] 终端和 Shell (OS-应用视角的复习) - 325:48
![[代码讲解] 调试操作系统内核 (OS-硬件视角的复习) - 1](https://videoimg.ws.126.net/cover/20220421/jV6lIawgF_cover.jpg?imageView&thumbnail=160x100)
52[代码讲解] 调试操作系统内核 (OS-硬件视角的复习) - 129:08- 53[代码讲解] 调试操作系统内核 (OS-硬件视角的复习) - 229:11
- 54[代码讲解] 调试操作系统内核 (OS-硬件视角的复习) - 329:04
![[福利] 期中测验讲评 & 生存指南 - 1](https://videoimg.ws.126.net/cover/20220421/G7bvNd4I6_cover.jpg?imageView&thumbnail=160x100)
55[福利] 期中测验讲评 & 生存指南 - 110:05- 56[福利] 期中测验讲评 & 生存指南 - 210:06
- 57[福利] 期中测验讲评 & 生存指南 - 310:03
![[代码讲解] 信号和 Job Control - 1](https://videoimg.ws.126.net/cover/20220421/mOUSrtcgB_cover.jpg?imageView&thumbnail=160x100)
58[代码讲解] 信号和 Job Control - 123:51- 59[代码讲解] 信号和 Job Control - 223:57
- 60[代码讲解] 信号和 Job Control - 323:49
![[持久化] 1-bit 的持久化：磁、光、电 - 1](https://videoimg.ws.126.net/cover/20220421/3R0HuztpD_cover.jpg?imageView&thumbnail=160x100)
61[持久化] 1-bit 的持久化：磁、光、电 - 123:02- 62[持久化] 1-bit 的持久化：磁、光、电 - 223:09
- 63[持久化] 1-bit 的持久化：磁、光、电 - 323:04
![[持久化] I/O 设备；总线、DMA 和 GPU - 1](https://videoimg.ws.126.net/cover/20220421/6cTEf1M7p_cover.jpg?imageView&thumbnail=160x100)
64[持久化] I/O 设备；总线、DMA 和 GPU - 123:54- 65[持久化] I/O 设备；总线、DMA 和 GPU - 224:04
- 66[持久化] I/O 设备；总线、DMA 和 GPU - 323:49
![[持久化] 设备驱动程序 - 1](https://videoimg.ws.126.net/cover/20220421/FhrlpY5Pq_cover.jpg?imageView&thumbnail=160x100)
67[持久化] 设备驱动程序 - 124:09- 68[持久化] 设备驱动程序 - 224:13
- 69[持久化] 设备驱动程序 - 324:09
![[持久化] 文件系统 API：文件、目录和文件系统管理 - 1](https://videoimg.ws.126.net/cover/20220421/yDIC2ovFp_cover.jpg?imageView&thumbnail=160x100)
70[持久化] 文件系统 API：文件、目录和文件系统管理 - 125:39- 71[持久化] 文件系统 API：文件、目录和文件系统管理 - 225:43
- 72[持久化] 文件系统 API：文件、目录和文件系统管理 - 325:35
![[持久化] 文件系统实现：FAT 和 ext2 - 2](https://videoimg.ws.126.net/cover/20220421/2YnbmZ5I6_cover.jpg?imageView&thumbnail=160x100)
74[持久化] 文件系统实现：FAT 和 ext2 - 221:57- 75[持久化] 文件系统实现：FAT 和 ext2 - 321:48
![[持久化] 持久数据的可靠性；RAID - 1](https://videoimg.ws.126.net/cover/20220421/SW8EO9DHg_cover.jpg?imageView&thumbnail=160x100)
76[持久化] 持久数据的可靠性；RAID - 123:23- 77[持久化] 持久数据的可靠性；RAID - 223:33
- 78[持久化] 持久数据的可靠性；RAID - 323:25
![[专题] OSTEP: 虚拟化、并发、持久化；Android - 1](https://videoimg.ws.126.net/cover/20220421/OA0cMx7BV_cover.jpg?imageView&thumbnail=160x100)
79[专题] OSTEP: 虚拟化、并发、持久化；Android - 126:44- 80[专题] OSTEP: 虚拟化、并发、持久化；Android - 226:49
- 81[专题] OSTEP: 虚拟化、并发、持久化；Android - 326:37
![[专题] 操作系统设计与实现；Micro/exo/unikernel；系统软件的可靠性 - 1](https://videoimg.ws.126.net/cover/20220421/bkpwA8PSB_cover.jpg?imageView&thumbnail=160x100)
82[专题] 操作系统设计与实现；Micro/exo/unikernel；系统软件的可靠性 - 126:21- 83[专题] 操作系统设计与实现；Micro/exo/unikernel；系统软件的可靠性 - 226:27
- 84[专题] 操作系统设计与实现；Micro/exo/unikernel；系统软件的可靠性 - 326:16
![[专题] 嵌入式和分布式系统 - 1](https://videoimg.ws.126.net/cover/20220421/J1rzO79PR_cover.jpg?imageView&thumbnail=160x100)
85[专题] 嵌入式和分布式系统 - 125:47- 86[专题] 嵌入式和分布式系统 - 225:55
- 87[专题] 嵌入式和分布式系统 - 325:43
![[绪论] 课程总结 - 1](https://videoimg.ws.126.net/cover/20220421/Wp09gwYRi_cover.jpg?imageView&thumbnail=160x100)
88[绪论] 课程总结 - 110:06- 89[绪论] 课程总结 - 210:09
- 90[绪论] 课程总结 - 310:06
![[完结撒花] 毒鸡汤 - 1](https://videoimg.ws.126.net/cover/20220421/nGsBHz6eO_cover.jpg?imageView&thumbnail=160x100)
91[完结撒花] 毒鸡汤 - 108:30- 92[完结撒花] 毒鸡汤 - 308:32
相关视频
08:06云门寺游记：禅宗五大支派之云门宗发源地9月前975观看
04:46中国禅宗的美国传人：我每天打坐、种菜，内心平静1年前1499观看
00:50简约不简单，巴林禅宗元素营造静谧之所9月前619观看
12:01VOLG | 禅修是一个对佛教祛魅的过程7月前1209观看
02:55傅佩荣：我说庄子下启禅宗，为什么？从一个打瞌睡老者讲起1年前1187观看
03:53道士、方丈、真人，道教称呼有哪些？1月前1377观看
01:01白云观收藏了一件千年道家图，蕴含天人合一道理，能看懂者太少了2023年7月10日1724观看
16:40这才是真正的佛教电影，释永信丢掉的信仰，都在这部电影里！3月前1215观看
02:17灵秀武当山，不仅是道家圣山，还是祈福名山2023年10月3日879观看
08:08《季羡林文集第十一卷》大师的“吐火罗文之谜”2022年10月27日1359观看
03:32星云大师千古，一代高僧2023年2月7日1502观看
02:33孔子是微博的祖师12月前1333观看
02:17学者真言丨“社恐”是病吗？2023年7月27日1590观看
02:18岁之前的曾国藩毛病一大堆，高僧传授四字诀后，扶摇直上2023年3月22日1487观看
03:12别一听到“一丝不挂”，就“想入非非”了，这可都是佛家用语2023年3月12日1332观看
01:15山东一男子为寺庙写了四个字，方丈给了800元，大家看看值吗8月前1477观看