From c40d9806f658ba76d747939d667f87883b8aab1a Mon Sep 17 00:00:00 2001
From: Samuel Lepetit <samuel.lepetit@inria.fr>
Date: Thu, 14 Jun 2012 18:08:43 +0200
Subject: [PATCH] Add a MSG_vm_destroy function to free a virtual machine

---
 examples/msg/cloud/masterslave_virtual_machines.c |  2 ++
 include/msg/msg.h                                 |  2 ++
 src/msg/msg_vm.c                                  | 15 +++++++++++++++
 3 files changed, 19 insertions(+)

diff --git a/examples/msg/cloud/masterslave_virtual_machines.c b/examples/msg/cloud/masterslave_virtual_machines.c
index 7db2605879..ed1ac279b6 100644
--- a/examples/msg/cloud/masterslave_virtual_machines.c
+++ b/examples/msg/cloud/masterslave_virtual_machines.c
@@ -124,6 +124,7 @@ int master(int argc, char *argv[]) {
   for (i=0;i<xbt_dynar_length(vms);i++) {
     msg_vm_t vm = xbt_dynar_get_as(vms,i,msg_vm_t);
     MSG_vm_shutdown(vm);
+    MSG_vm_destroy(vm);
   }
 
   XBT_INFO("Goodbye now!");
@@ -158,6 +159,7 @@ int slave_fun(int argc, char *argv[])
     MSG_task_destroy(task);
     task = NULL;
   }
+
   free(mailbox_name);
   return 0;
 }                               /* end_of_slave */
diff --git a/include/msg/msg.h b/include/msg/msg.h
index 4d92827f4b..0e4838df1f 100644
--- a/include/msg/msg.h
+++ b/include/msg/msg.h
@@ -314,6 +314,8 @@ XBT_PUBLIC(void) MSG_vm_resume(msg_vm_t vm);  // Simulate the fact of reading th
 
 XBT_PUBLIC(void) MSG_vm_shutdown(msg_vm_t vm); // killall
 
+XBT_PUBLIC(void) MSG_vm_destroy(msg_vm_t vm);
+
 XBT_PUBLIC(xbt_dynar_t) MSG_vms_as_dynar(void);
 
 /*
diff --git a/src/msg/msg_vm.c b/src/msg/msg_vm.c
index 948c8dedc3..4eb77b0ee4 100644
--- a/src/msg/msg_vm.c
+++ b/src/msg/msg_vm.c
@@ -158,3 +158,18 @@ void MSG_vm_shutdown(msg_vm_t vm) {
   	MSG_process_kill(process);
   }
 }
+
+/** @brief Destroy a msg_vm_t.
+ *  @ingroup msg_VMs
+ */
+void MSG_vm_destroy(msg_vm_t vm) {
+	unsigned int cpt;
+	m_process_t process;
+	xbt_dynar_foreach(vm->processes,cpt,process) {
+		//FIXME: Slow ?
+		simdata_process_t simdata = simcall_process_get_data(process);
+		simdata->vm = NULL;
+	}
+	xbt_dynar_free(&vm->processes);
+	xbt_free(vm);
+}
-- 
2.20.1