X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/4e03f78d2ffac18f4e8ffa7016a3cec61bbad03a..dd1018cf4004d465e9c334191671d70c775f8718:/teshsuite/smpi/MBI/RMARemoteRemoteConcurrencyGenerator.py diff --git a/teshsuite/smpi/MBI/RMARemoteRemoteConcurrencyGenerator.py b/teshsuite/smpi/MBI/RMARemoteRemoteConcurrencyGenerator.py index c856c6d115..74f65497c9 100755 --- a/teshsuite/smpi/MBI/RMARemoteRemoteConcurrencyGenerator.py +++ b/teshsuite/smpi/MBI/RMARemoteRemoteConcurrencyGenerator.py @@ -11,17 +11,17 @@ template = """// @{generatedby}@ Description: @{shortdesc}@ @{longdesc}@ - Version of MPI: Conforms to MPI 2, requires MPI 3 implementation (for lock_all/unlock_all epochs) + Version of MPI: Conforms to MPI 2, requires MPI 3 implementation (for lock_all/unlock_all epochs) BEGIN_MPI_FEATURES - P2P!basic: Lacking - P2P!nonblocking: Lacking - P2P!persistent: Lacking - COLL!basic: Lacking - COLL!nonblocking: Lacking - COLL!persistent: Lacking - COLL!tools: Lacking - RMA: @{rmafeature}@ + P2P!basic: Lacking + P2P!nonblocking: Lacking + P2P!persistent: Lacking + COLL!basic: Lacking + COLL!nonblocking: Lacking + COLL!persistent: Lacking + COLL!tools: Lacking + RMA: @{rmafeature}@ END_MPI_FEATURES BEGIN_MBI_TESTS @@ -40,7 +40,7 @@ END_MBI_TESTS int main(int argc, char **argv) { int nprocs = -1; int rank = -1; - MPI_Win win; + MPI_Win win; int winbuf[100] = {0}; MPI_Init(&argc, &argv); @@ -51,18 +51,18 @@ int main(int argc, char **argv) { if (nprocs < 2) printf("MBI ERROR: This test needs at least 2 processes to produce a bug!\\n"); - MPI_Datatype type = MPI_INT; - int target = 1; + MPI_Datatype type = MPI_INT; + int target = 1; MPI_Win_create(&winbuf, 100 * sizeof(int), sizeof(int), MPI_INFO_NULL, MPI_COMM_WORLD, &win); - @{init1}@ + @{init1}@ @{epoch}@ - if (rank == 0 || rank == 2) { - @{operation1}@ /* MBIERROR1 */ - } + if (rank == 0 || rank == 2) { + @{operation1}@ /* MBIERROR1 */ + } @{finEpoch}@ @@ -75,23 +75,22 @@ int main(int argc, char **argv) { for e in epoch: - for p1 in get + put: + for p1 in get + put: patterns = {} patterns = {'e': e, 'p1': p1} - patterns['generatedby'] = f'DO NOT EDIT: this file was generated by {os.path.basename(sys.argv[0])}. DO NOT EDIT.' + patterns['generatedby'] = f'DO NOT EDIT: this file was generated by {os.path.basename(sys.argv[0])}. DO NOT EDIT.' patterns['rmafeature'] = 'Yes' - patterns['p1'] = p1 - patterns['e'] = e - patterns['epoch'] = epoch[e]("1") - patterns['finEpoch'] = finEpoch[e]("1") - patterns['init1'] = init[p1]("1") - patterns['operation1'] = operation[p1]("1") - - # Generate a data race (Get + Get/load/store/Put) - replace = patterns - replace['shortdesc'] = 'Global Concurrency error.' + patterns['p1'] = p1 + patterns['e'] = e + patterns['epoch'] = epoch[e]("1") + patterns['finEpoch'] = finEpoch[e]("1") + patterns['init1'] = init[p1]("1") + patterns['operation1'] = operation[p1]("1") + + # Generate a data race (Get + Get/load/store/Put) + replace = patterns + replace['shortdesc'] = 'Global Concurrency error.' replace['longdesc'] = 'Global Concurrency error. Both processes 0 and 2 access the window in process 1 with @{p1}@' - replace['outcome'] = 'ERROR: GlobalConcurrency' + replace['outcome'] = 'ERROR: GlobalConcurrency' replace['errormsg'] = 'Global Concurrency error. @{p1}@ at @{filename}@:@{line:MBIERROR1}@ conflicts in process 1' make_file(template, f'GlobalConcurrency_rr_{e}_{p1}_nok.c', replace) -