private short getLeader() {
return (short) (preparedFor % serverSet.getNumServers());
}
private void sendAllMessage(PaxosMessage message) {
for (short i = 0; i < serverSet.getNumServers(); i++) {
sendMessage(message, i);
}
}