[完结] 2021 南京大学 “操作系统：设计与实现” (蒋炎岩)-[并发] 并发 bugs：Lockdep、Sanitizers 和动态分析（中）-网易公开课

已购课程

个人中心 

内容中心

 关注我们

进入关怀模式

APP下载

反馈

[并发] 并发 bugs：Lockdep、Sanitizers 和动态分析（中）

841 播放

下载

手机看

登录后可发评论

评论沙发是我的～

选集(84)

自动播放

[1] [绪论] 操作系统概述（上）

3007播放

31:48

[绪论] 操作系统概述（上）

[2] [绪论] 操作系统概述（中）

1570播放

31:48

[绪论] 操作系统概述（中）

[3] [绪论] 操作系统概述（下）

1501播放

31:48

[绪论] 操作系统概述（下）

[4] [代码讲解] 操作系统上的程序（上...

1891播放

34:04

[代码讲解] 操作系统上的程序（上）

[5] [代码讲解] 操作系统上的程序（中...

1235播放

34:05

[代码讲解] 操作系统上的程序（中）

[6] [代码讲解] 操作系统上的程序（下...

826播放

34:00

[代码讲解] 操作系统上的程序（下）

[7] [并发] 多处理器编程：从入门到放...

1622播放

33:54

[并发] 多处理器编程：从入门到放弃（上）

[8] [并发] 多处理器编程：从入门到放...

1099播放

33:57

[并发] 多处理器编程：从入门到放弃（中）

[9] [并发] 多处理器编程：从入门到放...

801播放

33:55

[并发] 多处理器编程：从入门到放弃（下）

