Proceedings of the second symposium on Operating systems principles