Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
examples to demonstrate bugs in sendrecv
[simgrid.git] / src / smpi / smpi_receiver.c
1 #include "private.h"
2
3 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(smpi_receiver, smpi,
4                                 "Logging specific to SMPI (receiver)");
5
6 int smpi_receiver(int argc, char *argv[])
7 {
8   smpi_process_data_t mydata = SIMIX_process_get_data(SIMIX_process_self());
9   smx_process_t self;
10   int index = mydata->index;
11
12   xbt_fifo_t request_queue;
13   xbt_fifo_t message_queue;
14
15   smpi_mpi_request_t request;
16   smpi_received_message_t message;
17
18   xbt_fifo_item_t request_item;
19   xbt_fifo_item_t message_item;
20
21   self = SIMIX_process_self();
22
23   request_queue = mydata->pending_recv_request_queue;
24   message_queue = mydata->received_message_queue;
25
26
27
28   while (1) {
29     // FIXME: better algorithm, maybe some kind of balanced tree? or a heap?
30
31     xbt_fifo_foreach(request_queue, request_item, request, smpi_mpi_request_t) {
32       xbt_fifo_foreach(message_queue, message_item, message,
33                        smpi_received_message_t) {
34
35 //#define DEBUG_MATCH
36 #ifdef DEBUG_MATCH
37         printf("[%s] try match (req_src=%d,msg_src=%d)x(req_tag=%d,msg_tag=%d)\n",
38                         __FILE__,request->src,message->src,request->tag, message->tag);
39 #endif
40         if (request->comm == message->comm &&
41             (MPI_ANY_SOURCE == request->src || request->src == message->src)
42             && (MPI_ANY_TAG == request->tag || request->tag == message->tag)) {
43           xbt_fifo_remove_item(request_queue, request_item);
44           xbt_fifo_free_item(request_item);
45           xbt_fifo_remove_item(message_queue, message_item);
46           xbt_fifo_free_item(message_item);
47 #ifdef DEBUG_MATCH
48         printf("[%s] found match: req_src=%d,msg_src=%d)x(req_tag=%d,msg_tag=%d)\n",
49                         __FILE__,request->src,message->src,request->tag, message->tag);
50 #endif
51           goto stopsearch;
52         }
53       }
54     }
55
56     request = NULL;
57     message = NULL;
58
59   stopsearch:
60     if (NULL != request) {
61       if (NULL == message)
62         DIE_IMPOSSIBLE;
63
64       SIMIX_mutex_lock(request->mutex);
65       memcpy(request->buf, message->buf,
66              request->datatype->size * request->count);
67       request->src = message->src;
68       request->data = message->data;
69       request->forward = message->forward;
70
71       if (0 == request->forward) {
72         request->completed = 1;
73         SIMIX_cond_broadcast(request->cond);
74       } else {
75         request->src = request->comm->index_to_rank_map[index];
76         request->dst = (request->src + 1) % request->comm->size;
77         smpi_mpi_isend(request);
78       }
79
80       SIMIX_mutex_unlock(request->mutex);
81
82       xbt_free(message->buf);
83       xbt_mallocator_release(smpi_global->message_mallocator, message);
84
85     } else if (mydata->finalize > 0) {  /* main wants me to die and nothing to do */
86       // FIXME: display the list of remaining requests and messages (user code synchronization faulty?)
87       mydata->finalize--;
88       SIMIX_cond_signal(mydata->cond);
89       return 0;
90     } else {
91       SIMIX_process_suspend(self);
92     }
93   }
94
95   return 0;
96 }