/* checking for infinite values */
for (i = 0 ; i < host_nb ; ++i) {
xbt_assert(std::isfinite(flops_amount[i]), "flops_amount[%d] is not finite!", i);
/* checking for infinite values */
for (i = 0 ; i < host_nb ; ++i) {
xbt_assert(std::isfinite(flops_amount[i]), "flops_amount[%d] is not finite!", i);
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);
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);
* It can be retrieved with the function \ref simcall_process_get_data.
* \param hostname name of the host where the new agent is executed.
* \param kill_time time when the process is killed
* It can be retrieved with the function \ref simcall_process_get_data.
* \param hostname name of the host where the new agent is executed.
* \param kill_time time when the process is killed
kill_time, process->name.c_str(), sg_host_get_name(process->host));
process->kill_timer = SIMIX_timer_set(kill_time, [=] {
simix_global->kill_process_function(process);
kill_time, process->name.c_str(), sg_host_get_name(process->host));
process->kill_timer = SIMIX_timer_set(kill_time, [=] {
simix_global->kill_process_function(process);
* \ingroup simix_mbox_management
* \brief returns the communication at the head of the rendez-vous
* \param mbox The rendez-vous point
* \ingroup simix_mbox_management
* \brief returns the communication at the head of the rendez-vous
* \param mbox The rendez-vous point
if (MC_is_active() || MC_record_replay_is_active()) {
/* the model-checker wants two separate simcalls */
if (MC_is_active() || MC_record_replay_is_active()) {
/* the model-checker wants two separate simcalls */
comm = simcall_comm_isend(sender, mbox, 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);
+ src_buff, src_buff_size, match_fun, nullptr, copy_data_fun, data, 0);
}
else {
simcall_BODY_comm_send(sender, mbox, task_size, rate, src_buff, src_buff_size,
}
else {
simcall_BODY_comm_send(sender, mbox, task_size, rate, src_buff, src_buff_size,
if (MC_is_active() || MC_record_replay_is_active()) {
/* the model-checker wants two separate simcalls */
if (MC_is_active() || MC_record_replay_is_active()) {
/* the model-checker wants two separate simcalls */
comm = simcall_comm_irecv(receiver, mbox, dst_buff, dst_buff_size,
match_fun, copy_data_fun, data, rate);
simcall_comm_wait(comm, timeout);
comm = simcall_comm_irecv(receiver, mbox, dst_buff, dst_buff_size,
match_fun, copy_data_fun, data, rate);
simcall_comm_wait(comm, timeout);
}
else {
simcall_BODY_comm_recv(receiver, mbox, dst_buff, dst_buff_size,
}
else {
simcall_BODY_comm_recv(receiver, mbox, dst_buff, dst_buff_size,