正在跳转至 http://www.ux.uis.no/~meling/papers/2013-paxostutorial-opodis.pdf