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!");
MSG_task_destroy(task);
task = NULL;
}
+
free(mailbox_name);
return 0;
} /* end_of_slave */
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);
/*
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);
+}