Proceedings of the third ACM symposium on Operating systems principles