From 32dd95e241a3e08572df4f19f6603551ed5dbd63 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Mon, 5 Oct 2015 01:46:06 +0200 Subject: [PATCH] [MC] ensure that the main ISP/Umpire tests are activated All 74 tests of http://formalverification.cs.utah.edu/ISP_Tests/ are activated. The many other tests of the directory that were not listed on that page are not activated. The tesh files are generated on the fly as we don't check the output anyway. cmake coding is such a pleasure, I could not resist. We should probably add a way to use tesh without tesh files but only with command line flags. But not tonight. /\ /\ /!!\ These tests are currently broken /!!\ /_!!_\ /_!!_\ --- CMakeLists.txt | 6 +- teshsuite/smpi/isp/umpire/CMakeLists.txt | 267 ++++++++++-------- .../isp/umpire/any_src-can-deadlock10.tesh | 44 --- .../isp/umpire/any_src-can-deadlock4.tesh | 44 --- .../isp/umpire/any_src-can-deadlock5.tesh | 44 --- .../isp/umpire/any_src-can-deadlock6.tesh | 44 --- .../isp/umpire/any_src-wait-deadlock.tesh | 41 --- .../isp/umpire/any_src-waitall-deadlock2.tesh | 44 --- .../isp/umpire/any_src-waitall-deadlock3.tesh | 47 --- .../isp/umpire/any_src-waitany-deadlock.tesh | 42 --- .../isp/umpire/any_src-waitany-deadlock2.tesh | 47 --- .../umpire/basic-deadlock-comm_create.tesh | 42 --- .../isp/umpire/basic-deadlock-comm_dup.tesh | 41 --- .../isp/umpire/basic-deadlock-comm_split.tesh | 54 ---- teshsuite/smpi/isp/umpire/basic-deadlock.tesh | 41 --- teshsuite/smpi/isp/umpire/bcast-deadlock.tesh | 22 -- .../umpire/collective-misorder-allreduce.tesh | 41 --- .../smpi/isp/umpire/collective-misorder.tesh | 63 ----- .../smpi/isp/umpire/complex-deadlock.tesh | 44 --- .../smpi/isp/umpire/deadlock-config.tesh | 26 -- .../smpi/isp/umpire/finalize-deadlock.tesh | 40 --- teshsuite/smpi/isp/umpire/irecv-deadlock.tesh | 40 --- teshsuite/smpi/isp/umpire/no-error.tesh | 17 -- teshsuite/smpi/isp/umpire/no-error2.tesh | 22 -- .../smpi/isp/umpire/no-error3-any_src.tesh | 22 -- teshsuite/smpi/isp/umpire/no-error3.tesh | 22 -- tools/cmake/AddTests.cmake | 36 --- 27 files changed, 149 insertions(+), 1094 deletions(-) delete mode 100644 teshsuite/smpi/isp/umpire/any_src-can-deadlock10.tesh delete mode 100644 teshsuite/smpi/isp/umpire/any_src-can-deadlock4.tesh delete mode 100644 teshsuite/smpi/isp/umpire/any_src-can-deadlock5.tesh delete mode 100644 teshsuite/smpi/isp/umpire/any_src-can-deadlock6.tesh delete mode 100644 teshsuite/smpi/isp/umpire/any_src-wait-deadlock.tesh delete mode 100644 teshsuite/smpi/isp/umpire/any_src-waitall-deadlock2.tesh delete mode 100644 teshsuite/smpi/isp/umpire/any_src-waitall-deadlock3.tesh delete mode 100644 teshsuite/smpi/isp/umpire/any_src-waitany-deadlock.tesh delete mode 100644 teshsuite/smpi/isp/umpire/any_src-waitany-deadlock2.tesh delete mode 100644 teshsuite/smpi/isp/umpire/basic-deadlock-comm_create.tesh delete mode 100644 teshsuite/smpi/isp/umpire/basic-deadlock-comm_dup.tesh delete mode 100644 teshsuite/smpi/isp/umpire/basic-deadlock-comm_split.tesh delete mode 100644 teshsuite/smpi/isp/umpire/basic-deadlock.tesh delete mode 100644 teshsuite/smpi/isp/umpire/bcast-deadlock.tesh delete mode 100644 teshsuite/smpi/isp/umpire/collective-misorder-allreduce.tesh delete mode 100644 teshsuite/smpi/isp/umpire/collective-misorder.tesh delete mode 100644 teshsuite/smpi/isp/umpire/complex-deadlock.tesh delete mode 100644 teshsuite/smpi/isp/umpire/deadlock-config.tesh delete mode 100644 teshsuite/smpi/isp/umpire/finalize-deadlock.tesh delete mode 100644 teshsuite/smpi/isp/umpire/irecv-deadlock.tesh delete mode 100644 teshsuite/smpi/isp/umpire/no-error.tesh delete mode 100644 teshsuite/smpi/isp/umpire/no-error2.tesh delete mode 100644 teshsuite/smpi/isp/umpire/no-error3-any_src.tesh delete mode 100644 teshsuite/smpi/isp/umpire/no-error3.tesh diff --git a/CMakeLists.txt b/CMakeLists.txt index 72962690a8..cb3d87ca2c 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -265,9 +265,6 @@ if(enable_java) include(${CMAKE_HOME_DIRECTORY}/tools/cmake/Java.cmake) endif() -### Make Exes -include(${CMAKE_HOME_DIRECTORY}/tools/cmake/MakeExe.cmake) - ### Make tests if(enable_memcheck_xml) set(enable_memcheck true) @@ -278,6 +275,9 @@ ENABLE_TESTING() include(${CMAKE_HOME_DIRECTORY}/tools/cmake/AddTests.cmake) include(${CMAKE_HOME_DIRECTORY}/tools/cmake/CTestConfig.cmake) +### Define subdirectories +include(${CMAKE_HOME_DIRECTORY}/tools/cmake/MakeExe.cmake) + ### Setup the distrib include(${CMAKE_HOME_DIRECTORY}/tools/cmake/Distrib.cmake) diff --git a/teshsuite/smpi/isp/umpire/CMakeLists.txt b/teshsuite/smpi/isp/umpire/CMakeLists.txt index 3a7bd25c5a..6cb426be04 100644 --- a/teshsuite/smpi/isp/umpire/CMakeLists.txt +++ b/teshsuite/smpi/isp/umpire/CMakeLists.txt @@ -1,64 +1,111 @@ -set(umpire_src +# See http://formalverification.cs.utah.edu/ISP_Tests/ + +set(umpire_tests_passing + any_src-can-deadlock + any_src-can-deadlock2 + any_src-can-deadlock3 + any_src-deadlock + change-send-buffer + comm-dup-no-error + comm-dup-no-free + comm-dup-no-free2 + comm-simple + comm-split-no-free + comm-translate-ranks + hello + no-error + no-error2 + no-error3 + no-error3-any_src + no-error-any_src + no-error-interleaved-isend + no-error-test + no-error-testall + no-error-testany + no-error-vector-isend + no-error-wait + no-error-waitany-any_src2 + no-error-waitany-any_src3 + no-error-waitany + no-error-wait-any_src + no-error-wait-any_src2 + no-error-wait-any_src3 + no-error-wait-any_src4 + no-error-waitany-any_src + partial-recv + sendrecv-deadlock + send-recv-ok + waitall-deadlock + waitany-deadlock + wait-deadlock + ) # Passing (no deadlock) tests + +set(umpire_tests_failing + any_src-can-deadlock10 + any_src-can-deadlock10_mod + any_src-can-deadlock11 + any_src-can-deadlock4 + any_src-can-deadlock4_mod + any_src-can-deadlock5 + any_src-can-deadlock5_mod + any_src-can-deadlock6 + any_src-can-deadlock6_mod + any_src-can-deadlock7 + any_src-can-deadlock8 + any_src-can-deadlock9 + any_src-waitall-deadlock + any_src-waitall-deadlock2 + any_src-waitall-deadlock3 + any_src-waitany-deadlock2 + any_src-waitany-deadlock + any_src-wait-deadlock + any_src-wait-deadlock2 + basic-deadlock + basic-deadlock-comm_create + basic-deadlock-comm_dup + basic-deadlock-comm_split + bcast-deadlock + collective-misorder + collective-misorder2 + collective-misorder-allreduce + comm-bcast-deadlock + comm-deadlock + complex-deadlock + dropped-req + finalize-deadlock + irecv-deadlock + irecv-isend-ok + irecv-isend-ok2 + lost-request-waitall + + ) # failing (deadlocking) tests + +set(umpire_tests_problematic + deadlock-config # No deadlock detected by ISP unless MPI_Send blocking activated + + ) # problematic tests + + # These files are not listed on http://formalverification.cs.utah.edu/ISP_Tests/ +set(umpire_src_other abort1.c abort2.c abort3.c abort.c - any_src-can-deadlock10.c - any_src-can-deadlock10_mod.c - any_src-can-deadlock11.c - any_src-can-deadlock2.c - any_src-can-deadlock3.c - any_src-can-deadlock4.c - any_src-can-deadlock4_mod.c - any_src-can-deadlock5.c - any_src-can-deadlock5_mod.c - any_src-can-deadlock6.c - any_src-can-deadlock6_mod.c - any_src-can-deadlock7.c - any_src-can-deadlock8.c - any_src-can-deadlock9.c - any_src-can-deadlock.c - any_src-deadlock.c - any_src-waitall-deadlock2.c - any_src-waitall-deadlock3.c - any_src-waitall-deadlock.c - any_src-waitany-deadlock2.c - any_src-waitany-deadlock.c - any_src-wait-deadlock2.c - any_src-wait-deadlock.c - basic-deadlock.c basic-deadlock-cart_create.c basic-deadlock-cart_sub.c - basic-deadlock-comm_create.c - basic-deadlock-comm_dup.c - basic-deadlock-comm_split.c basic-deadlock-graph_create.c basic-deadlock-intercomm_create.c basic-deadlock-intercomm_merge.c - bcast-deadlock.c - change-send-buffer.c change-send-buffer-exhaustive.c change-send-buffer-type-exhaustive.c collective-exhaustive-byte-int-mismatch.c collective-exhaustive-no-error.c - collective-misorder2.c - collective-misorder-allreduce.c collective-misorder.c - comm-bcast-deadlock.c - comm-deadlock.c - comm-dup-no-error.c - comm-dup-no-free2.c - comm-dup-no-free.c - comm-simple.c - comm-split-no-free.c - comm-translate-ranks.c - complex-deadlock.c + collective-misorder2.c + deadlock-config_blocking.c - deadlock-config.c - dropped-req.c errhandler-no-error.c errhandler-no-free.c - finalize-deadlock.c group-no-error2.c group-no-error3.c group-no-error.c @@ -67,29 +114,19 @@ set(umpire_src group-no-free3.c group-no-free.c group-no-free-exhaustive.c - hello.c intercomm_create-deadlock2.c intercomm_create-deadlock3.c intercomm_create-deadlock4.c intercomm_create-deadlock.c intercomm_create-no-error.c intercomm_merge-deadlock.c - irecv-deadlock.c - irecv-isend-ok2.c - irecv-isend-ok.c lost-request2.c lost-request3.c - lost-request.c - lost-request-waitall.c - no-error2.c - no-error3-any_src.c - no-error3.c + lost-request.c no-error4-any_src.c no-error4.c - no-error-any_src.c - no-error.c no-error-derived-comms.c - no-error-interleaved-isend.c + no-error-persistent-all-completions.c no-error-persistent.c no-error-persistent-test.c @@ -98,28 +135,16 @@ set(umpire_src no-error-probe-any_src.c no-error-probe-any_tag.c no-error-probe.c - no-error-testall.c - no-error-testany.c - no-error-test.c - no-error-vector-isend.c + # no-error-wait2.c # Does not compile. no-error-waitall-any_src2.c no-error-waitall-any_src3.c no-error-waitall-any_src.c no-error-waitall.c no-error-waitany2.c - no-error-waitany-any_src2.c - no-error-waitany-any_src3.c - no-error-waitany-any_src.c - no-error-waitany.c - no-error-wait-any_src2.c - no-error-wait-any_src3.c - no-error-wait-any_src4.c - no-error-wait-any_src.c - no-error-wait.c + op-no-error.c op-no-free.c - partial-recv.c partial-recv-exhaustive.c partial-recv-persistent2.c partial-recv-persistent3.c @@ -134,8 +159,6 @@ set(umpire_src probe-deadlock.c pt2pt-byte-int-mismatch.c remote_group-no-error.c - sendrecv-deadlock.c - send-recv-ok.c type-commit-twice.c type-no-error.c type-no-error-exhaustive.c @@ -144,67 +167,69 @@ set(umpire_src type-no-free3.c type-no-free.c type-no-free-exhaustive.c - waitall-deadlock.c - waitany-deadlock.c - wait-deadlock.c ) +# Add every file to the archive +############################### + set(sources "") -FOREACH(s ${umpire_src}) +foreach(s ${umpire_src_other}) set(sources ${sources} ${CMAKE_CURRENT_SOURCE_DIR}/${s}) -ENDFOREACH() +endforeach() + +foreach(file ${umpire_tests_passing} ${umpire_tests_failing} ${umpire_tests_problematic} ) + set(sources ${sources} ${CMAKE_CURRENT_SOURCE_DIR}/${file}) +endforeach() + + +# Build the tests +################# set(umpire_tesh "") -foreach(tesh - any_src-can-deadlock10 - any_src-can-deadlock4 - any_src-can-deadlock5 - any_src-can-deadlock6 - any_src-waitall-deadlock2 - any_src-waitall-deadlock3 - any_src-waitany-deadlock2 - any_src-waitany-deadlock - any_src-wait-deadlock - basic-deadlock-comm_create - basic-deadlock-comm_dup - basic-deadlock-comm_split - basic-deadlock - bcast-deadlock - collective-misorder-allreduce - collective-misorder - complex-deadlock - deadlock-config - finalize-deadlock - irecv-deadlock - no-error2 - no-error3-any_src - no-error3 - no-error - ) - set(umpire_tesh ${umpire_tesh} teshsuite/smpi/isp/umpire/${tesh}.tesh) -ENDFOREACH() - -set(examples_src ${examples_src} ${sources} PARENT_SCOPE) +# set(examples_src ${examples_src} ${sources} PARENT_SCOPE) set(txt_files ${txt_files} ${CMAKE_CURRENT_SOURCE_DIR}/README PARENT_SCOPE) -set(EXTRA_DIST ${EXTRA_DIST} ${CMAKE_CURRENT_SOURCE_DIR}/no-error-wait2.c PARENT_SCOPE) -set(tesh_files ${tesh_files} ${umpire_tesh} PARENT_SCOPE) +# set(EXTRA_DIST ${EXTRA_DIST} ${CMAKE_CURRENT_SOURCE_DIR}/no-error-wait2.c PARENT_SCOPE) +# set(tesh_files ${tesh_files} ${umpire_tesh} PARENT_SCOPE) if(enable_smpi AND enable_smpi_ISP_testsuite) - if(WIN32) - set(CMAKE_C_FLAGS "-include ${CMAKE_HOME_DIRECTORY}/include/smpi/smpi_main.h") - else() - set(CMAKE_C_COMPILER "${CMAKE_BINARY_DIR}/smpi_script/bin/smpicc") - set(CMAKE_Fortran_COMPILER "${CMAKE_BINARY_DIR}/smpi_script/bin/smpiff") - endif() + set(CMAKE_C_COMPILER "${CMAKE_BINARY_DIR}/smpi_script/bin/smpicc") + set(CMAKE_Fortran_COMPILER "${CMAKE_BINARY_DIR}/smpi_script/bin/smpiff") set(EXECUTABLE_OUTPUT_PATH "${CMAKE_CURRENT_BINARY_DIR}") include_directories(BEFORE "${CMAKE_HOME_DIRECTORY}/include/smpi") - FOREACH (s ${umpire_src}) - STRING(REGEX REPLACE "\\.c$" "" exe ${s}) - add_executable(${exe} ${s}) - target_link_libraries(${exe} simgrid) - set_source_files_properties(${s} PROPERTIES COMPILE_FLAGS "-Wno-error") - ENDFOREACH(s) + foreach (test ${umpire_tests_passing} ${umpire_tests_failing} ${umpire_tests_problematic} ) + add_executable(${test} ${test}.c) + target_link_libraries(${test} simgrid) + set_source_files_properties(${test}.c PROPERTIES COMPILE_FLAGS "-Wno-error") + set(umpire_tesh ${umpire_tesh} ${test}) + set(files_to_clean ${files_to_clean} ${CMAKE_CURRENT_BINARY_DIR}/${test}.tesh) + endforeach(test) + + foreach (test ${umpire_tests_passing} ) + write_file(${CMAKE_CURRENT_BINARY_DIR}/${test}.tesh "! timeout 30") + write_file(${CMAKE_CURRENT_BINARY_DIR}/${test}.tesh "! output display" APPEND) + write_file(${CMAKE_CURRENT_BINARY_DIR}/${test}.tesh "\$ \${bindir:=.}/../../../../bin/smpirun -wrapper \"\${bindir:=.}/../../../../bin/simgrid-mc\" -hostfile ../../hostfile -platform ../../../../examples/platforms/small_platform.xml --log=xbt_cfg.thresh:warning -np 3 --cfg=smpi/running_power:1e9 --cfg=smpi/coll_selector:mpich \${bindir:=.}/${test} --log=smpi_coll.thresh:error" APPEND) + endforeach() + + foreach (test ${umpire_tests_failing} ${umpire_tests_problematic} ) + write_file(${CMAKE_CURRENT_BINARY_DIR}/${test}.tesh "! timeout 30" ) + write_file(${CMAKE_CURRENT_BINARY_DIR}/${test}.tesh "! expect return 3" APPEND) + write_file(${CMAKE_CURRENT_BINARY_DIR}/${test}.tesh "! output display" APPEND) + write_file(${CMAKE_CURRENT_BINARY_DIR}/${test}.tesh "\$ \${bindir:=.}/../../../../bin/smpirun -wrapper \"\${bindir:=.}/../../../../bin/simgrid-mc\" -hostfile ../../hostfile -platform ../../../../examples/platforms/small_platform.xml --log=xbt_cfg.thresh:warning -np 3 --cfg=smpi/running_power:1e9 --cfg=smpi/coll_selector:mpich \${bindir:=.}/${test} --log=smpi_coll.thresh:error" APPEND) + endforeach() +endif() + +# Erase all tesh files on cleanup: they are generated anyway +set_directory_properties ( PROPERTIES ADDITIONAL_MAKE_CLEAN_FILES "${files_to_clean}" ) + +if(enable_smpi AND enable_smpi_ISP_testsuite) + foreach (tesh ${umpire_tesh}) + ADD_TESH(mc-umpire-${tesh} + --setenv srcdir=${CMAKE_CURRENT_SOURCE_DIR} + --setenv bindir=${CMAKE_CURRENT_BINARY_DIR} + --cd ${CMAKE_CURRENT_SOURCE_DIR} + ${CMAKE_CURRENT_BINARY_DIR}/${tesh}.tesh) + endforeach() endif() diff --git a/teshsuite/smpi/isp/umpire/any_src-can-deadlock10.tesh b/teshsuite/smpi/isp/umpire/any_src-can-deadlock10.tesh deleted file mode 100644 index e1c8c4544b..0000000000 --- a/teshsuite/smpi/isp/umpire/any_src-can-deadlock10.tesh +++ /dev/null @@ -1,44 +0,0 @@ -#! ./tesh - -! timeout 30 -! expect return 3 -! output display -$ ${bindir:=.}/../../../../bin/smpirun -wrapper "${bindir:=.}/../../../../bin/simgrid-mc" -hostfile ../../hostfile -platform ../../../../examples/platforms/small_platform.xml -np 3 --log=xbt_cfg.thresh:warning --cfg=smpi/running_power:1e9 --cfg=smpi/coll_selector:mpich ${bindir:=.}/any_src-can-deadlock10 --log=smpi_coll.thresh:error -> [0.000000] [mc_safety/INFO] Check a safety property -> (0) is alive on Tremblay -> (1) is alive on Jupiter -> (2) is alive on Fafard -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] *** DEAD-LOCK DETECTED *** -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] Locked request: -> [0.000000] [mc_global/INFO] Counter-example execution trace: -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(3)Fafard (2)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(3)Fafard (2)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] Expanded states = 26 -> [0.000000] [mc_global/INFO] Visited states = 26 -> [0.000000] [mc_global/INFO] Executed transitions = 25 -> Aborted diff --git a/teshsuite/smpi/isp/umpire/any_src-can-deadlock4.tesh b/teshsuite/smpi/isp/umpire/any_src-can-deadlock4.tesh deleted file mode 100644 index 953361c9cb..0000000000 --- a/teshsuite/smpi/isp/umpire/any_src-can-deadlock4.tesh +++ /dev/null @@ -1,44 +0,0 @@ -#! ./tesh - -! timeout 30 -! expect return 3 -! output display -$ ${bindir:=.}/../../../../bin/smpirun -wrapper "${bindir:=.}/../../../../bin/simgrid-mc" -hostfile ../../hostfile -platform ../../../../examples/platforms/small_platform.xml -np 3 --log=xbt_cfg.thresh:warning --cfg=smpi/running_power:1e9 --cfg=smpi/coll_selector:mpich ${bindir:=.}/any_src-can-deadlock4 --log=smpi_coll.thresh:error -> [0.000000] [mc_safety/INFO] Check a safety property -> (0) is alive on Tremblay -> (1) is alive on Jupiter -> (2) is alive on Fafard -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] *** DEAD-LOCK DETECTED *** -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] Locked request: -> [0.000000] [mc_global/INFO] Counter-example execution trace: -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(3)Fafard (2)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(3)Fafard (2)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] Expanded states = 26 -> [0.000000] [mc_global/INFO] Visited states = 26 -> [0.000000] [mc_global/INFO] Executed transitions = 25 -> Aborted diff --git a/teshsuite/smpi/isp/umpire/any_src-can-deadlock5.tesh b/teshsuite/smpi/isp/umpire/any_src-can-deadlock5.tesh deleted file mode 100644 index dc26e237c2..0000000000 --- a/teshsuite/smpi/isp/umpire/any_src-can-deadlock5.tesh +++ /dev/null @@ -1,44 +0,0 @@ -#! ./tesh - -! timeout 30 -! expect return 3 -! output display -$ ${bindir:=.}/../../../../bin/smpirun -wrapper "${bindir:=.}/../../../../bin/simgrid-mc" -hostfile ../../hostfile -platform ../../../../examples/platforms/small_platform.xml -np 3 --cfg=smpi/running_power:1e9 --log=xbt_cfg.thresh:warning --cfg=smpi/coll_selector:mpich ${bindir:=.}/any_src-can-deadlock5 --log=smpi_coll.thresh:error -> [0.000000] [mc_safety/INFO] Check a safety property -> (0) is alive on Tremblay -> (1) is alive on Jupiter -> (2) is alive on Fafard -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] *** DEAD-LOCK DETECTED *** -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] Locked request: -> [0.000000] [mc_global/INFO] Counter-example execution trace: -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(3)Fafard (2)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(3)Fafard (2)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] Expanded states = 26 -> [0.000000] [mc_global/INFO] Visited states = 26 -> [0.000000] [mc_global/INFO] Executed transitions = 25 -> Aborted diff --git a/teshsuite/smpi/isp/umpire/any_src-can-deadlock6.tesh b/teshsuite/smpi/isp/umpire/any_src-can-deadlock6.tesh deleted file mode 100644 index 3e860c863f..0000000000 --- a/teshsuite/smpi/isp/umpire/any_src-can-deadlock6.tesh +++ /dev/null @@ -1,44 +0,0 @@ -#! ./tesh - -! timeout 30 -! expect return 3 -! output display -$ ${bindir:=.}/../../../../bin/smpirun -wrapper "${bindir:=.}/../../../../bin/simgrid-mc" -hostfile ../../hostfile -platform ../../../../examples/platforms/small_platform.xml --log=xbt_cfg.thresh:warning -np 3 --cfg=smpi/running_power:1e9 --cfg=smpi/coll_selector:mpich ${bindir:=.}/any_src-can-deadlock6 --log=smpi_coll.thresh:error -> [0.000000] [mc_safety/INFO] Check a safety property -> (0) is alive on Tremblay -> (1) is alive on Jupiter -> (2) is alive on Fafard -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] *** DEAD-LOCK DETECTED *** -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] Locked request: -> [0.000000] [mc_global/INFO] Counter-example execution trace: -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(3)Fafard (2)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(3)Fafard (2)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] Expanded states = 26 -> [0.000000] [mc_global/INFO] Visited states = 26 -> [0.000000] [mc_global/INFO] Executed transitions = 25 -> Aborted diff --git a/teshsuite/smpi/isp/umpire/any_src-wait-deadlock.tesh b/teshsuite/smpi/isp/umpire/any_src-wait-deadlock.tesh deleted file mode 100644 index 7b46a24a94..0000000000 --- a/teshsuite/smpi/isp/umpire/any_src-wait-deadlock.tesh +++ /dev/null @@ -1,41 +0,0 @@ -#! ./tesh - -! timeout 30 -! expect return 3 -! output display -$ ${bindir:=.}/../../../../bin/smpirun -wrapper "${bindir:=.}/../../../../bin/simgrid-mc" -hostfile ../../hostfile -platform ../../../../examples/platforms/small_platform.xml --log=xbt_cfg.thresh:warning -np 3 --cfg=smpi/running_power:1e9 --cfg=smpi/coll_selector:mpich ${bindir:=.}/any_src-wait-deadlock --log=smpi_coll.thresh:error -> [0.000000] [mc_safety/INFO] Check a safety property -> (0) is alive on Tremblay -> (1) is alive on Jupiter -> (2) is alive on Fafard -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] *** DEAD-LOCK DETECTED *** -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] Locked request: -> [0.000000] [mc_global/INFO] Counter-example execution trace: -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(3)Fafard (2)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(3)Fafard (2)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] Expanded states = 23 -> [0.000000] [mc_global/INFO] Visited states = 23 -> [0.000000] [mc_global/INFO] Executed transitions = 22 -> Aborted diff --git a/teshsuite/smpi/isp/umpire/any_src-waitall-deadlock2.tesh b/teshsuite/smpi/isp/umpire/any_src-waitall-deadlock2.tesh deleted file mode 100644 index 0232c4e8ad..0000000000 --- a/teshsuite/smpi/isp/umpire/any_src-waitall-deadlock2.tesh +++ /dev/null @@ -1,44 +0,0 @@ -#! ./tesh - -! timeout 30 -! expect return 3 -! output display -$ ${bindir:=.}/../../../../bin/smpirun -wrapper "${bindir:=.}/../../../../bin/simgrid-mc" -hostfile ../../hostfile -platform ../../../../examples/platforms/small_platform.xml --log=xbt_cfg.thresh:warning -np 3 --cfg=smpi/running_power:1e9 --cfg=smpi/coll_selector:mpich ${bindir:=.}/any_src-waitall-deadlock2 --log=smpi_coll.thresh:error -> [0.000000] [mc_safety/INFO] Check a safety property -> (0) is alive on Tremblay -> (1) is alive on Jupiter -> (2) is alive on Fafard -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] *** DEAD-LOCK DETECTED *** -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] Locked request: -> [0.000000] [mc_global/INFO] Counter-example execution trace: -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(3)Fafard (2)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(3)Fafard (2)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] Expanded states = 26 -> [0.000000] [mc_global/INFO] Visited states = 26 -> [0.000000] [mc_global/INFO] Executed transitions = 25 -> Aborted diff --git a/teshsuite/smpi/isp/umpire/any_src-waitall-deadlock3.tesh b/teshsuite/smpi/isp/umpire/any_src-waitall-deadlock3.tesh deleted file mode 100644 index ef536d73a1..0000000000 --- a/teshsuite/smpi/isp/umpire/any_src-waitall-deadlock3.tesh +++ /dev/null @@ -1,47 +0,0 @@ -#! ./tesh - -! timeout 30 -! expect return 3 -! output display -$ ${bindir:=.}/../../../../bin/smpirun -wrapper "${bindir:=.}/../../../../bin/simgrid-mc" -hostfile ../../hostfile -platform ../../../../examples/platforms/small_platform.xml --log=xbt_cfg.thresh:warning -np 3 --cfg=smpi/running_power:1e9 --cfg=smpi/coll_selector:mpich ${bindir:=.}/any_src-waitall-deadlock3 --log=smpi_coll.thresh:error -> [0.000000] [mc_safety/INFO] Check a safety property -> (0) is alive on Tremblay -> (1) is alive on Jupiter -> (2) is alive on Fafard -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] *** DEAD-LOCK DETECTED *** -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] Locked request: -> [0.000000] [mc_global/INFO] Counter-example execution trace: -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(3)Fafard (2)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(3)Fafard (2)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] Expanded states = 29 -> [0.000000] [mc_global/INFO] Visited states = 29 -> [0.000000] [mc_global/INFO] Executed transitions = 28 -> Aborted diff --git a/teshsuite/smpi/isp/umpire/any_src-waitany-deadlock.tesh b/teshsuite/smpi/isp/umpire/any_src-waitany-deadlock.tesh deleted file mode 100644 index 3d27e9315f..0000000000 --- a/teshsuite/smpi/isp/umpire/any_src-waitany-deadlock.tesh +++ /dev/null @@ -1,42 +0,0 @@ -#! ./tesh - -! timeout 30 -! expect return 3 -! output display -$ ${bindir:=.}/../../../../bin/smpirun -wrapper "${bindir:=.}/../../../../bin/simgrid-mc" -hostfile ../../hostfile -platform ../../../../examples/platforms/small_platform.xml --log=xbt_cfg.thresh:warning -np 3 --cfg=smpi/running_power:1e9 --cfg=smpi/coll_selector:mpich ${bindir:=.}/any_src-waitany-deadlock --log=smpi_coll.thresh:error -> [0.000000] [mc_safety/INFO] Check a safety property -> (0) is alive on Tremblay -> (1) is alive on Jupiter -> (2) is alive on Fafard -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] *** DEAD-LOCK DETECTED *** -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] Locked request: -> [0.000000] [mc_global/INFO] Counter-example execution trace: -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(3)Fafard (2)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(3)Fafard (2)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] Expanded states = 24 -> [0.000000] [mc_global/INFO] Visited states = 24 -> [0.000000] [mc_global/INFO] Executed transitions = 23 -> Aborted diff --git a/teshsuite/smpi/isp/umpire/any_src-waitany-deadlock2.tesh b/teshsuite/smpi/isp/umpire/any_src-waitany-deadlock2.tesh deleted file mode 100644 index cd966d4a8d..0000000000 --- a/teshsuite/smpi/isp/umpire/any_src-waitany-deadlock2.tesh +++ /dev/null @@ -1,47 +0,0 @@ -#! ./tesh - -! timeout 30 -! expect return 3 -! output display -$ ${bindir:=.}/../../../../bin/smpirun -wrapper "${bindir:=.}/../../../../bin/simgrid-mc" -hostfile ../../hostfile -platform ../../../../examples/platforms/small_platform.xml --log=xbt_cfg.thresh:warning -np 3 --cfg=smpi/running_power:1e9 --cfg=smpi/coll_selector:mpich ${bindir:=.}/any_src-waitany-deadlock2 --log=smpi_coll.thresh:error -> [0.000000] [mc_safety/INFO] Check a safety property -> (0) is alive on Tremblay -> (1) is alive on Jupiter -> (2) is alive on Fafard -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] *** DEAD-LOCK DETECTED *** -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] Locked request: -> [0.000000] [mc_global/INFO] Counter-example execution trace: -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(3)Fafard (2)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(3)Fafard (2)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] Expanded states = 29 -> [0.000000] [mc_global/INFO] Visited states = 29 -> [0.000000] [mc_global/INFO] Executed transitions = 28 -> Aborted diff --git a/teshsuite/smpi/isp/umpire/basic-deadlock-comm_create.tesh b/teshsuite/smpi/isp/umpire/basic-deadlock-comm_create.tesh deleted file mode 100644 index b760309840..0000000000 --- a/teshsuite/smpi/isp/umpire/basic-deadlock-comm_create.tesh +++ /dev/null @@ -1,42 +0,0 @@ -#! ./tesh - -! timeout 30 -! expect return 3 -! output display -$ ${bindir:=.}/../../../../bin/smpirun -wrapper "${bindir:=.}/../../../../bin/simgrid-mc" --log=xbt_cfg.thresh:warning -hostfile ../../hostfile -platform ../../../../examples/platforms/small_platform.xml -np 3 --cfg=smpi/running_power:1e9 --cfg=smpi/coll_selector:mpich ${bindir:=.}/basic-deadlock-comm_create --log=smpi_coll.thresh:error -> [0.000000] [mc_safety/INFO] Check a safety property -> (0) is alive on Tremblay -> (1) is alive on Jupiter -> (2) is alive on Fafard -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] *** DEAD-LOCK DETECTED *** -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] Locked request: -> [0.000000] [mc_global/INFO] Counter-example execution trace: -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(3)Fafard (2)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(3)Fafard (2)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] Expanded states = 23 -> [0.000000] [mc_global/INFO] Visited states = 23 -> [0.000000] [mc_global/INFO] Executed transitions = 22 -> (1) Got MPI_COMM_NULL -> Aborted diff --git a/teshsuite/smpi/isp/umpire/basic-deadlock-comm_dup.tesh b/teshsuite/smpi/isp/umpire/basic-deadlock-comm_dup.tesh deleted file mode 100644 index b7cb405e60..0000000000 --- a/teshsuite/smpi/isp/umpire/basic-deadlock-comm_dup.tesh +++ /dev/null @@ -1,41 +0,0 @@ -#! ./tesh - -! timeout 30 -! expect return 3 -! output display -$ ${bindir:=.}/../../../../bin/smpirun -wrapper "${bindir:=.}/../../../../bin/simgrid-mc" -hostfile ../../hostfile -platform ../../../../examples/platforms/small_platform.xml --log=xbt_cfg.thresh:warning -np 3 --cfg=smpi/running_power:1e9 --cfg=smpi/coll_selector:mpich ${bindir:=.}/basic-deadlock-comm_dup --log=smpi_coll.thresh:error -> [0.000000] [mc_safety/INFO] Check a safety property -> (0) is alive on Tremblay -> (1) is alive on Jupiter -> (2) is alive on Fafard -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] *** DEAD-LOCK DETECTED *** -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] Locked request: -> [0.000000] [mc_global/INFO] Counter-example execution trace: -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(3)Fafard (2)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(3)Fafard (2)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] Expanded states = 23 -> [0.000000] [mc_global/INFO] Visited states = 23 -> [0.000000] [mc_global/INFO] Executed transitions = 22 -> Aborted diff --git a/teshsuite/smpi/isp/umpire/basic-deadlock-comm_split.tesh b/teshsuite/smpi/isp/umpire/basic-deadlock-comm_split.tesh deleted file mode 100644 index 4a50677be7..0000000000 --- a/teshsuite/smpi/isp/umpire/basic-deadlock-comm_split.tesh +++ /dev/null @@ -1,54 +0,0 @@ -#! ./tesh - -! timeout 30 -! expect return 3 -! output display -$ ${bindir:=.}/../../../../bin/smpirun -wrapper "${bindir:=.}/../../../../bin/simgrid-mc" -hostfile ../../hostfile -platform ../../../../examples/platforms/small_platform.xml --log=xbt_cfg.thresh:warning -np 3 --cfg=smpi/running_power:1e9 --cfg=smpi/coll_selector:mpich ${bindir:=.}/basic-deadlock-comm_split --log=smpi_coll.thresh:error -> [0.000000] [mc_safety/INFO] Check a safety property -> (0) is alive on Tremblay -> (1) is alive on Jupiter -> (2) is alive on Fafard -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] *** DEAD-LOCK DETECTED *** -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] Locked request: -> [0.000000] [mc_global/INFO] Counter-example execution trace: -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(3)Fafard (2)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(3)Fafard (2)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(3)Fafard (2)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] Expanded states = 35 -> [0.000000] [mc_global/INFO] Visited states = 35 -> [0.000000] [mc_global/INFO] Executed transitions = 34 -> (1) Derived communicator too small (size = 1) -> Aborted diff --git a/teshsuite/smpi/isp/umpire/basic-deadlock.tesh b/teshsuite/smpi/isp/umpire/basic-deadlock.tesh deleted file mode 100644 index 6573a11a53..0000000000 --- a/teshsuite/smpi/isp/umpire/basic-deadlock.tesh +++ /dev/null @@ -1,41 +0,0 @@ -#! ./tesh - -! timeout 30 -! expect return 3 -! output display -$ ${bindir:=.}/../../../../bin/smpirun -wrapper "${bindir:=.}/../../../../bin/simgrid-mc" -hostfile ../../hostfile -platform ../../../../examples/platforms/small_platform.xml --log=xbt_cfg.thresh:warning -np 3 --cfg=smpi/running_power:1e9 --cfg=smpi/coll_selector:mpich ${bindir:=.}/basic-deadlock --log=smpi_coll.thresh:error -> [0.000000] [mc_safety/INFO] Check a safety property -> (0) is alive on Tremblay -> (1) is alive on Jupiter -> (2) is alive on Fafard -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] *** DEAD-LOCK DETECTED *** -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] Locked request: -> [0.000000] [mc_global/INFO] Counter-example execution trace: -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(3)Fafard (2)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(3)Fafard (2)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] Expanded states = 23 -> [0.000000] [mc_global/INFO] Visited states = 23 -> [0.000000] [mc_global/INFO] Executed transitions = 22 -> Aborted diff --git a/teshsuite/smpi/isp/umpire/bcast-deadlock.tesh b/teshsuite/smpi/isp/umpire/bcast-deadlock.tesh deleted file mode 100644 index 34fab60c27..0000000000 --- a/teshsuite/smpi/isp/umpire/bcast-deadlock.tesh +++ /dev/null @@ -1,22 +0,0 @@ -#! ./tesh - -! timeout 30 -! expect return 3 -! output display -$ ${bindir:=.}/../../../../bin/smpirun -wrapper "${bindir:=.}/../../../../bin/simgrid-mc" -hostfile ../../hostfile -platform ../../../../examples/platforms/small_platform.xml --log=xbt_cfg.thresh:warning -np 3 --cfg=smpi/running_power:1e9 --cfg=smpi/coll_selector:mpich ${bindir:=.}/bcast-deadlock --log=smpi_coll.thresh:error -> [0.000000] [mc_safety/INFO] Check a safety property -> (0) is alive on Tremblay -> (1) is alive on Jupiter -> (2) is alive on Fafard -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] *** DEAD-LOCK DETECTED *** -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] Locked request: -> [0.000000] [mc_global/INFO] Counter-example execution trace: -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] Expanded states = 4 -> [0.000000] [mc_global/INFO] Visited states = 4 -> [0.000000] [mc_global/INFO] Executed transitions = 3 -> Aborted diff --git a/teshsuite/smpi/isp/umpire/collective-misorder-allreduce.tesh b/teshsuite/smpi/isp/umpire/collective-misorder-allreduce.tesh deleted file mode 100644 index e09393813f..0000000000 --- a/teshsuite/smpi/isp/umpire/collective-misorder-allreduce.tesh +++ /dev/null @@ -1,41 +0,0 @@ -#! ./tesh - -! timeout 30 -! expect return 3 -! output display -$ ${bindir:=.}/../../../../bin/smpirun -wrapper "${bindir:=.}/../../../../bin/simgrid-mc" -hostfile ../../hostfile -platform ../../../../examples/platforms/small_platform.xml --log=xbt_cfg.thresh:warning -np 3 --cfg=smpi/running_power:1e9 --cfg=smpi/coll_selector:mpich ${bindir:=.}/collective-misorder-allreduce --log=smpi_coll.thresh:error -> [0.000000] [mc_safety/INFO] Check a safety property -> (0) is alive on Tremblay -> (1) is alive on Jupiter -> (2) is alive on Fafard -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] *** DEAD-LOCK DETECTED *** -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] Locked request: -> [0.000000] [mc_global/INFO] Counter-example execution trace: -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(3)Fafard (2)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(3)Fafard (2)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] Expanded states = 23 -> [0.000000] [mc_global/INFO] Visited states = 23 -> [0.000000] [mc_global/INFO] Executed transitions = 22 -> Aborted diff --git a/teshsuite/smpi/isp/umpire/collective-misorder.tesh b/teshsuite/smpi/isp/umpire/collective-misorder.tesh deleted file mode 100644 index c4f7128bfa..0000000000 --- a/teshsuite/smpi/isp/umpire/collective-misorder.tesh +++ /dev/null @@ -1,63 +0,0 @@ -#! ./tesh - -! timeout 30 -! expect return 3 -! output display -$ ${bindir:=.}/../../../../bin/smpirun -wrapper "${bindir:=.}/../../../../bin/simgrid-mc" -hostfile ../../hostfile -platform ../../../../examples/platforms/small_platform.xml --log=xbt_cfg.thresh:warning -np 3 --cfg=smpi/running_power:1e9 --cfg=smpi/coll_selector:mpich ${bindir:=.}/collective-misorder --log=smpi_coll.thresh:error -> [0.000000] [mc_safety/INFO] Check a safety property -> (0) is alive on Tremblay -> (1) is alive on Jupiter -> (2) is alive on Fafard -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] *** DEAD-LOCK DETECTED *** -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] Locked request: -> [0.000000] [mc_global/INFO] Counter-example execution trace: -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(3)Fafard (2)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(3)Fafard (2)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(3)Fafard (2)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(3)Fafard (2)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] Expanded states = 45 -> [0.000000] [mc_global/INFO] Visited states = 45 -> [0.000000] [mc_global/INFO] Executed transitions = 44 -> Aborted diff --git a/teshsuite/smpi/isp/umpire/complex-deadlock.tesh b/teshsuite/smpi/isp/umpire/complex-deadlock.tesh deleted file mode 100644 index 849df7ad8f..0000000000 --- a/teshsuite/smpi/isp/umpire/complex-deadlock.tesh +++ /dev/null @@ -1,44 +0,0 @@ -#! ./tesh - -! timeout 30 -! expect return 3 -! output display -$ ${bindir:=.}/../../../../bin/smpirun -wrapper "${bindir:=.}/../../../../bin/simgrid-mc" -hostfile ../../hostfile -platform ../../../../examples/platforms/small_platform.xml --log=xbt_cfg.thresh:warning -np 3 --cfg=smpi/running_power:1e9 --cfg=smpi/coll_selector:mpich ${bindir:=.}/complex-deadlock --log=smpi_coll.thresh:error -> [0.000000] [mc_safety/INFO] Check a safety property -> (0) is alive on Tremblay -> (1) is alive on Jupiter -> (2) is alive on Fafard -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] *** DEAD-LOCK DETECTED *** -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] Locked request: -> [0.000000] [mc_global/INFO] Counter-example execution trace: -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(3)Fafard (2)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(3)Fafard (2)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] Expanded states = 26 -> [0.000000] [mc_global/INFO] Visited states = 26 -> [0.000000] [mc_global/INFO] Executed transitions = 25 -> Aborted diff --git a/teshsuite/smpi/isp/umpire/deadlock-config.tesh b/teshsuite/smpi/isp/umpire/deadlock-config.tesh deleted file mode 100644 index 73bc83247e..0000000000 --- a/teshsuite/smpi/isp/umpire/deadlock-config.tesh +++ /dev/null @@ -1,26 +0,0 @@ -#! ./tesh - -! timeout 30 -! expect return 3 -! output display -$ ${bindir:=.}/../../../../bin/smpirun -wrapper "${bindir:=.}/../../../../bin/simgrid-mc" -hostfile ../../hostfile -platform ../../../../examples/platforms/small_platform.xml --log=xbt_cfg.thresh:warning -np 3 --cfg=smpi/running_power:1e9 --cfg=smpi/coll_selector:mpich ${bindir:=.}/deadlock-config --log=smpi_coll.thresh:error -> [0.000000] [mc_safety/INFO] Check a safety property -> WARNING: This test depends on the MPI's eager limit. Set it appropriately. -> Initializing (0 of 3) -> (0) is alive on Tremblay -> Initializing (1 of 3) -> (1) is alive on Jupiter -> Initializing (2 of 3) -> (2) is alive on Fafard -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] *** DEAD-LOCK DETECTED *** -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] Locked request: -> [0.000000] [mc_global/INFO] Counter-example execution trace: -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] Expanded states = 4 -> [0.000000] [mc_global/INFO] Visited states = 4 -> [0.000000] [mc_global/INFO] Executed transitions = 3 -> Aborted diff --git a/teshsuite/smpi/isp/umpire/finalize-deadlock.tesh b/teshsuite/smpi/isp/umpire/finalize-deadlock.tesh deleted file mode 100644 index a48e2696e8..0000000000 --- a/teshsuite/smpi/isp/umpire/finalize-deadlock.tesh +++ /dev/null @@ -1,40 +0,0 @@ -#! ./tesh - -! timeout 30 -! expect return 3 -! output display -$ ${bindir:=.}/../../../../bin/smpirun -wrapper "${bindir:=.}/../../../../bin/simgrid-mc" -hostfile ../../hostfile -platform ../../../../examples/platforms/small_platform.xml --log=xbt_cfg.thresh:warning -np 3 --cfg=smpi/running_power:1e9 --cfg=smpi/coll_selector:mpich ${bindir:=.}/finalize-deadlock --log=smpi_coll.thresh:error -> [0.000000] [mc_safety/INFO] Check a safety property -> (0) is alive on Tremblay -> (1) is alive on Jupiter -> (2) is alive on Fafard -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] *** DEAD-LOCK DETECTED *** -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] Locked request: -> [0.000000] [mc_global/INFO] Counter-example execution trace: -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(3)Fafard (2)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(3)Fafard (2)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] Expanded states = 20 -> [0.000000] [mc_global/INFO] Visited states = 20 -> [0.000000] [mc_global/INFO] Executed transitions = 19 -> (1) Finished normally -> (2) Finished normally -> Aborted diff --git a/teshsuite/smpi/isp/umpire/irecv-deadlock.tesh b/teshsuite/smpi/isp/umpire/irecv-deadlock.tesh deleted file mode 100644 index 92675e0a13..0000000000 --- a/teshsuite/smpi/isp/umpire/irecv-deadlock.tesh +++ /dev/null @@ -1,40 +0,0 @@ -#! ./tesh - -! timeout 30 -! expect return 3 -! output display -$ ${bindir:=.}/../../../../bin/smpirun -wrapper "${bindir:=.}/../../../../bin/simgrid-mc" -hostfile ../../hostfile -platform ../../../../examples/platforms/small_platform.xml --log=xbt_cfg.thresh:warning -np 3 --cfg=smpi/running_power:1e9 --cfg=smpi/coll_selector:mpich ${bindir:=.}/irecv-deadlock --log=smpi_coll.thresh:error -> [0.000000] [mc_safety/INFO] Check a safety property -> (0) is alive on Tremblay -> (1) is alive on Jupiter -> (2) is alive on Fafard -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] *** DEAD-LOCK DETECTED *** -> [0.000000] [mc_global/INFO] ************************** -> [0.000000] [mc_global/INFO] Locked request: -> [0.000000] [mc_global/INFO] Counter-example execution trace: -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iSend(src=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(3)Fafard (2)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iSend(src=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (1)Tremblay (0)]) -> [0.000000] [mc_global/INFO] [(1)Tremblay (0)] iRecv(dst=(1)Tremblay (0), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(2)Jupiter (1)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iSend(src=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] Wait(comm=(verbose only) [(3)Fafard (2)-> (2)Jupiter (1)]) -> [0.000000] [mc_global/INFO] [(2)Jupiter (1)] iRecv(dst=(2)Jupiter (1), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] Wait(comm=(verbose only) [(1)Tremblay (0)-> (3)Fafard (2)]) -> [0.000000] [mc_global/INFO] [(3)Fafard (2)] iRecv(dst=(3)Fafard (2), buff=(verbose only), size=(verbose only)) -> [0.000000] [mc_global/INFO] Expanded states = 22 -> [0.000000] [mc_global/INFO] Visited states = 22 -> [0.000000] [mc_global/INFO] Executed transitions = 21 -> Aborted diff --git a/teshsuite/smpi/isp/umpire/no-error.tesh b/teshsuite/smpi/isp/umpire/no-error.tesh deleted file mode 100644 index 4efb16f403..0000000000 --- a/teshsuite/smpi/isp/umpire/no-error.tesh +++ /dev/null @@ -1,17 +0,0 @@ -#! ./tesh - -! timeout 30 -! expect return 0 -! output display -$ ${bindir:=.}/../../../../bin/smpirun -wrapper "${bindir:=.}/../../../../bin/simgrid-mc" -hostfile ../../hostfile -platform ../../../../examples/platforms/small_platform.xml --log=xbt_cfg.thresh:warning -np 3 --cfg=smpi/running_power:1e9 --cfg=smpi/coll_selector:mpich ${bindir:=.}/no-error --log=smpi_coll.thresh:error -> [0.000000] [mc_safety/INFO] Check a safety property -> (0) is alive on Tremblay -> (1) is alive on Jupiter -> (2) is alive on Fafard -> [0.000000] [mc_global/INFO] Expanded states = 19 -> [0.000000] [mc_global/INFO] Visited states = 46 -> [0.000000] [mc_global/INFO] Executed transitions = 42 -> (2) Finished normally -> (0) Finished normally -> (1) Finished normally -> Aborted diff --git a/teshsuite/smpi/isp/umpire/no-error2.tesh b/teshsuite/smpi/isp/umpire/no-error2.tesh deleted file mode 100644 index a5db7cbdc5..0000000000 --- a/teshsuite/smpi/isp/umpire/no-error2.tesh +++ /dev/null @@ -1,22 +0,0 @@ -#! ./tesh - -! timeout 30 -! expect return 0 -! output display -$ ${bindir:=.}/../../../../bin/smpirun -wrapper "${bindir:=.}/../../../../bin/simgrid-mc" -hostfile ../../hostfile -platform ../../../../examples/platforms/small_platform.xml --log=xbt_cfg.thresh:warning -np 3 --cfg=smpi/running_power:1e9 --cfg=smpi/coll_selector:mpich ${bindir:=.}/no-error2 --log=smpi_coll.thresh:error -> [0.000000] [mc_safety/INFO] Check a safety property -> (0) is alive on Tremblay -> (1) is alive on Jupiter -> (2) is alive on Fafard -> [0.000000] [mc_global/INFO] Expanded states = 87 -> [0.000000] [mc_global/INFO] Visited states = 343 -> [0.000000] [mc_global/INFO] Executed transitions = 331 -> (0) Finished normally -> (1) Finished normally -> (2) Finished normally -> (0) Finished normally -> (0) Finished normally -> (1) Finished normally -> (2) Finished normally -> (0) Finished normally -> Aborted diff --git a/teshsuite/smpi/isp/umpire/no-error3-any_src.tesh b/teshsuite/smpi/isp/umpire/no-error3-any_src.tesh deleted file mode 100644 index 620268f654..0000000000 --- a/teshsuite/smpi/isp/umpire/no-error3-any_src.tesh +++ /dev/null @@ -1,22 +0,0 @@ -#! ./tesh - -! timeout 30 -! expect return 0 -! output display -$ ${bindir:=.}/../../../../bin/smpirun -wrapper "${bindir:=.}/../../../../bin/simgrid-mc" -hostfile ../../hostfile -platform ../../../../examples/platforms/small_platform.xml --log=xbt_cfg.thresh:warning -np 3 --cfg=smpi/running_power:1e9 --cfg=smpi/coll_selector:mpich ${bindir:=.}/no-error3-any_src --log=smpi_coll.thresh:error -> [0.000000] [mc_safety/INFO] Check a safety property -> (0) is alive on Tremblay -> (1) is alive on Jupiter -> (2) is alive on Fafard -> [0.000000] [mc_global/INFO] Expanded states = 80 -> [0.000000] [mc_global/INFO] Visited states = 328 -> [0.000000] [mc_global/INFO] Executed transitions = 315 -> (0) Finished normally -> (1) Finished normally -> (2) Finished normally -> (0) Finished normally -> (0) Finished normally -> (1) Finished normally -> (2) Finished normally -> (0) Finished normally -> Aborted diff --git a/teshsuite/smpi/isp/umpire/no-error3.tesh b/teshsuite/smpi/isp/umpire/no-error3.tesh deleted file mode 100644 index b43d547fdd..0000000000 --- a/teshsuite/smpi/isp/umpire/no-error3.tesh +++ /dev/null @@ -1,22 +0,0 @@ -#! ./tesh - -! timeout 30 -! expect return 0 -! output display -$ ${bindir:=.}/../../../../bin/smpirun -wrapper "${bindir:=.}/../../../../bin/simgrid-mc" -hostfile ../../hostfile -platform ../../../../examples/platforms/small_platform.xml --log=xbt_cfg.thresh:warning -np 3 --cfg=smpi/running_power:1e9 --cfg=smpi/coll_selector:mpich ${bindir:=.}/no-error3 --log=smpi_coll.thresh:error -> [0.000000] [mc_safety/INFO] Check a safety property -> (0) is alive on Tremblay -> (1) is alive on Jupiter -> (2) is alive on Fafard -> [0.000000] [mc_global/INFO] Expanded states = 80 -> [0.000000] [mc_global/INFO] Visited states = 328 -> [0.000000] [mc_global/INFO] Executed transitions = 315 -> (0) Finished normally -> (1) Finished normally -> (2) Finished normally -> (0) Finished normally -> (0) Finished normally -> (1) Finished normally -> (2) Finished normally -> (0) Finished normally -> Aborted diff --git a/tools/cmake/AddTests.cmake b/tools/cmake/AddTests.cmake index 790355ca44..4bb32bde15 100644 --- a/tools/cmake/AddTests.cmake +++ b/tools/cmake/AddTests.cmake @@ -550,42 +550,6 @@ IF(NOT enable_memcheck) ENDIF() -if(enable_smpi AND enable_smpi_ISP_testsuite) -FOREACH (tesh - any_src-can-deadlock10 - any_src-can-deadlock4 - any_src-can-deadlock5 - any_src-can-deadlock6 - any_src-waitall-deadlock2 - any_src-waitall-deadlock3 - any_src-waitany-deadlock2 - any_src-waitany-deadlock - any_src-wait-deadlock - basic-deadlock-comm_create - basic-deadlock-comm_dup - basic-deadlock-comm_split - basic-deadlock - bcast-deadlock - collective-misorder-allreduce - collective-misorder - complex-deadlock - deadlock-config - finalize-deadlock - irecv-deadlock - no-error2 - no-error3-any_src - no-error3 - no-error - ) - IF(HAVE_MC) - ADD_TESH(mc-umpire-${tesh} - --setenv srcdir=${CMAKE_HOME_DIRECTORY}/teshsuite/smpi/isp/umpire - --setenv bindir=${CMAKE_BINARY_DIR}/teshsuite/smpi/isp/umpire - --cd ${CMAKE_HOME_DIRECTORY}/teshsuite/smpi/isp/umpire - ${CMAKE_HOME_DIRECTORY}/teshsuite/smpi/isp/umpire/${tesh}.tesh) - ENDIF() -ENDFOREACH() -endif() ## OTHER ## ADD_TEST(testall ${CMAKE_BINARY_DIR}/src/testall) -- 2.20.1