Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 's4u_enforce' into 'master'
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Mon, 27 Jun 2022 09:30:00 +0000 (09:30 +0000)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Mon, 27 Jun 2022 09:30:00 +0000 (09:30 +0000)
Implement s4u_enforce

See merge request simgrid/simgrid!111

1  2 
ChangeLog
MANIFEST.in

diff --combined ChangeLog
+++ b/ChangeLog
@@@ -1,5 -1,9 +1,9 @@@
  SimGrid (3.31.1) NOT RELEASED YET (v3.32 expected June 21. 2022, 09:13 UTC)
  
+ S4U:
+   - Added the xbt_enforce macro. This has the same syntax as xbt_assert. The only difference is that an AssertionError
+     exception is thrown if the condition is not satisfied, instead of calling abort().
  Python:
    - Added the following bindings / examples:
      - Comm (now 100% covers the C++ interface):
@@@ -16,6 -20,8 +20,8 @@@
        - Engine.host_by_name [example: examples/python/comm-host2host/]
        - Engine.mailbox_by_name_or_create [example: examples/python/comm-pingpong/]
      - Mailbox: Mailbox.ready [example: examples/python/comm-ready/]
+   - Added an AssertionError exception that may be thrown in case of error. For instance, creating tow hosts with the
+     same name will now throw this exception instead of killing the interpreter.
  
  Platform description & visualization:
    - More robust sanity checks for platforms, to reject unallowed topologies with
@@@ -34,8 -40,6 +40,8 @@@ Fixed bugs (FG#.. -> FramaGit bugs; FG!
   (FG: issues on Framagit; GH: issues on GitHub)
   - FG#105: "Variable penalty should not be negative!" with in-flight messages and bandwidth profiles
   - FG#109: Application time reported by --cfg=smpi/display-timing:yes is wrong
 + - FG!109: Trigger new engine solve upon host events such as host on/off
 + - FG#110: Wait_any does not trigger new model solve when host events occur
  
  ----------------------------------------------------------------------------
  
diff --combined MANIFEST.in
@@@ -710,8 -710,6 +710,8 @@@ include examples/smpi/trace_call_locati
  include examples/smpi/trace_call_location/trace_call_location.tesh
  include examples/smpi/trace_simple/trace_simple.c
  include examples/smpi/trace_simple/trace_simple.tesh
 +include examples/sthread/pthread-mutex-simple.c
 +include examples/sthread/sthread-mutex-simple.c
  include src/include/catch_simgrid.hpp
  include teshsuite/java/semaphoregc/SemaphoreGC.java
  include teshsuite/java/semaphoregc/semaphoregc.tesh
@@@ -1975,7 -1973,6 +1975,7 @@@ include examples/smpi/comm_dynamic_cost
  include examples/smpi/replay_multiple/CMakeLists.txt
  include examples/smpi/replay_multiple_manual_deploy/CMakeLists.txt
  include examples/smpi/smpi_s4u_masterworker/CMakeLists.txt
 +include examples/sthread/CMakeLists.txt
  include include/simgrid/Exception.hpp
  include include/simgrid/actor.h
  include include/simgrid/barrier.h
@@@ -2057,6 -2054,7 +2057,7 @@@ include include/xbt.
  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
@@@ -2587,9 -2585,6 +2588,9 @@@ include src/smpi/smpif90.i
  include src/smpi/smpiff.in
  include src/smpi/smpirun.in
  include src/smpi/smpitools.sh
 +include src/sthread/sthread.c
 +include src/sthread/sthread.h
 +include src/sthread/sthread_impl.cpp
  include src/surf/HostImpl.cpp
  include src/surf/HostImpl.hpp
  include src/surf/cpu_cas01.cpp