Practical, transparent operating system support for superpages
Paper presented on the 5th Symposium on Operating Systems Design and Implementation, describing a superpage management system that improves the performance of applications by increasing the TLB coverage and reducing TLB misses.
Non-scalable locks are dangerous
This paper shows that non-scalable locks can cause dramatic collapse in the performance of real workloads, even for very short critical sections, and demonstrates a replacement of the offending nonscalable spin locks with MCS scalable locks.
Eraser: A Dynamic Data Race Detector for Multithreaded Programs
This paper presents the design and implementation of Eraser, a tool for dynamically detecting racing conditions (data race) in lock-based multithreaded programs.
Serverless Computation with OpenLambda
This paper presents the advantages and main challenges of implementing OpenLambda, a platform for building applications using the serverless computation model.
The Singularity system
This paper shows how safe, modern programming languages let Microsoft rethink the architectural trade-offs in a experimental operating system.