lec03-microkernel - 1 Micro-kernel 2 Key points •...

Info iconThis preview shows pages 1–7. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: 1 Micro-kernel 2 Key points • Microkernel provides minimal abstractions – Address space, threads, IPC • Abstractions – … are machine independent – But implementation is hardware dependent • Myths about inefficiency of micro-kernel stem from inefficient implementation and not from microkernel approach 3 What abstractions? • Determining criterion: – Functionality not performance • Hardware and microkernel should be trusted but applications are not – Hardware provides page-based virtual memory – Kernel builds on this to provide protection for services above and outside the microkernel • Principles of independence and integrity – Subsystems independent of one another – Integrity of channels between subsystems protected from other subsystems 4 Microkernel Concepts • Hardware mapping provides address space – from virtual page to a physical page – implemented by page tables and TLB • Microkernel concept of address spaces – Hides the hardware address spaces and provides an abstraction that supports • Grant? • Map? • Flush? – These primitives allows building a hierarchy of protected address spaces 5 Grant, Map and Flush QuickTimeª and a decompressor are needed to see this picture. 6 • Power and flexibility of address spaces – Initial memory manager for address space A0 appears by magic and encompasses the physical memory – Allow creation of stackable memory managers...
View Full Document

Page1 / 22

lec03-microkernel - 1 Micro-kernel 2 Key points •...

This preview shows document pages 1 - 7. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online