teshsuite/smpi/coll-allreduce-with-leaks/mc-coll-allreduce-with-leaks.tesh

   1 # Smpi Allreduce collectives tests
   2
   3 p Test allreduce
   4 $ $VALGRIND_NO_LEAK_CHECK ${bindir:=.}/../../../smpi_script/bin/smpirun -wrapper "${bindir:=.}/../../../bin/simgrid-mc" -map -hostfile ../hostfile_coll -platform  ${platfdir:=.}/small_platform.xml -np 4 --log=xbt_cfg.thres:critical ${bindir:=.}/coll-allreduce-with-leaks --log=smpi_config.thres:warning --cfg=smpi/display-allocs:yes --cfg=smpi/simulate-computation:no --log=smpi_coll.thres:error --log=smpi_mpi.thres:error --log=smpi_pmpi.thres:error --cfg=smpi/list-leaks:10 --log=no_loc
   5 > [rank 0] -> Tremblay
   6 > [rank 1] -> Tremblay
   7 > [rank 2] -> Tremblay
   8 > [rank 3] -> Tremblay
   9 > [0.000000] [mc_safety/INFO] Check a safety property. Reduction is: dpor.
  10 > [0.000000] [smpi_utils/INFO] Probable memory leaks in your code: SMPI detected 8 unfreed MPI handles : display types and addresses (n max) with --cfg=smpi/list-leaks:n.
  11 > Running smpirun with -wrapper "valgrind --leak-check=full" can provide more information
  12 > [0.000000] [smpi_utils/INFO] To get more information (location of allocations), compile your code with -trace-call-location flag of smpicc/f90
  13 > [0.000000] [smpi_utils/INFO] Leaked handle of type MPI_Comm
  14 > [0.000000] [smpi_utils/INFO] Leaked handle of type MPI_Group
  15 > [0.000000] [smpi_utils/INFO] Leaked handle of type MPI_Comm
  16 > [0.000000] [smpi_utils/INFO] Leaked handle of type MPI_Group
  17 > [0.000000] [smpi_utils/INFO] Leaked handle of type MPI_Comm
  18 > [0.000000] [smpi_utils/INFO] Leaked handle of type MPI_Group
  19 > [0.000000] [smpi_utils/INFO] Leaked handle of type MPI_Comm
  20 > [0.000000] [smpi_utils/INFO] Leaked handle of type MPI_Group
  21 > [0.000000] [smpi_utils/INFO] Memory Usage: Simulated application allocated 128 bytes during its lifetime through malloc/calloc calls.
  22 > Largest allocation at once from a single process was 16 bytes, at sysdep.h:59. It was called 8 times during the whole simulation.
  23 > If this is too much, consider sharing allocations for computation buffers.
  24 > This can be done automatically by setting --cfg=smpi/auto-shared-malloc-thresh to the minimum size wanted size (this can alter execution if data content is necessary)
  25 >
  26 > [0.000000] [smpi_utils/INFO] Probable memory leaks in your code: SMPI detected 8 unfreed MPI handles : display types and addresses (n max) with --cfg=smpi/list-leaks:n.
  27 > Running smpirun with -wrapper "valgrind --leak-check=full" can provide more information
  28 > [0.000000] [smpi_utils/INFO] To get more information (location of allocations), compile your code with -trace-call-location flag of smpicc/f90
  29 > [0.000000] [smpi_utils/INFO] Leaked handle of type MPI_Comm
  30 > [0.000000] [smpi_utils/INFO] Leaked handle of type MPI_Group
  31 > [0.000000] [smpi_utils/INFO] Leaked handle of type MPI_Comm
  32 > [0.000000] [smpi_utils/INFO] Leaked handle of type MPI_Group
  33 > [0.000000] [smpi_utils/INFO] Leaked handle of type MPI_Comm
  34 > [0.000000] [smpi_utils/INFO] Leaked handle of type MPI_Group
  35 > [0.000000] [smpi_utils/INFO] Leaked handle of type MPI_Comm
  36 > [0.000000] [smpi_utils/INFO] Leaked handle of type MPI_Group
  37 > [0.000000] [smpi_utils/INFO] Memory Usage: Simulated application allocated 128 bytes during its lifetime through malloc/calloc calls.
  38 > Largest allocation at once from a single process was 16 bytes, at sysdep.h:59. It was called 8 times during the whole simulation.
  39 > If this is too much, consider sharing allocations for computation buffers.
  40 > This can be done automatically by setting --cfg=smpi/auto-shared-malloc-thresh to the minimum size wanted size (this can alter execution if data content is necessary)
  41 >
  42 > [0.000000] [mc_safety/INFO] No property violation found.
  43 > [0.000000] [mc_safety/INFO] Expanded states = 63
  44 > [0.000000] [mc_safety/INFO] Visited states = 500
  45 > [0.000000] [mc_safety/INFO] Executed transitions = 484