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

Add new logs

parent de0d2529
Branches
No related tags found
No related merge requests found
Showing
with 3037 additions and 0 deletions
tool,TP,TN,FP,FN,TO,CE,RE,other,total
itac,584,70,14,4,57,0,48,0,777
must,679,57,19,2,0,0,20,0,777
parcoach,520,20,65,172,0,0,0,0,777
tool,TP,TN,FP,FN,TO,CE,RE,other,total
itac,456,62,7,80,100,75,90,0,870
must,623,66,5,43,1,0,98,34,870
parcoach,170,66,11,623,0,0,0,0,870
tool,TP,TN,FP,FN,TO,CE,RE,other,total
itac,57,249,0,139,9,0,1,0,455
must,64,68,0,55,63,0,205,0,455
parcoach,110,3,246,96,0,0,0,0,455
tool,TP,TN,FP,FN,TO,CE,RE,other,total
itac,1,0,0,0,0,0,0,1,2
must,1,0,0,0,0,0,0,1,2
parcoach,0,0,0,2,0,0,0,0,2
tool,TP,TN,FP,FN,TO,CE,RE,other,total
itac,1098,381,21,223,166,75,139,1,2104
must,1367,191,24,100,64,0,323,35,2104
parcoach,800,89,322,893,0,0,0,0,2104
This diff is collapsed.
/* ///////////////////////// The MPI Bug Bench ////////////////////////
Description: Call Ordering: probe for message before it is going to be send
Version of MPI: 3.0
Category: P2P
BEGIN_MBB_TESTS
$ mpirun -np 2 ${EXE}
| ERROR CallOrdering
| CallOrdering-mpi_improbe-mpi_send
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_Message mpi_message_0 = MPI_MESSAGE_NULL;
int int_0 = 0;
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 *buf = (int *)calloc(10, sizeof(int));
if (rank == 0) {
MPI_Recv(buf, 10, MPI_INT, 1, 0, MPI_COMM_WORLD, MPI_STATUS_IGNORE);
MPI_Send(buf, 10, MPI_INT, 1, 0, MPI_COMM_WORLD);
}
if (rank == 1) {
int flag = 0;
while (!flag) {
/*MBBERROR_BEGIN*/ MPI_Improbe(0, 0, MPI_COMM_WORLD, &int_0,
&mpi_message_0,
MPI_STATUS_IGNORE); /*MBBERROR_END*/
}
MPI_Send(buf, 10, MPI_INT, 0, 0, MPI_COMM_WORLD);
MPI_Mrecv(buf, 10, MPI_INT, &mpi_message_0, MPI_STATUS_IGNORE);
}
free(buf);
MPI_Finalize();
printf("Rank %d finished normally\n", rank);
return 0;
}
60.20366597175598
\ No newline at end of file
5ddb366cb81c235f42d8ea2fe49cbd6d
\ No newline at end of file
60.00248885154724 seconds
\ No newline at end of file
Running #1792 /MBI/scripts/gencodes/P2P/CallOrdering-mpi_improbe-mpi_send-001.c
Wait up to 60 seconds
Compiling CallOrdering-mpi_improbe-mpi_send-001.c (batchinfo:1/1)
$ mpiicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_improbe-mpi_send-001.c -O0 -g -o CallOrdering-mpi_improbe-mpi_send-001
| 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 ./CallOrdering-mpi_improbe-mpi_send-001
|
| [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
|
| [1] INFO: 502.00MB trace data in RAM + 0.00MB trace data flushed = 502.00MB total
Command killed by signal 15, elapsed time: 60.20366597175598
Finished #1792 /MBI/scripts/gencodes/P2P/CallOrdering-mpi_improbe-mpi_send-001.c
/* ///////////////////////// The MPI Bug Bench ////////////////////////
Description: Call Ordering: probe for message before it is going to be send
Version of MPI: 1.0
Category: P2P
BEGIN_MBB_TESTS
$ mpirun -np 2 ${EXE}
| ERROR CallOrdering
| CallOrdering-mpi_iprobe-mpi_send
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;
int int_0 = 0;
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 *buf = (int *)calloc(10, sizeof(int));
if (rank == 0) {
int_0 = 0;
while (!int_0) {
/*MBBERROR_BEGIN*/ MPI_Iprobe(0, 0, MPI_COMM_WORLD, &int_0,
MPI_STATUS_IGNORE); /*MBBERROR_END*/
}
MPI_Recv(buf, 10, MPI_INT, 1, 0, MPI_COMM_WORLD, MPI_STATUS_IGNORE);
MPI_Send(buf, 10, MPI_INT, 1, 0, MPI_COMM_WORLD);
}
if (rank == 1) {
MPI_Send(buf, 10, MPI_INT, 0, 0, MPI_COMM_WORLD);
MPI_Recv(buf, 10, MPI_INT, 0, 0, MPI_COMM_WORLD, MPI_STATUS_IGNORE);
}
free(buf);
MPI_Finalize();
printf("Rank %d finished normally\n", rank);
return 0;
}
60.209224462509155
\ No newline at end of file
be0dee613e1d35d144d8361c07dc4f2a
\ No newline at end of file
60.007755517959595 seconds
\ No newline at end of file
Running #1889 /MBI/scripts/gencodes/P2P/CallOrdering-mpi_iprobe-mpi_send-001.c
Wait up to 60 seconds
Compiling CallOrdering-mpi_iprobe-mpi_send-001.c (batchinfo:1/1)
$ mpiicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_iprobe-mpi_send-001.c -O0 -g -o CallOrdering-mpi_iprobe-mpi_send-001
| 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 ./CallOrdering-mpi_iprobe-mpi_send-001
|
Command killed by signal 15, elapsed time: 60.209224462509155
Finished #1889 /MBI/scripts/gencodes/P2P/CallOrdering-mpi_iprobe-mpi_send-001.c
/* ///////////////////////// The MPI Bug Bench ////////////////////////
Description: Call Ordering: probe for message before it is going to be send
Version of MPI: 3.0
Category: P2P
BEGIN_MBB_TESTS
$ mpirun -np 2 ${EXE}
| ERROR CallOrdering
| CallOrdering-mpi_mprobe-mpi_send
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_Message mpi_message_0 = MPI_MESSAGE_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 *buf = (int *)calloc(10, sizeof(int));
if (rank == 0) {
MPI_Recv(buf, 10, MPI_INT, 1, 0, MPI_COMM_WORLD, MPI_STATUS_IGNORE);
MPI_Send(buf, 10, MPI_INT, 1, 0, MPI_COMM_WORLD);
}
if (rank == 1) {
/*MBBERROR_BEGIN*/ MPI_Mprobe(0, 0, MPI_COMM_WORLD, &mpi_message_0,
MPI_STATUS_IGNORE); /*MBBERROR_END*/
MPI_Send(buf, 10, MPI_INT, 0, 0, MPI_COMM_WORLD);
MPI_Mrecv(buf, 10, MPI_INT, &mpi_message_0, MPI_STATUS_IGNORE);
}
free(buf);
MPI_Finalize();
printf("Rank %d finished normally\n", rank);
return 0;
}
60.20555305480957
\ No newline at end of file
8430f54c655fe06dfada29c6bc7400f6
\ No newline at end of file
60.004300594329834 seconds
\ No newline at end of file
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment