- int size = SIMIX_host_get_number();
-
- // start/stop
- SIMIX_mutex_destroy(smpi_global->start_stop_mutex);
- SIMIX_cond_destroy(smpi_global->start_stop_cond);
-
- // processes
- xbt_free(smpi_global->sender_processes);
- xbt_free(smpi_global->receiver_processes);
-
- // running hosts
- SIMIX_mutex_destroy(smpi_global->running_hosts_count_mutex);
-
- // mallocators
- xbt_mallocator_free(smpi_global->request_mallocator);
- xbt_mallocator_free(smpi_global->message_mallocator);
-
- for(i = 0; i < size; i++) {
- xbt_fifo_free(smpi_global->pending_send_request_queues[i]);
- SIMIX_mutex_destroy(smpi_global->pending_send_request_queues_mutexes[i]);
- xbt_fifo_free(smpi_global->pending_recv_request_queues[i]);
- SIMIX_mutex_destroy(smpi_global->pending_recv_request_queues_mutexes[i]);
- xbt_fifo_free(smpi_global->received_message_queues[i]);
- SIMIX_mutex_destroy(smpi_global->received_message_queues_mutexes[i]);
- xbt_os_timer_free(smpi_global->timers[i]);
- SIMIX_mutex_destroy(smpi_global->timers_mutexes[i]);
- }
-
- xbt_free(smpi_global->pending_send_request_queues);
- xbt_free(smpi_global->pending_send_request_queues_mutexes);
- xbt_free(smpi_global->pending_recv_request_queues);
- xbt_free(smpi_global->pending_recv_request_queues_mutexes);
- xbt_free(smpi_global->received_message_queues);
- xbt_free(smpi_global->received_message_queues_mutexes);
- xbt_free(smpi_global->timers);
- xbt_free(smpi_global->timers_mutexes);
-
- xbt_free(smpi_global);
-}
-
-int smpi_run_simulation(int argc, char **argv)
-{
- xbt_fifo_item_t cond_item = NULL;
- smx_cond_t cond = NULL;
- smx_action_t action = NULL;
-
- xbt_fifo_t actions_failed = xbt_fifo_new();
- xbt_fifo_t actions_done = xbt_fifo_new();
-
- srand(SMPI_RAND_SEED);
-
- SIMIX_global_init(&argc, argv);
-
- SIMIX_function_register("smpi_simulated_main", smpi_simulated_main);
- SIMIX_function_register("smpi_sender", smpi_sender);
- SIMIX_function_register("smpi_receiver", smpi_receiver);
-
- // FIXME: ought to verify these files...
- SIMIX_create_environment(argv[1]);
-
- // must initialize globals between creating environment and launching app....
- smpi_global_init();