Machine Independent VM

Lecture Note

Modern micro kernel designs

Goal

• Hardware independent
• Support sparse address space (to support multi-threading)

Implementation

• Address map:

• Resident page table:

• Memory objects:

• PMap: a layer of abstraction to fill in Mach's definition of pages into what hardware architecture can understand