OSDI'08 : Corey: an operating system for many cores

main idea of this paper is to expose low level detail to up level software, much like exokernel, HAHA, Dawson Angle jump out agiain.