+ return vm;
+}
+
+int sg_vm_is_migrating(const simgrid::s4u::VirtualMachine* vm)
+{
+ return vm->get_vm_impl()->is_migrating();
+}
+
+void sg_vm_migrate(simgrid::s4u::VirtualMachine* vm, simgrid::s4u::Host* dst_pm)
+{
+ simgrid::s4u::Host* src_pm = vm->get_pm();
+
+ if (not src_pm->is_on())
+ throw simgrid::VmFailureException(
+ XBT_THROW_POINT, simgrid::xbt::string_printf("Cannot migrate VM '%s' from host '%s', which is offline.",
+ vm->get_cname(), src_pm->get_cname()));
+ if (not dst_pm->is_on())
+ throw simgrid::VmFailureException(
+ XBT_THROW_POINT, simgrid::xbt::string_printf("Cannot migrate VM '%s' to host '%s', which is offline.",
+ vm->get_cname(), dst_pm->get_cname()));
+ if (vm->get_state() != simgrid::s4u::VirtualMachine::State::RUNNING)
+ throw simgrid::VmFailureException(
+ XBT_THROW_POINT,
+ simgrid::xbt::string_printf("Cannot migrate VM '%s' that is not running yet.", vm->get_cname()));
+ if (vm->get_vm_impl()->is_migrating())
+ throw simgrid::VmFailureException(
+ XBT_THROW_POINT,
+ simgrid::xbt::string_printf("Cannot migrate VM '%s' that is already migrating.", vm->get_cname()));
+
+ vm->start_migration();
+
+ std::string rx_name = "__pr_mig_rx:" + vm->get_name() + "(" + src_pm->get_name() + "-" + dst_pm->get_name() + ")";
+ std::string tx_name = "__pr_mig_tx:" + vm->get_name() + "(" + src_pm->get_name() + "-" + dst_pm->get_name() + ")";