4 import generator_utils as gen
6 template = """// @{generatedby}@
7 /* ///////////////////////// The MPI Bugs Initiative ////////////////////////
11 Description: @{shortdesc}@
14 Version of MPI: Conforms to MPI 1.1, does not require MPI 2 implementation
18 P2P!nonblocking: Lacking
19 P2P!persistent: Lacking
21 COLL!nonblocking: Lacking
22 COLL!persistent: Lacking
32 ////////////////////// End of MBI headers /////////////////// */
40 int main(int argc, char **argv) {
43 MPI_Init(&argc, &argv);
44 MPI_Comm_size(MPI_COMM_WORLD, &numProcs);
45 MPI_Comm_rank(MPI_COMM_WORLD, &rank);
48 printf("MBI ERROR: This test needs at least 2 processes to produce a bug!\\n");
50 int *winbuf = malloc(N * sizeof(int));
53 MPI_Win_create(winbuf, N * sizeof(int), 1, MPI_INFO_NULL, MPI_COMM_WORLD, &win);
55 MPI_Datatype type = MPI_INT;
77 printf("Rank %d finished normally\\n", rank);
86 patterns = {'e1': e1, 'p': p}
87 patterns['origin'] = "MPI-Corrbench"
88 patterns['generatedby'] = f'DO NOT EDIT: this file was generated by {os.path.basename(sys.argv[0])}. DO NOT EDIT.'
89 patterns['rmafeature'] = 'Yes'
92 patterns['epoch'] = gen.epoch[e1]("1")
93 patterns['finEpoch'] = gen.finEpoch[e1]("1")
94 patterns['epoch2'] = ""
95 patterns['finEpoch2'] = ""
96 patterns['init'] = gen.init[p]("1")
97 patterns['operation'] = gen.operation[p]("1")
99 # Generate a code correct
100 replace = patterns.copy()
101 replace['shortdesc'] = 'Correct code'
102 replace['longdesc'] = 'Correct code'
103 replace['outcome'] = 'OK'
104 replace['errormsg'] = 'OK'
105 gen.make_file(template, f'ReqLifecycle_RMA_{e1}_{p}_ok.c', replace)
107 # Generate a code with missing open epoch
108 replace = patterns.copy()
109 replace['shortdesc'] = f"Request lifecycle, missing open {e1} epoch"
110 replace['longdesc'] = f"Request lifecycle, missing open {e1} epoch"
111 replace['outcome'] = 'ERROR: MissingStart'
112 replace['errormsg'] = '@{e1}@ at @{filename}@:@{line:MBIERROR}@ has missing'
113 replace['epoch'] = f"/* MBIERROR MISSING: {gen.epoch[e1]('1')} */"
114 gen.make_file(template, f'ReqLifecycle_RMA_MissingOpen_{e1}_{p}_nok.c', replace)
116 # Generate a code with missing close epoch
117 replace = patterns.copy()
118 replace['shortdesc'] = f"Request lifecycle, missing close {e1} epoch"
119 replace['longdesc'] = f"Request lifecycle, missing close {e1} epoch"
120 replace['outcome'] = 'ERROR: MissingWait'
121 replace['errormsg'] = '@{e1}@ at @{filename}@:@{line:MBIERROR}@ has missing'
122 replace['epoch'] = gen.epoch[e1]("1")
123 replace['finEpoch'] = f"/* MBIERROR MISSING: {gen.finEpoch[e1]('1')} */"
124 gen.make_file(template, f'ReqLifecycle_RMA_MissingClose_{e1}_{p}_nok.c', replace)
130 patterns = {'e1': e1, 'e2': e2, 'p': p}
131 patterns['origin'] = "MPI-Corrbench"
132 patterns['generatedby'] = f'DO NOT EDIT: this file was generated by {os.path.basename(sys.argv[0])}. DO NOT EDIT.'
133 patterns['rmafeature'] = 'Yes'
137 patterns['epoch'] = gen.epoch[e1]("1")
138 patterns['finEpoch'] = gen.finEpoch[e1]("1")
139 patterns['epoch2'] = gen.epoch[e2]("1") + " /* MBIERROR */"
140 patterns['finEpoch2'] = gen.finEpoch[e2]("1") + " /* MBIERROR */"
141 patterns['init'] = gen.init[p]("1")
142 patterns['operation'] = gen.operation[p]("1")
144 # Generate a code with epoch into an epoch
145 replace = patterns.copy()
146 replace['shortdesc'] = f"Request lifecycle, {e2} epoch into {e1} epoch"
147 replace['longdesc'] = f"Request lifecycle, {e2} epoch into {e1} epoch"
148 replace['outcome'] = 'ERROR: MissingWait' #FIXME: New type of error
149 replace['errormsg'] = '@{e2}@ at @{filename}@:@{line:MBIERROR}@ has in an other epoch'
150 gen.make_file(template, f'ReqLifecycle_RMA_TwoEpoch_{e1}_{e2}_{p}_nok.c', replace)