OS_lec9.md

##OS_lec9

SPOC

1. 证明LRU算法不存在Belady现象：

   最优置换和LRU最欢都没有Belady异常。这两个都属于同一类算法，称为栈算法（stack algorithm），都绝不可能有Belady异常。栈算法可以证明为：对于帧数为n的内存页集合是对于帧数为n+1的内存页集合的子集。对于LRU算法，如果内存页的集合为最近引用的页，那么对于帧的增加，这n页仍然是最近引用的页，所以也仍然在内存中

2. 用于描述“合法”虚拟页的数据结构是：vma_struct

3. 访问“合法”虚拟页产生缺页异常的原因是：P bit = 0，表示此页不存在于内存

4. lab3中把扇区索引信息放在：页表项中-高24位