-
Notifications
You must be signed in to change notification settings - Fork 0
Exokernel
oraccha edited this page Jan 14, 2013
·
1 revision
MITのPDOS(Parallel & Distributed OS)グループ M.Frans Kaashoek 教授らによるプロジェクト.
- [http://www.pdos.lcs.mit.edu/exo.html 本家]
- [http://amsterdam.lcs.mit.edu/exo/distrib.html Exopc Exokernel Distribution] . CVS リポジトリが公開されているみたい.
- Kaashoek氏は,MITに来る前は,AndrewTanenbaum教授の元でAmoebaに係っていたんだね.
論文
- Dawson R. Engler, M. Frans Kaashoek, and James O'Toole Jr, Exokernel: an operating system architecture for application-level resource management. In the Proceedings of the 15th ACM SOSP, pp.251-266, 1995. ([http://citeseer.nj.nec.com/engler95exokernel.html ResearchIndex])
- [http://amsterdam.lcs.mit.edu/exo/exo-slides/sld001.htm Exokernels (or, making the operating system just another application library)] (slides)
Exokernelはハードウェアの多重化と保護だけを提供するカーネルであり,それ以外の抽象化はアプリケーションにリンクされるライブラリ(libOS)によって行われる.
- 言い直すと,OSはハードウェア資源を多重化するカーネルとその資源を抽象化するライブラリOSから構成される.従来のカーネルはハードウェア資源を管理し,抽象化して(例えば,Mach の pmap)提供していたが,Exokernel ではこれを libOS に任せてしまう.libOS は特権モードでは動作しないが,従来のOSの仕事をこなす.資源管理と保護の分離が Exokernel の肝である.
- 保護が必要な場合はカーネル呼出しが必要だが,大半の処理はライブラリ内で完結し,IPCの必要がない.
- このようにカーネルのポータビリティを重視せず,ハードウェアに合わせて最適化しようというのが Exokernel や L4 などの特徴.