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