Backwards Compatibility breaks
- Some command line options were renamed for consistency sake:
- - model-check/sparse-checkpoint -> model-check/sparse_checkpoint
- smpi/async_small_thres -> smpi/async_small_thresh
- smpi/send_is_detached_thres -> smpi/send_is_detached_thresh
Lua can still be used to describe platforms
- Removed Java kernel plug-ins.
Will be reintroduced after the ongoing major internals reorg.
+ - In MSG
+ - the following functions were removed.
+ They were too specific and should be reimplemented in a generic
+ way, with filter function.
+ - MSG_task_listen_from_host
+ - MSG_mailbox_get_count_host_waiting_tasks
+ - MSG_mailbox_put_with_timeout was removed.
+ Please use MSG_task_send_with_timeout instead.
- In SimDag
- the SD_application_reinit function was removed. It was a noop for a while.
- The ACCESS_MODE of SD_workstation has been removed. This feature was not really usable and should soon be
- VM.setBound(int load) is now VM.setBound(double bound) to meet the MSG semantics. Use VM.getSpeed()*load/100 for the legacy behavior.
- In CMake
- option enable_tracing was removed. It was not doing anything since a while.
+ - In the ModelChecker:
+ - the model-checker now ptraces the model-checked process which means
+ you cannot use a debugger on the latter anymore (we might make this
+ optional in the feature);
+ - removed soft-dirty page tracking;
+ - remove model-checked side snapshot management,
+ MC_snapshot() and MC_compare_snapshot();
+ - keep the MC_cut() function as a stub (it was not really working
+ in the previous release).
XML platforms:
* Switch to platform v4 format.
- In <trace_connect>, attribute kind="POWER" is now kind="SPEED".
- In <host> and <link>, attributes availability and state are gone.
It was redundent with state and availability traces, and with peak values.
+ - In <cluster>, attributes availability_file and state_file are gone.
+ It was too complex and unused.
+ - Kill <gpu>. Was not doing anything.
- The DOCTYPE points to the right URL:
http://simgrid.gforge.inria.fr/simgrid/simgrid.dtd
(the file at this address now documents the changelog since its v1)
SMPI
* Remove old default barrier/bcast buggy algorithms (see #18407)
* Various bug fixes to handle more codes
+ * Remove the need for the --foreground option of smpirun (it is still
+ accepted for backward compatibility).
XBT
* Kill the setset data container: MC don't use it anymore.
* New functions:
- xbt_dynar_sort_strings(), when the content is char*
- xbt_str_parse_int / xbt_str_parse_double, wrapping strtol/strtod
- They throw exceptions on invalid input.
+ They throw exceptions on invalid input;
+ * C++ support for declaring CLI flags (simgrid::config::Flag);
+ * class for abstracting different signal backends (simgrid::xbt::signal).
+
+ MC
+ * refactoring and cleanup of the code;
+ * ongoing process to cleanly separate the model-checking algorithms
+ from the code model-checking support.
-- $date Da SimGrid team <simgrid-devel@lists.gforge.inria.fr>
