Reliability

It is vital that the migration mechanism be atomic and reliable. There should be exactly one copy of the process active except whilst migration is in progress. Furthermore, should the destination computer crash whilst a migration is in progress, the migration should be aborted and the original copy reinstated.