摘要：Jensen's inequality 及其应用 对于一个 convex function $f(x)$ , 最常见的形式是: $$ f\left(t x_{1}+(1 t) x_{2}\right) \leq t f\left(x_{1}\right)+(1 t) f\left(x_{2}\rig 阅读全文

摘要：Handling Page Faults 产生却也中断的时候, 需要保留当前的虚拟地址到寄存器 CR2, Exercise 5. Modify trap_dispatch() to dispatch page fault exceptions to page_fault_handler(). You 阅读全文

摘要：Lab3 以后内存出现的问题 对于GCC 7.0 以上的版本在Lab3以后, 会出现 kernel panic at kern/pmap.c:147: PADDR called with invalid kva 00000000 这个错误, 我本身也很疑惑, 明明在 Lab2 代码是正确的, 这里为 阅读全文

摘要：内存管理 内存管理的内容 内核页表机制的启动过程: 详细内容可以这篇博客 传送门 ,这里我们简单概述下, BIOS 与 boot loader 都是工作在实模式下的, 启用页表机制是在 entry.S 文件中启动的, 并且将页目录的物理地址存入 CR3 寄存器中, 这是一个静态初始化的页目录与页表, 阅读全文