11. [并发] 并发控制 (1): 线程的互斥 - 1
2023年2月4日 1592观看
[完结] 2020 南京大学 “操作系统 设计与实现” (蒋炎岩)
大学课程 / 计算机 / 硬软件系统
![[完结] 2020 南京大学 “操作系统 设计与实现” (蒋炎岩)](https://videoimg.ws.126.net/cover/20220421/N9WaFRJD0_cover.jpg?imageView&thumbnail=480x0)
共87集 10.4万人观看
![[请移步更新的课程]](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
相关视频
38:55哲学家加长版第19期：胡塞尔现象学全集6月前4147观看
39:36柏格森的生命哲学，生命的本质是什么？4月前789观看
07:49现象学哲学家马克斯·舍勒，什么是价值伦理学？11天前645观看
1:24:03一口气读懂康德哲学系列全集，拿下哲学界的天书：“三大批判”10月前2464观看
06:12为什么说康德打开了虚无主义的大门？康德的认识论讲了什么？1年前1689观看
第3/24集 · 15:46康德的研究领域是什么 - 3
大学课程2022年10月29日1661观看
07:06宗教、神学、哲学有什么区别？如何理解斯宾诺莎的神即自然的观念1年前1784观看
04:59通常的西方哲学史以本体论和认识论为标准，对于在这两个领域无专门研究的著作家，便不承认其为哲学家，往往...1年前2232观看
第53/65集 · 13:41康德哲学（五） - 1大学课程2022年10月27日1561观看
04:16为什么康德说自律即自由？自由是道德存在的理由是什么？1年前5171观看
08:55西方哲学浅说（十）：康德和黑格尔(1) - 32022年11月6日3045观看
第13/15集 · 16:20凯恩斯与哈耶克的争论 - 1大学课程2022年8月18日11.6万观看
15:52王德峰教授：比尔盖茨的理想与资本主义乌托邦（四）2020年4月8日3.6万观看
03:29康德教育哲学引发的思考，东西方文化的一个重要差异1年前2537观看
13:36【中英文字幕】纯粹理性批判-康德(P6) - 22022年11月5日867观看
第8/22集 · 12:34教学录像-视频99：黑格尔概论：对康德等人的批判和发展 - 2大学课程2022年11月4日1151观看