teshsuite/smpi/MBI/P2PArgGenerator.py

   1 #! /usr/bin/python3
   2 import os
   3 import sys
   4 from generator_utils import *
   5
   6 template = """// @{generatedby}@
   7 /* ///////////////////////// The MPI Bugs Initiative ////////////////////////
   8
   9   Origin: MBI
  10
  11   Description: @{shortdesc}@
  12     @{longdesc}@
  13
  14          Version of MPI: Conforms to MPI 1.1, does not require MPI 2 implementation
  15
  16 BEGIN_MPI_FEATURES
  17         P2P!basic: @{p2pfeature}@
  18         P2P!nonblocking: @{ip2pfeature}@
  19         P2P!persistent: @{persfeature}@
  20         COLL!basic: Lacking
  21         COLL!nonblocking: Lacking
  22         COLL!persistent: Lacking
  23         COLL!tools: Lacking
  24         RMA: Lacking
  25 END_MPI_FEATURES
  26
  27 BEGIN_MBI_TESTS
  28   $ mpirun -np 2 ${EXE}
  29   | @{outcome}@
  30   | @{errormsg}@
  31 END_MBI_TESTS
  32 //////////////////////       End of MBI headers        /////////////////// */
  33
  34 #include <mpi.h>
  35 #include <stdio.h>
  36 #include <stdlib.h>
  37
  38
  39 int main(int argc, char **argv) {
  40   int nprocs = -1;
  41   int rank = -1;
  42         int src=0, dest=1;
  43         int stag=0, rtag=0;
  44         int buff_size = 1;
  45
  46   MPI_Init(&argc, &argv);
  47   MPI_Comm_size(MPI_COMM_WORLD, &nprocs);
  48   MPI_Comm_rank(MPI_COMM_WORLD, &rank);
  49   printf("Hello from rank %d \\n", rank);
  50
  51   if (nprocs < 2)
  52     printf("MBI ERROR: This test needs at least 2 processes to produce a bug!\\n");
  53
  54         MPI_Comm newcom = MPI_COMM_WORLD;
  55         MPI_Datatype type = MPI_INT;
  56
  57   @{change_arg}@
  58
  59   @{init1}@
  60   @{init2}@
  61         if (rank == 0) {
  62         @{operation1}@ /* MBIERROR1 */
  63           @{start1}@
  64           @{fini1}@
  65         }else if (rank == 1) {
  66         @{operation2}@ /* MBIERROR2 */
  67           @{start2}@
  68           @{fini2}@
  69         }
  70   @{free1}@
  71   @{free2}@
  72
  73   MPI_Finalize();
  74   printf("Rank %d finished normally\\n", rank);
  75   return 0;
  76 }
  77 """
  78
  79 ##################################
  80 # Generate code with type mismatch
  81 ##################################
  82
  83 for p1 in allsend:
  84     for p2 in allrecv:
  85         patterns = {}
  86         patterns = {'p1': p1, 'p2': p2}
  87         patterns['generatedby'] = f'DO NOT EDIT: this file was generated by {os.path.basename(sys.argv[0])}. DO NOT EDIT.'
  88         patterns['p2pfeature'] = 'Yes' if p1 in send + ssend + bsend or p2 in recv  else 'Lacking'
  89         patterns['ip2pfeature'] = 'Yes' if p1 in isend or p2 in irecv  else 'Lacking'
  90         patterns['persfeature'] = 'Yes' if p1 in psend or p2 in precv  else 'Lacking'
  91         patterns['p1'] = p1
  92         patterns['p2'] = p2
  93         patterns['init1'] = init[p1]("1")
  94         patterns['init2'] = init[p2]("2")
  95         patterns['start1'] = start[p1]("1")
  96         patterns['start2'] = start[p2]("2")
  97         patterns['fini1'] = fini[p1]("1")
  98         patterns['fini2'] = fini[p2]("2")
  99         patterns['operation1'] = operation[p1]("1") #send
 100         patterns['operation2'] = operation[p2]("2") #recv
 101         patterns['free1'] = free[p1]("1")
 102         patterns['free2'] = free[p2]("2")
 103
 104                 # Generate the incorrect matching
 105         replace = patterns
 106         replace['shortdesc'] = 'Point to point @{p1}@ and @{p2}@ have a datatype mismatch'
 107         replace['longdesc'] = 'Process 0 uses MPI_FLOAT as the datatype while process 1 uses MPI_INT.'
 108         replace['outcome'] = 'ERROR: DatatypeMatching'
 109         replace['errormsg'] = 'P2P Datatype mismatch. @{p1}@ at @{filename}@:@{line:MBIERROR1}@ and @{p2}@ at @{filename}@:@{line:MBIERROR2}@ have MPI_INT and MPI_FLOAT as a datatype'
 110         replace['change_arg'] = 'if (rank == 0)\n    type = MPI_FLOAT; /* MBIERROR3 */'
 111         make_file(template, f'ParamMatching_Data_{p1}_{p2}_nok.c', replace)
 112
 113                 # Generate code with a null type
 114         replace = patterns
 115         replace['shortdesc'] = 'Use of invalid datatype in point-to-point communication'
 116         replace['longdesc'] = 'Point to point @{p1}@ and @{p2}@ have MPI_DATATYPE_NULL as a type'
 117         replace['outcome'] = 'ERROR: InvalidDatatype'
 118         replace['errormsg'] = 'Invalid datatype in P2P. @{p1}@ at @{filename}@:@{line:MBIERROR1}@ and @{p2}@ at @{filename}@:@{line:MBIERROR2}@ have MPI_DATATYPE_NULL as a type'
 119         replace['change_arg'] = 'type = MPI_DATATYPE_NULL; /* MBIERROR3 */'
 120         make_file(template, f'InvalidParam_DatatypeNull_{p1}_{p2}_nok.c', replace)
 121
 122                 # Generate code with an invalid datatype
 123         replace = patterns
 124         replace['shortdesc'] = 'Use of invalid datatype in point-to-point communication'
 125         replace['longdesc'] = 'Point to point @{p1}@ and @{p2}@ have an invalid datatype'
 126         replace['outcome'] = 'ERROR: InvalidDatatype'
 127         replace['errormsg'] = 'Invalid datatype in P2P. @{p1}@ at @{filename}@:@{line:MBIERROR1}@ and @{p2}@ at @{filename}@:@{line:MBIERROR2}@ have an invalid datatype'
 128         replace['change_arg'] = 'MPI_Type_contiguous (2, MPI_INT, &type); MPI_Type_commit(&type);MPI_Type_free(&type); /* MBIERROR3 */'
 129         make_file(template, f'InvalidParam_Datatype_{p1}_{p2}_nok.c', replace)
 130
 131 #################################
 132 # Generate code with tag mismatch
 133 #################################
 134
 135 for p1 in allsend:
 136     for p2 in allrecv:
 137         patterns = {}
 138         patterns = {'p1': p1, 'p2': p2}
 139         patterns['generatedby'] = f'DO NOT EDIT: this file was generated by {os.path.basename(sys.argv[0])}. DO NOT EDIT.'
 140         patterns['p2pfeature'] = 'Yes' if p1 in send + ssend + bsend or p2 in recv  else 'Lacking'
 141         patterns['ip2pfeature'] = 'Yes' if p1 in isend or p2 in irecv  else 'Lacking'
 142         patterns['persfeature'] = 'Yes' if p1 in psend or p2 in precv  else 'Lacking'
 143         patterns['p1'] = p1
 144         patterns['p2'] = p2
 145         patterns['init1'] = init[p1]("1")
 146         patterns['init2'] = init[p2]("2")
 147         patterns['start1'] = start[p1]("1")
 148         patterns['start2'] = start[p2]("2")
 149         patterns['fini1'] = fini[p1]("1")
 150         patterns['fini2'] = fini[p2]("2")
 151         patterns['operation1'] = operation[p1]("1") #send
 152         patterns['operation2'] = operation[p2]("2") #recv
 153         patterns['free1'] = free[p1]("1")
 154         patterns['free2'] = free[p2]("2")
 155         patterns['change_arg'] = ""
 156
 157                 # Generate the incorrect tag matching
 158         replace = patterns
 159         replace['shortdesc'] = 'Point to point @{p1}@ and @{p2}@ have a tag mismatch'
 160         replace['longdesc'] = 'Point to point @{p1}@ and @{p2}@ have a tag mismatch.'
 161         replace['outcome'] = 'ERROR: TagMatching'
 162         replace['errormsg'] = 'P2P tag mismatch. @{p1}@ at @{filename}@:@{line:MBIERROR1}@ and @{p2}@ at @{filename}@:@{line:MBIERROR2}@ use different tag.'
 163         replace['change_arg'] = 'stag=0; rtag=1;/* MBIERROR */'
 164         make_file(template, f'ParamMatching_Tag_{p1}_{p2}_nok.c', replace)
 165
 166                 # Generate the code with an invalid tag
 167         replace = patterns
 168         replace['shortdesc'] = 'Point to point @{p1}@ and @{p2}@ have an invalid tag'
 169         replace['longdesc'] = 'Point to point @{p1}@ and @{p2}@ have an invalid tag.'
 170         replace['outcome'] = 'ERROR: InvalidTag'
 171         replace['errormsg'] = 'Invalid Tag. @{p1}@ at @{filename}@:@{line:MBIERROR1}@ and @{p2}@ at @{filename}@:@{line:MBIERROR2}@ use an invalid tag.'
 172         replace['change_arg'] = 'stag=-1; rtag=-2;/* MBIERROR */'
 173         make_file(template, f'InvalidParam_Tag_{p1}_{p2}_nok.c', replace)
 174
 175                 # Generate a correct code using MPI_ANY_TAG
 176         replace = patterns
 177         replace['shortdesc'] = 'Correct code'
 178         replace['longdesc'] = 'Correct code'
 179         replace['outcome'] = 'OK'
 180         replace['errormsg'] = 'OK'
 181         replace['change_arg'] = 'rtag=MPI_ANY_TAG;'
 182         make_file(template, f'ParamMatching_Tag_{p1}_{p2}_ok.c', replace)