/img/liang.png

わざと零した 夢で描いた,今に寝そべったままで 時効を待っている

CMU 15-445 Lecture #02: Modern SQL

CMU 15-445 Database Systems Lecture #02: Modern SQL 关系型数据库|SQL 在历经上个世纪的探索和总结后,关系型数据库被发明了出来,其使用的语言也规范为了SQL SQL可以分为三类 数

Operating System Chapter12 进程的地址空间

Operating System $Nanjing\ University\rightarrow Yanyan\ Jiang\newline$ Overview 复习 操作系统:加载第一个 init 程序,随后变为 “异常处理程序” init: fork, execve, exit 和其他系统调用创造整个操作系统世界 本次课回答的问题 Q: 进程的地址

Operating System Chapter11 操作系统上的进程

Operating System $Nanjing\ University\rightarrow Yanyan\ Jiang\newline$ Overview 复习 操作系统内核的启动:CPU Reset → Firmware → Boot loader → Kernel _start() → … 本次课回答的问题 Q1: 操作系统启动后到底做了什么? Q2: 操作系统如何管理程序 (进程

操作系统——内存管理

内存管理 导读 物理内存是操作系统需要管理的一个重要资源,让运行在一台机器上的多个应用程序不用“争抢”,都能随时得到想要的任意多的内存,是操作系

Operating System Chapter10 状态机模型的应用

Operating System $Nanjing\ University\rightarrow Yanyan\ Jiang\newline$ Overview 复习 状态机:理论 数字电路:logisim.c 和 seven-seg.py Model checker: 理解并发程序执行的新方法 状态机:实践 thread-os.c 本次课回答的问题 Q: 状态机模型如此有用

Operating System Chapter9 操作系统的状态机模型

Operating System $Nanjing\ University\rightarrow Yanyan\ Jiang\newline$ Overview 复习 并发……就这么……讲完了…… 理解的方式:“玩一玩” 示例代码 本次课回答的问题 Q: 听说操作系统也是程序。那到底是鸡生蛋还是蛋生鸡