diff --git a/logs-20240723-151721/itac/Correct-mpi_allgather-002.c b/logs-20240723-151721/itac/Correct-mpi_allgather-002.c deleted file mode 100644 index bb615033a5dd714838804b59c4304f598d67cf46..0000000000000000000000000000000000000000 --- a/logs-20240723-151721/itac/Correct-mpi_allgather-002.c +++ /dev/null @@ -1,63 +0,0 @@ -/* ///////////////////////// The MPI Bug Bench //////////////////////// - - Description: - - Version of MPI: 2.0 - - Category: COLL - -BEGIN_MBB_TESTS - $ mpirun -np 2 ${EXE} - | OK - | Correct-mpi_allgather -END_MBB_TESTS -////////////////////// End of MBI headers /////////////////// */ - -#include <mpi.h> -#include <stddef.h> -#include <stdint.h> -#include <stdio.h> -#include <stdlib.h> - -int main(int argc, char **argv) { - int nprocs = -1; - int rank = -1; - MPI_Datatype mpi_datatype_0 = MPI_DATATYPE_NULL; - - MPI_Init(&argc, &argv); - MPI_Comm_size(MPI_COMM_WORLD, &nprocs); - MPI_Comm_rank(MPI_COMM_WORLD, &rank); - if (nprocs < 2) - printf( - "MBB ERROR: This test needs at least 2 processes to produce a bug!\n"); - - int block_length_struct[] = {2, 4}; - MPI_Aint displacements_struct[] = {0, 3 * sizeof(int)}; - MPI_Datatype dtypes_struct[] = {MPI_INT, MPI_INT}; - MPI_Type_create_struct(2, block_length_struct, displacements_struct, - dtypes_struct, &mpi_datatype_0); - - int *buf_mpi_type_create_struct = (int *)calloc(1 * 7, sizeof(int)); - - MPI_Type_commit(&mpi_datatype_0); - - int *buf = (int *)calloc(nprocs * (10), sizeof(int)); - - int *recv_buf = (int *)calloc(10 * nprocs, sizeof(int)); - - if (rank == 0) { - MPI_Allgather(MPI_IN_PLACE, 1, mpi_datatype_0, buf_mpi_type_create_struct, - 1, mpi_datatype_0, MPI_COMM_WORLD); - } - if (rank != 0) { - MPI_Allgather(MPI_IN_PLACE, 1, mpi_datatype_0, buf_mpi_type_create_struct, - 1, mpi_datatype_0, MPI_COMM_WORLD); - } - free(buf); - free(recv_buf); - MPI_Type_free(&mpi_datatype_0); - - MPI_Finalize(); - printf("Rank %d finished normally\n", rank); - return 0; -} diff --git a/logs-20240723-151721/itac/Correct-mpi_allgather-002_0.elapsed b/logs-20240723-151721/itac/Correct-mpi_allgather-002_0.elapsed deleted file mode 100644 index e9b3e2e6c9ddfde48ade0b70a8015326ca374d3d..0000000000000000000000000000000000000000 --- a/logs-20240723-151721/itac/Correct-mpi_allgather-002_0.elapsed +++ /dev/null @@ -1 +0,0 @@ -120.20680475234985 \ No newline at end of file diff --git a/logs-20240723-151721/itac/Correct-mpi_allgather-002_0.md5sum b/logs-20240723-151721/itac/Correct-mpi_allgather-002_0.md5sum deleted file mode 100644 index 8be461219090fc35a100d641d89aa6f2bfece427..0000000000000000000000000000000000000000 --- a/logs-20240723-151721/itac/Correct-mpi_allgather-002_0.md5sum +++ /dev/null @@ -1 +0,0 @@ -b220b5f635634c86057e1a325c13811b \ No newline at end of file diff --git a/logs-20240723-151721/itac/Correct-mpi_allgather-002_0.timeout b/logs-20240723-151721/itac/Correct-mpi_allgather-002_0.timeout deleted file mode 100644 index 5687995d21aedc42333b4718d8049c3cb3c65461..0000000000000000000000000000000000000000 --- a/logs-20240723-151721/itac/Correct-mpi_allgather-002_0.timeout +++ /dev/null @@ -1 +0,0 @@ -120.00550150871277 seconds \ No newline at end of file diff --git a/logs-20240723-151721/itac/Correct-mpi_allgather-002_0.txt b/logs-20240723-151721/itac/Correct-mpi_allgather-002_0.txt deleted file mode 100644 index 7b0a7fac387df480488fe9f31e50fe6dc6b43af9..0000000000000000000000000000000000000000 --- a/logs-20240723-151721/itac/Correct-mpi_allgather-002_0.txt +++ /dev/null @@ -1,53 +0,0 @@ -Running #661 /MBI/scripts/gencodes/COLL/Correct-mpi_allgather-002.c -Wait up to 120 seconds -Compiling Correct-mpi_allgather-002.c (batchinfo:1/1) - - -$ mpiicc /MBI/scripts/gencodes/COLL/Correct-mpi_allgather-002.c -O0 -g -o Correct-mpi_allgather-002 - -| icc: remark #10441: The Intel(R) C++ Compiler Classic (ICC) is deprecated and will be removed from product release in the second half of 2023. The Intel(R) oneAPI DPC++/C++ Compiler (ICX) is the recommended compiler moving forward. Please transition to use this compiler. Use '-diag-disable=10441' to disable this message. -| - - -Executing the command (cwd: None) - $ mpirun -check_mpi -genv VT_CHECK_TRACING on -np 2 ./Correct-mpi_allgather-002 - -| -| [0] INFO: CHECK LOCAL:EXIT:SIGNAL ON -| [0] INFO: CHECK LOCAL:EXIT:BEFORE_MPI_FINALIZE ON -| [0] INFO: CHECK LOCAL:MPI:CALL_FAILED ON -| [0] INFO: CHECK LOCAL:MEMORY:OVERLAP ON -| [0] INFO: CHECK LOCAL:MEMORY:ILLEGAL_MODIFICATION ON -| [0] INFO: CHECK LOCAL:MEMORY:INACCESSIBLE ON -| [0] INFO: CHECK LOCAL:MEMORY:ILLEGAL_ACCESS OFF -| [0] INFO: CHECK LOCAL:MEMORY:INITIALIZATION OFF -| [0] INFO: CHECK LOCAL:REQUEST:ILLEGAL_CALL ON -| [0] INFO: CHECK LOCAL:REQUEST:NOT_FREED ON -| [0] INFO: CHECK LOCAL:REQUEST:PREMATURE_FREE ON -| [0] INFO: CHECK LOCAL:DATATYPE:NOT_FREED ON -| [0] INFO: CHECK LOCAL:BUFFER:INSUFFICIENT_BUFFER ON -| [0] INFO: CHECK GLOBAL:DEADLOCK:HARD ON -| [0] INFO: CHECK GLOBAL:DEADLOCK:POTENTIAL ON -| [0] INFO: CHECK GLOBAL:DEADLOCK:NO_PROGRESS ON -| [0] INFO: CHECK GLOBAL:MSG:DATATYPE:MISMATCH ON -| [0] INFO: CHECK GLOBAL:MSG:DATA_TRANSMISSION_CORRUPTED ON -| [0] INFO: CHECK GLOBAL:MSG:PENDING ON -| [0] INFO: CHECK GLOBAL:COLLECTIVE:DATATYPE:MISMATCH ON -| [0] INFO: CHECK GLOBAL:COLLECTIVE:DATA_TRANSMISSION_CORRUPTED ON -| [0] INFO: CHECK GLOBAL:COLLECTIVE:OPERATION_MISMATCH ON -| [0] INFO: CHECK GLOBAL:COLLECTIVE:SIZE_MISMATCH ON -| [0] INFO: CHECK GLOBAL:COLLECTIVE:REDUCTION_OPERATION_MISMATCH ON -| [0] INFO: CHECK GLOBAL:COLLECTIVE:ROOT_MISMATCH ON -| [0] INFO: CHECK GLOBAL:COLLECTIVE:INVALID_PARAMETER ON -| [0] INFO: CHECK GLOBAL:COLLECTIVE:COMM_FREE_MISMATCH ON -| [0] INFO: maximum number of errors before aborting: CHECK-MAX-ERRORS 1 -| [0] INFO: maximum number of reports before aborting: CHECK-MAX-REPORTS 0 (= unlimited) -| [0] INFO: maximum number of times each error is reported: CHECK-SUPPRESSION-LIMIT 10 -| [0] INFO: timeout for deadlock detection: DEADLOCK-TIMEOUT 60s -| [0] INFO: timeout for deadlock warning: DEADLOCK-WARNING 300s -| [0] INFO: maximum number of reported pending messages: CHECK-MAX-PENDING 20 -| -| malloc_consolidate(): unaligned fastbin chunk detected -Command killed by signal 15, elapsed time: 120.20680475234985 - -Finished #661 /MBI/scripts/gencodes/COLL/Correct-mpi_allgather-002.c diff --git a/logs-20240723-151721/must/Correct-mpi_allgather-002.c b/logs-20240723-151721/must/Correct-mpi_allgather-002.c deleted file mode 100644 index bb615033a5dd714838804b59c4304f598d67cf46..0000000000000000000000000000000000000000 --- a/logs-20240723-151721/must/Correct-mpi_allgather-002.c +++ /dev/null @@ -1,63 +0,0 @@ -/* ///////////////////////// The MPI Bug Bench //////////////////////// - - Description: - - Version of MPI: 2.0 - - Category: COLL - -BEGIN_MBB_TESTS - $ mpirun -np 2 ${EXE} - | OK - | Correct-mpi_allgather -END_MBB_TESTS -////////////////////// End of MBI headers /////////////////// */ - -#include <mpi.h> -#include <stddef.h> -#include <stdint.h> -#include <stdio.h> -#include <stdlib.h> - -int main(int argc, char **argv) { - int nprocs = -1; - int rank = -1; - MPI_Datatype mpi_datatype_0 = MPI_DATATYPE_NULL; - - MPI_Init(&argc, &argv); - MPI_Comm_size(MPI_COMM_WORLD, &nprocs); - MPI_Comm_rank(MPI_COMM_WORLD, &rank); - if (nprocs < 2) - printf( - "MBB ERROR: This test needs at least 2 processes to produce a bug!\n"); - - int block_length_struct[] = {2, 4}; - MPI_Aint displacements_struct[] = {0, 3 * sizeof(int)}; - MPI_Datatype dtypes_struct[] = {MPI_INT, MPI_INT}; - MPI_Type_create_struct(2, block_length_struct, displacements_struct, - dtypes_struct, &mpi_datatype_0); - - int *buf_mpi_type_create_struct = (int *)calloc(1 * 7, sizeof(int)); - - MPI_Type_commit(&mpi_datatype_0); - - int *buf = (int *)calloc(nprocs * (10), sizeof(int)); - - int *recv_buf = (int *)calloc(10 * nprocs, sizeof(int)); - - if (rank == 0) { - MPI_Allgather(MPI_IN_PLACE, 1, mpi_datatype_0, buf_mpi_type_create_struct, - 1, mpi_datatype_0, MPI_COMM_WORLD); - } - if (rank != 0) { - MPI_Allgather(MPI_IN_PLACE, 1, mpi_datatype_0, buf_mpi_type_create_struct, - 1, mpi_datatype_0, MPI_COMM_WORLD); - } - free(buf); - free(recv_buf); - MPI_Type_free(&mpi_datatype_0); - - MPI_Finalize(); - printf("Rank %d finished normally\n", rank); - return 0; -} diff --git a/logs-20240723-151721/must/Correct-mpi_allgather-002_0.elapsed b/logs-20240723-151721/must/Correct-mpi_allgather-002_0.elapsed deleted file mode 100644 index 955315a8535f789c9aaaa99a8bf0ca5850b9c265..0000000000000000000000000000000000000000 --- a/logs-20240723-151721/must/Correct-mpi_allgather-002_0.elapsed +++ /dev/null @@ -1 +0,0 @@ -120.20799136161804 \ No newline at end of file diff --git a/logs-20240723-151721/must/Correct-mpi_allgather-002_0.json b/logs-20240723-151721/must/Correct-mpi_allgather-002_0.json deleted file mode 100644 index 7a1f451e1fb834ccff2bc6972f226f32a46551a2..0000000000000000000000000000000000000000 --- a/logs-20240723-151721/must/Correct-mpi_allgather-002_0.json +++ /dev/null @@ -1,25 +0,0 @@ -{ - "messages": [ - { - "type": "Information", - "error_id": "MUST_INFO_UNIMPLEMENTED_FEATURE", - "text": "No buffer allocated at given address.", - "from": { - "call": "MPI_Allgather", - "stacktrace": [ - { - "function": "MPI_Init", - "file": "/MBI/scripts/gencodes/COLL/Correct-mpi_allgather-002.c", - "line": 49 - } - ], - "ranks": [ - 0, - 1 - ], - "ranks_strided": false - }, - "references": [] - } - ] -} \ No newline at end of file diff --git a/logs-20240723-151721/must/Correct-mpi_allgather-002_0.md5sum b/logs-20240723-151721/must/Correct-mpi_allgather-002_0.md5sum deleted file mode 100644 index 8be461219090fc35a100d641d89aa6f2bfece427..0000000000000000000000000000000000000000 --- a/logs-20240723-151721/must/Correct-mpi_allgather-002_0.md5sum +++ /dev/null @@ -1 +0,0 @@ -b220b5f635634c86057e1a325c13811b \ No newline at end of file diff --git a/logs-20240723-151721/must/Correct-mpi_allgather-002_0.timeout b/logs-20240723-151721/must/Correct-mpi_allgather-002_0.timeout deleted file mode 100644 index 325fb7ed384f23c4d330c7e0650ef107bb1be7e7..0000000000000000000000000000000000000000 --- a/logs-20240723-151721/must/Correct-mpi_allgather-002_0.timeout +++ /dev/null @@ -1 +0,0 @@ -120.00666522979736 seconds \ No newline at end of file diff --git a/logs-20240723-151721/must/Correct-mpi_allgather-002_0.txt b/logs-20240723-151721/must/Correct-mpi_allgather-002_0.txt deleted file mode 100644 index 577ed924c1cb37e865ea6469b9439b203145b00c..0000000000000000000000000000000000000000 --- a/logs-20240723-151721/must/Correct-mpi_allgather-002_0.txt +++ /dev/null @@ -1,81 +0,0 @@ -Running #661 /MBI/scripts/gencodes/COLL/Correct-mpi_allgather-002.c -Wait up to 120 seconds -Compiling Correct-mpi_allgather-002.c (batchinfo:1/1) - - -$ typeart-mpicc -g -fPIC /MBI/scripts/gencodes/COLL/Correct-mpi_allgather-002.c -o /tmp/tmpesbxw63e/Correct-mpi_allgather-002 -L/MBI-builds/MUST/lib -lpnmpi - -| clang: warning: -lpnmpi: 'linker' input unused [-Wunused-command-line-argument] -| clang: warning: argument unused during compilation: '-L/MBI-builds/MUST/lib' [-Wunused-command-line-argument] -| -------------------------------------- -| MemInstFinderPass -| Filter string : *MPI_* -| > Heap Memory -| Heap alloc : 3 -| Heap call filtered % : 0.00 -| > Stack Memory -| Alloca : 0.00 -| Stack call filtered % : 0.00 -| Alloca of pointer discarded : 0.00 -| > Global Memory -| Global : 5 -| Global filter total : 0 -| Global call filtered % : 0.00 -| Global filtered % : 0.00 -| -------------------------------------- -| ------------------ -| TypeArtPass [Heap] -| Malloc : 3 -| Free : 2 -| Alloca : 0 -| Global : 0 -| ------------------ -| -------------------------------------- -| MemInstFinderPass -| Filter string : *MPI_* -| > Heap Memory -| Heap alloc : 0 -| Heap call filtered % : 0.00 -| > Stack Memory -| Alloca : 12.00 -| Stack call filtered % : 100.00 -| Alloca of pointer discarded : 4.00 -| > Global Memory -| Global : 5 -| Global filter total : 5 -| Global call filtered % : 100.00 -| Global filtered % : 100.00 -| -------------------------------------- -| ------------------- -| TypeArtPass [Stack] -| Malloc : 0 -| Free : 0 -| Alloca : 0 -| Global : 0 -| ------------------- -| - - -Executing the command (cwd: /tmp/tmpesbxw63e) - $ mustrun --must:distributed --must:typeart --must:output json -np 2 ./Correct-mpi_allgather-002 - -| [MUST] MUST configuration ... distributed checks without application crash handling -| [MUST] Using prebuilt infrastructure at /home/ss540294/.cache/must/prebuilds/a888d277156b9fed9aa169c2bf080c52 -| [MUST] Weaver ... success -| [MUST] Generating P^nMPI configuration ... success -| [MUST] Infrastructure in "/home/ss540294/.cache/must/prebuilds/a888d277156b9fed9aa169c2bf080c52" is present and used. -| [MUST] Search for linked P^nMPI ... found ... success -| [MUST] Executing application: -| malloc(): unaligned fastbin chunk detected -| rank 0 (of 2), pid 128404 caught signal nr 6 -| /MBI-builds/MUST/modules//libcProtMpiSplitComm.so(+0xc298)[0x7fe60fd88298] -| /MBI-builds/MUST/modules//libcProtMpiSplitComm.so(_Z15mySignalHandleri+0x11c)[0x7fe60fd881fc] -| /lib/x86_64-linux-gnu/libc.so.6(+0x3c050)[0x7fe611a4a050] -| /lib/x86_64-linux-gnu/libc.so.6(+0x8ae2c)[0x7fe611a98e2c] -| /lib/x86_64-linux-gnu/libc.so.6(gsignal+0x12)[0x7fe611a49fb2] -| /lib/x86_64-linux-gnu/libc.so.6(abort+0xd3)[0x7fe611a34472] -| /lib/x86_64-linux-gnu/libc.so.6(+0x7f430)[0x7fe611a8d430] -| /lib/x86_64-linux-gnu/libc.so.6(+0x947aa)[0x7fe611aa27aa] -Command killed by signal 15, elapsed time: 120.20799136161804 - -Finished #661 /MBI/scripts/gencodes/COLL/Correct-mpi_allgather-002.c diff --git a/logs-20240723-151721/parcoach/Correct-mpi_allgather-002.c b/logs-20240723-151721/parcoach/Correct-mpi_allgather-002.c deleted file mode 100644 index bb615033a5dd714838804b59c4304f598d67cf46..0000000000000000000000000000000000000000 --- a/logs-20240723-151721/parcoach/Correct-mpi_allgather-002.c +++ /dev/null @@ -1,63 +0,0 @@ -/* ///////////////////////// The MPI Bug Bench //////////////////////// - - Description: - - Version of MPI: 2.0 - - Category: COLL - -BEGIN_MBB_TESTS - $ mpirun -np 2 ${EXE} - | OK - | Correct-mpi_allgather -END_MBB_TESTS -////////////////////// End of MBI headers /////////////////// */ - -#include <mpi.h> -#include <stddef.h> -#include <stdint.h> -#include <stdio.h> -#include <stdlib.h> - -int main(int argc, char **argv) { - int nprocs = -1; - int rank = -1; - MPI_Datatype mpi_datatype_0 = MPI_DATATYPE_NULL; - - MPI_Init(&argc, &argv); - MPI_Comm_size(MPI_COMM_WORLD, &nprocs); - MPI_Comm_rank(MPI_COMM_WORLD, &rank); - if (nprocs < 2) - printf( - "MBB ERROR: This test needs at least 2 processes to produce a bug!\n"); - - int block_length_struct[] = {2, 4}; - MPI_Aint displacements_struct[] = {0, 3 * sizeof(int)}; - MPI_Datatype dtypes_struct[] = {MPI_INT, MPI_INT}; - MPI_Type_create_struct(2, block_length_struct, displacements_struct, - dtypes_struct, &mpi_datatype_0); - - int *buf_mpi_type_create_struct = (int *)calloc(1 * 7, sizeof(int)); - - MPI_Type_commit(&mpi_datatype_0); - - int *buf = (int *)calloc(nprocs * (10), sizeof(int)); - - int *recv_buf = (int *)calloc(10 * nprocs, sizeof(int)); - - if (rank == 0) { - MPI_Allgather(MPI_IN_PLACE, 1, mpi_datatype_0, buf_mpi_type_create_struct, - 1, mpi_datatype_0, MPI_COMM_WORLD); - } - if (rank != 0) { - MPI_Allgather(MPI_IN_PLACE, 1, mpi_datatype_0, buf_mpi_type_create_struct, - 1, mpi_datatype_0, MPI_COMM_WORLD); - } - free(buf); - free(recv_buf); - MPI_Type_free(&mpi_datatype_0); - - MPI_Finalize(); - printf("Rank %d finished normally\n", rank); - return 0; -} diff --git a/logs-20240723-151721/parcoach/Correct-mpi_allgather-002_0.elapsed b/logs-20240723-151721/parcoach/Correct-mpi_allgather-002_0.elapsed deleted file mode 100644 index 34387bb5997a3cdd94a32aa5c4e9208fe4758a3a..0000000000000000000000000000000000000000 --- a/logs-20240723-151721/parcoach/Correct-mpi_allgather-002_0.elapsed +++ /dev/null @@ -1 +0,0 @@ -0.5761687755584717 \ No newline at end of file diff --git a/logs-20240723-151721/parcoach/Correct-mpi_allgather-002_0.md5sum b/logs-20240723-151721/parcoach/Correct-mpi_allgather-002_0.md5sum deleted file mode 100644 index 8be461219090fc35a100d641d89aa6f2bfece427..0000000000000000000000000000000000000000 --- a/logs-20240723-151721/parcoach/Correct-mpi_allgather-002_0.md5sum +++ /dev/null @@ -1 +0,0 @@ -b220b5f635634c86057e1a325c13811b \ No newline at end of file diff --git a/logs-20240723-151721/parcoach/Correct-mpi_allgather-002_0.txt b/logs-20240723-151721/parcoach/Correct-mpi_allgather-002_0.txt deleted file mode 100644 index f5a63f9bbfbc982077bd48dd3b03277b9fb9439b..0000000000000000000000000000000000000000 --- a/logs-20240723-151721/parcoach/Correct-mpi_allgather-002_0.txt +++ /dev/null @@ -1,28 +0,0 @@ -Running #661 /MBI/scripts/gencodes/COLL/Correct-mpi_allgather-002.c -Wait up to 120 seconds -Compiling Correct-mpi_allgather-002.c (batchinfo:1/1) - - -$ parcoachcc -instrum-inter --args mpicc /MBI/scripts/gencodes/COLL/Correct-mpi_allgather-002.c -c -o Correct-mpi_allgather-002.o - -| remark: Parcoach: running '/usr/bin/mpicc /MBI/scripts/gencodes/COLL/Correct-mpi_allgather-002.c -c -o Correct-mpi_allgather-002.o' -| remark: Parcoach: running '/usr/bin/mpicc /MBI/scripts/gencodes/COLL/Correct-mpi_allgather-002.c -g -S -emit-llvm -o parcoach-ir-a60bd6.ll' -| remark: Parcoach: running '/tmp/build-parcoach/parcoach-2.4.0-shared-Linux/bin/parcoach -instrum-inter parcoach-ir-a60bd6.ll -o parcoach-ir-0c64ed.ll' -| Parcoach is missing some information about external functions: MPI_Type_create_struct. -| The alias analyses may be innaccurate, you may want to add these functions to ExtInfo.cpp. -| PARCOACH: scripts/gencodes/COLL/Correct-mpi_allgather-002.c: warning: MPI_Allgather line 53 possibly not called by all processes because of conditional(s) line(s) 52 (scripts/gencodes/COLL/Correct-mpi_allgather-002.c) (Call Ordering Error) -| PARCOACH: scripts/gencodes/COLL/Correct-mpi_allgather-002.c: warning: MPI_Allgather line 49 possibly not called by all processes because of conditional(s) line(s) 48 (scripts/gencodes/COLL/Correct-mpi_allgather-002.c) (Call Ordering Error) -| remark: Parcoach: running '/usr/bin/mpicc parcoach-ir-0c64ed.ll -c -o Correct-mpi_allgather-002.o' -| clang: warning: argument unused during compilation: '-I /usr/lib/x86_64-linux-gnu/openmpi/include' [-Wunused-command-line-argument] -| clang: warning: argument unused during compilation: '-I /usr/lib/x86_64-linux-gnu/openmpi/include/openmpi' [-Wunused-command-line-argument] -| - - -Executing the command (cwd: None) - $ mpicc Correct-mpi_allgather-002.o -lParcoachCollDynamic_MPI_C -L/tmp/build-parcoach/parcoach-2.4.0-shared-Linux/lib/ - -| -| -Command return code: 0, elapsed time: 0.5761687755584717 - -Finished #661 /MBI/scripts/gencodes/COLL/Correct-mpi_allgather-002.c