integrated Paxos with Write-aheadlog