- Each Task now consists of a dispatcher, a collector and one or more instances.
- The parallelism degree of each of these can be set.
- Several examples have been added or modified accordingly.
+ - Update s4u::create_DAG_from_json() to support wfformat 1.4.
- Introduce a new MessageQueue abstraction and associated Mess simulated object.
The behavior of a MessageQueue is similar to that of a Mailbox, but intended for
control messages that do not incur any simulated cost. Information is automagically
transported over thin air between producer and consumer. See examples/cpp/mess-wait
+ - New function: Mutex::get_owner()
-New S4U plugins:
- - Add a JBOD (just a bunch of disks) concept. It's a sort of host with many disks.
+S4U plugins:
+ - New: Add a JBOD (just a bunch of disks) concept. It's a sort of host with many disks.
- Revamp the battery plugin: rewrite completely the API, for a better usability.
The examples were updated accordingly.
The battery can now act as a simple connector (see battery-connector example).
- - Revamp of the Photovoltaic plugin: now called SolarPanel and complete rewrite of the API
+ - Revamp of the photovoltaic plugin: now called SolarPanel and complete rewrite of the API
- Add chiller plugin: enable the management of chillers consuming electrical energy
to compensate heat generated by hosts.
- Add a battery-chiller-solar example combining several plugins to evaluate the amount
- Memory usage due to SMPI for non-MPI actors greatly reduced.
sthread:
- - Allow to use on valgrind-observed processes
+ - Allow to use on valgrind-observed or gdb-observed processes.
- Install sthread on user's disk.
- Implement recursive pthreads.
+ - Implement pthread_barrier and pthread_cond (but conditional are not supported by the MC yet).
- Add some McMini codes to test sthread further (controlled with enable_testsuite_McMini).
Model checking:
+ - Remove stateful model-checking. This was not used, not really working, and very hard to fix.
+ Liveness properties cannot be verified anymore.
- More informative backtraces on assertion failure.
+ - Fix dependency bugs for mutex and other transitions
+ - Fix some reversible_race definitions, and also the rest of ODPOR.
Python:
- Make the host_load plugin available from Python. See examples/python/plugin-host-load
- Comm::waitall/waitany/testany() are gone. Please use ActivitySet() instead.
- Comm::waitallfor() is gone too. Its semantic was unclear on timeout anyway.
- Io::waitany() and waitanyfor() are gone. Please use ActivitySet() instead.
- - Add the bindings of the host load plugin
C API:
- Introduce sg_activity_set_t and deprecate wait_all/wait_any/test_any for