本周阅读材料

教科书

教科书 Operating Systems: Three Easy Pieces:

• 第 7 章 - CPU Scheduling
• 第 8 章 - Multi-level Feedback
• 第 9 章 - Lottery Scheduling
• 第 10 章 - Multi-CPU Scheduling

如果对微内核有兴趣的，我们推荐

• The seL4 Microkernel: An Introduction (seL4 whitepaper).

做实验

实 (死) 验 (去) 愉 (活) 快 (来)！