X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/1386d9951c6653d682ba02d5ed9155485acf4f64..cbf0d34a2d64218c08c993b864d41e53a1b5424f:/examples/s4u/CMakeLists.txt diff --git a/examples/s4u/CMakeLists.txt b/examples/s4u/CMakeLists.txt index 5672278463..cffe25d10b 100644 --- a/examples/s4u/CMakeLists.txt +++ b/examples/s4u/CMakeLists.txt @@ -1,21 +1,22 @@ -# Regular examples: with only one source and tested with all factories +# Regular examples: with only one source and tested with all factories ###################################################################### foreach (example actor-create actor-daemon actor-exiting actor-join actor-kill actor-lifetime actor-migrate actor-suspend actor-yield app-chainsend app-pingpong app-token-ring async-ready async-wait async-waitany async-waitall async-waituntil + comm-dependent cloud-capping cloud-migration cloud-simple - energy-exec energy-boot energy-link energy-vm + energy-exec energy-boot energy-link energy-vm energy-exec-ptask engine-filtering - exec-async exec-basic exec-dvfs exec-ptask exec-remote exec-waitany - io-async io-file-system io-file-remote io-storage-raw io-disk-raw + exec-async exec-basic exec-dvfs exec-ptask exec-remote exec-waitany exec-waitfor exec-dependent + io-async io-file-system io-file-remote io-disk-raw io-dependent platform-failures platform-profile platform-properties plugin-hostload - replay-comm replay-storage + replay-comm replay-io routing-get-clusters - synchro-barrier synchro-mutex synchro-semaphore) + synchro-barrier synchro-condition-variable synchro-mutex synchro-semaphore) add_executable (s4u-${example} EXCLUDE_FROM_ALL ${example}/s4u-${example}.cpp) add_dependencies (tests s4u-${example}) target_link_libraries(s4u-${example} simgrid) @@ -32,7 +33,7 @@ foreach (example actor-create actor-daemon actor-exiting actor-join actor-kill endforeach() -# Model-checking examples: with only one source and tested with all factories but thread +# Model-checking examples: with only one source and tested with all factories but thread ###################################################################### foreach (example mc-failing-assert) @@ -101,6 +102,16 @@ foreach (file s4u-bittorrent s4u-peer s4u-tracker) ${CMAKE_CURRENT_SOURCE_DIR}/app-bittorrent/${file}.hpp) endforeach() +# The tests of DHT, along with the parallel variant + +if(CMAKE_SYSTEM_NAME STREQUAL "SunOS" AND CMAKE_SYSTEM_PROCESSOR STREQUAL "i386" AND CMAKE_SIZEOF_VOID_P EQUAL 8) + # Thread-local storage (TLS) is needed for parallel execution, but it doesn't + # play well with Ucontexts on 64bit SunOS (at least on x86_64). + set(parallel-factories "thread;raw;boost") +else() + set(parallel-factories "thread;ucontext;raw;boost") +endif() + foreach(example app-bittorrent app-masterworkers dht-chord dht-kademlia ) @@ -109,6 +120,12 @@ foreach(example app-bittorrent app-masterworkers --setenv platfdir=${CMAKE_HOME_DIRECTORY}/examples/platforms --cd ${CMAKE_CURRENT_SOURCE_DIR}/${example} ${CMAKE_HOME_DIRECTORY}/examples/s4u/${example}/s4u-${example}.tesh) + + ADD_TESH_FACTORIES(s4u-${example}-parallel "${parallel-factories}" --cfg contexts/nthreads:4 ${CONTEXTS_SYNCHRO} + --setenv bindir=${CMAKE_CURRENT_BINARY_DIR}/${example} + --setenv platfdir=${CMAKE_HOME_DIRECTORY}/examples/platforms + --cd ${CMAKE_CURRENT_SOURCE_DIR}/${example} + ${CMAKE_HOME_DIRECTORY}/examples/s4u/${example}/s4u-${example}.tesh) endforeach() # Examples not accepting factories @@ -181,12 +198,11 @@ set(xml_files ${xml_files} ${CMAKE_CURRENT_SOURCE_DIR}/actor-create/s4u-a ${CMAKE_CURRENT_SOURCE_DIR}/platform-failures/s4u-platform-failures_d.xml ${CMAKE_CURRENT_SOURCE_DIR}/replay-comm/s4u-replay-comm-split_d.xml ${CMAKE_CURRENT_SOURCE_DIR}/replay-comm/s4u-replay-comm_d.xml - ${CMAKE_CURRENT_SOURCE_DIR}/replay-storage/s4u-replay-storage_d.xml + ${CMAKE_CURRENT_SOURCE_DIR}/replay-io/s4u-replay-io_d.xml PARENT_SCOPE) set(bin_files ${bin_files} ${CMAKE_CURRENT_SOURCE_DIR}/dht-kademlia/generate.py PARENT_SCOPE) set(txt_files ${txt_files} ${CMAKE_CURRENT_SOURCE_DIR}/replay-comm/s4u-replay-comm-split-p0.txt ${CMAKE_CURRENT_SOURCE_DIR}/replay-comm/s4u-replay-comm-split-p1.txt ${CMAKE_CURRENT_SOURCE_DIR}/replay-comm/s4u-replay-comm.txt - ${CMAKE_CURRENT_SOURCE_DIR}/replay-storage/s4u-replay-storage.txt - ${CMAKE_CURRENT_SOURCE_DIR}/README.rst PARENT_SCOPE) + ${CMAKE_CURRENT_SOURCE_DIR}/replay-io/s4u-replay-io.txt PARENT_SCOPE)