[10] [代码讲解] 操作系统也是程序 (...

1074播放

33:35

[代码讲解] 操作系统也是程序 (调试固件和 boot loader)（上）

[11] [代码讲解] 操作系统也是程序 (...

815播放

33:43

[代码讲解] 操作系统也是程序 (调试固件和 boot loader)（中）

[12] [代码讲解] 操作系统也是程序 (...

1188播放

33:35

[代码讲解] 操作系统也是程序 (调试固件和 boot loader)（下）

[13] [并发] 阅读理解并发程序（上）

1287播放

33:58

[并发] 阅读理解并发程序（上）

[14] [并发] 阅读理解并发程序（中）

1414播放

34:01

[并发] 阅读理解并发程序（中）

[15] [并发] 阅读理解并发程序（下）

923播放

33:59

[并发] 阅读理解并发程序（下）

[16] [代码讲解] 实现 Model C...

1049播放

33:46

[代码讲解] 实现 Model Checker (和其他黑科技)（上）

[17] [代码讲解] 实现 Model C...

1229播放

33:53

[代码讲解] 实现 Model Checker (和其他黑科技)（中）

[18] [代码讲解] 实现 Model C...

1192播放

33:44

[代码讲解] 实现 Model Checker (和其他黑科技)（下）

[19] [并发] 互斥：原子指令、自旋锁（...

1437播放

30:51

[并发] 互斥：原子指令、自旋锁（上）

[20] [并发] 互斥：原子指令、自旋锁（...

1021播放

31:03

[并发] 互斥：原子指令、自旋锁（中）

[21] [并发] 互斥：原子指令、自旋锁（...

898播放

30:46

[并发] 互斥：原子指令、自旋锁（下）

[22] [代码讲解] 并发数据结构：链表和...

1272播放

34:00

[代码讲解] 并发数据结构：链表和malloc/free（上）

[23] [代码讲解] 并发数据结构：链表和...

1371播放

34:07

[代码讲解] 并发数据结构：链表和malloc/free（中）

[24] [代码讲解] 并发数据结构：链表和...

882播放

33:59

[代码讲解] 并发数据结构：链表和malloc/free（下）

[25] [并发] 互斥：实现 (结尾神秘嘉...

1255播放

35:32

[并发] 互斥：实现 (结尾神秘嘉宾)（上）

[26] [并发] 互斥：实现 (结尾神秘嘉...

940播放

35:37

[并发] 互斥：实现 (结尾神秘嘉宾)（中）

[27] [并发] 互斥：实现 (结尾神秘嘉...

1002播放

35:26

[并发] 互斥：实现 (结尾神秘嘉宾)（下）

[28] [代码讲解] xv6 和操作系统中...

1315播放

34:12

[代码讲解] xv6 和操作系统中的自旋锁 (画质飙升)（上）

[29] [代码讲解] xv6 和操作系统中...

601播放

34:21

[代码讲解] xv6 和操作系统中的自旋锁 (画质飙升)（中）

[30] [代码讲解] xv6 和操作系统中...

1155播放

34:13

[代码讲解] xv6 和操作系统中的自旋锁 (画质飙升)（下）

[31] [并发] 同步：条件变量、信号量（...

1016播放

33:26

[并发] 同步：条件变量、信号量（上）

[32] [并发] 同步：条件变量、信号量（...

936播放

33:37

[并发] 同步：条件变量、信号量（中）

[33] [并发] 同步：条件变量、信号量（...

1003播放

33:19

[并发] 同步：条件变量、信号量（下）

[34] [并发] 并发编程模型：协程和 G...

587播放

33:23

[并发] 并发编程模型：协程和 Goroutine；Channel 和 Promise（上）

[35] [并发] 并发编程模型：协程和 G...

1293播放

33:31

[并发] 并发编程模型：协程和 Goroutine；Channel 和 Promise（中）

[36] [并发] 并发编程模型：协程和 G...

589播放

33:22

[并发] 并发编程模型：协程和 Goroutine；Channel 和 Promise（下）

[37] [并发] 并发 bugs：Lock...

1119播放

34:07

[并发] 并发 bugs：Lockdep、Sanitizers 和动态分析（上）

[38] [并发] 并发 bugs：Lock...

841播放

待播放

[并发] 并发 bugs：Lockdep、Sanitizers 和动态分析（中）

[39] [并发] 并发 bugs：Lock...

1035播放

33:59

[并发] 并发 bugs：Lockdep、Sanitizers 和动态分析（下）

[40] [虚拟化] 什么是进程；fork,...

1209播放

34:21

[虚拟化] 什么是进程；fork, execve, exit（上）

[41] [虚拟化] 什么是进程；fork,...

1386播放

34:27

[虚拟化] 什么是进程；fork, execve, exit（中）

[42] [虚拟化] 什么是进程；fork,...

557播放

34:16

[虚拟化] 什么是进程；fork, execve, exit（下）

[43] [虚拟化] 进程的状态和文件描述符...

958播放

32:58

[虚拟化] 进程的状态和文件描述符（上）

[44] [虚拟化] 进程的状态和文件描述符...

621播放

33:03

[虚拟化] 进程的状态和文件描述符（中）

[45] [虚拟化] 进程的状态和文件描述符...

1220播放

32:53

[虚拟化] 进程的状态和文件描述符（下）

[46] [虚拟化] 进程的地址空间（上）

1079播放

34:10

[虚拟化] 进程的地址空间（上）

[47] [虚拟化] 进程的地址空间（中）

917播放

34:17

[虚拟化] 进程的地址空间（中）

[48] [虚拟化] 进程的地址空间（下）

1158播放

34:06

[虚拟化] 进程的地址空间（下）

[49] [虚拟化] xv6 中的进程 (1...

1510播放

34:15

[虚拟化] xv6 中的进程 (1)（上）

[50] [虚拟化] xv6 中的进程 (1...

840播放

34:25

[虚拟化] xv6 中的进程 (1)（中）

[51] [虚拟化] xv6 中的进程 (1...

914播放

34:09

[虚拟化] xv6 中的进程 (1)（下）

[52] [代码讲解] 可执行文件（上）

1062播放

33:39

[代码讲解] 可执行文件（上）

[53] [代码讲解] 可执行文件（中）

600播放

33:51

[代码讲解] 可执行文件（中）

[54] [代码讲解] 可执行文件（下）

1263播放

33:33

[代码讲解] 可执行文件（下）

[55] [代码讲解] 从零实现动态加载 (...

1054播放

33:58

[代码讲解] 从零实现动态加载 (结尾神秘嘉宾)（上）

[56] [代码讲解] 从零实现动态加载 (...

842播放

34:05

[代码讲解] 从零实现动态加载 (结尾神秘嘉宾)（中）

[57] [代码讲解] 从零实现动态加载 (...

944播放

33:55

[代码讲解] 从零实现动态加载 (结尾神秘嘉宾)（下）

[58] [虚拟化] 进程调度（上）

505播放

33:45

[虚拟化] 进程调度（上）

[59] [虚拟化] 进程调度（中）

1371播放

33:51

[虚拟化] 进程调度（中）

[60] [虚拟化] 进程调度（下）

1344播放

33:41

[虚拟化] 进程调度（下）

[61] [代码讲解] 终端、Shell 和...

1371播放

34:58

[代码讲解] 终端、Shell 和 Hello World（上）

[62] [代码讲解] 终端、Shell 和...

613播放

35:01

[代码讲解] 终端、Shell 和 Hello World（中）

[63] [代码讲解] 终端、Shell 和...

1061播放

34:58

[代码讲解] 终端、Shell 和 Hello World（下）

[64] [持久化] 1-Bit 信息的存储...

920播放

33:47

[持久化] 1-Bit 信息的存储（上）

[65] [持久化] 1-Bit 信息的存储...

1468播放

33:51

[持久化] 1-Bit 信息的存储（中）

[66] [持久化] 1-Bit 信息的存储...

858播放

33:39

[持久化] 1-Bit 信息的存储（下）

[67] [持久化] I/O 设备和驱动（上...

1241播放

34:03

[持久化] I/O 设备和驱动（上）

[68] [持久化] I/O 设备和驱动（中...

1139播放

34:15

[持久化] I/O 设备和驱动（中）

[69] [持久化] I/O 设备和驱动（下...

927播放

33:59

[持久化] I/O 设备和驱动（下）

[70] [持久化] 文件系统 API（上）

698播放

34:26

[持久化] 文件系统 API（上）

[71] [持久化] 文件系统 API（中）

959播放

34:37

[持久化] 文件系统 API（中）

[72] [持久化] 文件系统 API（下）

1091播放

34:20

[持久化] 文件系统 API（下）

[73] [持久化] 文件系统实现：FAT ...

1435播放

33:42

[持久化] 文件系统实现：FAT 和 UNIX 文件系统（上）

[74] [持久化] 文件系统实现：FAT ...

1249播放

33:51

[持久化] 文件系统实现：FAT 和 UNIX 文件系统（中）

[75] [持久化] 文件系统实现：FAT ...

1492播放

33:34

[持久化] 文件系统实现：FAT 和 UNIX 文件系统（下）

[76] [持久化] 持久数据的可靠性：RA...

1263播放

33:51

[持久化] 持久数据的可靠性：RAID 和 journaling（上）

[77] [持久化] 持久数据的可靠性：RA...

1248播放

34:03

[持久化] 持久数据的可靠性：RAID 和 journaling（中）

[78] [持久化] 持久数据的可靠性：RA...

1403播放

33:46

[持久化] 持久数据的可靠性：RAID 和 journaling（下）

[79] [代码讲解] xv6 文件系统实现...

1226播放

33:43

[代码讲解] xv6 文件系统实现：mkfs; buffer cache; log（上）

[80] [代码讲解] xv6 文件系统实现...

732播放

33:53

[代码讲解] xv6 文件系统实现：mkfs; buffer cache; log（中）

[81] [代码讲解] xv6 文件系统实现...

563播放

33:39

[代码讲解] xv6 文件系统实现：mkfs; buffer cache; log（下）

[82] [完结撒花] 课程总结；毒鸡汤（上...

641播放

28:37

[完结撒花] 课程总结；毒鸡汤（上）

[83] [完结撒花] 课程总结；毒鸡汤（中...

1535播放

28:41

[完结撒花] 课程总结；毒鸡汤（中）

[84] [完结撒花] 课程总结；毒鸡汤（下...

1186播放

28:30

[完结撒花] 课程总结；毒鸡汤（下）