活動日期:20130327 19:30 ~ 22:00
活動主題:第10次星系主題:探討microkernel三個發展世代 -- 方法與概念

原共筆網址:http://sync.in/ep/pad/view/juluosdev/CSvuQdYr0c

請簽到 (用以將人名和編輯的顏色作關連)

--
jserv
ben6


簡報檔案:


IBM K42

NeXT

New Jersey Style --- Bell lab

看學術論文,可參考出處

OpenStep  from NeXTStep


Mach
  • performance issue: memory object cannot be cached.
  • memory management and IPC
  • copy on write


L4 x86 on github

jserv: Mach 論文寫設計概念不錯, 值得參考。

Jochen Liedtke 
*  List of Liedtke's publications

*SOSP'95
 ﹣On µ-Kernel Construction
   -- Remote Communication: Remote IPC is implemented by communication servers which translate lo cal messages to external communication proto cols and vice versa.

Fiasco.OC / OKL4
  -- open source os like seL4
  -- Object oriented capability system

Fiasco -- 可參考 TU Dresden 的論文
  - search Dresden fiasco

QaulComm L4 
 ﹣MSM7225, MSM7225﹣1
 ﹣ AMSS

FCSE

ARMv6 has better MMU performance (70% up)

Microvisor: micro kernal + hypervisor

memory mapped I/O vs. I/O ports (inb, outb)

Linux IPC: page; L4: register

perfomance key: IPC & address space

xtratum
 aim to strong partitioning

seL4
 - Capability based Systen

ARM Cortex A15 hardware virtualization ext.

Heterogeneous design:
Cortex A7 X2 , Cortex A15 X2   (little, big)

search OKL4 power management

3rd - microkernel based hypervisor
* NOVA hypervisor

 iar
Comments