examples/smpi/mc/bugged2.c

   1 /* A simple bugged MPI_ISend and MPI_IRecv test */
   2
   3 /* Copyright (c) 2009, 2011, 2013-2014. The SimGrid Team.
   4  * All rights reserved.                                                     */
   5
   6 /* This program is free software; you can redistribute it and/or modify it
   7  * under the terms of the license (GNU LGPL) which comes with this package. */
   8
   9 #include <stdio.h>
  10 #include <mpi.h>
  11 #include <simgrid/modelchecker.h>
  12
  13 int main(int argc, char **argv)
  14 {
  15   int x,y, err, size, rank;
  16   MPI_Status status;
  17
  18   /* Initialize MPI */
  19   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 % 3 != 0) {
  28     printf("run this program with exactly 3*N processes \n");
  29     MPI_Finalize();
  30     exit(0);
  31   }
  32
  33   if (rank % 3 == 0) {
  34     MPI_Recv(&x, 1, MPI_INT, MPI_ANY_SOURCE, MPI_ANY_TAG, MPI_COMM_WORLD, &status);
  35     printf("(%d) x <- %d\n", rank, x);
  36     MPI_Recv(&y, 1, MPI_INT, MPI_ANY_SOURCE, MPI_ANY_TAG, MPI_COMM_WORLD, &status);
  37     printf("(%d) y <- %d\n", rank, y);
  38   }else{
  39     MPI_Send(&rank, 1, MPI_INT, (rank / 3) * 3, 42, MPI_COMM_WORLD);
  40     printf("Sent %d to rank %d\n", rank, (rank / 3) * 3);
  41   }
  42
  43   MPI_Finalize();
  44
  45   return 0;
  46 }