examples/smpi/mc/bugged1.c

   1 /* A simple bugged MPI_ISend and MPI_IRecv test */
   2
   3 /* Copyright (c) 2009-2020. The SimGrid Team. All rights reserved.          */
   4
   5 /* This program is free software; you can redistribute it and/or modify it
   6  * under the terms of the license (GNU LGPL) which comes with this package. */
   7
   8 #include <stdio.h>
   9 #include <mpi.h>
  10 #include <simgrid/modelchecker.h>
  11
  12 int main(int argc, char **argv)
  13 {
  14   int size;
  15   int rank;
  16   MPI_Status status;
  17
  18   /* Initialize MPI */
  19   int err = MPI_Init(&argc, &argv);
  20   if (err != MPI_SUCCESS) {
  21     printf("MPI initialization failed!\n");
  22     exit(1);
  23   }
  24
  25   MPI_Comm_size(MPI_COMM_WORLD, &size);   /* Get nr of tasks */
  26   MPI_Comm_rank(MPI_COMM_WORLD, &rank);   /* Get id of this process */
  27   if (size < 2) {
  28     printf("run this program with exactly 2 processes (-np 2)\n");
  29     MPI_Finalize();
  30     exit(0);
  31   }
  32
  33   if (rank == 0) {
  34     printf("MPI_ISend / MPI_IRecv Test \n");
  35
  36     int recv_buff;
  37     for (int i = 0; i < size - 1; i++) {
  38       MPI_Recv(&recv_buff, 1, MPI_INT, MPI_ANY_SOURCE, MPI_ANY_TAG, MPI_COMM_WORLD, &status);
  39       printf("Message received from %d\n", recv_buff);
  40     }
  41
  42     printf("recv_buff = %d\n", recv_buff);
  43   }else{
  44     MPI_Send(&rank, 1, MPI_INT, 0, 42, MPI_COMM_WORLD);
  45     printf("Sent %d to rank 0\n", rank);
  46   }
  47
  48   MPI_Finalize();
  49
  50   return 0;
  51 }