摘要：
操作系统的基本概念 操作系统是计算机系统中最基本的系统软件。 操作系统的基本特征包括并发、共享、虚拟和异步。并发是指两个或者多个事件在同一时间间隔内发生；共享指多个并发进程共同使用系统内的资源；虚拟包括虚拟处理器、虚拟内存和虚拟外设，指物理设备到逻辑设备的过程；异步指多个进程之间的执行并不是顺序的， 阅读全文
摘要：
生产者-消费者问题 问题描述：一组生产者和一组消费者共享一个大小为 n 的缓冲区；只有缓冲区还有空位的时候生产者才能往里放数据；只有缓冲区不为空的时候消费者才能从中取数据；缓冲区是临界资源，只允许一个生产者往里放数据或者一个消费者从中取数据 关系分析：因为缓冲区是临界资源，所以需要一个信号量 mut 阅读全文
摘要：
第 2 章 辅助存储管理 磁盘的概念：圆盘、盘面、磁道、扇区 读写时间：读写某个磁盘块的时间 = 寻道时间 + 旋转延迟 + 传输时间；平均寻道时间是移动过整个磁盘的 1/3（证明）；平均旋转延迟是磁盘旋转半周需要的时间 磁头调度：电梯算法 磁盘故障的应对技术：RAID（冗余盘）、RAID 4（奇偶 阅读全文
摘要：
《数据库》期中复习 只有两个重点：查询表的方法和设计表的模式。 第二章 关系数据模型 数据模型是用于描述数据或信息的标记，由数据结构、数据操作和数据上的约束条件组成。 一个关系的列被称为属性 attribute，关系名和其属性的集合称为关系的模式 schema，关系的每一行称为元组 tuple，元组 阅读全文
摘要：
使用 Menhir 构建 SimPL 的编译器 Lexer and Parser 语法分析模块 Lexer, Parser, AST 是三个依次耦合的模块，可以这么描述三者的关系： Lexer tokens--> Parser nodes--> AST 相对于上面的图像化描述，cs3110 反过来构 阅读全文
摘要：
下载 Dune opam install dune 创建项目 dune init project <project-name> 如果创建成功，有 Success: initialized project component named <project-name> 得到如下的一个文件结构 proje 阅读全文
摘要：
(* Exercise: mutable fields *) type student = { name : string; mutable gpa : float; } let stuA = {name = "Alice"; gpa = 3.7} let () = stuA.gpa <- 4.0 阅读全文
摘要：
(* Exercise: spec game *) (* Where is another programmer? *) (* Exercise: poly spec *) (* [Poly] represents immutable polynomials with integer coeffci 阅读全文
摘要：
背景 这几天突击了一下 Cornell 的 cs3110；抽了两个下午刷完了 Chapter 3，4，5 的课后习题，很有感触。结合自己浅薄的函数式编程理解和贫瘠的 JavaScript / TypeScript 开发经历，总结一下自己第一阶段的函数式编程学习经历。😃 从 JavaScript 出 阅读全文
摘要：
(* Exercise: complex synonym *) module type ComplexSig = sig type complex val zero : complex val add : complex -> complex -> complex end (* Exercise: 阅读全文