void smpi_deployment_register_process(const std::string& instance_id, int rank, simgrid::s4u::Actor* actor)
{
const Instance& instance = smpi_instances.at(instance_id);
void smpi_deployment_register_process(const std::string& instance_id, int rank, simgrid::s4u::Actor* actor)
{
const Instance& instance = smpi_instances.at(instance_id);