std::string instr_pid(simgrid::s4u::Actor const& proc)
{
return std::string(proc.get_name()) + "-" + std::to_string(proc.get_pid());
std::string instr_pid(simgrid::s4u::Actor const& proc)
{
return std::string(proc.get_name()) + "-" + std::to_string(proc.get_pid());
/** @brief Add a function to the list of "on_exit" functions for the current process.
* The on_exit functions are the functions executed when your process is killed.
* You should use them to free the data used by your process.
/** @brief Add a function to the list of "on_exit" functions for the current process.
* The on_exit functions are the functions executed when your process is killed.
* You should use them to free the data used by your process.