OSDI ‘08: Corey, an operating system for many cores · HackerTrans