Guarantee migrate, upgrade, randomize threads keep running