X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/498f97c6a9dba4c63ba605da7c7df669bffa96bf..refs/heads/dev:/MANIFEST.in diff --git a/MANIFEST.in b/MANIFEST.in index f2f6e1d086..938585b7b2 100644 --- a/MANIFEST.in +++ b/MANIFEST.in @@ -166,6 +166,10 @@ include examples/cpp/app-masterworkers/s4u-app-masterworkers.tesh include examples/cpp/app-masterworkers/s4u-app-masterworkers_d.xml include examples/cpp/app-token-ring/s4u-app-token-ring.cpp include examples/cpp/app-token-ring/s4u-app-token-ring.tesh +include examples/cpp/battery-chiller-solar/s4u-battery-chiller-solar.cpp +include examples/cpp/battery-chiller-solar/s4u-battery-chiller-solar.tesh +include examples/cpp/battery-connector/s4u-battery-connector.cpp +include examples/cpp/battery-connector/s4u-battery-connector.tesh include examples/cpp/battery-degradation/plot_battery_degradation.py include examples/cpp/battery-degradation/s4u-battery-degradation.cpp include examples/cpp/battery-degradation/s4u-battery-degradation.tesh @@ -310,16 +314,8 @@ include examples/cpp/io-priority/s4u-io-priority.cpp include examples/cpp/io-priority/s4u-io-priority.tesh include examples/cpp/maestro-set/s4u-maestro-set.cpp include examples/cpp/maestro-set/s4u-maestro-set.tesh -include examples/cpp/mc-bugged1-liveness/promela_bugged1_liveness -include examples/cpp/mc-bugged1-liveness/s4u-mc-bugged1-liveness-stack-cleaner -include examples/cpp/mc-bugged1-liveness/s4u-mc-bugged1-liveness-visited.tesh -include examples/cpp/mc-bugged1-liveness/s4u-mc-bugged1-liveness.cpp -include examples/cpp/mc-bugged1-liveness/s4u-mc-bugged1-liveness.tesh include examples/cpp/mc-bugged1/s4u-mc-bugged1.cpp include examples/cpp/mc-bugged1/s4u-mc-bugged1.tesh -include examples/cpp/mc-bugged2-liveness/promela_bugged2_liveness -include examples/cpp/mc-bugged2-liveness/s4u-mc-bugged2-liveness.cpp -include examples/cpp/mc-bugged2-liveness/s4u-mc-bugged2-liveness.tesh include examples/cpp/mc-bugged2/s4u-mc-bugged2.cpp include examples/cpp/mc-bugged2/s4u-mc-bugged2.tesh include examples/cpp/mc-centralized-mutex/s4u-mc-centralized-mutex.cpp @@ -327,7 +323,6 @@ include examples/cpp/mc-centralized-mutex/s4u-mc-centralized-mutex.tesh include examples/cpp/mc-electric-fence/s4u-mc-electric-fence.cpp include examples/cpp/mc-electric-fence/s4u-mc-electric-fence.tesh include examples/cpp/mc-failing-assert/s4u-mc-failing-assert-nodpor.tesh -include examples/cpp/mc-failing-assert/s4u-mc-failing-assert-statequality.tesh include examples/cpp/mc-failing-assert/s4u-mc-failing-assert.cpp include examples/cpp/mc-failing-assert/s4u-mc-failing-assert.tesh include examples/cpp/mess-wait/s4u-mess-wait.cpp @@ -389,7 +384,6 @@ include examples/cpp/synchro-condition-variable-waituntil/s4u-synchro-condition- include examples/cpp/synchro-condition-variable-waituntil/s4u-synchro-condition-variable-waituntil.tesh include examples/cpp/synchro-condition-variable/s4u-synchro-condition-variable.cpp include examples/cpp/synchro-condition-variable/s4u-synchro-condition-variable.tesh -include examples/cpp/synchro-mutex/s4u-mc-synchro-mutex-stateful.tesh include examples/cpp/synchro-mutex/s4u-mc-synchro-mutex.tesh include examples/cpp/synchro-mutex/s4u-synchro-mutex.cpp include examples/cpp/synchro-mutex/s4u-synchro-mutex.tesh @@ -528,22 +522,14 @@ include examples/smpi/gemm/gemm.c include examples/smpi/gemm/gemm.tesh include examples/smpi/hostfile include examples/smpi/mc/bugged1.c -include examples/smpi/mc/bugged1_liveness.c include examples/smpi/mc/bugged2.c include examples/smpi/mc/hostfile_bugged1 -include examples/smpi/mc/hostfile_bugged1_liveness include examples/smpi/mc/hostfile_bugged2 include examples/smpi/mc/hostfile_mutual_exclusion -include examples/smpi/mc/hostfile_non_termination include examples/smpi/mc/hostfile_only_send_deterministic include examples/smpi/mc/mutual_exclusion.c -include examples/smpi/mc/non_termination1.c -include examples/smpi/mc/non_termination2.c -include examples/smpi/mc/non_termination3.c -include examples/smpi/mc/non_termination4.c include examples/smpi/mc/only_send_deterministic.c include examples/smpi/mc/only_send_deterministic.tesh -include examples/smpi/mc/promela_bugged1_liveness include examples/smpi/mc/sendsend.c include examples/smpi/mc/sendsend.tesh include examples/smpi/replay/actions0.txt @@ -668,10 +654,50 @@ include teshsuite/kernel/context-defaults/factory_thread.tesh include teshsuite/kernel/context-defaults/factory_ucontext.tesh include teshsuite/kernel/stack-overflow/stack-overflow.cpp include teshsuite/kernel/stack-overflow/stack-overflow.tesh -include teshsuite/mc/dwarf-expression/dwarf-expression.cpp -include teshsuite/mc/dwarf-expression/dwarf-expression.tesh -include teshsuite/mc/dwarf/dwarf.cpp -include teshsuite/mc/dwarf/dwarf.tesh +include teshsuite/mc/mcmini/barber_shop_deadlock.c +include teshsuite/mc/mcmini/barber_shop_deadlock.tesh +include teshsuite/mc/mcmini/barber_shop_ok.c +include teshsuite/mc/mcmini/barber_shop_ok.tesh +include teshsuite/mc/mcmini/philosophers_mutex_deadlock.c +include teshsuite/mc/mcmini/philosophers_mutex_deadlock.tesh +include teshsuite/mc/mcmini/philosophers_mutex_ok.c +include teshsuite/mc/mcmini/philosophers_mutex_ok.tesh +include teshsuite/mc/mcmini/philosophers_semaphores_deadlock.c +include teshsuite/mc/mcmini/philosophers_semaphores_deadlock.tesh +include teshsuite/mc/mcmini/philosophers_semaphores_ok.c +include teshsuite/mc/mcmini/philosophers_semaphores_ok.tesh +include teshsuite/mc/mcmini/producer_consumer_deadlock.c +include teshsuite/mc/mcmini/producer_consumer_deadlock.tesh +include teshsuite/mc/mcmini/producer_consumer_ok.c +include teshsuite/mc/mcmini/producer_consumer_ok.tesh +include teshsuite/mc/mcmini/simple_barrier_deadlock.c +include teshsuite/mc/mcmini/simple_barrier_deadlock.tesh +include teshsuite/mc/mcmini/simple_barrier_ok.c +include teshsuite/mc/mcmini/simple_barrier_ok.tesh +include teshsuite/mc/mcmini/simple_barrier_with_threads_deadlock.c +include teshsuite/mc/mcmini/simple_barrier_with_threads_deadlock.tesh +include teshsuite/mc/mcmini/simple_barrier_with_threads_ok.c +include teshsuite/mc/mcmini/simple_barrier_with_threads_ok.tesh +include teshsuite/mc/mcmini/simple_mutex_deadlock.c +include teshsuite/mc/mcmini/simple_mutex_deadlock.tesh +include teshsuite/mc/mcmini/simple_mutex_ok.c +include teshsuite/mc/mcmini/simple_mutex_ok.tesh +include teshsuite/mc/mcmini/simple_mutex_with_threads_deadlock.c +include teshsuite/mc/mcmini/simple_mutex_with_threads_deadlock.tesh +include teshsuite/mc/mcmini/simple_mutex_with_threads_ok.c +include teshsuite/mc/mcmini/simple_mutex_with_threads_ok.tesh +include teshsuite/mc/mcmini/simple_semaphore_deadlock.c +include teshsuite/mc/mcmini/simple_semaphore_deadlock.tesh +include teshsuite/mc/mcmini/simple_semaphores_deadlock.c +include teshsuite/mc/mcmini/simple_semaphores_deadlock.tesh +include teshsuite/mc/mcmini/simple_semaphores_ok.c +include teshsuite/mc/mcmini/simple_semaphores_ok.tesh +include teshsuite/mc/mcmini/simple_semaphores_with_threads_deadlock.c +include teshsuite/mc/mcmini/simple_semaphores_with_threads_deadlock.tesh +include teshsuite/mc/mcmini/simple_semaphores_with_threads_ok.c +include teshsuite/mc/mcmini/simple_semaphores_with_threads_ok.tesh +include teshsuite/mc/mcmini/simple_threads_ok.c +include teshsuite/mc/mcmini/simple_threads_ok.tesh include teshsuite/mc/mutex-handling/mutex-handling.cpp include teshsuite/mc/mutex-handling/mutex-handling.tesh include teshsuite/mc/mutex-handling/without-mutex-handling.tesh @@ -939,6 +965,7 @@ include teshsuite/smpi/macro-shared/macro-shared.c include teshsuite/smpi/macro-shared/macro-shared.tesh include teshsuite/smpi/mpich3-test/README include teshsuite/smpi/mpich3-test/attr/attr2type.c +include teshsuite/smpi/mpich3-test/attr/attrdelete.c include teshsuite/smpi/mpich3-test/attr/attrdeleteget.c include teshsuite/smpi/mpich3-test/attr/attrend.c include teshsuite/smpi/mpich3-test/attr/attrend2.c @@ -973,6 +1000,8 @@ include teshsuite/smpi/mpich3-test/coll/allred3.c include teshsuite/smpi/mpich3-test/coll/allred4.c include teshsuite/smpi/mpich3-test/coll/allred5.c include teshsuite/smpi/mpich3-test/coll/allred6.c +include teshsuite/smpi/mpich3-test/coll/allred_derived.c +include teshsuite/smpi/mpich3-test/coll/allred_float.c include teshsuite/smpi/mpich3-test/coll/allredmany.c include teshsuite/smpi/mpich3-test/coll/alltoall1.c include teshsuite/smpi/mpich3-test/coll/alltoallv.c @@ -1000,6 +1029,7 @@ include teshsuite/smpi/mpich3-test/coll/exscan2.c include teshsuite/smpi/mpich3-test/coll/gather.c include teshsuite/smpi/mpich3-test/coll/gather2.c include teshsuite/smpi/mpich3-test/coll/gather_big.c +include teshsuite/smpi/mpich3-test/coll/gatherv.c include teshsuite/smpi/mpich3-test/coll/iallred.c include teshsuite/smpi/mpich3-test/coll/ibarrier.c include teshsuite/smpi/mpich3-test/coll/icallgather.c @@ -1052,6 +1082,7 @@ include teshsuite/smpi/mpich3-test/coll/scatterv.c include teshsuite/smpi/mpich3-test/coll/testlist include teshsuite/smpi/mpich3-test/coll/uoplong.c include teshsuite/smpi/mpich3-test/comm/cmfree.c +include teshsuite/smpi/mpich3-test/comm/cmfree2.c include teshsuite/smpi/mpich3-test/comm/cmsplit.c include teshsuite/smpi/mpich3-test/comm/cmsplit2.c include teshsuite/smpi/mpich3-test/comm/cmsplit_type.c @@ -1068,6 +1099,7 @@ include teshsuite/smpi/mpich3-test/comm/comm_idup_mul.c include teshsuite/smpi/mpich3-test/comm/comm_idup_nb.c include teshsuite/smpi/mpich3-test/comm/comm_idup_overlap.c include teshsuite/smpi/mpich3-test/comm/comm_info.c +include teshsuite/smpi/mpich3-test/comm/comm_info2.c include teshsuite/smpi/mpich3-test/comm/commcreate1.c include teshsuite/smpi/mpich3-test/comm/commname.c include teshsuite/smpi/mpich3-test/comm/ctxalloc.c @@ -1399,21 +1431,28 @@ include teshsuite/smpi/mpich3-test/pt2pt/dtype_send.c include teshsuite/smpi/mpich3-test/pt2pt/eagerdt.c include teshsuite/smpi/mpich3-test/pt2pt/greq1.c include teshsuite/smpi/mpich3-test/pt2pt/huge_anysrc.c +include teshsuite/smpi/mpich3-test/pt2pt/huge_dupcomm.c +include teshsuite/smpi/mpich3-test/pt2pt/huge_ssend.c include teshsuite/smpi/mpich3-test/pt2pt/huge_underflow.c include teshsuite/smpi/mpich3-test/pt2pt/icsend.c include teshsuite/smpi/mpich3-test/pt2pt/inactivereq.c include teshsuite/smpi/mpich3-test/pt2pt/isendirecv.c +include teshsuite/smpi/mpich3-test/pt2pt/isendrecv.c +include teshsuite/smpi/mpich3-test/pt2pt/isendrecv_replace.c include teshsuite/smpi/mpich3-test/pt2pt/isendself.c include teshsuite/smpi/mpich3-test/pt2pt/isendselfprobe.c include teshsuite/smpi/mpich3-test/pt2pt/issendselfcancel.c include teshsuite/smpi/mpich3-test/pt2pt/large_message.c +include teshsuite/smpi/mpich3-test/pt2pt/large_tag.c include teshsuite/smpi/mpich3-test/pt2pt/many_isend.c include teshsuite/smpi/mpich3-test/pt2pt/manylmt.c include teshsuite/smpi/mpich3-test/pt2pt/mprobe.c +include teshsuite/smpi/mpich3-test/pt2pt/multi_psend_derived.c include teshsuite/smpi/mpich3-test/pt2pt/pingping.c include teshsuite/smpi/mpich3-test/pt2pt/probe-unexp.c include teshsuite/smpi/mpich3-test/pt2pt/probenull.c include teshsuite/smpi/mpich3-test/pt2pt/pscancel.c +include teshsuite/smpi/mpich3-test/pt2pt/pssend.c include teshsuite/smpi/mpich3-test/pt2pt/rcancel.c include teshsuite/smpi/mpich3-test/pt2pt/recv_any.c include teshsuite/smpi/mpich3-test/pt2pt/rqfreeb.c @@ -1615,9 +1654,6 @@ include teshsuite/xbt/log_large/log_large.tesh include teshsuite/xbt/log_usage/log_usage.c include teshsuite/xbt/log_usage/log_usage.tesh include teshsuite/xbt/log_usage/log_usage_ndebug.tesh -include teshsuite/xbt/mmalloc/mmalloc_32.tesh -include teshsuite/xbt/mmalloc/mmalloc_64.tesh -include teshsuite/xbt/mmalloc/mmalloc_test.cpp include teshsuite/xbt/parallel_log_crashtest/parallel_log_crashtest.cpp include teshsuite/xbt/parallel_log_crashtest/parallel_log_crashtest.tesh include teshsuite/xbt/parmap_bench/parmap_bench.cpp @@ -1628,7 +1664,6 @@ include teshsuite/xbt/signals/signals.cpp include teshsuite/xbt/signals/signals.tesh include tools/address_sanitizer.supp include tools/fix-paje-trace.sh -include tools/generate-dwarf-functions include tools/graphicator/graphicator.cpp include tools/graphicator/graphicator.tesh include tools/normalize-pointers.py @@ -1949,7 +1984,6 @@ include include/simgrid/mutex.h include include/simgrid/plugins/ProducerConsumer.hpp include include/simgrid/plugins/battery.hpp include include/simgrid/plugins/chiller.hpp -include include/simgrid/plugins/dvfs.h include include/simgrid/plugins/energy.h include include/simgrid/plugins/file_system.h include include/simgrid/plugins/jbod.hpp @@ -1971,6 +2005,7 @@ include include/simgrid/s4u/Host.hpp include include/simgrid/s4u/Io.hpp include include/simgrid/s4u/Link.hpp include include/simgrid/s4u/Mailbox.hpp +include include/simgrid/s4u/Mess.hpp include include/simgrid/s4u/MessageQueue.hpp include include/simgrid/s4u/Mutex.hpp include include/simgrid/s4u/NetZone.hpp @@ -1996,8 +2031,6 @@ include include/xbt/Extendable.hpp include include/xbt/PropertyHolder.hpp include include/xbt/asserts.h include include/xbt/asserts.hpp -include include/xbt/automaton.h -include include/xbt/automaton.hpp include include/xbt/backtrace.hpp include include/xbt/base.h include include/xbt/config.h @@ -2030,7 +2063,6 @@ include include/xbt/virtu.h include include/xbt/xbt_os_time.h include setup.py include src/3rd-party/catch.hpp -include src/3rd-party/xxhash.hpp include src/bindings/python/simgrid_python.cpp include src/dag/dax.dtd include src/dag/dax_dtd.c @@ -2197,9 +2229,6 @@ include src/kernel/xml/sg_platf.cpp include src/kernel/xml/simgrid.dtd include src/kernel/xml/simgrid_dtd.c include src/kernel/xml/simgrid_dtd.h -include src/mc/AddressSpace.hpp -include src/mc/VisitedState.cpp -include src/mc/VisitedState.hpp include src/mc/api/ActorState.hpp include src/mc/api/ClockVector.cpp include src/mc/api/ClockVector.hpp @@ -2212,23 +2241,18 @@ include src/mc/api/strategy/MaxMatchComm.hpp include src/mc/api/strategy/MinMatchComm.hpp include src/mc/api/strategy/Strategy.hpp include src/mc/api/strategy/UniformStrategy.hpp -include src/mc/compare.cpp include src/mc/datatypes.h include src/mc/explo/CommunicationDeterminismChecker.cpp include src/mc/explo/DFSExplorer.cpp include src/mc/explo/DFSExplorer.hpp include src/mc/explo/Exploration.cpp include src/mc/explo/Exploration.hpp -include src/mc/explo/LivenessChecker.cpp -include src/mc/explo/LivenessChecker.hpp include src/mc/explo/UdporChecker.cpp include src/mc/explo/UdporChecker.hpp include src/mc/explo/odpor/ClockVector_test.cpp include src/mc/explo/odpor/Execution.cpp include src/mc/explo/odpor/Execution.hpp include src/mc/explo/odpor/Execution_test.cpp -include src/mc/explo/odpor/ReversibleRaceCalculator.cpp -include src/mc/explo/odpor/ReversibleRaceCalculator.hpp include src/mc/explo/odpor/WakeupTree.cpp include src/mc/explo/odpor/WakeupTree.hpp include src/mc/explo/odpor/WakeupTreeIterator.cpp @@ -2260,24 +2284,6 @@ include src/mc/explo/udpor/maximal_subsets_iterator.cpp include src/mc/explo/udpor/maximal_subsets_iterator.hpp include src/mc/explo/udpor/udpor_forward.hpp include src/mc/explo/udpor/udpor_tests_private.hpp -include src/mc/inspect/DwarfExpression.cpp -include src/mc/inspect/DwarfExpression.hpp -include src/mc/inspect/Frame.cpp -include src/mc/inspect/Frame.hpp -include src/mc/inspect/LocationList.cpp -include src/mc/inspect/LocationList.hpp -include src/mc/inspect/ObjectInformation.cpp -include src/mc/inspect/ObjectInformation.hpp -include src/mc/inspect/Type.hpp -include src/mc/inspect/Variable.hpp -include src/mc/inspect/mc_dwarf.cpp -include src/mc/inspect/mc_dwarf.hpp -include src/mc/inspect/mc_dwarf_attrnames.cpp -include src/mc/inspect/mc_dwarf_tagnames.cpp -include src/mc/inspect/mc_member.cpp -include src/mc/inspect/mc_unw.cpp -include src/mc/inspect/mc_unw.hpp -include src/mc/inspect/mc_unw_vmread.cpp include src/mc/mc.h include src/mc/mc_base.cpp include src/mc/mc_base.hpp @@ -2301,22 +2307,10 @@ include src/mc/remote/CheckerSide.cpp include src/mc/remote/CheckerSide.hpp include src/mc/remote/RemotePtr.hpp include src/mc/remote/mc_protocol.h -include src/mc/sosp/ChunkedData.cpp -include src/mc/sosp/ChunkedData.hpp -include src/mc/sosp/PageStore.cpp -include src/mc/sosp/PageStore.hpp -include src/mc/sosp/PageStore_test.cpp -include src/mc/sosp/Region.cpp -include src/mc/sosp/Region.hpp -include src/mc/sosp/RemoteProcessMemory.cpp -include src/mc/sosp/RemoteProcessMemory.hpp -include src/mc/sosp/Snapshot.cpp -include src/mc/sosp/Snapshot.hpp -include src/mc/sosp/Snapshot_test.cpp include src/mc/transition/Transition.cpp include src/mc/transition/Transition.hpp -include src/mc/transition/TransitionActorJoin.cpp -include src/mc/transition/TransitionActorJoin.hpp +include src/mc/transition/TransitionActor.cpp +include src/mc/transition/TransitionActor.hpp include src/mc/transition/TransitionAny.cpp include src/mc/transition/TransitionAny.hpp include src/mc/transition/TransitionComm.cpp @@ -2332,7 +2326,6 @@ include src/plugins/battery.cpp include src/plugins/chaos_monkey.cpp include src/plugins/chiller.cpp include src/plugins/file_system/s4u_FileSystem.cpp -include src/plugins/host_dvfs.cpp include src/plugins/host_energy.cpp include src/plugins/host_load.cpp include src/plugins/jbod.cpp @@ -2563,13 +2556,6 @@ include src/sthread/sthread.h include src/sthread/sthread_impl.cpp include src/xbt/OsSemaphore.hpp include src/xbt/PropertyHolder.cpp -include src/xbt/automaton/automaton.c -include src/xbt/automaton/automaton_lexer.yy.c -include src/xbt/automaton/automatonparse_promela.c -include src/xbt/automaton/parserPromela.lex -include src/xbt/automaton/parserPromela.tab.cacc -include src/xbt/automaton/parserPromela.tab.hacc -include src/xbt/automaton/parserPromela.yacc include src/xbt/backtrace.cpp include src/xbt/config.cpp include src/xbt/config_test.cpp @@ -2589,20 +2575,6 @@ include src/xbt/mallocator.c include src/xbt/mallocator_private.h include src/xbt/memory_map.cpp include src/xbt/memory_map.hpp -include src/xbt/mmalloc/mfree.c -include src/xbt/mmalloc/mm.c -include src/xbt/mmalloc/mm_interface.c -include src/xbt/mmalloc/mm_legacy.c -include src/xbt/mmalloc/mm_module.c -include src/xbt/mmalloc/mmalloc.c -include src/xbt/mmalloc/mmalloc.h -include src/xbt/mmalloc/mmalloc.info -include src/xbt/mmalloc/mmalloc.texi -include src/xbt/mmalloc/mmorecore.c -include src/xbt/mmalloc/mmprivate.h -include src/xbt/mmalloc/mrealloc.c -include src/xbt/mmalloc/swag.c -include src/xbt/mmalloc/swag.h include src/xbt/parmap.cpp include src/xbt/parmap.hpp include src/xbt/random.cpp @@ -2678,10 +2650,7 @@ include tools/cmake/Flags.cmake include tools/cmake/MaintainerMode.cmake include tools/cmake/MakeLib.cmake include tools/cmake/Modules/FindGraphviz.cmake -include tools/cmake/Modules/FindLibdw.cmake -include tools/cmake/Modules/FindLibelf.cmake include tools/cmake/Modules/FindLibevent.cmake -include tools/cmake/Modules/FindLibunwind.cmake include tools/cmake/Modules/FindNS3.cmake include tools/cmake/Modules/FindPAPI.cmake include tools/cmake/Modules/FindValgrind.cmake