京东 11.11 红包
04-数学视角的操作系统 (程序正确性证明；操作系统的模型和检查器) [南京大学2024操作系统]
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
vlog｜南京大学｜断更的日子里 工作已找 文章已发
...
[完结] 2020 南京大学计算机系统基础习题课 (蒋炎岩)
...
被MIT的算法课感动到了
...
应用视角的操作系统 (程序的状态机模型；编译优化) [南京大学2023操作系统-P2] (蒋炎岩)
...
操作系统我有三不学
...
我教你们git提交代码，不是把代码提交github上去。
...
15-(入侵) 进程的地址空间 (mmap; 实现金山游侠、按键精灵、变速齿轮) [南京大学2024操作系统]
...
Python 实现操作系统模型 [南京大学2023操作系统-P4] (蒋炎岩)
...
17-C 标准库设计与实现 (_start; offsetof; printf; environ; malloc/free) [南京大学2024操作系统]
...
[计算机系统基础] 非递归汉诺塔和其他 (蒋炎岩)
...
21-系统调用、中断和上下文切换 (50 行实现操作系统内核) [南京大学2024操作系统]
...
【操作系统工程】精译【MIT 公开课 MIT6.S081】
...
20-动态链接和加载 (dlbox; 翻车之 ELF 的动态链接) [南京大学2024操作系统]
...
【余子濠】NEMU：一个效率接近QEMU的高性能解释器 - 第一届 RISC-V 中国峰会
...
29-持久数据的可靠性 (RAID; 日志文件系统) [南京大学2024操作系统]
...
硬件视角的操作系统 (CPU Reset；固件；为硬件编程) [南京大学2023操作系统-P3] (蒋炎岩)
...
南京大学，我有四不上
...
19-可执行文件：静态链接和加载 (Funny Little Executable; ELF 文件的静态加载) [南京大学2024操作系统]
...
08-调试理论与实践 (Fault, Error, Failure；调试一切) [南京大学2024操作系统]
...
13-应对并发 Bugs (动态程序分析：应对死锁、死局和死线) [南京大学2024操作系统]
...
24-状态机模型的应用 (图灵机、Game of Life、状态机思想在编程世界的应用) [南京大学2024操作系统]
...
27-文件与设备驱动程序 (驱动核弹发射器) [南京大学2024操作系统]
...
Dr.Dng陪跑CSAPP: bigONE《深入理解计算机系统》
...
16-系统调用和 UNIX Shell (pipe; xv6 shell) [南京大学2024操作系统]
...
如何用一行代码打败修炼三十年的高数老师 [南京大学 IT 侠 iTalk]
...
02-应用视角的操作系统 (最小 Hello World；追踪系统调用；编译器与编译正确性) [南京大学2024操作系统]
...
05-多处理器编程：从入门到放弃 (线程库、理解并发程序执行、宽松内存模型) [南京大学2024操作系统]
...
30-课程总结 (从逻辑门到计算机系统：我们学了个啥？) [南京大学2024操作系统]
...
11-真实世界的并发编程 (浏览器、高性能计算、数据中心和 AI 中的并发编程) [南京大学2024操作系统]
...
10-并发控制：同步 (2) (信号量) [南京大学2024操作系统]
...
MIT 6.S081 2020 操作系统 [中英文字幕]
...
28-文件系统 API 与实现 (mount; 链接；fat 和 ext2) [南京大学2024操作系统]
...
22-进程的实现 (虚拟地址空间；UNIX 和 xv6) [南京大学2024操作系统]
...
06-并发控制：互斥 (1) (Peterson 算法、原子操作、自旋锁) [南京大学2024操作系统]
...
理解并发程序执行 (Peterson算法、模型检验与软件自动化工具) [南京大学2022操作系统-P4]
...
18-Linux 操作系统 (initramfs; 最小 Linux 世界) [南京大学2024操作系统]
...
23-处理器调度 (xv6 上下文切换；处理器调度：机制和策略) [南京大学2024操作系统]
...
14-操作系统上的进程 (fork/execve/exit) [南京大学2024操作系统]
...
03-硬件视角的操作系统 (计算机系统的状态机模型；固件、调试固件) [南京大学2024操作系统]
...
[完结] 2021 南京大学 “操作系统：设计与实现” (蒋炎岩)