update eventual leader algorithm