页表地址转换与访问权限

页表改变的是一整页的起点，偏移保留。页0x12中的第0xAB个字节被放到页框0x30后，仍是该页框中的第0xAB个字节。硬件查到一个页框号还不够：权限检查决定这次特定动作是否允许到达它。

“进程有这个地址”可表示它保留了一个合法区域，也可表示已有驻留页，甚至只表示整数落在地址宽度内。这三句话不等价。保留的堆页可能尚无物理页，代码页可能可执行却不能写。

同一数值的两次转换 ​

B=256=0x100，P和Q的虚页0x12分别映射到PFN0x30和0x50，都允许用户读写。对v=0x12AB，VPN=0x12、offset=0xAB；P得到0x30×0x100+0xAB=0x30AB，Q得到0x50AB。地址空间身份选择页表，VPN选择条目，offset选择字节，三者缺一不可。

代码页的W=0和COW页的W=0在硬件上都可以产生写故障。是否能修复要看内核元数据；不能把所有只读页都复制成可写页。缺页处理理路按需分页与缺页处理Demand paging · Page fault handling · Lazy page allocation依据合法区域与访问种类分类故障，完成零页分配、文件换入或拒绝访问，并保持失败时的映射和数据不变量。负责这种分类。

页尾与越界 ​

0x12FF仍在VPN0x12，offset255；0x1300已在VPN0x13，offset0。若对0x12FF做两字节写，第二字节不再受0x12的PTE保护。只检查起始地址而使用连续物理地址0x30FF、0x3100，会把不同虚页错误视为相邻页框。

隔离的归纳条件是：用户无法改页表；不存在未经许可的共享映射；每次访存都按当前进程和权限翻译；映射变更后无陈旧翻译继续使用。初始页分配互不重叠，一次允许访问只触及该进程获准页框，因而不改变其他私有页。最后一项需要TLB失效理路TLB与地址翻译失效Translation lookaside buffer · TLB miss · TLB invalidation将翻译缓存键、权限和映射生命周期一起核对，区别TLB未命中与缺页，构造改PTE后仍越权的最短反例。，只检查内存中的PTE并不充分。

映射表空间、查表时间和数据访问时间是三项成本。OS-16的256个虚页若用每项16B的平表，占4096B，即16个物理页；页表本身也要占内存，不能把它当免费数学函数。

数据库影子分页理路影子分页恢复Shadow paging recovery · Shadow paging以页表写时复制和稳定根指针切换发布事务，使崩溃后可在完整旧映射与完整新映射之间选择。中的“页表”把数据库逻辑页号映到存储位置，并以稳定根发布事务。本页页表服务每次CPU地址翻译与权限控制，更新它不会提交数据库事务，也不会让用户数据自动掉电持久。两者可以同时存在于一台机器。