珅鸟玄's Blog

关系范式写在前面引入数据库的设计范式是数据库设计所需要满足的规范，满足这些规范的数据库是简洁的、结构明晰的，同时，不会发生插入（insert）、删除（de...

MIT 6.S081 - Lab Page tables - overview在做实验之前，阅读 xv6手册 的以下章节及相关源代码：[1] xv6 bo...

MIT 6.S081 - Lab Page tables - Simplify copyin/copyinstr1 原理1.1 背景xv6 目前使用 ke...

MIT 6.S081 - Lab Page tables - A kernel page table per process0 起始任务二：分理出独立页表...

MIT 6.S081 - chapter 3 note 1大致对应 3.1 Paging Hardware从逻辑地址到物理地址的翻译。本篇仅介绍页表核心逻...

MIT 6.S081 - chapter 3 note 20 起始0.1 涉及章节以及参考本文大致对应：3.2 Kernel address space3...

MIT 6.S081 - Lab Page tables - vmprint任务 1 就是让你熟悉 xv6 的源码的过程，所以不会太难；但你要用学到的理论...

MIT 6.S081 - Lab Lock - overview在做实验之前，阅读 xv6手册 的以下章节及相关源代码：[1] xv6 book, Cha...

MIT 6.S081 - Lab Lock - Buffer cache (4) 使用两项优化OS_Learn/bio_mix.c at main · x...

MIT 6.S081 - Lab Lock - Buffer cache (3) 哈希单项优化 - 死锁处理以及 test and set 的 xv6 实...