X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/aa64b0469b0967780beb549867c2907c14525443..292a2a9b6a68f7b9bd620b8222d20ea91fe3bcf9:/src/smpi/smpi_base.c diff --git a/src/smpi/smpi_base.c b/src/smpi/smpi_base.c index b4e8aa6841..5192ca3be9 100644 --- a/src/smpi/smpi_base.c +++ b/src/smpi/smpi_base.c @@ -5,10 +5,11 @@ * under the terms of the license (GNU LGPL) which comes with this package. */ #include "private.h" -#include "xbt/time.h" +#include "xbt/virtu.h" #include "mc/mc.h" #include "xbt/replay.h" #include +#include "simix/smx_private.h" #include "surf/surf.h" @@ -16,8 +17,9 @@ XBT_LOG_NEW_DEFAULT_SUBCATEGORY(smpi_base, smpi, "Logging specific to SMPI (base static int match_recv(void* a, void* b, smx_action_t ignored) { - MPI_Request ref = (MPI_Request)a; - MPI_Request req = (MPI_Request)b; + MPI_Request ref = (MPI_Request)a; + MPI_Request req = (MPI_Request)b; + XBT_DEBUG("Trying to match a recv of src %d against %d, tag %d against %d",ref->src,req->src, ref->tag, req->tag); xbt_assert(ref, "Cannot match recv against null reference"); xbt_assert(req, "Cannot match recv against null request"); @@ -26,13 +28,13 @@ static int match_recv(void* a, void* b, smx_action_t ignored) { } static int match_send(void* a, void* b,smx_action_t ignored) { - MPI_Request ref = (MPI_Request)a; - MPI_Request req = (MPI_Request)b; - - xbt_assert(ref, "Cannot match send against null reference"); - xbt_assert(req, "Cannot match send against null request"); - return (req->src == MPI_ANY_SOURCE || req->src == ref->src) - && (req->tag == MPI_ANY_TAG || req->tag == ref->tag); + MPI_Request ref = (MPI_Request)a; + MPI_Request req = (MPI_Request)b; + XBT_DEBUG("Trying to match a send of src %d against %d, tag %d against %d",ref->src,req->src, ref->tag, req->tag); + xbt_assert(ref, "Cannot match send against null reference"); + xbt_assert(req, "Cannot match send against null request"); + return (req->src == MPI_ANY_SOURCE || req->src == ref->src) + && (req->tag == MPI_ANY_TAG || req->tag == ref->tag); } static MPI_Request build_request(void *buf, int count, @@ -41,7 +43,7 @@ static MPI_Request build_request(void *buf, int count, { MPI_Request request; - void *old_buf; + void *old_buf = NULL; request = xbt_new(s_smpi_mpi_request_t, 1); @@ -69,6 +71,7 @@ static MPI_Request build_request(void *buf, int count, request->comm = comm; request->action = NULL; request->flags = flags; + request->detached = 0; #ifdef HAVE_TRACING request->send = 0; request->recv = 0; @@ -76,6 +79,15 @@ static MPI_Request build_request(void *buf, int count, return request; } + +void smpi_empty_status(MPI_Status * status) { + if(status != MPI_STATUS_IGNORE) { + status->MPI_SOURCE=MPI_ANY_SOURCE; + status->MPI_TAG=MPI_ANY_TAG; + status->count=0; + } +} + void smpi_action_trace_run(char *path) { char *name; @@ -135,13 +147,12 @@ MPI_Request smpi_mpi_recv_init(void *buf, int count, MPI_Datatype datatype, void smpi_mpi_start(MPI_Request request) { smx_rdv_t mailbox; - int detached = 0; xbt_assert(!request->action, "Cannot (re)start a non-finished communication"); if(request->flags & RECV) { print_request("New recv", request); - if (request->size < xbt_cfg_get_int(_surf_cfg_set, "smpi/async_small_thres")) + if (request->size < surf_cfg_get_int("smpi/async_small_thres")) mailbox = smpi_process_mailbox_small(); else mailbox = smpi_process_mailbox(); @@ -149,22 +160,29 @@ void smpi_mpi_start(MPI_Request request) // FIXME: SIMIX does not yet support non-contiguous datatypes request->action = simcall_comm_irecv(mailbox, request->buf, &request->size, &match_recv, request); } else { - print_request("New send", request); - if (request->size < xbt_cfg_get_int(_surf_cfg_set, "smpi/async_small_thres")) { // eager mode => detached send (FIXME: this limit should be configurable) - mailbox = smpi_process_remote_mailbox_small( - smpi_group_index(smpi_comm_group(request->comm), request->dst)); + int receiver = smpi_group_index(smpi_comm_group(request->comm), request->dst); +/* if(receiver == MPI_UNDEFINED) {*/ +/* XBT_WARN("Trying to send a message to a wrong rank");*/ +/* return;*/ +/* }*/ + print_request("New send", request); + if (request->size < surf_cfg_get_int("smpi/async_small_thres")) { // eager mode + mailbox = smpi_process_remote_mailbox_small(receiver); }else{ XBT_DEBUG("Send request %p is not in the permanent receive mailbox (buf: %p)",request,request->buf); - mailbox = smpi_process_remote_mailbox( - smpi_group_index(smpi_comm_group(request->comm), request->dst)); + mailbox = smpi_process_remote_mailbox(receiver); } if (request->size < 64*1024 ) { //(FIXME: this limit should be configurable) - void *oldbuf = request->buf; - detached = 1; - request->buf = malloc(request->size); - if (oldbuf) - memcpy(request->buf,oldbuf,request->size); + void *oldbuf = NULL; + if(request->old_type->has_subtype == 0){ + oldbuf = request->buf; + request->detached = 1; + if (oldbuf){ + request->buf = malloc(request->size); + memcpy(request->buf,oldbuf,request->size); + } + } XBT_DEBUG("Send request %p is detached; buf %p copied into %p",request,oldbuf,request->buf); } @@ -175,7 +193,7 @@ void smpi_mpi_start(MPI_Request request) &smpi_mpi_request_free_voidp, // how to free the userdata if a detached send fails request, // detach if msg size < eager/rdv switch limit - detached); + request->detached); #ifdef HAVE_TRACING /* FIXME: detached sends are not traceable (request->action == NULL) */ @@ -289,6 +307,7 @@ static void finish_wait(MPI_Request * request, MPI_Status * status) { MPI_Request req = *request; // if we have a sender, we should use its data, and not the data from the receive + //FIXME : mail fail if req->action has already been freed, the pointer being invalid if((req->action)&& (req->src==MPI_ANY_SOURCE || req->tag== MPI_ANY_TAG)) req = (MPI_Request)SIMIX_comm_get_src_data((*request)->action); @@ -296,7 +315,10 @@ static void finish_wait(MPI_Request * request, MPI_Status * status) if(status != MPI_STATUS_IGNORE) { status->MPI_SOURCE = req->src; status->MPI_TAG = req->tag; + //if((*request)->action && ((MPI_Request)SIMIX_comm_get_src_data((*request)->action))->size == (*request)->size) status->MPI_ERROR = MPI_SUCCESS; + //else status->MPI_ERROR = MPI_ERR_TRUNCATE; + // this handles the case were size in receive differs from size in send // FIXME: really this should just contain the count of receive-type blocks, // right? status->count = req->size; @@ -312,9 +334,7 @@ static void finish_wait(MPI_Request * request, MPI_Status * status) if(req->flags & RECV) { subtype->unserialize(req->buf, req->old_buf, req->size/smpi_datatype_size(datatype) , datatype->substruct); } - //FIXME: I am not sure that if the send is detached we have to free - //the sender buffer thus I do it only for the reciever - if(req->flags & RECV) free(req->buf); + if(req->detached == 0) free(req->buf); } if(req->flags & NON_PERSISTENT) { @@ -327,12 +347,15 @@ static void finish_wait(MPI_Request * request, MPI_Status * status) int smpi_mpi_test(MPI_Request * request, MPI_Status * status) { int flag; + //assume that request is not MPI_REQUEST_NULL (filtered in PMPI_Test or smpi_mpi_testall before) if ((*request)->action == NULL) flag = 1; else flag = simcall_comm_test((*request)->action); if(flag) { finish_wait(request, status); + }else{ + smpi_empty_status(status); } return flag; } @@ -351,24 +374,29 @@ int smpi_mpi_testany(int count, MPI_Request requests[], int *index, map = xbt_new(int, count); size = 0; for(i = 0; i < count; i++) { - if(requests[i]->action) { - xbt_dynar_push(comms, &requests[i]->action); - map[size] = i; - size++; + if((requests[i]!=MPI_REQUEST_NULL) && requests[i]->action) { + xbt_dynar_push(comms, &requests[i]->action); + map[size] = i; + size++; } } if(size > 0) { i = simcall_comm_testany(comms); - // FIXME: MPI_UNDEFINED or does SIMIX have a return code? - if(i != MPI_UNDEFINED) { + // not MPI_UNDEFINED, as this is a simix return code + if(i != -1) { *index = map[i]; - smpi_mpi_wait(&requests[*index], status); + finish_wait(&requests[*index], status); flag = 1; } + }else{ + //all requests are null or inactive, return true + flag=1; + smpi_empty_status(status); } xbt_free(map); xbt_dynar_free(&comms); } + return flag; } @@ -376,12 +404,22 @@ int smpi_mpi_testany(int count, MPI_Request requests[], int *index, int smpi_mpi_testall(int count, MPI_Request requests[], MPI_Status status[]) { + MPI_Status stat; + MPI_Status *pstat = status == MPI_STATUSES_IGNORE ? MPI_STATUS_IGNORE : &stat; int flag=1; int i; - for(i=0; i0){ - mailbox = smpi_process_mailbox_small(); - request->action = simcall_comm_iprobe(mailbox, request->src, request->tag, &match_recv, (void*)request); - - } - if (request->action==NULL){ - mailbox = smpi_process_mailbox(); - request->action = simcall_comm_iprobe(mailbox, request->src, request->tag, &match_recv, (void*)request); - } + if (surf_cfg_get_int("smpi/async_small_thres")>0){ + mailbox = smpi_process_mailbox_small(); + XBT_DEBUG("trying to probe the perm recv mailbox"); + request->action = simcall_comm_iprobe(mailbox, request->src, request->tag, &match_recv, (void*)request); + } + if (request->action==NULL){ + mailbox = smpi_process_mailbox(); + XBT_DEBUG("trying to probe the other mailbox"); + request->action = simcall_comm_iprobe(mailbox, request->src, request->tag, &match_recv, (void*)request); + } if(request->action){ MPI_Request req = (MPI_Request)SIMIX_comm_get_src_data(request->action); - *flag=true; + *flag = 1; if(status != MPI_STATUS_IGNORE) { status->MPI_SOURCE = req->src; status->MPI_TAG = req->tag; @@ -428,9 +466,10 @@ MPI_Request smpi_mpi_iprobe(int source, int tag, MPI_Comm comm, int* flag, MPI_S status->count = req->size; } } - else *flag=false; + else *flag = 0; + smpi_mpi_request_free(&request); - return request; + return; } void smpi_mpi_wait(MPI_Request * request, MPI_Status * status) @@ -468,57 +507,111 @@ int smpi_mpi_waitany(int count, MPI_Request requests[], if(size > 0) { i = simcall_comm_waitany(comms); - // FIXME: MPI_UNDEFINED or does SIMIX have a return code? - if (i != MPI_UNDEFINED) { + // not MPI_UNDEFINED, as this is a simix return code + if (i != -1) { index = map[i]; finish_wait(&requests[index], status); - } } xbt_free(map); xbt_dynar_free(&comms); } + + if (index==MPI_UNDEFINED) + smpi_empty_status(status); + return index; } -void smpi_mpi_waitall(int count, MPI_Request requests[], +int smpi_mpi_waitall(int count, MPI_Request requests[], MPI_Status status[]) { - int index, c; + int index, c; MPI_Status stat; - MPI_Status *pstat = status == MPI_STATUS_IGNORE ? MPI_STATUS_IGNORE : &stat; - + MPI_Status *pstat = status == MPI_STATUSES_IGNORE ? MPI_STATUS_IGNORE : &stat; + int retvalue=MPI_SUCCESS; + //tag invalid requests in the set for(c = 0; c < count; c++) { - if(MC_IS_ENABLED) { - smpi_mpi_wait(&requests[c], pstat); - index = c; - } else { - index = smpi_mpi_waitany(count, requests, pstat); - if(index == MPI_UNDEFINED) { - break; + if(requests[c]==MPI_REQUEST_NULL || requests[c]->dst == MPI_PROC_NULL ){ + if(status != MPI_STATUSES_IGNORE) + smpi_empty_status(&status[c]); + }else if(requests[c]->src == MPI_PROC_NULL ){ + if(status != MPI_STATUSES_IGNORE) { + smpi_empty_status(&status[c]); + status[c].MPI_SOURCE=MPI_PROC_NULL; } } - if(status != MPI_STATUS_IGNORE) { - memcpy(&status[index], pstat, sizeof(*pstat)); + } + + for(c = 0; c < count; c++) { + if(MC_is_active()) { + smpi_mpi_wait(&requests[c], pstat); + index = c; + } else { + index = smpi_mpi_waitany(count, requests, pstat); + if(index == MPI_UNDEFINED) { + break; + } + if(status != MPI_STATUSES_IGNORE) { + memcpy(&status[index], pstat, sizeof(*pstat)); + if(status[index].MPI_ERROR==MPI_ERR_TRUNCATE)retvalue=MPI_ERR_IN_STATUS; + + } } } + return retvalue; } int smpi_mpi_waitsome(int incount, MPI_Request requests[], int *indices, MPI_Status status[]) { int i, count, index; + MPI_Status stat; + MPI_Status *pstat = status == MPI_STATUSES_IGNORE ? MPI_STATUS_IGNORE : &stat; count = 0; - for(i = 0; i < incount; i++) { - if(smpi_mpi_testany(incount, requests, &index, status)) { + for(i = 0; i < incount; i++) + { + index=smpi_mpi_waitany(incount, requests, pstat); + if(index!=MPI_UNDEFINED){ indices[count] = index; count++; + if(status != MPI_STATUSES_IGNORE) { + memcpy(&status[index], pstat, sizeof(*pstat)); + } + }else{ + return MPI_UNDEFINED; } } return count; } +int smpi_mpi_testsome(int incount, MPI_Request requests[], int *indices, + MPI_Status status[]) +{ + int i, count, count_dead; + MPI_Status stat; + MPI_Status *pstat = status == MPI_STATUSES_IGNORE ? MPI_STATUS_IGNORE : &stat; + + count = 0; + count_dead = 0; + for(i = 0; i < incount; i++) { + if((requests[i] != MPI_REQUEST_NULL)) { + if(smpi_mpi_test(&requests[i], pstat)) { + indices[count] = i; + count++; + if(status != MPI_STATUSES_IGNORE) { + memcpy(&status[i], pstat, sizeof(*pstat)); + } + } + }else{ + count_dead++; + } + } + if(count_dead==incount)return MPI_UNDEFINED; + else return count; +} + void smpi_mpi_bcast(void *buf, int count, MPI_Datatype datatype, int root, MPI_Comm comm) { @@ -806,7 +899,7 @@ void smpi_mpi_reduce(void *sendbuf, void *recvbuf, int count, smpi_mpi_startall(size - 1, requests); for(src = 0; src < size - 1; src++) { index = smpi_mpi_waitany(size - 1, requests, MPI_STATUS_IGNORE); - XBT_VERB("finished waiting any request with index %d", index); + XBT_DEBUG("finished waiting any request with index %d", index); if(index == MPI_UNDEFINED) { break; }