X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/217557096673710f29ebe590ffcf76329ddd87de..5811ded710c22d5cdc908db44b8282519e4f543e:/src/simix/libsmx.cpp diff --git a/src/simix/libsmx.cpp b/src/simix/libsmx.cpp index 6abcebd589..7924a4f5f8 100644 --- a/src/simix/libsmx.cpp +++ b/src/simix/libsmx.cpp @@ -11,50 +11,36 @@ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ +#include /* std::isfinite() */ + +#include + #include "src/mc/mc_replay.h" #include "smx_private.h" -#include "src/mc/mc_forward.h" +#include "src/mc/mc_forward.hpp" #include "xbt/ex.h" -#include /* isfinite() */ #include "mc/mc.h" +#include "src/simix/smx_host_private.h" +#include "src/simix/smx_private.hpp" + +#include XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(simix); #include "popping_bodies.cpp" -/** - * \ingroup simix_host_management - * \brief Start the host if it is off - * - * \param host A SIMIX host - */ -void simcall_host_on(sg_host_t host) -{ - simcall_BODY_host_on(host); -} - -/** - * \ingroup simix_host_management - * \brief Stop the host if it is on - * - * \param host A SIMIX host - */ -void simcall_host_off(sg_host_t host) +void simcall_call(smx_process_t process) { - simcall_BODY_host_off(host); + if (process != simix_global->maestro_process) { + XBT_DEBUG("Yield process '%s' on simcall %s (%d)", process->name, + SIMIX_simcall_name(process->simcall.call), (int)process->simcall.call); + SIMIX_process_yield(process); + } else { + SIMIX_simcall_handle(&process->simcall, 0); + } } -/** - * \ingroup simix_host_management - * \brief Returns a dict of the properties assigned to a host. - * - * \param host A host - * \return The properties of this host - */ -xbt_dict_t simcall_host_get_properties(sg_host_t host) -{ - return simcall_BODY_host_get_properties(host); -} +// ***** AS simcalls /** * \ingroup simix_host_management @@ -68,70 +54,6 @@ xbt_dict_t simcall_asr_get_properties(const char *name) return simcall_BODY_asr_get_properties(name); } -/** - * \ingroup simix_host_management - * \brief Returns the list of processes attached to the host. - * - * \param host A SIMIX host - * \return the swag of attached processes - */ -xbt_swag_t simcall_host_get_process_list(sg_host_t host) -{ - return simcall_BODY_host_get_process_list(host); -} - -/** - * \ingroup simix_host_management - * \brief Returns the power peak of a host. - * - * \param host A SIMIX host - * \return the current power peak value (double) - */ -double simcall_host_get_current_power_peak(sg_host_t host) -{ - return simcall_BODY_host_get_current_power_peak(host); -} - -/** - * \ingroup simix_host_management - * \brief Returns one power peak (in flops/s) of a host at a given pstate - * - * \param host A SIMIX host - * \param pstate_index pstate to test - * \return the current power peak value (double) for pstate_index - */ -double simcall_host_get_power_peak_at(sg_host_t host, int pstate_index) -{ - return simcall_BODY_host_get_power_peak_at(host, pstate_index); -} - -/** - * \ingroup simix_host_management - * \brief Sets the pstate at which the host should run - * - * \param host A SIMIX host - * \param pstate_index The pstate to which the CPU power will be set - */ -void simcall_host_set_pstate(sg_host_t host, int pstate_index) -{ - simcall_BODY_host_set_pstate(host, pstate_index); -} - -/** \ingroup simix_host_management - * \brief Returns the amount of watt dissipated at the given pstate when the host is idling - */ -double simcall_host_get_wattmin_at(msg_host_t host, int pstate){ - return simcall_BODY_host_get_wattmin_at(host, pstate); -} -/** \ingroup simix_host_management - * \brief Returns the amount of watt dissipated at the given pstate when the host burns CPU at 100% - */ -double simcall_host_get_wattmax_at(msg_host_t host, int pstate){ - return simcall_BODY_host_get_wattmax_at(host, pstate); -} - - - /** * \ingroup simix_process_management * \brief Creates a synchro that executes some computation of an host. @@ -146,15 +68,15 @@ double simcall_host_get_wattmax_at(msg_host_t host, int pstate){ * \param affinity_mask * \return A new SIMIX execution synchronization */ -smx_synchro_t simcall_process_execute(const char *name, +smx_synchro_t simcall_execution_start(const char *name, double flops_amount, double priority, double bound, unsigned long affinity_mask) { /* checking for infinite values */ - xbt_assert(isfinite(flops_amount), "flops_amount is not finite!"); - xbt_assert(isfinite(priority), "priority is not finite!"); + xbt_assert(std::isfinite(flops_amount), "flops_amount is not finite!"); + xbt_assert(std::isfinite(priority), "priority is not finite!"); - return simcall_BODY_process_execute(name, flops_amount, priority, bound, affinity_mask); + return simcall_BODY_execution_start(name, flops_amount, priority, bound, affinity_mask); } /** @@ -172,7 +94,7 @@ smx_synchro_t simcall_process_execute(const char *name, * \param rate the SURF action rate * \return A new SIMIX execution synchronization */ -smx_synchro_t simcall_process_parallel_execute(const char *name, +smx_synchro_t simcall_execution_parallel_start(const char *name, int host_nb, sg_host_t *host_list, double *flops_amount, @@ -183,17 +105,19 @@ smx_synchro_t simcall_process_parallel_execute(const char *name, int i,j; /* checking for infinite values */ for (i = 0 ; i < host_nb ; ++i) { - xbt_assert(isfinite(flops_amount[i]), "flops_amount[%d] is not finite!", i); - for (j = 0 ; j < host_nb ; ++j) { - xbt_assert(isfinite(bytes_amount[i + host_nb * j]), - "bytes_amount[%d+%d*%d] is not finite!", i, host_nb, j); - } + xbt_assert(std::isfinite(flops_amount[i]), "flops_amount[%d] is not finite!", i); + if (bytes_amount != NULL) { + for (j = 0 ; j < host_nb ; ++j) { + xbt_assert(std::isfinite(bytes_amount[i + host_nb * j]), + "bytes_amount[%d+%d*%d] is not finite!", i, host_nb, j); + } + } } - xbt_assert(isfinite(amount), "amount is not finite!"); - xbt_assert(isfinite(rate), "rate is not finite!"); + xbt_assert(std::isfinite(amount), "amount is not finite!"); + xbt_assert(std::isfinite(rate), "rate is not finite!"); - return simcall_BODY_process_parallel_execute(name, host_nb, host_list, + return simcall_BODY_execution_parallel_start(name, host_nb, host_list, flops_amount, bytes_amount, amount, rate); @@ -207,9 +131,9 @@ smx_synchro_t simcall_process_parallel_execute(const char *name, * Destroys a synchro, freeing its memory. This function cannot be called if there are a conditional waiting for it. * \param execution The execution synchro to destroy */ -void simcall_process_execution_destroy(smx_synchro_t execution) +void simcall_execution_destroy(smx_synchro_t execution) { - simcall_BODY_process_execution_destroy(execution); + simcall_BODY_execution_destroy(execution); } /** @@ -219,9 +143,9 @@ void simcall_process_execution_destroy(smx_synchro_t execution) * This functions stops the execution. It calls a surf function. * \param execution The execution synchro to cancel */ -void simcall_process_execution_cancel(smx_synchro_t execution) +void simcall_execution_cancel(smx_synchro_t execution) { - simcall_BODY_process_execution_cancel(execution); + simcall_BODY_execution_cancel(execution); } /** @@ -231,9 +155,9 @@ void simcall_process_execution_cancel(smx_synchro_t execution) * \param execution The execution synchro * \return The remaining amount */ -double simcall_process_execution_get_remains(smx_synchro_t execution) +double simcall_execution_get_remains(smx_synchro_t execution) { - return simcall_BODY_process_execution_get_remains(execution); + return simcall_BODY_execution_get_remains(execution); } /** @@ -243,9 +167,9 @@ double simcall_process_execution_get_remains(smx_synchro_t execution) * \param execution The execution synchro * \return The state */ -e_smx_state_t simcall_process_execution_get_state(smx_synchro_t execution) +e_smx_state_t simcall_execution_get_state(smx_synchro_t execution) { - return simcall_BODY_process_execution_get_state(execution); + return simcall_BODY_execution_get_state(execution); } /** @@ -256,12 +180,12 @@ e_smx_state_t simcall_process_execution_get_state(smx_synchro_t execution) * \param execution The execution synchro * \param priority The new priority */ -void simcall_process_execution_set_priority(smx_synchro_t execution, double priority) +void simcall_execution_set_priority(smx_synchro_t execution, double priority) { /* checking for infinite values */ - xbt_assert(isfinite(priority), "priority is not finite!"); + xbt_assert(std::isfinite(priority), "priority is not finite!"); - simcall_BODY_process_execution_set_priority(execution, priority); + simcall_BODY_execution_set_priority(execution, priority); } /** @@ -272,9 +196,9 @@ void simcall_process_execution_set_priority(smx_synchro_t execution, double prio * \param execution The execution synchro * \param bound The new bound */ -void simcall_process_execution_set_bound(smx_synchro_t execution, double bound) +void simcall_execution_set_bound(smx_synchro_t execution, double bound) { - simcall_BODY_process_execution_set_bound(execution, bound); + simcall_BODY_execution_set_bound(execution, bound); } /** @@ -286,9 +210,9 @@ void simcall_process_execution_set_bound(smx_synchro_t execution, double bound) * \param host Host * \param mask Affinity mask */ -void simcall_process_execution_set_affinity(smx_synchro_t execution, sg_host_t host, unsigned long mask) +void simcall_execution_set_affinity(smx_synchro_t execution, sg_host_t host, unsigned long mask) { - simcall_BODY_process_execution_set_affinity(execution, host, mask); + simcall_BODY_execution_set_affinity(execution, host, mask); } /** @@ -297,9 +221,9 @@ void simcall_process_execution_set_affinity(smx_synchro_t execution, sg_host_t h * * \param execution The execution synchro */ -e_smx_state_t simcall_process_execution_wait(smx_synchro_t execution) +e_smx_state_t simcall_execution_wait(smx_synchro_t execution) { - return (e_smx_state_t) simcall_BODY_process_execution_wait(execution); + return (e_smx_state_t) simcall_BODY_execution_wait(execution); } @@ -312,8 +236,9 @@ e_smx_state_t simcall_process_execution_wait(smx_synchro_t execution) * * \return The host object of the VM */ -void* simcall_vm_create(const char *name, sg_host_t phys_host){ - return simcall_BODY_vm_create(name, phys_host); +void* simcall_vm_create(const char *name, sg_host_t phys_host) +{ + return simgrid::simix::kernel(std::bind(SIMIX_vm_create, name, phys_host)); } /** @@ -324,7 +249,7 @@ void* simcall_vm_create(const char *name, sg_host_t phys_host){ */ void simcall_vm_start(sg_host_t vm) { - simcall_BODY_vm_start(vm); + return simgrid::simix::kernel(std::bind(SIMIX_vm_start, vm)); } /** @@ -336,7 +261,7 @@ void simcall_vm_start(sg_host_t vm) */ int simcall_vm_get_state(sg_host_t vm) { - return simcall_BODY_vm_get_state(vm); + return simgrid::simix::kernel(std::bind(SIMIX_vm_get_state, vm)); } /** @@ -348,27 +273,17 @@ int simcall_vm_get_state(sg_host_t vm) */ void *simcall_vm_get_pm(sg_host_t vm) { - return simcall_BODY_vm_get_pm(vm); + return simgrid::simix::kernel(std::bind(SIMIX_vm_get_pm, vm)); } void simcall_vm_set_bound(sg_host_t vm, double bound) { - simcall_BODY_vm_set_bound(vm, bound); + simgrid::simix::kernel(std::bind(SIMIX_vm_set_bound, vm, bound)); } void simcall_vm_set_affinity(sg_host_t vm, sg_host_t pm, unsigned long mask) { - simcall_BODY_vm_set_affinity(vm, pm, mask); -} - -void simcall_host_get_params(sg_host_t vm, vm_params_t params) -{ - simcall_BODY_host_get_params(vm, params); -} - -void simcall_host_set_params(sg_host_t vm, vm_params_t params) -{ - simcall_BODY_host_set_params(vm, params); + simgrid::simix::kernel(std::bind(SIMIX_vm_set_affinity, vm, pm, mask)); } /** @@ -380,7 +295,7 @@ void simcall_host_set_params(sg_host_t vm, vm_params_t params) */ void simcall_vm_migrate(sg_host_t vm, sg_host_t host) { - simcall_BODY_vm_migrate(vm, host); + return simgrid::simix::kernel(std::bind(SIMIX_vm_migrate, vm, host)); } /** @@ -446,7 +361,7 @@ void simcall_vm_shutdown(sg_host_t vm) */ void simcall_vm_destroy(sg_host_t vm) { - simcall_BODY_vm_destroy(vm); + simgrid::simix::kernel(std::bind(SIMIX_vm_destroy, vm)); } /** @@ -465,7 +380,8 @@ void simcall_vm_destroy(sg_host_t vm) */ void simcall_vm_migratefrom_resumeto(sg_host_t vm, sg_host_t src_pm, sg_host_t dst_pm) { - simcall_BODY_vm_migratefrom_resumeto(vm, src_pm, dst_pm); + simgrid::simix::kernel(std::bind( + SIMIX_vm_migratefrom_resumeto, vm, src_pm, dst_pm)); } /** @@ -588,7 +504,7 @@ void simcall_process_resume(smx_process_t process) */ int simcall_process_count(void) { - return simcall_BODY_process_count(); + return simgrid::simix::kernel(SIMIX_process_count); } /** @@ -599,12 +515,7 @@ int simcall_process_count(void) */ int simcall_process_get_PID(smx_process_t process) { - if (process == SIMIX_process_self()) { - /* avoid a simcall if this function is called by the process itself */ - return SIMIX_process_get_PID(process); - } - - return simcall_BODY_process_get_PID(process); + return SIMIX_process_get_PID(process); } /** @@ -615,12 +526,7 @@ int simcall_process_get_PID(smx_process_t process) */ int simcall_process_get_PPID(smx_process_t process) { - if (process == SIMIX_process_self()) { - /* avoid a simcall if this function is called by the process itself */ - return SIMIX_process_get_PPID(process); - } - - return simcall_BODY_process_get_PPID(process); + return SIMIX_process_get_PPID(process); } /** @@ -631,12 +537,7 @@ int simcall_process_get_PPID(smx_process_t process) */ void* simcall_process_get_data(smx_process_t process) { - if (process == SIMIX_process_self()) { - /* avoid a simcall if this function is called by the process itself */ - return SIMIX_process_get_data(process); - } - - return simcall_BODY_process_get_data(process); + return SIMIX_process_get_data(process); } /** @@ -649,18 +550,14 @@ void* simcall_process_get_data(smx_process_t process) */ void simcall_process_set_data(smx_process_t process, void *data) { - if (process == SIMIX_process_self()) { - /* avoid a simcall if this function is called by the process itself */ - SIMIX_process_self_set_data(process, data); - } - else { - simcall_BODY_process_set_data(process, data); - } + simgrid::simix::kernel(std::bind(SIMIX_process_set_data, process, data)); } -static void kill_process(void* arg) +static void kill_process_from_timer(void* arg) { - simix_global->kill_process_function((smx_process_t) arg); + smx_process_t process = (smx_process_t) arg; + simix_global->kill_process_function(process); + process->kill_timer=NULL; } /** @@ -674,7 +571,7 @@ void simcall_process_set_kill_time(smx_process_t process, double kill_time) if (simix_global->kill_process_function) { XBT_DEBUG("Set kill time %f for process %s(%s)",kill_time, process->name, sg_host_get_name(process->host)); - process->kill_timer = SIMIX_timer_set(kill_time, kill_process, process); + process->kill_timer = SIMIX_timer_set(kill_time, kill_process_from_timer, process); } } } @@ -683,7 +580,7 @@ void simcall_process_set_kill_time(smx_process_t process, double kill_time) * \brief Get the kill time of a process (or 0 if unset). */ double simcall_process_get_kill_time(smx_process_t process) { - return SIMIX_timer_get_date(process->kill_timer); + return SIMIX_timer_get_date(process->kill_timer); } /** @@ -697,7 +594,7 @@ double simcall_process_get_kill_time(smx_process_t process) { */ sg_host_t simcall_process_get_host(smx_process_t process) { - return simcall_BODY_process_get_host(process); + return SIMIX_process_get_host(process); } /** @@ -710,11 +607,7 @@ sg_host_t simcall_process_get_host(smx_process_t process) */ const char* simcall_process_get_name(smx_process_t process) { - if (process == SIMIX_process_self()) { - /* avoid a simcall if this function is called by the process itself */ - return process->name; - } - return simcall_BODY_process_get_name(process); + return SIMIX_process_get_name(process); } /** @@ -727,7 +620,7 @@ const char* simcall_process_get_name(smx_process_t process) */ int simcall_process_is_suspended(smx_process_t process) { - return simcall_BODY_process_is_suspended(process); + return simcall_BODY_process_is_suspended(process); } /** @@ -738,7 +631,7 @@ int simcall_process_is_suspended(smx_process_t process) */ xbt_dict_t simcall_process_get_properties(smx_process_t process) { - return simcall_BODY_process_get_properties(process); + return SIMIX_process_get_properties(process); } /** * \ingroup simix_process_management @@ -782,106 +675,81 @@ XBT_PUBLIC(smx_process_t) simcall_process_restart(smx_process_t process) e_smx_state_t simcall_process_sleep(double duration) { /* checking for infinite values */ - xbt_assert(isfinite(duration), "duration is not finite!"); + xbt_assert(std::isfinite(duration), "duration is not finite!"); return (e_smx_state_t) simcall_BODY_process_sleep(duration); } /** - * \ingroup simix_rdv_management + * \ingroup simix_mbox_management * \brief Creates a new rendez-vous point * \param name The name of the rendez-vous point * \return The created rendez-vous point */ -smx_rdv_t simcall_rdv_create(const char *name) +smx_mailbox_t simcall_mbox_create(const char *name) { - return simcall_BODY_rdv_create(name); + return simcall_BODY_mbox_create(name); } - -/** - * \ingroup simix_rdv_management - * \brief Destroy a rendez-vous point - * \param rdv The rendez-vous point to destroy - */ -void simcall_rdv_destroy(smx_rdv_t rdv) -{ - simcall_BODY_rdv_destroy(rdv); -} /** - * \ingroup simix_rdv_management + * \ingroup simix_mbox_management * \brief Returns a rendez-vous point knowing its name */ -smx_rdv_t simcall_rdv_get_by_name(const char *name) +smx_mailbox_t simcall_mbox_get_by_name(const char *name) { - xbt_assert(name != NULL, "Invalid parameter for simcall_rdv_get_by_name (name is NULL)"); - /* FIXME: this is a horrible loss of performance, so we hack it out by * skipping the simcall (for now). It works in parallel, it won't work on * distributed but probably we will change MSG for that. */ - return SIMIX_rdv_get_by_name(name); + return SIMIX_mbox_get_by_name(name); } /** - * \ingroup simix_rdv_management - * \brief Counts the number of communication synchros of a given host pending - * on a rendez-vous point. - * \param rdv The rendez-vous point - * \param host The host to be counted - * \return The number of comm synchros pending in the rdv - */ -int simcall_rdv_comm_count_by_host(smx_rdv_t rdv, sg_host_t host) -{ - return simcall_BODY_rdv_comm_count_by_host(rdv, host); -} - -/** - * \ingroup simix_rdv_management + * \ingroup simix_mbox_management * \brief returns the communication at the head of the rendez-vous - * \param rdv The rendez-vous point + * \param mbox The rendez-vous point * \return The communication or NULL if empty */ -smx_synchro_t simcall_rdv_get_head(smx_rdv_t rdv) +smx_synchro_t simcall_mbox_get_head(smx_mailbox_t mbox) { - return simcall_BODY_rdv_get_head(rdv); + return simcall_BODY_mbox_get_head(mbox); } -void simcall_rdv_set_receiver(smx_rdv_t rdv, smx_process_t process) +void simcall_mbox_set_receiver(smx_mailbox_t mbox, smx_process_t process) { - simcall_BODY_rdv_set_receiver(rdv, process); + simcall_BODY_mbox_set_receiver(mbox, process); } -smx_process_t simcall_rdv_get_receiver(smx_rdv_t rdv) +smx_process_t simcall_mbox_get_receiver(smx_mailbox_t mbox) { - return simcall_BODY_rdv_get_receiver(rdv); + return simcall_BODY_mbox_get_receiver(mbox); } /** * \ingroup simix_comm_management */ -void simcall_comm_send(smx_process_t sender, smx_rdv_t rdv, double task_size, double rate, +void simcall_comm_send(smx_process_t sender, smx_mailbox_t mbox, double task_size, double rate, void *src_buff, size_t src_buff_size, int (*match_fun)(void *, void *, smx_synchro_t), void (*copy_data_fun)(smx_synchro_t, void*, size_t), void *data, double timeout) { /* checking for infinite values */ - xbt_assert(isfinite(task_size), "task_size is not finite!"); - xbt_assert(isfinite(rate), "rate is not finite!"); - xbt_assert(isfinite(timeout), "timeout is not finite!"); + xbt_assert(std::isfinite(task_size), "task_size is not finite!"); + xbt_assert(std::isfinite(rate), "rate is not finite!"); + xbt_assert(std::isfinite(timeout), "timeout is not finite!"); - xbt_assert(rdv, "No rendez-vous point defined for send"); + xbt_assert(mbox, "No rendez-vous point defined for send"); if (MC_is_active() || MC_record_replay_is_active()) { /* the model-checker wants two separate simcalls */ smx_synchro_t comm = NULL; /* MC needs the comm to be set to NULL during the simcall */ - comm = simcall_comm_isend(sender, rdv, task_size, rate, + comm = simcall_comm_isend(sender, mbox, task_size, rate, src_buff, src_buff_size, match_fun, NULL, copy_data_fun, data, 0); simcall_comm_wait(comm, timeout); comm = NULL; } else { - simcall_BODY_comm_send(sender, rdv, task_size, rate, src_buff, src_buff_size, + simcall_BODY_comm_send(sender, mbox, task_size, rate, src_buff, src_buff_size, match_fun, copy_data_fun, data, timeout); } } @@ -889,7 +757,7 @@ void simcall_comm_send(smx_process_t sender, smx_rdv_t rdv, double task_size, do /** * \ingroup simix_comm_management */ -smx_synchro_t simcall_comm_isend(smx_process_t sender, smx_rdv_t rdv, double task_size, double rate, +smx_synchro_t simcall_comm_isend(smx_process_t sender, smx_mailbox_t mbox, double task_size, double rate, void *src_buff, size_t src_buff_size, int (*match_fun)(void *, void *, smx_synchro_t), void (*clean_fun)(void *), @@ -898,12 +766,12 @@ smx_synchro_t simcall_comm_isend(smx_process_t sender, smx_rdv_t rdv, double tas int detached) { /* checking for infinite values */ - xbt_assert(isfinite(task_size), "task_size is not finite!"); - xbt_assert(isfinite(rate), "rate is not finite!"); + xbt_assert(std::isfinite(task_size), "task_size is not finite!"); + xbt_assert(std::isfinite(rate), "rate is not finite!"); - xbt_assert(rdv, "No rendez-vous point defined for isend"); + xbt_assert(mbox, "No rendez-vous point defined for isend"); - return simcall_BODY_comm_isend(sender, rdv, task_size, rate, src_buff, + return simcall_BODY_comm_isend(sender, mbox, task_size, rate, src_buff, src_buff_size, match_fun, clean_fun, copy_data_fun, data, detached); } @@ -911,50 +779,50 @@ smx_synchro_t simcall_comm_isend(smx_process_t sender, smx_rdv_t rdv, double tas /** * \ingroup simix_comm_management */ -void simcall_comm_recv(smx_process_t receiver, smx_rdv_t rdv, void *dst_buff, size_t * dst_buff_size, +void simcall_comm_recv(smx_process_t receiver, smx_mailbox_t mbox, void *dst_buff, size_t * dst_buff_size, int (*match_fun)(void *, void *, smx_synchro_t), void (*copy_data_fun)(smx_synchro_t, void*, size_t), void *data, double timeout, double rate) { - xbt_assert(isfinite(timeout), "timeout is not finite!"); - xbt_assert(rdv, "No rendez-vous point defined for recv"); + xbt_assert(std::isfinite(timeout), "timeout is not finite!"); + xbt_assert(mbox, "No rendez-vous point defined for recv"); if (MC_is_active() || MC_record_replay_is_active()) { /* the model-checker wants two separate simcalls */ smx_synchro_t comm = NULL; /* MC needs the comm to be set to NULL during the simcall */ - comm = simcall_comm_irecv(receiver, rdv, dst_buff, dst_buff_size, + comm = simcall_comm_irecv(receiver, mbox, dst_buff, dst_buff_size, match_fun, copy_data_fun, data, rate); simcall_comm_wait(comm, timeout); comm = NULL; } else { - simcall_BODY_comm_recv(receiver, rdv, dst_buff, dst_buff_size, + simcall_BODY_comm_recv(receiver, mbox, dst_buff, dst_buff_size, match_fun, copy_data_fun, data, timeout, rate); } } /** * \ingroup simix_comm_management */ -smx_synchro_t simcall_comm_irecv(smx_process_t receiver, smx_rdv_t rdv, void *dst_buff, size_t *dst_buff_size, +smx_synchro_t simcall_comm_irecv(smx_process_t receiver, smx_mailbox_t mbox, void *dst_buff, size_t *dst_buff_size, int (*match_fun)(void *, void *, smx_synchro_t), void (*copy_data_fun)(smx_synchro_t, void*, size_t), void *data, double rate) { - xbt_assert(rdv, "No rendez-vous point defined for irecv"); + xbt_assert(mbox, "No rendez-vous point defined for irecv"); - return simcall_BODY_comm_irecv(receiver, rdv, dst_buff, dst_buff_size, + return simcall_BODY_comm_irecv(receiver, mbox, dst_buff, dst_buff_size, match_fun, copy_data_fun, data, rate); } /** * \ingroup simix_comm_management */ -smx_synchro_t simcall_comm_iprobe(smx_rdv_t rdv, int type, int src, int tag, +smx_synchro_t simcall_comm_iprobe(smx_mailbox_t mbox, int type, int src, int tag, int (*match_fun)(void *, void *, smx_synchro_t), void *data) { - xbt_assert(rdv, "No rendez-vous point defined for iprobe"); + xbt_assert(mbox, "No rendez-vous point defined for iprobe"); - return simcall_BODY_comm_iprobe(rdv, type, src, tag, match_fun, data); + return simcall_BODY_comm_iprobe(mbox, type, src, tag, match_fun, data); } /** @@ -988,7 +856,7 @@ int simcall_comm_testany(xbt_dynar_t comms) */ void simcall_comm_wait(smx_synchro_t comm, double timeout) { - xbt_assert(isfinite(timeout), "timeout is not finite!"); + xbt_assert(std::isfinite(timeout), "timeout is not finite!"); simcall_BODY_comm_wait(comm, timeout); } @@ -1070,13 +938,6 @@ smx_process_t simcall_comm_get_dst_proc(smx_synchro_t comm) return simcall_BODY_comm_get_dst_proc(comm); } -#ifdef HAVE_LATENCY_BOUND_TRACKING -int simcall_comm_is_latency_bounded(smx_synchro_t comm) -{ - return simcall_BODY_comm_is_latency_bounded(comm); -} -#endif - /** * \ingroup simix_synchro_management * @@ -1090,15 +951,6 @@ smx_mutex_t simcall_mutex_init(void) return simcall_BODY_mutex_init(); } -/** - * \ingroup simix_synchro_management - * - */ -void simcall_mutex_destroy(smx_mutex_t mutex) -{ - simcall_BODY_mutex_destroy(mutex); -} - /** * \ingroup simix_synchro_management * @@ -1135,15 +987,6 @@ smx_cond_t simcall_cond_init(void) return simcall_BODY_cond_init(); } -/** - * \ingroup simix_synchro_management - * - */ -void simcall_cond_destroy(smx_cond_t cond) -{ - simcall_BODY_cond_destroy(cond); -} - /** * \ingroup simix_synchro_management * @@ -1170,7 +1013,7 @@ void simcall_cond_wait_timeout(smx_cond_t cond, smx_mutex_t mutex, double timeout) { - xbt_assert(isfinite(timeout), "timeout is not finite!"); + xbt_assert(std::isfinite(timeout), "timeout is not finite!"); simcall_BODY_cond_wait_timeout(cond, mutex, timeout); } @@ -1192,15 +1035,6 @@ smx_sem_t simcall_sem_init(int capacity) return simcall_BODY_sem_init(capacity); } -/** - * \ingroup simix_synchro_management - * - */ -void simcall_sem_destroy(smx_sem_t sem) -{ - simcall_BODY_sem_destroy(sem); -} - /** * \ingroup simix_synchro_management * @@ -1234,7 +1068,7 @@ void simcall_sem_acquire(smx_sem_t sem) */ void simcall_sem_acquire_timeout(smx_sem_t sem, double timeout) { - xbt_assert(isfinite(timeout), "timeout is not finite!"); + xbt_assert(std::isfinite(timeout), "timeout is not finite!"); simcall_BODY_sem_acquire_timeout(sem, timeout); } @@ -1355,28 +1189,6 @@ sg_size_t simcall_storage_get_used_size (smx_storage_t storage){ return simcall_BODY_storage_get_used_size(storage); } -/** - * \ingroup simix_storage_management - * \brief Returns the list of storages mounted on an host. - * \param host A SIMIX host - * \return a dict containing all storages mounted on the host - */ -xbt_dict_t simcall_host_get_mounted_storage_list(sg_host_t host) -{ - return simcall_BODY_host_get_mounted_storage_list(host); -} - -/** - * \ingroup simix_storage_management - * \brief Returns the list of storages attached to an host. - * \param host A SIMIX host - * \return a dict containing all storages attached to the host - */ -xbt_dynar_t simcall_host_get_attached_storage_list(sg_host_t host) -{ - return simcall_BODY_host_get_attached_storage_list(host); -} - /** * \ingroup simix_storage_management * \brief Returns a dict of the properties assigned to a storage element. @@ -1401,20 +1213,11 @@ xbt_dict_t simcall_storage_get_content(smx_storage_t storage) return simcall_BODY_storage_get_content(storage); } - - -#ifdef HAVE_MC - -void *simcall_mc_snapshot(void) { - return simcall_BODY_mc_snapshot(); -} - -int simcall_mc_compare_snapshots(void *s1, void *s2) { - return simcall_BODY_mc_compare_snapshots(s1, s2); +void simcall_run_kernel(std::function const& code) +{ + return simcall_BODY_run_kernel((void*) &code); } -#endif /* HAVE_MC */ - int simcall_mc_random(int min, int max) { return simcall_BODY_mc_random(min, max); }