마이크로커널 (Microkernel) - L4/Iguana

소개글

마이크로커널 (Microkernel) - L4/Iguana에 대한 보고서 자료입니다.

목차

1. Microkernel
- What is Kernel?
- Monolithic Kernel
- Microkernel

2. L4 Basic
- OS Terminology
- History
- L4 Microkernel Family
- Embedded L4 Microkernel

3. More L4
- Architecture
- Address Space
- Thread
- Scheduler
- Inter Process Communication
- System Call
- Interrupt

4. Iguana
- What is Iguana?
- Design
- Architecture
- Concepts

5. Summary

본문내용

PPT의 대부분이 도표, 그림으로 알기쉽게 구성되어 있습니다.
다음은 도표의 일부분만을 발췌하여 텍스트로 옮겨놓은 것입니다.

* Threads provide a unit of execution (execution context)
- Scheduled by the kernel
- Belong to a single address space
- Has a unique thread ID for the IPC mechanism

* Threads are managed by user-level servers
- Creation, destruction, association with address space
- Only the root server has rights to do these operations

* Some of the threads attributes are :
- Scheduling parameters (priority, time slice)
- Unique ID
- Address space
- Page fault, exception, scheduler handlers

키워드

운영체제,   마이크로커널,   L4,   Iguana,   퀄컴