X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/c5f8dbbcfb10a8a1c797d0fe1671d7f7698cf6cd..1067edf07adcaa046abb976e7d92174d608b2d91:/ChangeLog diff --git a/ChangeLog b/ChangeLog index 78392f19c1..c8084cea5d 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,4 +1,86 @@ -SimGrid (3.32.1) not released yet (target december 22) +SimGrid (3.34.1) not released (Target: fall 2023) + +S4U: + - New class ActivitySet to ease wait_any()/test_any()/wait_all() + - Deprecate {Comm,Io,Exec}::{wait_any,wait_all,test_any} and friends + - Simplify a bit the declaration of multi-zoned platforms from C++ + - New function NetZone::add_route(host1, host2, links) when you don't need gateways + - Also add a variant with s4u::Link, when you don't want to specify the directions + on symmetric routes. + - Zone's gateways can now be controlled directly. + - Add NetZone::add_route(zone1, zone2, links) specifying the route between zones + - Introduce a Mailbox::get_async() with no payload parameter. You can use the new + Comm::get_payload() once the communication is over to retrieve the payload. + - Implement recursive mutexes. Simply pass true to the constructor to get one. + - Simplify the expression of horizontal scaling of Tasks. + - 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. + - 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. + - 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 + - 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 + of brown energy (from the electrical grid) and green energy (from the solar panel) + during a given computation. + +SMPI: + - New SMPI_app_instance_join(): wait for the completion of a started MPI instance + - MPI_UNIVERSE_SIZE now initialized to the total amount of hosts in the platform + - Memory usage due to SMPI for non-MPI actors greatly reduced. + +sthread: + - Allow to use on valgrind-observed processes + - Install sthread on user's disk. + - Implement recursive pthreads. + - Implement pthread_barrier and pthread_cond. + - 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 + - Mailbox::get_async() does not return a pair anymore. Use comm.get_payload() instead. + - 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 + Exec, Io and Comm. + +Kernel: + - optimize an internal data structure (replace boost::circular_buffer_space_optimized by + std::deque to store pending and unmatched Comms in Mailboxes). It is actually a revert + to what was used a few years back. The boost structure had a lower memory footprint than + deques, but it appeared that their "space_optimized" character was generating a huge lot + of refcount changes on the stored Comms. + +General: + - Fix errors with ns-3 v3.36+ + - Many other small bug fixes, in particular in MC and sthread. + +---------------------------------------------------------------------------- + +SimGrid (3.34) June 26. 2023 + + Save the planet, skip a release: 3.33 was due 6 months ago, so skip directly to 3.34. General: - SimGrid now requires a compiler with C++17 support for public headers too. @@ -17,13 +99,15 @@ S4U: Comm::set_payload_size() to change the size of the simulated data. - New function: Engine::flatify_platform(), to get a fully detailed vision of the configured platform. + - New Task abstraction: They are designed to represent dataflows, i.e, graphs of repeatable Activities. + See the examples under examples/cpp/task-* and the associated documentation. - Full simDAG integration: Activity::start() actually starts only when all dependencies - are fullfiled. If it cannot be started right away, it will start as soon as it becomes + are fulfilled. If it cannot be started right away, it will start as soon as it becomes possible. - Allow to set a concurrency limit on disks and hosts, as it was already the case for links. - Rename Link::get_usage() to Link::get_load() for consistency with Host:: - Every signal now come with a static version that is invoked for every object of that class, - and an instance version that is invoked for this specific object only. For example, + and an instance version that is invoked for this specific object only. For example, s4u::Actor::on_suspend_cb() adds a callback that is invoked for the suspend of any actor while s4u::Actor::on_this_suspend_cb() adds a callback for this specific actor only. - Activity::on_suspended_cb() is renamed to Activity::on_suspend_cb(), and fired right before the suspend. @@ -34,15 +118,13 @@ S4U: That is, callbacks registered in Exec::on_suspend_cb will not be fired for Comms nor Ios. New S4U plugins: - - Task: They are designed to represent dataflows, i.e, graphs of repeatable Activities. - See the examples under examples/cpp/task-* and the documentation in the Plugins page. - Battery: Enable the management of batteries on hosts. See the examples under examples/cpp/battery-* and the documentation in the Plugins page. - Photovoltaic: Enable the management of photovoltaic panels on hosts. See the examples under examples/cpp/photovoltaic-* and the documentation in the Plugins page. Kernel: - - optimize an internal datastructure (use a set instead of a list for ongoing activities), + - optimize an internal data structure (use a set instead of a list for ongoing activities), leading to a potentially big performance gain, in particular with many detached comms. MPI: @@ -52,7 +134,7 @@ MPI: Models: - Write the section of the manual about models, at least. - - WiFi: the total capacity of a link depends on the amout of flows on that link. + - WiFi: the total capacity of a link depends on the amount of flows on that link. - Use the nonlinear callback feature of LMM to reflect this. - Calibration values can be changed to match different MCS configurations - See the example teshsuite/models/wifi_usage_decay/wifi_usage_decay.cpp @@ -75,19 +157,22 @@ sthread: It requires code annotation, as shown in examples/sthread/stdobject/stdobject.cpp Model checking: + - Stateless model-checking is now usable on any system, including Mac OSX and ARM processors. + - The stateless aspects of the MC are now enabled by default in all SimGrid builds. + Liveness and stateful aspects are still controlled by the enabling_model-checking + configuration option. + - Introducing ODPOR and SDPOR reduction strategies + - Introducing guiding heuristics, trying to find bugs faster than DFS in reduced state space. - Synchronize the MBI tests with upstream. - - Show the full actor bactraces when replaying a MC trace (with model-check/replay) + - Show the full actor backtraces when replaying a MC trace (with model-check/replay) and the status of all actors on deadlocks in MC mode. - - The safety/stateless aspects of the MC are now enabled by default in all SimGrid builds. - Liveness and stateful aspects are still controled by the enabling_model-checking - configuration option. - - Stateless model-checking is now usable on any system, including Mac OSX and ARM processors. XBT: - simgrid::xbt::cmdline and simgrid::xbt::binary_name are gone. Please use simgrid::s4u::Engine::get_cmdline() instead. Documentation: + - New tutorial on simulating DAGs. - New section in the user guide on the provided performance models. - New section presenting some technical good practices for (potential) contributors. - Add a section on errors and exceptions to the API documentation.