Migration is the controlled movement of a server in a multiplex from one machine to another. All resources of the machines involved are assumed to be available during the entire procedure. There are two cases: migrating a query server, and migrating a write server.
