Proceedings of the third symposium on Operating systems design and implementation