Skip to content
Snippets Groups Projects
Verified Commit 4934d084 authored by Simon Schwitanski's avatar Simon Schwitanski :slight_smile:
Browse files

Remove faulty test

parent 6a947666
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 0 additions and 384 deletions
logs-20240723-151721/itac/Correct-mpi_allgather-002.c deleted 100644 → 0
+ 0
− 63
View file @ 6a947666
/* ///////////////////////// 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;
}
logs-20240723-151721/itac/Correct-mpi_allgather-002_0.elapsed deleted 100644 → 0
+ 0
− 1
View file @ 6a947666
120.20680475234985
\ No newline at end of file
logs-20240723-151721/itac/Correct-mpi_allgather-002_0.md5sum deleted 100644 → 0
+ 0
− 1
View file @ 6a947666
b220b5f635634c86057e1a325c13811b
\ No newline at end of file
logs-20240723-151721/itac/Correct-mpi_allgather-002_0.timeout deleted 100644 → 0
+ 0
− 1
View file @ 6a947666
120.00550150871277 seconds
\ No newline at end of file
logs-20240723-151721/itac/Correct-mpi_allgather-002_0.txt deleted 100644 → 0
+ 0
− 53
View file @ 6a947666
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
logs-20240723-151721/must/Correct-mpi_allgather-002.c deleted 100644 → 0
+ 0
− 63
View file @ 6a947666
/* ///////////////////////// 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;
}
logs-20240723-151721/must/Correct-mpi_allgather-002_0.elapsed deleted 100644 → 0
+ 0
− 1
View file @ 6a947666
120.20799136161804
\ No newline at end of file
logs-20240723-151721/must/Correct-mpi_allgather-002_0.json deleted 100644 → 0
+ 0
− 25
View file @ 6a947666
{
"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
logs-20240723-151721/must/Correct-mpi_allgather-002_0.md5sum deleted 100644 → 0
+ 0
− 1
View file @ 6a947666
b220b5f635634c86057e1a325c13811b
\ No newline at end of file
logs-20240723-151721/must/Correct-mpi_allgather-002_0.timeout deleted 100644 → 0
+ 0
− 1
View file @ 6a947666
120.00666522979736 seconds
\ No newline at end of file
logs-20240723-151721/must/Correct-mpi_allgather-002_0.txt deleted 100644 → 0
+ 0
− 81
View file @ 6a947666
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
logs-20240723-151721/parcoach/Correct-mpi_allgather-002.c deleted 100644 → 0
+ 0
− 63
View file @ 6a947666
/* ///////////////////////// 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;
}
logs-20240723-151721/parcoach/Correct-mpi_allgather-002_0.elapsed deleted 100644 → 0
+ 0
− 1
View file @ 6a947666
0.5761687755584717
\ No newline at end of file
logs-20240723-151721/parcoach/Correct-mpi_allgather-002_0.md5sum deleted 100644 → 0
+ 0
− 1
View file @ 6a947666
b220b5f635634c86057e1a325c13811b
\ No newline at end of file
logs-20240723-151721/parcoach/Correct-mpi_allgather-002_0.txt deleted 100644 → 0
+ 0
− 28
View file @ 6a947666
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
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment