Methods, apparatus, systems, and instructions to migrate protected virtual machines
Techniques for migration of a source protected virtual machine from a source platform to a destination platform are descried. A method of an aspect includes enforcing that bundles of state, of a first protected virtual machine (VM), received at a second platform over a stream, during an in-order phase of a migration of the first protected VM from a first platform to the second platform, are imported to a second protected VM of the second platform, in a same order that they were exported from the first protected VM. Receiving a marker over the stream marking an end of the in-order phase. Determining that all bundles of state exported from the first protected VM prior to export of the marker have been imported to the second protected VM. Starting an out-of-order phase of the migration based on the determination that said all bundles of the state exported have been imported.
1. An apparatus comprising:
a processor; and
a non-transitory machine-readable storage medium, the non-transitory machine-readable storage medium storing a plurality of instructions, the plurality of instructions, if executed by the processor, to cause the processor to perform operations comprising to:
enforce, in response to execution of bundle import control primitives by circuitry of the processor, that a plurality of bundles of state of a first protected virtual machine (VM), received at a second platform over a stream during an in-order phase of a migration of the first protected VM from a first platform to the second platform, are imported and stored to a memory of a second protected VM of the second platform, in a same order that the plurality of bundles of state were exported from the first protected VM;
determine whether all bundles of state exported from the first protected VM prior to export of a marker of an end of the in-order phase of the migration, which is to have been received over the stream, have been imported to the second protected VM; and
determine whether to start an out-of-order phase of the migration based on whether the determination is that said all bundles of the state exported from the first protected VM prior to export of the marker over the stream have been imported to the second protected VM.
2. The apparatus of claim 1 , wherein the instructions to determine whether to start the out-of-order phase of the migration further comprise instructions that, if executed by the processor, are to cause the processor to perform operations comprising to:
determine to start the out-of-order phase of the migration upon a determination that said all bundles of the state exported from the first protected VM prior to export of the marker over the stream have been imported to the second protected VM;
determine to abort the migration upon a determination that said all bundles of the state exported from the first protected VM prior to export of the marker over the stream have not been imported to the second protected VM; and
in response to determining to abort the migration, send an abort token to the first platform, the abort token to indicate the first protected VM on the first platform is allowed to restart after its execution has stopped.
3. The apparatus of claim 1 , wherein the plurality of bundles of state are encrypted with a migration capable key according to a counter-mode encryption, further comprising a protected migration service VM to authenticate the second platform to the first platform, and wherein the migration capable key is not kept confidential from the protected migration service VM but is kept confidential from a virtual machine monitor (VMM).
4. The apparatus of claim 1 , wherein the marker is encrypted and integrity protected according to counter-mode encryption with a migration capable key that is kept confidential from a virtual machine monitor (VMM).
5. An apparatus comprising:
a central processing unit (CPU); and
a processor coupled with the CPU, the processor comprising:
first circuitry to enforce, in response to execution of control primitives by circuitry of the processor, that a plurality of bundles of state of a first protected virtual machine (VM), received at a second platform over a stream during an in-order phase of a migration of the first protected VM from a first platform to the second platform, are imported and stored to a memory of a second protected VM of the second platform, in a same order that the plurality of bundles of state were exported from the first protected VM;
second circuitry to determine whether all bundles of state exported from the first protected VM prior to export of a marker of an end of the in-order phase of the migration, which is to have been received over the stream, have been imported to the second protected VM; and
third circuitry to determine whether to start an out-of-order phase of the migration based on whether the determination is that said all bundles of the state exported from the first protected VM prior to export of the marker over the stream have been imported to the second protected VM.
6. The apparatus of claim 5 , wherein the third circuitry is to:
determine to start the out-of-order phase of the migration upon a determination that said all bundles of the state exported from the first protected VM prior to export of the marker over the stream have been imported to the second protected VM;
determine to abort the migration upon a determination that said all bundles of the state exported from the first protected VM prior to export of the marker over the stream have not been imported to the second protected VM; and
in response to determining to abort the migration, send an abort token to the first platform, the abort token to indicate that the first protected VM on the first platform is allowed to restart after its execution has stopped.
7. The apparatus of claim 5 , wherein the plurality of bundles of state are encrypted with a migration capable key according to a counter-mode encryption, further comprising a protected migration service VM to authenticate the second platform to the first platform, and wherein the migration capable key is not kept confidential from the protected migration service VM but is kept confidential from a virtual machine monitor (VMM).
8. The apparatus of claim 5 , wherein the marker is encrypted and integrity protected according to counter-mode encryption with a migration capable key that is kept confidential from a virtual machine monitor (VMM).
9. The apparatus of claim 5 , wherein the stream is a counter-mode encrypted and authenticated stream.
10. A method comprising:
enforcing, in response to execution of control primitives by circuitry of a processor, that a plurality of bundles of state, of a first protected virtual machine (VM), received at a second platform over a stream, during an in-order phase of a migration of the first protected VM from a first platform to the second platform, are imported and stored to a memory of a second protected VM of the second platform, in a same order that the plurality of bundles of state were exported from the first protected VM;
receiving a marker over the stream, the marker to mark an end of the in-order phase of the migration;
determining that all bundles of state exported from the first protected VM prior to export of the marker over the stream have been imported to the second protected VM; and
starting an out-of-order phase of the migration based on the determination that said all bundles of the state exported from the first protected VM prior to export of the marker over the stream have been imported to the second protected VM.
11. The method of claim 10 , further comprising, in the out-of-order phase of the migration, allowing a second plurality of bundles of state to be imported to the second protected VM in a different order than an order the second plurality of bundles of state were exported from the first protected VM.
12. The method of claim 10 , further comprising starting execution of the second protected VM based on the determination that said all bundles of the state exported from the first protected VM prior to export of the marker over the stream have been imported to the second protected VM.
13. The method of claim 10 , wherein said enforcing comprises enforcing values in the plurality of bundles of state, which are indicative of the order that the plurality of bundles of state were exported from the first protected VM, to be respectively consistent with values indicative of a number of the plurality of bundles of state imported into the second protected VM.
14. The method of claim 10 , further comprising:
receiving a plurality of bundles of state of the first protected VM over a second stream;
processing the plurality of bundles of state received over the stream with a first virtual central processing unit (vCPU); and
processing the plurality of bundles of state received over the second stream with a second vCPU.
15. The method of claim 10 , further comprising:
enforcing that a second plurality of bundles of state of the first protected VM, received at the second platform over a second stream during the in-order phase of the migration, are imported to the second protected VM, in a same order that the second plurality of bundles of state were exported from the first protected VM;
receiving a second marker over the second stream; and
determining that all bundles of state exported from the first protected VM prior to export of the second marker over the second stream have been imported to the second protected VM prior to the determination that said all bundles of state exported from the first protected VM prior to the export of the marker over the stream have been imported to the second protected VM.
16. The method of claim 10 , further comprising receiving a marker over each of a plurality of streams used to convey bundles of state of the first protected VM to the second platform, and wherein receiving the marker over the stream comprises receiving the marker over the stream after receiving the markers over the plurality of streams.
17. The method of claim 10 , further comprising receiving a command primitive from a virtual machine monitor, and wherein said determining and said starting are performed responsive to the command primitive.
18. The method of claim 10 , wherein the stream is a counter-mode encrypted and authenticated stream, wherein the second protected VM is a trust domain, and further comprising maintaining state of the trust domain confidential from a virtual machine monitor of the second platform.
19. The method of claim 10 , wherein the marker is encrypted with a migration capable key that is kept confidential from a virtual machine monitor (VMM).
20. The method of claim 10 , further comprising importing a plurality of bundles of state, of the first protected VM, received at the second platform over a second stream, to a third protected VM of the second platform, when a migration policy of the first protected VM permits multiple instances of the first protected VM to be created.
21. A non-transitory machine-readable storage medium, the non-transitory machine-readable storage medium storing a plurality of instructions, the plurality of instructions, if executed by a machine, to cause the machine to perform operations comprising to:
enforce, in response to execution of control primitives by circuitry of a processor, that a plurality of bundles of state of a first protected virtual machine (VM), received at a second platform over a stream during an in-order phase of a migration of the first protected VM from a first platform to the second platform, are imported and stored to a memory of a second protected VM of the second platform, in a same order that the plurality of bundles of state were exported from the first protected VM;
determine whether all bundles of state exported from the first protected VM prior to export of a marker of an end of the in-order phase of the migration, which is to have been received over the stream, have been imported to the second protected VM; and
determine whether to start an out-of-order phase of the migration based on whether the determination is that said all bundles of the state exported from the first protected VM prior to export of the marker over the stream have been imported to the second protected VM.
22. The non-transitory machine-readable storage medium of claim 21 , wherein the instructions to determine whether to start the out-of-order phase of the migration further comprise instructions that, if executed by the machine, are to cause the machine to perform operations comprising to:
determine to start the out-of-order phase of the migration upon a determination that said all bundles of the state exported from the first protected VM prior to export of the marker over the stream have been imported to the second protected VM.
23. The non-transitory machine-readable storage medium of claim 21 , wherein the instructions to determine whether to start the out-of-order phase of the migration further comprise instructions that, if executed by the machine, are to cause the machine to perform operations comprising to:
determine to abort the migration upon a determination that said all bundles of the state exported from the first protected VM prior to export of the marker over the stream have not been imported to the second protected VM; and
in response to determining to abort the migration, send an abort token to the first platform, the abort token to indicate that the first protected VM on the first platform is allowed to restart after its execution has stopped.
24. The non-transitory machine-readable storage medium of claim 21 , wherein the instructions further comprise instructions that, if executed by the machine, are to cause the machine to perform operations comprising to:
allow, in the out-of-order phase of the migration, a second plurality of bundles of state to be imported to the second protected VM in a different order than an order the second plurality of bundles of state were exported from the first protected VM during the out-of-order phase of the migration.
25. The non-transitory machine-readable storage medium of claim 21 , wherein the instructions further comprise instructions that, if executed by the machine, are to cause the machine to perform operations comprising to:
determine whether to start execution of the second protected VM based on whether the determination is that said all bundles of the state exported from the first protected VM prior to export of the marker over the stream have been imported to the second protected VM.
26. The non-transitory machine-readable storage medium of claim 21 , wherein the instructions to said enforce further comprise instructions that, if executed by the machine, are to cause the machine to perform operations comprising to:
enforce values in the plurality of bundles of state, which are indicative of the order that the plurality of bundles of state were exported from the first protected VM, to be respectively consistent with values indicative of a number of the plurality of bundles of state imported into the second protected VM.