从逻辑门到计算机系统数字系统：计算机系统的 “公理系统”数字系统 = 状态机 状态：触发器 迁移：组合逻辑 logisim.c 和 seven-seg.py NEMU Full System Emulator 数字系统的设计 = 描述状态机 HDL (Verilog) HCL (Chisel) 编译生成 Verilog HLS (High Level Synthesis)

复习 应用视角的操作系统 对象 + API 硬件视角的操作系统 一个控制了整个计算机硬件的程序 本次课回答的问题 Q: 一个真正 “实用” 的操作系统还需要什么？ 本次课主要内容 Android 应用和系统 走向移动互联网时代我们的世界悄然发生的变化 我们已然无法想象没有手机的生活。 (把计算机变小从来不是一个新想法，但是……) Android 应用 (把计算机变小

复习 Xv6 文件系统 I/O 设备 Buffer cache Log 应用程序 本次课回答的问题 Q: 现代应用程序如何使用文件系统？ 本次课主要内容 关系数据库 Key-Value 存储系统

复习 文件系统：bread/bwrite 上的数据结构 balloc/bfree 文件：FAT (链表)/UNIX 文件系统 (索引) 目录文件 持久数据的可靠性 RAID 和日志 本次课回答的问题 Q: 到底能不能看一看文件系统实现的代码？ 本次课主要内容 Xv6 文件系统实现

复习 文件系统实现：bread/bwrite 上的数据结构 balloc/bfree 文件：FAT (链表)/UNIX 文件系统 (索引) 目录文件 本次课回答的问题 数据结构的另一个假设：内存可靠且可以接受断电数据丢失 Q: 持久数据是不能接受丢失的，如何保证持久数据的可靠性？ 本次课主要内容 RAID (Redundant Array of Inexpensive Disks

复习：文件系统 API 目录 (索引) “图书馆” - mkdir, rmdir, link, unlink, open, … 文件 (虚拟磁盘) “图书” - read, write, mmap, … 文件描述符 (偏移量) “书签” - lseek 本次课回答的问题 Q: 如何实现这些 API？ 本次课主要内容 FAT 和 ext2/UNIX 文件系统 本质

复习 对 I/O 设备的抽象 物理层 1-bit 的存储 设备层 I/O 设备 (寄存器) 驱动层 (可读/写/控制的对象) 块设备层 (block read/write) 本次课回答的问题 Q: 如何使应用程序能共享存储设备？ 本次课主要内容 文件系统需求分析 文件系统 API

复习 I/O 设备：一组寄存器和协议 串口/键盘/磁盘/打印机/总线/中断控制器/DMA/GPU

这里是🐰自己的快速复习，不全，随心记，🐰认为的重点或不熟的，可能很抽象昂！