AllConcur: Leaderless Concurrent Atomic Broadcast