sigemptyset(&set);
sigaddset(&set, SIGCHLD);
if (sigprocmask(SIG_BLOCK, &set, nullptr) == -1)
- throw simgrid::xbt::errno_error(errno);
+ throw simgrid::xbt::errno_error();
sigset_t full_set;
sigfillset(&full_set);
int signal_fd = signalfd(-1, &set, 0);
if (signal_fd == -1)
- throw simgrid::xbt::errno_error(errno);
+ throw simgrid::xbt::errno_error();
struct pollfd* signalfd_pollfd = &fds_[SIGNAL_FD_INDEX];
signalfd_pollfd->fd = signal_fd;
/* Static variable used for tracing */
process.ignore_global_variable("counter");
-
- /* SIMIX */
- process.ignore_global_variable("smx_total_comms");
}
void ModelChecker::shutdown()
{
int res = process.getChannel().send(MC_MESSAGE_CONTINUE);
if (res)
- throw simgrid::xbt::errno_error(res);
+ throw simgrid::xbt::errno_error();
process.clear_cache();
}
socklen_t errlen = sizeof(error);
if (getsockopt(fd, SOL_SOCKET, SO_ERROR, (void *)&error, &errlen) == -1)
error = errno;
- throw simgrid::xbt::errno_error(errno);
+ throw simgrid::xbt::errno_error();
}
static void MC_report_crash(int status)
case EINTR:
continue;
default:
- throw simgrid::xbt::errno_error(errno);
+ throw simgrid::xbt::errno_error();
}
}
if (socket_pollfd->revents & POLLIN) {
ssize_t size = process_->getChannel().receive(buffer, sizeof(buffer), false);
if (size == -1 && errno != EAGAIN)
- throw simgrid::xbt::errno_error(errno);
+ throw simgrid::xbt::errno_error();
return handle_message(buffer, size);
}
if (socket_pollfd->revents & POLLERR)
if (errno == EINTR)
continue;
else
- throw simgrid::xbt::errno_error(errno);
+ throw simgrid::xbt::errno_error();
} else if (size != sizeof(info))
return throw std::runtime_error(
"Bad communication with model-checked application");
break;
} else {
XBT_ERROR("Could not wait for pid");
- throw simgrid::xbt::errno_error(errno);
+ throw simgrid::xbt::errno_error();
}
}
if (s == -1)
xbt_die("Could not receive message");
if (s != sizeof(message) || message.type != MC_MESSAGE_DEADLOCK_CHECK_REPLY)
- xbt_die("%s received unexpected message %s (%i, size=%i) "
+ xbt_die("Received unexpected message %s (%i, size=%i) "
"expected MC_MESSAGE_DEADLOCK_CHECK_REPLY (%i, size=%i)",
- MC_mode_name(mc_mode),
MC_message_type_name(message.type), (int) message.type, (int) s,
(int) MC_MESSAGE_DEADLOCK_CHECK_REPLY, (int) sizeof(message)
);