On μ-Kernel Construction

Jochen Liedtke

Summary

Rationale

Micro-kernel concepts

Micro-kernel primitives

Address spaces

Micro-kernel hides the hardware concept of address spaces. Microkernel provides three operations for building address spaces on top of foundational address space.

Threads and IPC

Unique identifiers

Performance, facts and rumors

Kernel-user switch

Address space switch

Thread switches and IPC

Memory Effects

--

--

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store