花了两个月的时间瞄完了SICP，完成了一到三章的大部分习题，第四章照着书上实现了一个元循环解释器，以及一个查询系统，第五章也照着书上模拟了一下机器语言，最后一节编译没有细看，现在做一下总结。 整本书依次介绍了过程抽象、数据抽象、环境模型、解释器、编译器 一、过程抽象 1.正则序先将参数展开然后规约，应用序先对参数求值，然后将值代入，特别要注意的著名的Y combinator只适用于正

The Process 1.process  进程不仅仅只是一个程序段，还包括打开的文件，收到的信号，进程状态，地址空间，一个或多个运行线程，保存全局变量的数据段等等 2.thread 线程拥有独立的PC，栈以及一组寄存器。linux内核是调度线程而不是进程，因为linux不区分线程和进程，线程只是一种特殊的进程。 3.fork(),exec(),wait(),waitpid() 进程

Multitasking 多任务操作系统一般有两种，一种是抢占式另一种是非抢占式。在抢占式操作系统中，由调度器决定什么时候一个进程开始运行和终止运行。在非抢占式操作系统中，一个进程一旦开始运行就只能由它自己自愿地终止。linux和现在大多数的操作系统都是可抢占的多任务操作系统。 Linux's Process Scheduler linux调度器的发展：      O(1)调度器 =>

Y combinator 的推导过程最近在看《暗时间》，书中有Y组合子的推导过程，初看时很难理解，这里记录一下加深记忆，我们使用Scheme语言的语法。我们知道Scheme中可以这样定义递归函数(define (func n) (if (= n 0) 1 (* n (func (- n 1)))))但是我们知道define这个函数只起到了一个语法糖的效果，再对