X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/0ec122a780b6dd27347cca4d240de563e607f349..36fa571a13985879dc627c70ecc2340af606aa42:/src/smpi/smpi_comm.cpp diff --git a/src/smpi/smpi_comm.cpp b/src/smpi/smpi_comm.cpp index a4f04683bb..7b2cbe07d9 100644 --- a/src/smpi/smpi_comm.cpp +++ b/src/smpi/smpi_comm.cpp @@ -5,18 +5,22 @@ * under the terms of the license (GNU LGPL) which comes with this package. */ #include +#include + +#include +#include +#include + +#include #include "private.h" -#include "xbt/dict.h" #include "smpi_mpi_dt_private.h" -#include "limits.h" #include "src/simix/smx_private.h" #include "colls/colls.h" -#include "xbt/ex.h" XBT_LOG_NEW_DEFAULT_SUBCATEGORY(smpi_comm, smpi, "Logging specific to SMPI (comm)"); -xbt_dict_t smpi_comm_keyvals = NULL; +xbt_dict_t smpi_comm_keyvals = nullptr; int comm_keyval_id = 0;//avoid collisions /* Support for cartesian topology was added, but there are 2 other types of topology, graph et dist graph. In order to @@ -39,8 +43,8 @@ typedef struct s_smpi_mpi_communicator { static int smpi_compare_rankmap(const void *a, const void *b) { - const int* x = (const int*)a; - const int* y = (const int*)b; + const int* x = static_cast(a); + const int* y = static_cast(b); if (x[1] < y[1]) { return -1; @@ -63,17 +67,16 @@ MPI_Comm smpi_comm_new(MPI_Group group, MPI_Topology topo) comm = xbt_new(s_smpi_mpi_communicator_t, 1); comm->group = group; - smpi_group_use(comm->group); comm->refcount=1; comm->topoType = MPI_INVALID_TOPO; comm->topo = topo; comm->intra_comm = MPI_COMM_NULL; comm->leaders_comm = MPI_COMM_NULL; comm->is_uniform=1; - comm->non_uniform_map = NULL; - comm->leaders_map = NULL; + comm->non_uniform_map = nullptr; + comm->leaders_map = nullptr; comm->is_blocked=0; - comm->attributes=NULL; + comm->attributes=nullptr; return comm; } @@ -81,7 +84,6 @@ void smpi_comm_destroy(MPI_Comm comm) { if (comm == MPI_COMM_UNINITIALIZED) comm = smpi_process_comm_world(); - smpi_group_unuse(comm->group); smpi_topo_destroy(comm->topo); // there's no use count on topos smpi_comm_unuse(comm); } @@ -90,47 +92,31 @@ int smpi_comm_dup(MPI_Comm comm, MPI_Comm* newcomm){ if(smpi_privatize_global_variables){ //we need to switch as the called function may silently touch global variables smpi_switch_data_segment(smpi_process_index()); } - (*newcomm) = smpi_comm_new(smpi_comm_group(comm), smpi_comm_topo(comm)); + MPI_Group cp=smpi_group_copy(smpi_comm_group(comm)); + (*newcomm) = smpi_comm_new(cp, smpi_comm_topo(comm)); int ret = MPI_SUCCESS; - //todo: faire en sorte que ça fonctionne avec un communicator dupliqué (refaire un init_smp ?) - - /* MPI_Comm tmp=smpi_comm_get_intra_comm(comm); - if( tmp != MPI_COMM_NULL) - smpi_comm_set_intra_comm((*newcomm), smpi_comm_dup(tmp)); - tmp=smpi_comm_get_leaders_comm(comm); - if( tmp != MPI_COMM_NULL) - smpi_comm_set_leaders_comm((*newcomm), smpi_comm_dup(tmp)); - if(comm->non_uniform_map !=NULL){ - (*newcomm)->non_uniform_map= - xbt_malloc(smpi_comm_size(comm->leaders_comm)*sizeof(int)); - memcpy((*newcomm)->non_uniform_map, - comm->non_uniform_map,smpi_comm_size(comm->leaders_comm)*sizeof(int) ); - } - if(comm->leaders_map !=NULL){ - (*newcomm)->leaders_map=xbt_malloc(smpi_comm_size(comm)*sizeof(int)); - memcpy((*newcomm)->leaders_map, - comm->leaders_map,smpi_comm_size(comm)*sizeof(int) ); - }*/ - if(comm->attributes !=NULL){ - (*newcomm)->attributes=xbt_dict_new(); - xbt_dict_cursor_t cursor = NULL; - int *key; - int flag; - void* value_in; - void* value_out; - xbt_dict_foreach(comm->attributes, cursor, key, value_in){ - smpi_comm_key_elem elem = - static_cast(xbt_dict_get_or_null_ext(smpi_comm_keyvals, (const char*)key, sizeof(int))); - if(elem && elem->copy_fn!=MPI_NULL_COPY_FN){ - ret = elem->copy_fn(comm, *key, NULL, value_in, &value_out, &flag ); - if(ret!=MPI_SUCCESS){ - smpi_comm_destroy(*newcomm); - *newcomm=MPI_COMM_NULL; - return ret; - } - if(flag) - xbt_dict_set_ext((*newcomm)->attributes, (const char*)key, sizeof(int),value_out, NULL); + + if(comm->attributes !=nullptr){ + (*newcomm)->attributes = xbt_dict_new_homogeneous(nullptr); + xbt_dict_cursor_t cursor = nullptr; + int* key; + int flag; + void* value_in; + void* value_out; + xbt_dict_foreach (comm->attributes, cursor, key, value_in) { + smpi_comm_key_elem elem = static_cast( + xbt_dict_get_or_null_ext(smpi_comm_keyvals, reinterpret_cast(key), sizeof(int))); + if (elem != nullptr && elem->copy_fn != MPI_NULL_COPY_FN) { + ret = elem->copy_fn(comm, *key, nullptr, value_in, &value_out, &flag); + if (ret != MPI_SUCCESS) { + smpi_comm_destroy(*newcomm); + *newcomm = MPI_COMM_NULL; + xbt_dict_cursor_free(&cursor); + return ret; } + if (flag) + xbt_dict_set_ext((*newcomm)->attributes, reinterpret_cast(key), sizeof(int), value_out, nullptr); + } } } return ret; @@ -146,7 +132,7 @@ MPI_Group smpi_comm_group(MPI_Comm comm) MPI_Topology smpi_comm_topo(MPI_Comm comm) { if (comm != MPI_COMM_NULL) return comm->topo; - return NULL; + return nullptr; } int smpi_comm_size(MPI_Comm comm) @@ -168,7 +154,7 @@ void smpi_comm_get_name (MPI_Comm comm, char* name, int* len) if (comm == MPI_COMM_UNINITIALIZED) comm = smpi_process_comm_world(); if(comm == MPI_COMM_WORLD) { - strcpy(name, "WORLD"); + strncpy(name, "WORLD",5); *len = 5; } else { *len = snprintf(name, MPI_MAX_NAME_STRING, "%p", comm); @@ -231,9 +217,11 @@ MPI_Comm smpi_comm_split(MPI_Comm comm, int color, int key) int* recvbuf; int* rankmap; MPI_Group group, group_root, group_out; + MPI_Group* group_snd; MPI_Request* requests; - group_root = group_out = NULL; + group_root = nullptr; + group_out = nullptr; group = smpi_comm_group(comm); rank = smpi_comm_rank(comm); size = smpi_comm_size(comm); @@ -244,107 +232,121 @@ MPI_Comm smpi_comm_split(MPI_Comm comm, int color, int key) if(rank == 0) { recvbuf = xbt_new(int, 2 * size); } else { - recvbuf = NULL; + recvbuf = nullptr; } smpi_mpi_gather(sendbuf, 2, MPI_INT, recvbuf, 2, MPI_INT, 0, comm); xbt_free(sendbuf); /* Do the actual job */ if(rank == 0) { + group_snd = xbt_new(MPI_Group, size); rankmap = xbt_new(int, 2 * size); for(i = 0; i < size; i++) { - if(recvbuf[2 * i] == MPI_UNDEFINED) { - continue; - } - count = 0; - for(j = i + 1; j < size; j++) { - if(recvbuf[2 * i] == recvbuf[2 * j]) { - recvbuf[2 * j] = MPI_UNDEFINED; - rankmap[2 * count] = j; - rankmap[2 * count + 1] = recvbuf[2 * j + 1]; - count++; + if(recvbuf[2 * i] != MPI_UNDEFINED) { + + count = 0; + for(j = i + 1; j < size; j++) { + if(recvbuf[2 * i] == recvbuf[2 * j]) { + recvbuf[2 * j] = MPI_UNDEFINED; + rankmap[2 * count] = j; + rankmap[2 * count + 1] = recvbuf[2 * j + 1]; + count++; + } } - } - /* Add self in the group */ - recvbuf[2 * i] = MPI_UNDEFINED; - rankmap[2 * count] = i; - rankmap[2 * count + 1] = recvbuf[2 * i + 1]; - count++; - qsort(rankmap, count, 2 * sizeof(int), &smpi_compare_rankmap); - group_out = smpi_group_new(count); - if(i == 0) { - group_root = group_out; /* Save root's group */ - } - for(j = 0; j < count; j++) { - //increment refcounter in order to avoid freeing the group too quick before copy - index = smpi_group_index(group, rankmap[2 * j]); - smpi_group_set_mapping(group_out, index, j); - } - requests = xbt_new(MPI_Request, count); - reqs = 0; - for(j = 0; j < count; j++) { - if(rankmap[2 * j] != 0) { - requests[reqs] = smpi_isend_init(&group_out, 1, MPI_PTR, rankmap[2 * j], system_tag, comm); - reqs++; + /* Add self in the group */ + recvbuf[2 * i] = MPI_UNDEFINED; + rankmap[2 * count] = i; + rankmap[2 * count + 1] = recvbuf[2 * i + 1]; + count++; + qsort(rankmap, count, 2 * sizeof(int), &smpi_compare_rankmap); + group_out = smpi_group_new(count); + if(i == 0) { + group_root = group_out; /* Save root's group */ + } + for(j = 0; j < count; j++) { + index = smpi_group_index(group, rankmap[2 * j]); + smpi_group_set_mapping(group_out, index, j); + } + requests = xbt_new(MPI_Request, count); + reqs = 0; + for(j = 0; j < count; j++) { + if(rankmap[2 * j] != 0) { + group_snd[reqs]=smpi_group_copy(group_out); + requests[reqs] = smpi_mpi_isend(&(group_snd[reqs]), 1, MPI_PTR, rankmap[2 * j], system_tag, comm); + reqs++; + } + } + if(i != 0) { + smpi_group_destroy(group_out); } + smpi_mpi_waitall(reqs, requests, MPI_STATUS_IGNORE); + xbt_free(requests); } - smpi_mpi_startall(reqs, requests); - smpi_mpi_waitall(reqs, requests, MPI_STATUS_IGNORE); - xbt_free(requests); } xbt_free(recvbuf); + xbt_free(rankmap); + xbt_free(group_snd); group_out = group_root; /* exit with root's group */ } else { if(color != MPI_UNDEFINED) { smpi_mpi_recv(&group_out, 1, MPI_PTR, 0, system_tag, comm, MPI_STATUS_IGNORE); - if(group_out){ - group_out=smpi_group_copy(group_out); - } - } /* otherwise, exit with group_out == NULL */ + } /* otherwise, exit with group_out == nullptr */ } - return group_out ? smpi_comm_new(group_out, NULL) : MPI_COMM_NULL; + return group_out!=nullptr ? smpi_comm_new(group_out, nullptr) : MPI_COMM_NULL; } void smpi_comm_use(MPI_Comm comm){ if (comm == MPI_COMM_UNINITIALIZED) comm = smpi_process_comm_world(); + smpi_group_use(comm->group); comm->refcount++; } -void smpi_comm_unuse(MPI_Comm comm){ - if (comm == MPI_COMM_UNINITIALIZED) - comm = smpi_process_comm_world(); - comm->refcount--; - if(comm->refcount==0){ +void smpi_comm_cleanup_attributes(MPI_Comm comm){ + if(comm->attributes !=nullptr){ + xbt_dict_cursor_t cursor = nullptr; + int* key; + void * value; + int flag; + xbt_dict_foreach(comm->attributes, cursor, key, value){ + smpi_comm_key_elem elem = + static_cast(xbt_dict_get_or_null(smpi_comm_keyvals, reinterpret_cast(key))); + if(elem!=nullptr && elem->delete_fn!=nullptr) + elem->delete_fn(comm, *key, value, &flag); + } + xbt_dict_free(&comm->attributes); + } +} + +void smpi_comm_cleanup_smp(MPI_Comm comm){ if(comm->intra_comm != MPI_COMM_NULL) smpi_comm_unuse(comm->intra_comm); if(comm->leaders_comm != MPI_COMM_NULL) smpi_comm_unuse(comm->leaders_comm); - if(comm->non_uniform_map !=NULL) + if(comm->non_uniform_map !=nullptr) xbt_free(comm->non_uniform_map); - if(comm->leaders_map !=NULL) + if(comm->leaders_map !=nullptr) xbt_free(comm->leaders_map); - if(comm->attributes !=NULL){ - xbt_dict_cursor_t cursor = NULL; - int* key; - void * value; - int flag; - xbt_dict_foreach(comm->attributes, cursor, key, value){ - smpi_comm_key_elem elem = - static_cast(xbt_dict_get_or_null(smpi_comm_keyvals, (const char*)key)); - if(elem && elem->delete_fn) - elem->delete_fn(comm, *key, value, &flag); - } - } +} + +void smpi_comm_unuse(MPI_Comm comm){ + if (comm == MPI_COMM_UNINITIALIZED) + comm = smpi_process_comm_world(); + comm->refcount--; + smpi_group_unuse(comm->group); + + if(comm->refcount==0){ + smpi_comm_cleanup_smp(comm); + smpi_comm_cleanup_attributes(comm); xbt_free(comm); } } static int compare_ints (const void *a, const void *b) { - const int *da = (const int *) a; - const int *db = (const int *) b; + const int *da = static_cast(a); + const int *db = static_cast(b); - return (*da > *db) - (*da < *db); + return static_cast(*da > *db) - static_cast(*da < *db); } void smpi_comm_init_smp(MPI_Comm comm){ @@ -357,10 +359,10 @@ void smpi_comm_init_smp(MPI_Comm comm){ // If we are in replay - perform an ugly hack // tell SimGrid we are not in replay for a while, because we need the buffers to be copied for the following calls - int replaying = 0; //cache data to set it back again after + bool replaying = false; //cache data to set it back again after if(smpi_process_get_replaying()){ - replaying=1; - smpi_process_set_replaying(0); + replaying=true; + smpi_process_set_replaying(false); } if(smpi_privatize_global_variables){ //we need to switch as the called function may silently touch global variables @@ -368,21 +370,13 @@ void smpi_comm_init_smp(MPI_Comm comm){ } //identify neighbours in comm //get the indexes of all processes sharing the same simix host - xbt_swag_t process_list = simcall_host_get_process_list(SIMIX_host_self()); + xbt_swag_t process_list = SIMIX_host_self()->processes(); int intra_comm_size = 0; - //only one process/node, disable SMP support and return -// if(intra_comm_size==1){ -// smpi_comm_set_intra_comm(comm, MPI_COMM_SELF); -// //smpi_comm_set_leaders_comm(comm, comm); -// smpi_process_set_comm_intra(MPI_COMM_SELF); -// return; -// } int i =0; int min_index=INT_MAX;//the minimum index will be the leader - smx_process_t process = NULL; + smx_actor_t process = nullptr; xbt_swag_foreach(process, process_list) { - //is_in_comm=0; - int index = SIMIX_process_get_PID(process) -1; + int index = process->pid -1; if(smpi_group_rank(smpi_comm_group(comm), index)!=MPI_UNDEFINED){ intra_comm_size++; @@ -395,25 +389,20 @@ void smpi_comm_init_smp(MPI_Comm comm){ XBT_DEBUG("number of processes deployed on my node : %d", intra_comm_size); MPI_Group group_intra = smpi_group_new(intra_comm_size); i=0; - process = NULL; + process = nullptr; xbt_swag_foreach(process, process_list) { - //is_in_comm=0; - int index = SIMIX_process_get_PID(process) -1; + int index = process->pid -1; if(smpi_group_rank(smpi_comm_group(comm), index)!=MPI_UNDEFINED){ smpi_group_set_mapping(group_intra, index, i); i++; } } - MPI_Comm comm_intra = smpi_comm_new(group_intra, NULL); - //MPI_Comm shmem_comm = smpi_process_comm_intra(); - //int intra_rank = smpi_comm_rank(shmem_comm); - - //if(smpi_process_index()==min_index) + MPI_Comm comm_intra = smpi_comm_new(group_intra, nullptr); leader=min_index; - int * leaders_map= (int*)xbt_malloc0(sizeof(int)*comm_size); - int * leader_list= (int*)xbt_malloc0(sizeof(int)*comm_size); + int * leaders_map= static_cast(xbt_malloc0(sizeof(int)*comm_size)); + int * leader_list= static_cast(xbt_malloc0(sizeof(int)*comm_size)); for(i=0; ileaders_map){ + if(comm->leaders_map==nullptr){ comm->leaders_map= leaders_map; }else{ xbt_free(leaders_map); @@ -438,7 +427,7 @@ void smpi_comm_init_smp(MPI_Comm comm){ already_done=1; } } - if(!already_done){ + if(already_done==0){ leader_list[leader_group_size]=comm->leaders_map[i]; leader_group_size++; } @@ -452,19 +441,22 @@ void smpi_comm_init_smp(MPI_Comm comm){ //create leader_communicator for (i=0; i< leader_group_size;i++) smpi_group_set_mapping(leaders_group, leader_list[i], i); - leader_comm = smpi_comm_new(leaders_group, NULL); + leader_comm = smpi_comm_new(leaders_group, nullptr); smpi_comm_set_leaders_comm(comm, leader_comm); smpi_comm_set_intra_comm(comm, comm_intra); //create intracommunicator - // smpi_comm_set_intra_comm(comm, smpi_comm_split(comm, *(int*)SIMIX_host_self(), comm_rank)); }else{ for (i=0; i< leader_group_size;i++) smpi_group_set_mapping(leaders_group, leader_list[i], i); - leader_comm = smpi_comm_new(leaders_group, NULL); - if(smpi_comm_get_leaders_comm(comm)==MPI_COMM_NULL) + if(smpi_comm_get_leaders_comm(comm)==MPI_COMM_NULL){ + leader_comm = smpi_comm_new(leaders_group, nullptr); smpi_comm_set_leaders_comm(comm, leader_comm); + }else{ + leader_comm=smpi_comm_get_leaders_comm(comm); + smpi_group_unuse(leaders_group); + } smpi_process_set_comm_intra(comm_intra); } @@ -482,7 +474,7 @@ void smpi_comm_init_smp(MPI_Comm comm){ break; } } - if(!is_uniform && smpi_comm_is_uniform(comm)){ + if(is_uniform==0 && smpi_comm_is_uniform(comm)!=0){ comm->non_uniform_map= non_uniform_map; }else{ xbt_free(non_uniform_map); @@ -518,94 +510,95 @@ void smpi_comm_init_smp(MPI_Comm comm){ } xbt_free(leader_list); - if(replaying==1) - smpi_process_set_replaying(1); + if(replaying) + smpi_process_set_replaying(true); } int smpi_comm_attr_delete(MPI_Comm comm, int keyval){ smpi_comm_key_elem elem = - static_cast(xbt_dict_get_or_null_ext(smpi_comm_keyvals, (const char*)&keyval, sizeof(int))); - if(!elem) + static_cast(xbt_dict_get_or_null_ext(smpi_comm_keyvals, reinterpret_cast(&keyval), sizeof(int))); + if(elem==nullptr) return MPI_ERR_ARG; if(elem->delete_fn!=MPI_NULL_DELETE_FN){ - void * value; + void* value = nullptr; int flag; if(smpi_comm_attr_get(comm, keyval, &value, &flag)==MPI_SUCCESS){ int ret = elem->delete_fn(comm, keyval, value, &flag); - if(ret!=MPI_SUCCESS) return ret; + if(ret!=MPI_SUCCESS) + return ret; } } - if(comm->attributes==NULL) + if(comm->attributes==nullptr) return MPI_ERR_ARG; - xbt_dict_remove_ext(comm->attributes, (const char*)&keyval, sizeof(int)); + xbt_dict_remove_ext(comm->attributes, reinterpret_cast(&keyval), sizeof(int)); return MPI_SUCCESS; } int smpi_comm_attr_get(MPI_Comm comm, int keyval, void* attr_value, int* flag){ smpi_comm_key_elem elem = - static_cast(xbt_dict_get_or_null_ext(smpi_comm_keyvals, (const char*)&keyval, sizeof(int))); - if(!elem) + static_cast(xbt_dict_get_or_null_ext(smpi_comm_keyvals, reinterpret_cast(&keyval), sizeof(int))); + if(elem==nullptr) return MPI_ERR_ARG; - xbt_ex_t ex; - if(comm->attributes==NULL){ + if(comm->attributes==nullptr){ *flag=0; return MPI_SUCCESS; } - TRY { - *(void**)attr_value = xbt_dict_get_ext(comm->attributes, (const char*)&keyval, sizeof(int)); + try { + *static_cast(attr_value) = xbt_dict_get_ext(comm->attributes, + reinterpret_cast(&keyval), sizeof(int)); *flag=1; - } CATCH(ex) { + } + catch (xbt_ex& ex) { *flag=0; - xbt_ex_free(ex); } return MPI_SUCCESS; } int smpi_comm_attr_put(MPI_Comm comm, int keyval, void* attr_value){ - if(!smpi_comm_keyvals) - smpi_comm_keyvals = xbt_dict_new(); + if(smpi_comm_keyvals==nullptr) + smpi_comm_keyvals = xbt_dict_new_homogeneous(nullptr); smpi_comm_key_elem elem = - static_cast(xbt_dict_get_or_null_ext(smpi_comm_keyvals, (const char*)&keyval, sizeof(int))); - if(!elem ) + static_cast(xbt_dict_get_or_null_ext(smpi_comm_keyvals, reinterpret_cast(&keyval), sizeof(int))); + if(elem==nullptr) return MPI_ERR_ARG; int flag; - void* value; + void* value = nullptr; smpi_comm_attr_get(comm, keyval, &value, &flag); - if(flag && elem->delete_fn!=MPI_NULL_DELETE_FN){ + if(flag!=0 && elem->delete_fn!=MPI_NULL_DELETE_FN){ int ret = elem->delete_fn(comm, keyval, value, &flag); - if(ret!=MPI_SUCCESS) return ret; + if(ret!=MPI_SUCCESS) + return ret; } - if(comm->attributes==NULL) - comm->attributes=xbt_dict_new(); + if(comm->attributes==nullptr) + comm->attributes = xbt_dict_new_homogeneous(nullptr); - xbt_dict_set_ext(comm->attributes, (const char*)&keyval, sizeof(int), attr_value, NULL); + xbt_dict_set_ext(comm->attributes, reinterpret_cast(&keyval), sizeof(int), attr_value, nullptr); return MPI_SUCCESS; } int smpi_comm_keyval_create(MPI_Comm_copy_attr_function* copy_fn, MPI_Comm_delete_attr_function* delete_fn, int* keyval, void* extra_state){ - if(!smpi_comm_keyvals) - smpi_comm_keyvals = xbt_dict_new(); + if(smpi_comm_keyvals==nullptr) + smpi_comm_keyvals = xbt_dict_new_homogeneous(nullptr); - smpi_comm_key_elem value = (smpi_comm_key_elem) xbt_new0(s_smpi_mpi_comm_key_elem_t,1); + smpi_comm_key_elem value = static_cast(xbt_new0(s_smpi_mpi_comm_key_elem_t,1)); value->copy_fn=copy_fn; value->delete_fn=delete_fn; *keyval = comm_keyval_id; - xbt_dict_set_ext(smpi_comm_keyvals, (const char*)keyval, sizeof(int),(void*)value, NULL); + xbt_dict_set_ext(smpi_comm_keyvals, reinterpret_cast(keyval), sizeof(int),static_cast(value), nullptr); comm_keyval_id++; return MPI_SUCCESS; } int smpi_comm_keyval_free(int* keyval){ smpi_comm_key_elem elem = - static_cast(xbt_dict_get_or_null_ext(smpi_comm_keyvals, (const char*)keyval, sizeof(int))); - if(!elem){ + static_cast(xbt_dict_get_or_null_ext(smpi_comm_keyvals, reinterpret_cast(keyval), sizeof(int))); + if(elem==nullptr) return MPI_ERR_ARG; - } - xbt_dict_remove_ext(smpi_comm_keyvals, (const char*)keyval, sizeof(int)); + xbt_dict_remove_ext(smpi_comm_keyvals, reinterpret_cast(keyval), sizeof(int)); xbt_free(elem); return MPI_SUCCESS; }