NetPunk

之前我们解释了锁和基于的锁的并发数据结构，已经可以构建一个小型的并发程序。但是我们只注意于对线程操作的数据的保护，而忽视了线程与线程之间的关系处理。事实上，有很多情况是线程需要确认条件允许，再进行下一

在了解锁的概念后，我们将目光放在程序访问的核心——数据结构上。即我们要怎样利用锁构建线程安全的数据结构呢？这是一个非常深的领域，这一节我们只探讨几个经典的例子。

上面提到我们需要一种将critical section组合成一个原子操作的方法，这种方法就是Lock(锁)，其基本思想就是维护一个各线程之间共享的lock variable，当lock variabl

在CPU与内存的虚拟化中，我们探讨的硬件环境一直是一样的普通单核处理器，但是当代计算机的CPU通常会有多个核心，给予处理器同时处理多个过程的能力。相应的，一种抽象——线程被提出来了。一条线程指的是进程

到目前为止我们已经学习了很多CPU虚拟化和内存虚拟化的底层机制和设计策略，现在我们以两个经典的操作系统：VAX/VMS和Linux，来看一下现代操作系统比较完整的虚拟化所用的技术都有哪些。

上一节我们介绍了swap scape这一基础概念（这一节的基础），操作系统通过swap space扩大内存，保留访问活跃的page，每一次都通过replacement policy来选择哪一个page

之前所讲的page策略一直都是基于一个基本的假设，那就是进程的地址空间都比较小，至多不会大于内存总大小。但是在现实中，进程随时有可能会申请非常大的地址空间，更不用说在现代操作系统中多进程同时进行是常态

如果简单的使用linear page table，也就是一个内存占用对应一个page table entry，那么每个进程的page table所占用的内存加起来会十分巨大。如果不解决这一问题page

分页的基础方法对物理地址的查询依赖于page table，但是基于page table的查询需要两段步骤，因此速度很慢。这也就导致了分页方法带来了非常高的性能开销，为了解决这个问题，我们会增加一个内存