25. [并发] 互斥：实现 (结尾神秘嘉宾) - 1
2023年9月4日 1255观看
[完结] 2021 南京大学 “操作系统 设计与实现” (蒋炎岩)
大学课程 / 计算机 / 程序设计开发
![[完结] 2021 南京大学 “操作系统 设计与实现” (蒋炎岩)](https://videoimg.ws.126.net/cover/20220422/gcoSUqEWD_cover.jpg?imageView&thumbnail=480x0)
共84集 9.5万人观看
![[绪论] 操作系统概述 - 1](https://videoimg.ws.126.net/cover/20220422/VoxptmaEn_cover.jpg?imageView&thumbnail=160x100)
1[绪论] 操作系统概述 - 131:48- 2[绪论] 操作系统概述 - 231:48
- 3[绪论] 操作系统概述 - 331:48
![[代码讲解] 操作系统上的程序 - 1](https://videoimg.ws.126.net/cover/20220422/OhLJfKeHG_cover.jpg?imageView&thumbnail=160x100)
4[代码讲解] 操作系统上的程序 - 134:04- 5[代码讲解] 操作系统上的程序 - 234:05
- 6[代码讲解] 操作系统上的程序 - 334:00
![[并发] 多处理器编程：从入门到放弃 - 1](https://videoimg.ws.126.net/cover/20220422/iydtmWN0K_cover.jpg?imageView&thumbnail=160x100)
7[并发] 多处理器编程：从入门到放弃 - 133:54- 8[并发] 多处理器编程：从入门到放弃 - 233:57
- 9[并发] 多处理器编程：从入门到放弃 - 333:55
![[代码讲解] 操作系统也是程序 (调试固件和 boot loader) - 1](https://videoimg.ws.126.net/cover/20220422/Hm2vhO6sn_cover.jpg?imageView&thumbnail=160x100)
10[代码讲解] 操作系统也是程序 (调试固件和 boot loader) - 133:35- 11[代码讲解] 操作系统也是程序 (调试固件和 boot loader) - 233:43
- 12[代码讲解] 操作系统也是程序 (调试固件和 boot loader) - 333:35
![[并发] 阅读理解并发程序 - 1](https://videoimg.ws.126.net/cover/20220422/u3DnjAwCd_cover.jpg?imageView&thumbnail=160x100)
13[并发] 阅读理解并发程序 - 133:58- 14[并发] 阅读理解并发程序 - 234:01
- 15[并发] 阅读理解并发程序 - 333:59
![[代码讲解] 实现 Model Checker (和其他黑科技) - 1](https://videoimg.ws.126.net/cover/20220422/hg8VYUPTj_cover.jpg?imageView&thumbnail=160x100)
16[代码讲解] 实现 Model Checker (和其他黑科技) - 133:46- 17[代码讲解] 实现 Model Checker (和其他黑科技) - 233:53
- 18[代码讲解] 实现 Model Checker (和其他黑科技) - 333:44
![[并发] 互斥：原子指令、自旋锁 - 1](https://videoimg.ws.126.net/cover/20220422/K1iGLUk2c_cover.jpg?imageView&thumbnail=160x100)
19[并发] 互斥：原子指令、自旋锁 - 130:51- 20[并发] 互斥：原子指令、自旋锁 - 231:03
- 21[并发] 互斥：原子指令、自旋锁 - 330:46
![[代码讲解] 并发数据结构：链表和malloc/free - 1](https://videoimg.ws.126.net/cover/20220422/274O0BDek_cover.jpg?imageView&thumbnail=160x100)
22[代码讲解] 并发数据结构：链表和malloc/free - 134:00- 23[代码讲解] 并发数据结构：链表和malloc/free - 234:07
- 24[代码讲解] 并发数据结构：链表和malloc/free - 333:59
![[并发] 互斥：实现 (结尾神秘嘉宾) - 1](https://videoimg.ws.126.net/cover/20220422/cvIU5TM4o_cover.jpg?imageView&thumbnail=160x100)
25[并发] 互斥：实现 (结尾神秘嘉宾) - 135:32- 26[并发] 互斥：实现 (结尾神秘嘉宾) - 235:37
- 27[并发] 互斥：实现 (结尾神秘嘉宾) - 335:26
![[代码讲解] xv6 和操作系统中的自旋锁 (画质飙升) - 1](https://videoimg.ws.126.net/cover/20220422/7bTFYAWoL_cover.jpg?imageView&thumbnail=160x100)
28[代码讲解] xv6 和操作系统中的自旋锁 (画质飙升) - 134:12- 29[代码讲解] xv6 和操作系统中的自旋锁 (画质飙升) - 234:21
- 30[代码讲解] xv6 和操作系统中的自旋锁 (画质飙升) - 334:13
![[并发] 同步：条件变量、信号量 - 1](https://videoimg.ws.126.net/cover/20220422/EdMcq0t2Z_cover.jpg?imageView&thumbnail=160x100)
31[并发] 同步：条件变量、信号量 - 133:26- 32[并发] 同步：条件变量、信号量 - 233:37
- 33[并发] 同步：条件变量、信号量 - 333:19
![[并发] 并发编程模型：协程和 Goroutine；Channel 和 Promise - 1](https://videoimg.ws.126.net/cover/20220422/MEfHiRCs3_cover.jpg?imageView&thumbnail=160x100)
34[并发] 并发编程模型：协程和 Goroutine；Channel 和 Promise - 133:23- 35[并发] 并发编程模型：协程和 Goroutine；Channel 和 Promise - 233:31
- 36[并发] 并发编程模型：协程和 Goroutine；Channel 和 Promise - 333:22
![[并发] 并发 bugs：Lockdep、Sanitizers 和动态分析 - 1](https://videoimg.ws.126.net/cover/20220422/JkeAdY92F_cover.jpg?imageView&thumbnail=160x100)
37[并发] 并发 bugs：Lockdep、Sanitizers 和动态分析 - 134:07- 38[并发] 并发 bugs：Lockdep、Sanitizers 和动态分析 - 234:11
- 39[并发] 并发 bugs：Lockdep、Sanitizers 和动态分析 - 333:59
![[虚拟化] 什么是进程；fork, execve, exit - 1](https://videoimg.ws.126.net/cover/20220422/0YMKxQbU9_cover.jpg?imageView&thumbnail=160x100)
40[虚拟化] 什么是进程；fork, execve, exit - 134:21- 41[虚拟化] 什么是进程；fork, execve, exit - 234:27
- 42[虚拟化] 什么是进程；fork, execve, exit - 334:16
![[虚拟化] 进程的状态和文件描述符 - 1](https://videoimg.ws.126.net/cover/20220422/3KJuWxOzX_cover.jpg?imageView&thumbnail=160x100)
43[虚拟化] 进程的状态和文件描述符 - 132:58- 44[虚拟化] 进程的状态和文件描述符 - 233:03
- 45[虚拟化] 进程的状态和文件描述符 - 332:53
![[虚拟化] 进程的地址空间 - 1](https://videoimg.ws.126.net/cover/20220422/gcoSUqEWD_cover.jpg?imageView&thumbnail=160x100)
46[虚拟化] 进程的地址空间 - 134:10- 47[虚拟化] 进程的地址空间 - 234:17
- 48[虚拟化] 进程的地址空间 - 334:06
![[虚拟化] xv6 中的进程 (1) - 1](https://videoimg.ws.126.net/cover/20220422/inMlFhCsW_cover.jpg?imageView&thumbnail=160x100)
49[虚拟化] xv6 中的进程 (1) - 134:15- 50[虚拟化] xv6 中的进程 (1) - 234:25
- 51[虚拟化] xv6 中的进程 (1) - 334:09
![[代码讲解] 可执行文件 - 1](https://videoimg.ws.126.net/cover/20220422/swSB0OAhb_cover.jpg?imageView&thumbnail=160x100)
52[代码讲解] 可执行文件 - 133:39- 53[代码讲解] 可执行文件 - 233:51
- 54[代码讲解] 可执行文件 - 333:33
![[代码讲解] 从零实现动态加载 (结尾神秘嘉宾) - 1](https://videoimg.ws.126.net/cover/20220422/hPQvqmDMs_cover.jpg?imageView&thumbnail=160x100)
55[代码讲解] 从零实现动态加载 (结尾神秘嘉宾) - 133:58- 56[代码讲解] 从零实现动态加载 (结尾神秘嘉宾) - 234:05
- 57[代码讲解] 从零实现动态加载 (结尾神秘嘉宾) - 333:55
![[虚拟化] 进程调度 - 1](https://videoimg.ws.126.net/cover/20220422/cuQDt3CnB_cover.jpg?imageView&thumbnail=160x100)
58[虚拟化] 进程调度 - 133:45- 59[虚拟化] 进程调度 - 233:51
- 60[虚拟化] 进程调度 - 333:41
![[代码讲解] 终端、Shell 和 Hello World - 1](https://videoimg.ws.126.net/cover/20220422/Ft7ySMIlk_cover.jpg?imageView&thumbnail=160x100)
61[代码讲解] 终端、Shell 和 Hello World - 134:58- 62[代码讲解] 终端、Shell 和 Hello World - 235:01
- 63[代码讲解] 终端、Shell 和 Hello World - 334:58
![[持久化] 1-Bit 信息的存储 - 1](https://videoimg.ws.126.net/cover/20220422/UMzdxW3NQ_cover.jpg?imageView&thumbnail=160x100)
64[持久化] 1-Bit 信息的存储 - 133:47- 65[持久化] 1-Bit 信息的存储 - 233:51
- 66[持久化] 1-Bit 信息的存储 - 333:39
![[持久化] I/O 设备和驱动 - 1](https://videoimg.ws.126.net/cover/20220422/PBR2qhd1l_cover.jpg?imageView&thumbnail=160x100)
67[持久化] I/O 设备和驱动 - 134:03- 68[持久化] I/O 设备和驱动 - 234:15
- 69[持久化] I/O 设备和驱动 - 333:59
![[持久化] 文件系统 API - 1](https://videoimg.ws.126.net/cover/20220422/jH6NzSgdu_cover.jpg?imageView&thumbnail=160x100)
70[持久化] 文件系统 API - 134:26- 71[持久化] 文件系统 API - 234:37
- 72[持久化] 文件系统 API - 334:20
![[持久化] 文件系统实现：FAT 和 UNIX 文件系统 - 1](https://videoimg.ws.126.net/cover/20220422/hHOdUEXTw_cover.jpg?imageView&thumbnail=160x100)
73[持久化] 文件系统实现：FAT 和 UNIX 文件系统 - 133:42- 74[持久化] 文件系统实现：FAT 和 UNIX 文件系统 - 233:51
- 75[持久化] 文件系统实现：FAT 和 UNIX 文件系统 - 333:34
![[持久化] 持久数据的可靠性：RAID 和 journaling - 1](https://videoimg.ws.126.net/cover/20220422/O9zJMh7ZW_cover.jpg?imageView&thumbnail=160x100)
76[持久化] 持久数据的可靠性：RAID 和 journaling - 133:51- 77[持久化] 持久数据的可靠性：RAID 和 journaling - 234:03
- 78[持久化] 持久数据的可靠性：RAID 和 journaling - 333:46
![[代码讲解] xv6 文件系统实现：mkfs; buffer cache; log - 1](https://videoimg.ws.126.net/cover/20220422/CKIqaQ7Jj_cover.jpg?imageView&thumbnail=160x100)
79[代码讲解] xv6 文件系统实现：mkfs; buffer cache; log - 133:43- 80[代码讲解] xv6 文件系统实现：mkfs; buffer cache; log - 233:53
- 81[代码讲解] xv6 文件系统实现：mkfs; buffer cache; log - 333:39
![[完结撒花] 课程总结；毒鸡汤 - 1](https://videoimg.ws.126.net/cover/20220422/ZVLKbQ8oy_cover.jpg?imageView&thumbnail=160x100)
82[完结撒花] 课程总结；毒鸡汤 - 128:37- 83[完结撒花] 课程总结；毒鸡汤 - 228:41
- 84[完结撒花] 课程总结；毒鸡汤 - 328:30
相关视频
02:29傅佩荣：学易经本来就这个用处，怎么不能说？讲两个真实案例11月前6487观看
03:05一个人有心学哲学，最好的途径是从西方哲学入门。我不反对学国学，但这和学哲学是两回事。在西方哲学传入中...2023年12月9日6189观看
02:01想搞清楚《易经》的易理，可以先读傅佩荣教授的这本书！ #傅佩荣 #易经文化 #易经智慧5月前1231观看
20:51十天干调研 | 理想工作与现实工作，玄学角度哪个更适合我？1年前5070观看
02:23何谓缘起性空 #缘起性空 #佛学 #认知 #夏鹏 #知识领航者1年前2354观看
00:49对古今中西之争，马克思和孔子怎么看？马克思主义基本原理和中华优秀传统文化又是如何“结合”的？2023年10月12日2857观看
02:23傅佩荣：古希腊最有学问的人，从他开始，西哲两大系统出现了1年前1881观看
02:06傅佩荣：这种学问中国人学600年了，有一点价值吗？不信你听完1年前7379观看
02:55傅佩荣：孔子这一次教学失败了，到今天竟然还有人在误解这件事1年前2202观看
01:04我们现在应该如何研究运用好《孙子兵法》？1年前2541观看
第5/8集 · 06:08《易经传》之环境风水的通识 - 1
大学课程2022年10月25日3万观看
13:21第一讲 诗经学基本概念（下） - 12022年10月27日4454观看
第2/57集 · 06:06[2]--1.1.2哲学作为无用之用的知识特性（2）大学课程2022年10月27日4543观看
第22/36集 · 12:49《易传》对八卦的哲学转化 - 3大学课程2022年10月27日4395观看
00:23科学的尽头是玄学1月前1055观看
02:41【《机缘人生-好运气的秘密》】巧用姓名这一护身符2023年8月8日2511观看