摘要：
lambda abstraction（lambda abstraction） 在lambda运算中，函数的表达式与平常的不同： f(x)=M，应该表示成λx.M（带函数名的写法为，f≡λx.M）的形式，这样左到目的是为了省略函数的名称，从而更加简洁 lambda abstraction中点号的后面包 阅读全文
摘要：
系统故障：掉电或者突然关机，易失性内存中的数据丢失。 事务故障恢复 需要保证事务的持久性：已提交的事务，缓冲区内容能保证写回到磁盘；未提交的事务，缓冲区内容不能影响到磁盘 需要保证事务的原子性：input(B)将B从磁盘复制到内存；output(B)将B从内存写回到磁盘；read(X)从缓冲区读取X 阅读全文
摘要：
事务的特性： Atomicity（原子性）：一个事务要么完全执行，要么就不执行。 Consistency（一致性）：再没有其他事务并发执行的情况下保持数据库的一致性。 Isolation（隔离性）：一个事务的执行过程中无法感受其他事务的执行。 Durability（持久性）：一个事务完成后，其结果应 阅读全文
摘要：
查询处理的基本步骤包括： 下图是一个查询处理的步骤原理图 需要注意的是，磁盘只能用于存储，而由于存储结构多级缓存的原因，CPU无法直接对磁盘进行处理，而只能将磁盘中的数据复制到内存然后对内存进行修改处理，最后再将内存中更新的数据重新传回到磁盘中来修改磁盘中的数据。 查询代价的度量：我们用传送磁盘块数 阅读全文
摘要：
物理和虚拟寻址 计算机系统的主存被组织成一个由M个连续的字节大小的单元组成的数组。每字节都有一个唯一的物理地址。第一个字节的地址为0，接下来的字节地址为1，再下一个为2，依此类推。所以最简单的结构就是，CPU访问内存的最自然的方式就是使用物理地址。我们把这种方式称为物理寻址。下图是一个物理寻址的示意 阅读全文
摘要：
异常 异常就是控制流中的突变，用来响应处理器状态终端某些变化。 当处理器状态中发生一个重要的变化时，处理器正在执行某个当前指令，在处理器中状态被编码为不同的位和信号。状态变化称为事件。 在任何情况下，当处理器检测到有事件发生时，它就会通过一张叫做异常表的跳转表，进行一个间接跳转过程调用，到一个专门设 阅读全文
摘要：
静态链接 静态链接器以一组可重定位目标文件和命令行参数作为输入，生成一个完全链接的、可以加载和运行的可知陷阱目标文件作为输出。 输入的可重定位目标文件有各种不同的代码和数据节组成，每一节都是一个连续的字节序列。 为了构造可执行文件，连接器必须完成两个主要任务： 符号解析，目标文件定义和引用符号，每个 阅读全文
摘要：
Python 手册(https://docs.python.org/3/)的使用方法： 通过type()函数找到变量所属的类型，然后在官方文档中进行搜索。 print函数 python中的print函数与C语言中printf函数比较相似，但是有以下几点区别： python语句的结尾不需要分号，而且如 阅读全文