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

Add parcoach logs

parents
No related tags found
No related merge requests found
Showing
with 409 additions and 0 deletions
/* ///////////////////////// The MPI Bug Bench ////////////////////////
Description: Call Ordering: probe for message before it is going to be send
Version of MPI: 3.0
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;
}
0.33707618713378906
\ No newline at end of file
13b8c536aa09435381db48d15c69f63b
\ No newline at end of file
Running #272 /MBI/scripts/gencodes/P2P/CallOrdering-mpi_improbe-mpi_send-001.c
Wait up to 300 seconds
Compiling CallOrdering-mpi_improbe-mpi_send-001.c (batchinfo:1/1)
$ parcoachcc mpicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_improbe-mpi_send-001.c -c -o CallOrdering-mpi_improbe-mpi_send-001.o
| remark: Parcoach: running '/usr/bin/mpicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_improbe-mpi_send-001.c -c -o CallOrdering-mpi_improbe-mpi_send-001.o'
| remark: Parcoach: running '/usr/bin/mpicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_improbe-mpi_send-001.c -g -S -emit-llvm -o parcoach-ir-a5f4e1.ll'
| remark: Parcoach: running '/MBI/builds/parcoach/parcoach-2.4.0-shared-Linux/bin/parcoach parcoach-ir-a5f4e1.ll'
| Parcoach is missing some information about external functions: MPI_Improbe, MPI_Mrecv.
| The alias analyses may be innaccurate, you may want to add these functions to ExtInfo.cpp.
| PARCOACH: remark: No issues found.
|
Executing the command (cwd: None)
$ parcoachcc mpicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_improbe-mpi_send-001.c -c -o CallOrdering-mpi_improbe-mpi_send-001.o
| remark: Parcoach: running '/usr/bin/mpicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_improbe-mpi_send-001.c -c -o CallOrdering-mpi_improbe-mpi_send-001.o'
| remark: Parcoach: running '/usr/bin/mpicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_improbe-mpi_send-001.c -g -S -emit-llvm -o parcoach-ir-fdfbd6.ll'
| remark: Parcoach: running '/MBI/builds/parcoach/parcoach-2.4.0-shared-Linux/bin/parcoach parcoach-ir-fdfbd6.ll'
| Parcoach is missing some information about external functions: MPI_Improbe, MPI_Mrecv.
| The alias analyses may be innaccurate, you may want to add these functions to ExtInfo.cpp.
| PARCOACH: remark: No issues found.
|
|
Command return code: 0, elapsed time: 0.33707618713378906
Finished #272 /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
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;
}
0.3645920753479004
\ No newline at end of file
4b0982d455b35fbe007c2bc70bd35e70
\ No newline at end of file
Running #174 /MBI/scripts/gencodes/P2P/CallOrdering-mpi_iprobe-mpi_send-001.c
Wait up to 300 seconds
Compiling CallOrdering-mpi_iprobe-mpi_send-001.c (batchinfo:1/1)
$ parcoachcc mpicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_iprobe-mpi_send-001.c -c -o CallOrdering-mpi_iprobe-mpi_send-001.o
| remark: Parcoach: running '/usr/bin/mpicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_iprobe-mpi_send-001.c -c -o CallOrdering-mpi_iprobe-mpi_send-001.o'
| remark: Parcoach: running '/usr/bin/mpicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_iprobe-mpi_send-001.c -g -S -emit-llvm -o parcoach-ir-0de12b.ll'
| remark: Parcoach: running '/MBI/builds/parcoach/parcoach-2.4.0-shared-Linux/bin/parcoach parcoach-ir-0de12b.ll'
| PARCOACH: remark: No issues found.
|
Executing the command (cwd: None)
$ parcoachcc mpicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_iprobe-mpi_send-001.c -c -o CallOrdering-mpi_iprobe-mpi_send-001.o
| remark: Parcoach: running '/usr/bin/mpicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_iprobe-mpi_send-001.c -c -o CallOrdering-mpi_iprobe-mpi_send-001.o'
| remark: Parcoach: running '/usr/bin/mpicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_iprobe-mpi_send-001.c -g -S -emit-llvm -o parcoach-ir-352148.ll'
| remark: Parcoach: running '/MBI/builds/parcoach/parcoach-2.4.0-shared-Linux/bin/parcoach parcoach-ir-352148.ll'
| PARCOACH: remark: No issues found.
|
|
Command return code: 0, elapsed time: 0.3645920753479004
Finished #174 /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
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;
}
0.37467026710510254
\ No newline at end of file
e8382977931267dd261d52299d029e76
\ No newline at end of file
Running #859 /MBI/scripts/gencodes/P2P/CallOrdering-mpi_mprobe-mpi_send-001.c
Wait up to 300 seconds
Compiling CallOrdering-mpi_mprobe-mpi_send-001.c (batchinfo:1/1)
$ parcoachcc mpicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_mprobe-mpi_send-001.c -c -o CallOrdering-mpi_mprobe-mpi_send-001.o
| remark: Parcoach: running '/usr/bin/mpicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_mprobe-mpi_send-001.c -c -o CallOrdering-mpi_mprobe-mpi_send-001.o'
| remark: Parcoach: running '/usr/bin/mpicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_mprobe-mpi_send-001.c -g -S -emit-llvm -o parcoach-ir-779638.ll'
| remark: Parcoach: running '/MBI/builds/parcoach/parcoach-2.4.0-shared-Linux/bin/parcoach parcoach-ir-779638.ll'
| Parcoach is missing some information about external functions: MPI_Mprobe, MPI_Mrecv.
| The alias analyses may be innaccurate, you may want to add these functions to ExtInfo.cpp.
| PARCOACH: remark: No issues found.
|
Executing the command (cwd: None)
$ parcoachcc mpicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_mprobe-mpi_send-001.c -c -o CallOrdering-mpi_mprobe-mpi_send-001.o
| remark: Parcoach: running '/usr/bin/mpicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_mprobe-mpi_send-001.c -c -o CallOrdering-mpi_mprobe-mpi_send-001.o'
| remark: Parcoach: running '/usr/bin/mpicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_mprobe-mpi_send-001.c -g -S -emit-llvm -o parcoach-ir-93d235.ll'
| remark: Parcoach: running '/MBI/builds/parcoach/parcoach-2.4.0-shared-Linux/bin/parcoach parcoach-ir-93d235.ll'
| Parcoach is missing some information about external functions: MPI_Mprobe, MPI_Mrecv.
| The alias analyses may be innaccurate, you may want to add these functions to ExtInfo.cpp.
| PARCOACH: remark: No issues found.
|
|
Command return code: 0, elapsed time: 0.37467026710510254
Finished #859 /MBI/scripts/gencodes/P2P/CallOrdering-mpi_mprobe-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
BEGIN_MBB_TESTS
$ mpirun -np 2 ${EXE}
| ERROR CallOrdering
| CallOrdering-mpi_probe-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_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) {
/*MBBERROR_BEGIN*/ MPI_Probe(0, 0, MPI_COMM_WORLD,
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;
}
0.4019966125488281
\ No newline at end of file
6fe97689a46ac1377ca5dc217a0755c3
\ No newline at end of file
Running #135 /MBI/scripts/gencodes/P2P/CallOrdering-mpi_probe-mpi_send-001.c
Wait up to 300 seconds
Compiling CallOrdering-mpi_probe-mpi_send-001.c (batchinfo:1/1)
$ parcoachcc mpicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_probe-mpi_send-001.c -c -o CallOrdering-mpi_probe-mpi_send-001.o
| remark: Parcoach: running '/usr/bin/mpicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_probe-mpi_send-001.c -c -o CallOrdering-mpi_probe-mpi_send-001.o'
| remark: Parcoach: running '/usr/bin/mpicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_probe-mpi_send-001.c -g -S -emit-llvm -o parcoach-ir-790cb0.ll'
| remark: Parcoach: running '/MBI/builds/parcoach/parcoach-2.4.0-shared-Linux/bin/parcoach parcoach-ir-790cb0.ll'
| PARCOACH: remark: No issues found.
|
Executing the command (cwd: None)
$ parcoachcc mpicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_probe-mpi_send-001.c -c -o CallOrdering-mpi_probe-mpi_send-001.o
| remark: Parcoach: running '/usr/bin/mpicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_probe-mpi_send-001.c -c -o CallOrdering-mpi_probe-mpi_send-001.o'
| remark: Parcoach: running '/usr/bin/mpicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_probe-mpi_send-001.c -g -S -emit-llvm -o parcoach-ir-c28c1f.ll'
| remark: Parcoach: running '/MBI/builds/parcoach/parcoach-2.4.0-shared-Linux/bin/parcoach parcoach-ir-c28c1f.ll'
| PARCOACH: remark: No issues found.
|
|
Command return code: 0, elapsed time: 0.4019966125488281
Finished #135 /MBI/scripts/gencodes/P2P/CallOrdering-mpi_probe-mpi_send-001.c
/* ///////////////////////// The MPI Bug Bench ////////////////////////
Description: Call Ordering: both ranks try to receive before sending
Version of MPI: 1.0
BEGIN_MBB_TESTS
$ mpirun -np 2 ${EXE}
| OK
| CallOrdering-mpi_send-mpi_irecv
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_Request mpi_request_0 = MPI_REQUEST_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_Irecv(buf, 10, MPI_INT, 1, 0, MPI_COMM_WORLD, &mpi_request_0);
MPI_Wait(&mpi_request_0, 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;
}
0.365917444229126
\ No newline at end of file
c1d16cdec3fc5c4c7e4a1d848b69e140
\ No newline at end of file
Running #229 /MBI/scripts/gencodes/P2P/CallOrdering-mpi_send-mpi_irecv-001.c
Wait up to 300 seconds
Compiling CallOrdering-mpi_send-mpi_irecv-001.c (batchinfo:1/1)
$ parcoachcc mpicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_send-mpi_irecv-001.c -c -o CallOrdering-mpi_send-mpi_irecv-001.o
| remark: Parcoach: running '/usr/bin/mpicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_send-mpi_irecv-001.c -c -o CallOrdering-mpi_send-mpi_irecv-001.o'
| remark: Parcoach: running '/usr/bin/mpicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_send-mpi_irecv-001.c -g -S -emit-llvm -o parcoach-ir-1beece.ll'
| remark: Parcoach: running '/MBI/builds/parcoach/parcoach-2.4.0-shared-Linux/bin/parcoach parcoach-ir-1beece.ll'
| PARCOACH: remark: No issues found.
|
Executing the command (cwd: None)
$ parcoachcc mpicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_send-mpi_irecv-001.c -c -o CallOrdering-mpi_send-mpi_irecv-001.o
| remark: Parcoach: running '/usr/bin/mpicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_send-mpi_irecv-001.c -c -o CallOrdering-mpi_send-mpi_irecv-001.o'
| remark: Parcoach: running '/usr/bin/mpicc /MBI/scripts/gencodes/P2P/CallOrdering-mpi_send-mpi_irecv-001.c -g -S -emit-llvm -o parcoach-ir-4dc5b3.ll'
| remark: Parcoach: running '/MBI/builds/parcoach/parcoach-2.4.0-shared-Linux/bin/parcoach parcoach-ir-4dc5b3.ll'
| PARCOACH: remark: No issues found.
|
|
Command return code: 0, elapsed time: 0.365917444229126
Finished #229 /MBI/scripts/gencodes/P2P/CallOrdering-mpi_send-mpi_irecv-001.c
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment