The second homework for 15-440 Distributed Systems.