Operating systems

A Progress Report on DBOS: A Database-oriented Operating System
Over the last year, a group of us at MIT, Stanford, CMU, Google, and VMware have been designing and implementing a new Operating System …
GhOSt: Fast & Flexible User-Space Delegation of Linux Scheduling
We present ghOSt, our infrastructure for delegating kernel scheduling decisions to userspace code. ghOSt is designed to support the …