2013-03-27
活動日期：20130327 19:30 ~ 22:00
活動主題：第10次星系主題：探討microkernel三個發展世代 -- 方法與概念
報名網址：http://registrano.com/events/0d3fc6
原共筆網址：http://sync.in/ep/pad/view/juluosdev/CSvuQdYr0c
請簽到 (用以將人名和編輯的顏色作關連）
--
jserv
ben6
簡報檔案:
http://0xlab.org/~jserv/tmp/microkernel-evolution.pdf
NICTA ﹣ http://www.nicta.com.au/about
IBM K42
http://en.wikipedia.org/wiki/K42
NeXT
http://en.wikipedia.org/wiki/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
https://github.com/l4ka/hazelnut/tree/master/l4-x86
jserv: Mach 論文寫設計概念不錯, 值得參考。
Jochen Liedtke
﹣ http://en.wikipedia.org/wiki/Jochen_Liedtke
＊ List of Liedtke's publications
﹣ http://os.ibds.kit.edu/english/1374_1772.php
＊SOSP'95
﹣On µ-Kernel Construction
http://os.ibds.kit.edu/downloads/publ_1995_liedtke_ukernel-construction.pdf
-- 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
- http://os.inf.tu-dresden.de/fiasco/
-- 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
- https://github.com/IntelLabs/NOVA
iar