Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Document ActivitySet
[simgrid.git] / examples / README.rst
index 7fc106b..991d2ac 100644 (file)
@@ -1,12 +1,12 @@
-.. S4U (Simgrid for you) is the modern interface of SimGrid, which new project should use.
+.. S4U (SimGrid for you) is the modern interface of SimGrid, which new project should use.
 ..
 .. This file follows the ReStructured syntax to be included in the
 .. documentation, but it should remain readable directly.
 
 .. _s4u_examples:
 
-Examples
-********
+S4U Examples
+############
 
 SimGrid comes with an extensive set of examples, documented on this
 page. Most of them only demonstrate one single feature, with some
@@ -25,17 +25,17 @@ to simulate.
 
 .. _s4u_ex_actors:
 
-===========================
+***************************
 Actors: the Active Entities
-===========================
+***************************
 
 Starting and Stopping Actors
-----------------------------
+============================
 
 .. _s4u_ex_actors_create:
 
 Creating actors
-^^^^^^^^^^^^^^^
+---------------
 
 Most actors are started from the deployment XML file because this
 is a :ref:`better scientific habit <howto_science>`, but you can
@@ -71,7 +71,7 @@ also create them directly from your code.
       The following file is used in both C++ and Python.
 
 Reacting to actors' end
-^^^^^^^^^^^^^^^^^^^^^^^
+-----------------------
 
 You can attach callbacks to the end of actors. There are several ways of doing so, depending on whether you want to
 attach your callback to a given actor and on how you define the end of a
@@ -95,7 +95,7 @@ actors.
       :cpp:func:`sg_actor_on_exit()`.
 
 Killing actors
-^^^^^^^^^^^^^^
+--------------
 
 Actors can forcefully stop other actors.
 
@@ -116,7 +116,7 @@ Actors can forcefully stop other actors.
       See also :cpp:func:`sg_actor_kill`, :cpp:func:`sg_actor_kill_all`, :cpp:func:`sg_actor_exit`, :cpp:func:`sg_actor_on_exit`.
 
 Actors' life cycle from XML_reference
-^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+-------------------------------------
 
 You can specify a start time and a kill time in the deployment file.
 
@@ -139,7 +139,7 @@ You can specify a start time and a kill time in the deployment file.
       This file is not really interesting: the important matter is in the XML file.
 
 Daemon actors
-^^^^^^^^^^^^^
+-------------
 
 Some actors may be intended to simulate daemons that run in the background.
 This example shows how to transform a regular
@@ -160,7 +160,7 @@ actor into a daemon that will be automatically killed once the simulation is ove
       See also :cpp:func:`sg_actor_daemonize` and :cpp:func:`sg_actor_is_daemon`.
 
 Specifying the stack size
-^^^^^^^^^^^^^^^^^^^^^^^^^
+-------------------------
 
 The stack size can be specified by default on the command line,
 globally by changing the configuration with :cpp:func:`simgrid::s4u::Engine::set_config`,
@@ -173,14 +173,14 @@ or for a specific actor using :cpp:func:`simgrid::s4u::Actor::set_stacksize` bef
    .. example-tab:: examples/c/actor-stacksize/actor-stacksize.c
 
 Inter-Actors Interactions
--------------------------
+=========================
 
 See also the examples on :ref:`inter-actors communications
 <s4u_ex_communication>` and the ones on :ref:`classical
 synchronization objects <s4u_ex_IPC>`.
 
 Suspending/resuming Actors
-^^^^^^^^^^^^^^^^^^^^^^^^^^
+--------------------------
 
 Actors can be suspended and resumed during their executions.
 
@@ -204,7 +204,7 @@ Actors can be suspended and resumed during their executions.
       :cpp:func:`sg_actor_is_suspended()`.
 
 Migrating Actors
-^^^^^^^^^^^^^^^^
+----------------
 
 Actors can move or be moved from a host to another very easily. It amounts to setting them on a new host.
 
@@ -223,7 +223,7 @@ Actors can move or be moved from a host to another very easily. It amounts to se
       See also :cpp:func:`sg_actor_set_host()`.
 
 Waiting for the termination of an actor (joining on it)
-^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+-------------------------------------------------------
 
 You can block the current actor until the end of another actor.
 
@@ -242,7 +242,7 @@ You can block the current actor until the end of another actor.
       See also :cpp:func:`sg_actor_join`.
 
 Yielding to other actors
-^^^^^^^^^^^^^^^^^^^^^^^^
+------------------------
 
 The ```yield()``` function interrupts the execution of the current
 actor, leaving a chance to the other actors that are ready to run
@@ -263,7 +263,7 @@ at this timestamp.
       See also :cpp:func:`sg_actor_yield()`.
 
 Traces Replay as a Workload
----------------------------
+===========================
 
 This section details how to run trace-driven simulations. It is very
 handy when you want to test an algorithm or protocol that only reacts
@@ -282,7 +282,7 @@ with, but the second is more efficient on very large traces. Check
 also the tesh files in the example directories for details.
 
 Communication replay
-^^^^^^^^^^^^^^^^^^^^
+--------------------
 
 Presents a set of event handlers reproducing classical communication primitives (asynchronous send/receive at the moment).
 
@@ -291,7 +291,7 @@ Presents a set of event handlers reproducing classical communication primitives
    .. example-tab:: examples/cpp/replay-comm/s4u-replay-comm.cpp
 
 I/O replay
-^^^^^^^^^^
+----------
 
 Presents a set of event handlers reproducing classical I/O primitives (open, read, close).
 
@@ -299,17 +299,17 @@ Presents a set of event handlers reproducing classical I/O primitives (open, rea
 
    .. example-tab:: examples/cpp/replay-io/s4u-replay-io.cpp
 
-==========================
+**************************
 Activities: what Actors do
-==========================
+**************************
 
 .. _s4u_ex_communication:
 
 Communications on the Network
------------------------------
+=============================
 
 Basic communications
-^^^^^^^^^^^^^^^^^^^^
+--------------------
 
 This simple example just sends one message back and forth.
 The tesh file laying in the directory shows how to start the simulator binary, highlighting how to pass options to
@@ -324,9 +324,9 @@ the simulators (as detailed in Section :ref:`options`).
    .. example-tab:: examples/c/comm-pingpong/comm-pingpong.c
 
 Basic asynchronous communications
-^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+---------------------------------
 
-Illustrates how to have non-blocking communications, that are communications running in the background leaving the process 
+Illustrates how to have non-blocking communications, that are communications running in the background leaving the process
 free to do something else during their completion.
 
 .. tabs::
@@ -344,8 +344,10 @@ free to do something else during their completion.
       See also :cpp:func:`sg_mailbox_put_async()` and :cpp:func:`sg_comm_wait()`.
 
 Waiting for communications with timeouts
-^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+----------------------------------------
 
+There is two ways of declaring timeouts in SimGrid. ``waituntil`` let you specify the deadline until when you want to wait, while
+``waitfor`` expects the maximal wait duration.
 This example is very similar to the previous one, simply adding how to declare timeouts when waiting on asynchronous communication.
 
 .. tabs::
@@ -361,10 +363,10 @@ This example is very similar to the previous one, simply adding how to declare t
 .. _s4u_ex_mailbox_ready:
 
 Checking for incoming communications
-^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+------------------------------------
 
 This example uses ``Mailbox.ready()`` to check for completed communications. When this function returns true, then at least a message
-is arrived, so you know that ``Mailbox.get()`` will complete imediately. This is thus another way toward asynchronous communications.
+is arrived, so you know that ``Mailbox.get()`` will complete immediately. This is thus another way toward asynchronous communications.
 
 .. tabs::
 
@@ -378,7 +380,7 @@ is arrived, so you know that ``Mailbox.get()`` will complete imediately. This is
 
 
 Suspending communications
-^^^^^^^^^^^^^^^^^^^^^^^^^
+-------------------------
 
 The ``suspend()`` and ``resume()`` functions block the progression of a given communication for a while and then unblock it.
 ``is_suspended()`` returns whether that activity is currently blocked or not.
@@ -393,70 +395,19 @@ The ``suspend()`` and ``resume()`` functions block the progression of a given co
 
    .. example-tab:: examples/python/comm-suspend/comm-suspend.py
 
-      See also :py:func:`simgrid.Comm::suspend()` and
+      See also :py:func:`simgrid.Comm.suspend()` and
       :py:func:`simgrid.Comm.resume()`.
 
-Waiting for all communications in a set
-^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
-
-The ``wait_all()`` function is useful when you want to block until all activities in a given set have been completed.
-
-.. tabs::
-
-   .. example-tab:: examples/cpp/comm-waitall/s4u-comm-waitall.cpp
-
-      See also :cpp:func:`simgrid::s4u::Comm::wait_all()`.
-
-   .. example-tab:: examples/python/comm-waitall/comm-waitall.py
-
-      See also :py:func:`simgrid.Comm.wait_all()`.
-
-   .. example-tab:: examples/c/comm-waitall/comm-waitall.c
-
-      See also :cpp:func:`sg_comm_wait_all()`.
-
-Waiting for the first completed communication in a set
-^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
-
-The ``wait_any()`` blocks until one activity of the set completes, no matter which terminates first.
-
-.. tabs::
-
-   .. example-tab:: examples/cpp/comm-waitany/s4u-comm-waitany.cpp
-
-      See also :cpp:func:`simgrid::s4u::Comm::wait_any()`.
-
-   .. example-tab:: examples/python/comm-waitany/comm-waitany.py
-
-      See also :py:func:`simgrid.Comm.wait_any()`.
-
-   .. example-tab:: examples/c/comm-waitany/comm-waitany.c
-
-      See also :cpp:func:`sg_comm_wait_any`.
-
-Testing whether at least one communication completed
-^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
-
-The ``test_any()`` returns whether at least one activity of the set has completed, or -1.
-
-.. tabs::
-
-   .. example-tab:: examples/cpp/comm-testany/s4u-comm-testany.cpp
-
-      See also :cpp:func:`simgrid::s4u::Comm::test_any()`.
-
-   .. example-tab:: examples/python/comm-testany/comm-testany.py
-
-      See also :py:func:`simgrid.Comm.test_any()`.
-
 .. _s4u_ex_comm_failure:
 
 Dealing with network failures
-^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+-----------------------------
 
-This examples shows how to survive to network exceptions that occur when a link is turned off. In this case, any blocking operation
-such as ``put``, ``get`` or ``wait`` will raise an exception that you can catch and react to. See also :ref:`howto_churn` and
-:ref:`this example <s4u_ex_platform_state_profile>` on how to attach a state profile to hosts and react to execution failures.
+This examples shows how to survive to network exceptions that occurs when a link is turned off, or when the actor with whom
+you communicate fails because its host is turned off. In this case, any blocking operation such as ``put``, ``get`` or
+``wait`` will raise an exception that you can catch and react to. See also :ref:`howto_churn`,
+:ref:`this example <s4u_ex_platform_state_profile>` on how to attach a state profile to hosts and
+:ref:`that example <s4u_ex_exec_failure>` on how to react to host failures.
 
 .. tabs::
 
@@ -467,7 +418,7 @@ such as ``put``, ``get`` or ``wait`` will raise an exception that you can catch
 .. _s4u_ex_comm_host2host:
 
 Direct host-to-host communication
-^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+---------------------------------
 
 This example demonstrates the direct communication mechanism, that allows to send data from one host to another without
 relying on the mailbox mechanism.
@@ -485,10 +436,10 @@ relying on the mailbox mechanism.
 .. _s4u_ex_execution:
 
 Executions on the CPU
----------------------
+=====================
 
 Basic execution
-^^^^^^^^^^^^^^^
+---------------
 
 The computations done in your program are not reported to the
 simulated world unless you explicitly request the simulator to pause
@@ -513,7 +464,7 @@ get more resources.
       and :cpp:func:`void sg_actor_execute_with_priority(double, double)`.
 
 Asynchronous execution
-^^^^^^^^^^^^^^^^^^^^^^
+----------------------
 
 You can start asynchronous executions, just like you would fire background threads.
 
@@ -550,7 +501,7 @@ You can start asynchronous executions, just like you would fire background threa
       :cpp:func:`sg_exec_cancel()`,
 
 Remote execution
-^^^^^^^^^^^^^^^^
+----------------
 
 You can start executions on remote hosts, or even change the host on which they occur during their execution.
 This is naturally not very realistic, but it's something handy to have.
@@ -572,7 +523,7 @@ This is naturally not very realistic, but it's something handy to have.
 .. _s4u_ex_ptasks:
 
 Parallel executions
-^^^^^^^^^^^^^^^^^^^
+-------------------
 
 These objects are convenient abstractions of parallel
 computational kernels that span over several machines, such as a
@@ -606,10 +557,26 @@ There is not much new compared to the above ptask example or the
 
    .. example-tab:: examples/c/energy-exec-ptask/energy-exec-ptask.c
 
+.. _s4u_ex_exec_failure:
+
+Dealing with host failures
+--------------------------
+
+This examples shows how to survive to host failure exceptions that occur when an host is turned off. The actors do not get notified when the host
+on which they run is turned off: they are just terminated in this case, and their ``on_exit()`` callback gets executed. For remote executions on
+failing hosts however, any blocking operation such as ``exec`` or ``wait`` will raise an exception that you can catch and react to. See also
+:ref:`howto_churn`,
+:ref:`this example <s4u_ex_platform_state_profile>` on how to attach a state profile to hosts, and
+:ref:`that example <s4u_ex_comm_failure>` on how to react to network failures.
+
+.. tabs::
+
+   .. example-tab:: examples/cpp/exec-failure/s4u-exec-failure.cpp
+
 .. _s4u_ex_dvfs:
 
 DVFS and pstates
-^^^^^^^^^^^^^^^^
+----------------
 
 This example shows how to define a set of pstates in the XML. The current pstate
 of a host can then be accessed and changed from the program.
@@ -637,14 +604,14 @@ of a host can then be accessed and changed from the program.
 .. _s4u_ex_disk_io:
 
 I/O on Disks and Files
-----------------------
+======================
 
 SimGrid provides two levels of abstraction to interact with the
 simulated disks. At the simplest level, you simply create read and
 write actions on the disk resources.
 
 Access to raw disk devices
-^^^^^^^^^^^^^^^^^^^^^^^^^^
+--------------------------
 
 This example illustrates how to simply read and write data on a simulated disk resource.
 
@@ -658,8 +625,17 @@ This example illustrates how to simply read and write data on a simulated disk r
 
       This shows how to declare disks in XML.
 
+Asynchronous raw accesses
+-------------------------
+
+As most other activities, raw IO accesses can be used asynchronously, as illustrated in this example.
+
+.. tabs::
+
+   .. example-tab:: examples/cpp/io-async/s4u-io-async.cpp
+
 Filesystem plugin
-^^^^^^^^^^^^^^^^^
+-----------------
 
 The FileSystem plugin provides a more detailed view, with the
 classical operations over files: open, move, unlink, and of course,
@@ -674,6 +650,8 @@ result in short reads and short writes, as in reality.
 
        .. example-tab:: examples/cpp/io-file-system/s4u-io-file-system.cpp
 
+       .. example-tab:: examples/c/io-file-system/io-file-system.c
+
   - **Remote I/O:**
     I/O operations on files can also be done remotely,
     i.e. when the accessed disk is not mounted on the caller's host.
@@ -684,13 +662,213 @@ result in short reads and short writes, as in reality.
 
        .. example-tab:: examples/c/io-file-remote/io-file-remote.c
 
+.. _s4u_ex_activityset:
+
+Bags of activities
+==================
+
+Sometimes, you want to block on a set of activities, getting unblocked when any activity of the set unblocks, or waiting for the
+completion of all activities in the set. This is where the ActivitySet become useful.
+
+Waiting for all activities in a set
+-----------------------------------
+
+The ``wait_all()`` function is useful when you want to block until all activities in a given set have been completed.
+
+.. tabs::
+
+   .. example-tab:: examples/cpp/activityset-waitall/s4u-activityset-waitall.cpp
+
+      See also :cpp:func:`simgrid::s4u::ActivitySet::wait_all()`.
+
+   .. example-tab:: examples/python/activityset-waitall/activityset-waitall.py
+
+      See also :py:func:`simgrid.ActivitySet.wait_all()`.
+
+   .. example-tab:: examples/c/activityset-waitall/activityset-waitall.c
+
+      See also :cpp:func:`sg_activityset_wait_all()`.
+
+Waiting for all activities in a set (with timeout)
+--------------------------------------------------
+
+The ``wait_all_for()`` function is very similar to ``wait_all()`` but allows to specify a timeout.
+
+.. tabs::
+
+   .. example-tab:: examples/cpp/activityset-waitallfor/s4u-activityset-waitallfor.cpp
+
+      See also :cpp:func:`simgrid::s4u::ActivitySet::wait_all_for()`.
+
+   .. example-tab:: examples/python/activityset-waitallfor/activityset-waitallfor.py
+
+      See also :py:func:`simgrid.ActivitySet.wait_all_for()`.
+
+   .. example-tab:: examples/c/activityset-waitallfor/activityset-waitallfor.c
+
+      See also :cpp:func:`sg_activityset_wait_all_for()`.
+
+Waiting for the first completed activity in a set
+-------------------------------------------------
+
+The ``wait_any()`` blocks until one activity of the set completes, no matter which terminates first.
+
+.. tabs::
+
+   .. example-tab:: examples/cpp/activityset-waitany/s4u-activityset-waitany.cpp
+
+      See also :cpp:func:`simgrid::s4u::ActivitySet::wait_any()`.
+
+   .. example-tab:: examples/python/activityset-waitany/activityset-waitany.py
+
+      See also :py:func:`simgrid.ActivitySet.wait_any()`.
+
+   .. example-tab:: examples/c/activityset-waitany/activityset-waitany.c
+
+      See also :cpp:func:`sg_activityset_wait_any`.
+
+Testing whether at least one activity completed
+-----------------------------------------------
+
+The ``test_any()`` returns whether at least one activity of the set has completed.
+
+.. tabs::
+
+   .. example-tab:: examples/cpp/activityset-testany/s4u-activityset-testany.cpp
+
+      See also :cpp:func:`simgrid::s4u::ActivitySet::test_any()`.
+
+   .. example-tab:: examples/python/activityset-testany/activityset-testany.py
+
+      See also :py:func:`simgrid.ActivitySet.test_any()`.
+
+   .. example-tab:: examples/c/activityset-testany/activityset-testany.c
+
+      See also :cpp:func:`sg_activityset_test_any`.
+
+.. _s4u_ex_dag:
+
+Dependencies between activities
+===============================
+
+SimGrid makes it easy to express dependencies between activities, where a given activity cannot start until the completion of
+all its predecessors. You can even have simulation not involving any actors, where the main thread (called maestro) creates and
+schedules activities itself.
+
+Simple dependencies
+-------------------
+
+When you declare dependencies between two activities, the dependent will not actually start until all its dependencies complete,
+as shown in the following examples. The first one declare dependencies between executions while the second one declare
+dependencies between communications. You could declare such dependencies between arbitrary activities.
+
+.. tabs::
+
+   .. example-tab:: examples/cpp/exec-dependent/s4u-exec-dependent.cpp
+
+.. tabs::
+
+   .. example-tab:: examples/cpp/comm-dependent/s4u-comm-dependent.cpp
+
+Assigning activities
+--------------------
+
+To actually start, an activity needs to be assigned to a given resource. This examples illustrates how an execution that is not
+assigned will not actually start until being assigned. In some sense, activities' assignment can be seen as a specific
+dependency that can withdraw their execution.
+
+.. tabs::
+
+   .. example-tab:: examples/cpp/exec-unassigned/s4u-exec-unassigned.cpp
+
+Simple DAG of activities
+------------------------
+
+This example shows how to create activities from the maestro directly without relying on an actor, organize the dependencies of
+activities as a DAG (direct acyclic graph), and start them. Each activity will start as soon as its dependencies are fulfilled.
+
+.. tabs::
+
+   .. example-tab:: examples/cpp/dag-simple/s4u-dag-simple.cpp
+
+DAG with communication
+----------------------
+
+This is a little example showing how add communication activities to your DAG, representing inter-task data exchanges.
+
+.. tabs::
+
+   .. example-tab:: examples/cpp/dag-comm/s4u-dag-comm.cpp
+
+DAG with I/O 
+------------
+
+This is a little example showing how add I/O activities to your DAG, representing disk buffers.
+
+.. tabs::
+
+   .. example-tab:: examples/cpp/dag-io/s4u-dag-io.cpp
+
+Scheduling activities
+---------------------
+
+This example illustrates a simple scheduling algorithm, where the activities are placed on the "most adapted" host. Of course, there is many way 
+to determine which host is the better fit for a given activity, and this example just uses a simple algorithm.
+
+.. tabs::
+
+   .. example-tab:: examples/cpp/dag-scheduling/s4u-dag-scheduling.cpp
+
+Loading DAGs from file
+----------------------
+
+There is currently two file formats that you can load directly in SimGrid, but writing another loader for your beloved format should not be difficult.
+
+.. tabs::
+
+   .. example-tab:: examples/cpp/dag-from-dax/s4u-dag-from-dax.cpp
+
+   .. group-tab:: input
+
+      .. showfile:: examples/cpp/dag-from-dax/smalldax.xml
+         :language: xml
+
+.. tabs::
+
+   .. example-tab:: examples/cpp/dag-from-dot/s4u-dag-from-dot.cpp
+
+   .. group-tab:: input
+
+      .. showfile:: examples/cpp/dag-from-dot/dag.dot
+         :language: xml
+
+Simulating a time slice
+-----------------------
+
+When you declare activities, :cpp:func:`simgrid::s4u::Engine::run()` runs up to the point of time where an activity completes.
+Sometimes, you want to give a maximal duration to simulate up to a given date at most, for example to inject a new activity at that time.
+This example shows how to do it.
+
+.. tabs::
+
+   .. example-tab:: examples/cpp/engine-run-partial/s4u-engine-run-partial.cpp
+
+DAG and failures
+----------------
+
+This example shows how to deal with host or network failures while scheduling DAGs of activities.
+
+.. tabs::
+
+   .. example-tab:: examples/cpp/dag-failure/s4u-dag-failure.cpp
+
 .. _s4u_ex_IPC:
 
 Classical synchronization objects
----------------------------------
+=================================
 
 Barrier
-^^^^^^^
+-------
 
 Shows how to use :cpp:type:`simgrid::s4u::Barrier` synchronization objects.
 
@@ -701,7 +879,7 @@ Shows how to use :cpp:type:`simgrid::s4u::Barrier` synchronization objects.
    .. example-tab:: examples/python/synchro-barrier/synchro-barrier.py
 
 Condition variable: basic usage
-^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+-------------------------------
 
 Shows how to use :cpp:type:`simgrid::s4u::ConditionVariable` synchronization objects.
 
@@ -710,7 +888,7 @@ Shows how to use :cpp:type:`simgrid::s4u::ConditionVariable` synchronization obj
    .. example-tab:: examples/cpp/synchro-condition-variable/s4u-synchro-condition-variable.cpp
 
 Condition variable: timeouts
-^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+----------------------------
 
 Shows how to specify timeouts when blocking on condition variables.
 
@@ -719,7 +897,7 @@ Shows how to specify timeouts when blocking on condition variables.
    .. example-tab:: examples/cpp/synchro-condition-variable-waituntil/s4u-synchro-condition-variable-waituntil.cpp
 
 Mutex
-^^^^^
+-----
 
 Shows how to use :cpp:type:`simgrid::s4u::Mutex` synchronization objects.
 
@@ -730,7 +908,7 @@ Shows how to use :cpp:type:`simgrid::s4u::Mutex` synchronization objects.
    .. example-tab:: examples/python/synchro-mutex/synchro-mutex.py
 
 Semaphore
-^^^^^^^^^
+---------
 
 Shows how to use :cpp:type:`simgrid::s4u::Semaphore` synchronization objects.
 
@@ -742,12 +920,12 @@ Shows how to use :cpp:type:`simgrid::s4u::Semaphore` synchronization objects.
 
    .. example-tab:: examples/c/synchro-semaphore/synchro-semaphore.c
 
-=============================
+*****************************
 Interacting with the Platform
-=============================
+*****************************
 
 User-defined properties
------------------------
+=======================
 
 You can attach arbitrary information to most platform elements from the XML file, and then interact with these values from your
 program. Note that the changes are not written permanently on disk, in the XML file nor anywhere else. They only last until the end of
@@ -776,10 +954,10 @@ your simulation.
          :language: xml
 
 Element filtering
------------------
+=================
 
 Retrieving the netzones matching given criteria
-^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+-----------------------------------------------
 
 Shows how to filter the cluster netzones.
 
@@ -788,7 +966,7 @@ Shows how to filter the cluster netzones.
    .. example-tab:: examples/cpp/routing-get-clusters/s4u-routing-get-clusters.cpp
 
 Retrieving the list of hosts matching given criteria
-^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+----------------------------------------------------
 
 Shows how to filter the actors that match given criteria.
 
@@ -797,16 +975,17 @@ Shows how to filter the actors that match given criteria.
    .. example-tab:: examples/cpp/engine-filtering/s4u-engine-filtering.cpp
 
 Profiles
---------
+========
 
 .. _s4u_ex_platform_state_profile:
 
 Specifying state profiles
-^^^^^^^^^^^^^^^^^^^^^^^^^
+-------------------------
 
 Shows how to specify when the resources must be turned off and on again, and how to react to such
-failures in your code. See also :ref:`howto_churn` and :ref:`this example <s4u_ex_comm_failure>`
-on how to react to communication failures.
+failures in your code. See also :ref:`howto_churn`,
+:ref:`this example <s4u_ex_comm_failure>` on how to react to communication failures, and
+:ref:`that example <s4u_ex_exec_failure>` on how to react to host failures.
 
 .. tabs::
 
@@ -826,7 +1005,7 @@ on how to react to communication failures.
       .. showfile:: examples/platforms/profiles/fafard_state.profile
 
 Specifying speed profiles
-^^^^^^^^^^^^^^^^^^^^^^^^^
+-------------------------
 
 Shows how to specify an external load to resources, variating their peak speed over time.
 
@@ -848,15 +1027,15 @@ Shows how to specify an external load to resources, variating their peak speed o
          .. showfile:: examples/platforms/profiles/link1_latency.profile
 
 Modifying the platform
-----------------------
+======================
 
-Serializing communications 
-^^^^^^^^^^^^^^^^^^^^^^^^^^
+Serializing communications
+--------------------------
 
 This example shows how to limit the amount of communications going through a given link.
 It is very similar to the other asynchronous communication examples, but messages get serialized by the platform.
 Without this call to ``Link::set_concurrency_limit(2)``, all messages would be received at the exact same timestamp since
-they are initiated at the same instant and are of the same size. But with this extra configuration to the link, at most 2 
+they are initiated at the same instant and are of the same size. But with this extra configuration to the link, at most 2
 messages can travel through the link at the same time.
 
 .. tabs::
@@ -871,15 +1050,15 @@ messages can travel through the link at the same time.
 
 .. _s4u_ex_energy:
 
-=================
+*****************
 Energy Simulation
-=================
+*****************
 
 Setup
------
+=====
 
 Describing the energy profiles in the platform
-^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+----------------------------------------------
 
 The first platform file contains the energy profile of each link and host for a wired network, which is necessary to get energy consumption
 predictions. The second platform file is the equivalent for a wireless network. As usual, you should not trust our example, and you should
@@ -896,10 +1075,10 @@ strive to double-check that your instantiation matches your target platform.
    :language: xml
 
 Usage
------
+=====
 
 CPU energy consumption
-^^^^^^^^^^^^^^^^^^^^^^
+----------------------
 
 This example shows how to retrieve the amount of energy consumed by the CPU during computations, and the impact of the pstate.
 
@@ -910,7 +1089,7 @@ This example shows how to retrieve the amount of energy consumed by the CPU duri
    .. example-tab:: examples/c/energy-exec/energy-exec.c
 
 Virtual machines consumption
-^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+----------------------------
 
 This example is very similar to the previous one, adding VMs to the picture.
 
@@ -921,7 +1100,7 @@ This example is very similar to the previous one, adding VMs to the picture.
    .. example-tab:: examples/c/energy-vm/energy-vm.c
 
 Wired network energy consumption
-^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+--------------------------------
 
 This example shows how to retrieve and display the energy consumed by the wired network during communications.
 
@@ -930,7 +1109,7 @@ This example shows how to retrieve and display the energy consumed by the wired
    .. example-tab:: examples/cpp/energy-link/s4u-energy-link.cpp
 
 WiFi network energy consumption
-^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+-------------------------------
 
 This example shows how to retrieve and display the energy consumed by the wireless network during communications.
 
@@ -939,7 +1118,7 @@ This example shows how to retrieve and display the energy consumed by the wirele
    .. example-tab:: examples/cpp/energy-wifi/s4u-energy-wifi.cpp
 
 Modeling the shutdown and boot of hosts
-^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+---------------------------------------
 
 Simple example of a model for the energy consumption during the host boot and shutdown periods.
 
@@ -949,9 +1128,9 @@ Simple example of a model for the energy consumption during the host boot and sh
 
    .. example-tab:: examples/cpp/energy-boot/s4u-energy-boot.cpp
 
-=======================
+***********************
 Tracing and Visualizing
-=======================
+***********************
 
 Tracing can be activated by various configuration options which are illustrated in these examples. See also the
 :ref:`full list of options related to tracing <tracing_tracing_options>`.
@@ -962,10 +1141,10 @@ The following introduces  some option sets of interest that you may want to pass
    A full command line to see the result in the right tool (vite/FrameSoc) should be given along with some screenshots.
 
 Platform Tracing
-----------------
+================
 
 Basic example
-^^^^^^^^^^^^^
+-------------
 
 This program is a toy example just loading the platform so that you can play with the platform visualization. Recommended options:
 ``--cfg=tracing:yes --cfg=tracing/categorized:yes``
@@ -975,7 +1154,7 @@ This program is a toy example just loading the platform so that you can play wit
    .. example-tab:: examples/cpp/trace-platform/s4u-trace-platform.cpp
 
 Setting Categories
-^^^^^^^^^^^^^^^^^^
+------------------
 
 This example declares several tracing categories that are used to
 classify its tasks. When the program is executed, the tracing mechanism
@@ -988,7 +1167,7 @@ categories. Recommended options:
    .. example-tab:: examples/cpp/trace-categories/s4u-trace-categories.cpp
 
 Master Workers tracing
-^^^^^^^^^^^^^^^^^^^^^^
+----------------------
 
 This is an augmented version of our basic master/worker example using
 several tracing features. It traces resource usage, sorted out in several
@@ -1002,7 +1181,7 @@ options: ``--cfg=tracing/categorized:yes --cfg=tracing/uncategorized:yes``
    .. example-tab:: examples/python/app-masterworkers/app-masterworkers.py
 
 Process migration tracing
-^^^^^^^^^^^^^^^^^^^^^^^^^
+-------------------------
 
 This version is enhanced so that the process migrations can be displayed
 as arrows in a Gantt-chart visualization. Recommended options to that
@@ -1013,21 +1192,21 @@ extend: ``--cfg=tracing:yes --cfg=tracing/actor:yes``
    .. example-tab:: examples/cpp/trace-process-migration/s4u-trace-process-migration.cpp
 
 Tracing user variables
-----------------------
+======================
 
 You can also attach your own variables to any resource described in the platform
 file. The following examples illustrate this feature.  They have to be run with
 the following options: ``--cfg=tracing:yes --cfg=tracing/platform:yes``
 
 Attaching variables to Hosts
-^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+----------------------------
 
 .. tabs::
 
    .. example-tab:: examples/cpp/trace-host-user-variables/s4u-trace-host-user-variables.cpp
 
 Attaching variables to Links
-^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+----------------------------
 
 The tricky part is that you have to know the name of the link you want to enhance with a variable.
 
@@ -1036,7 +1215,7 @@ The tricky part is that you have to know the name of the link you want to enhanc
    .. example-tab:: examples/cpp/trace-link-user-variables/s4u-trace-link-user-variables.cpp
 
 Attaching variables to network routes
-^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+-------------------------------------
 
 It is often easier to update a given variable for all links of a given network path (identified by its source and destination hosts) instead of
 knowing the name of each specific link.
@@ -1045,17 +1224,17 @@ knowing the name of each specific link.
 
    .. example-tab::  examples/cpp/trace-route-user-variables/s4u-trace-route-user-variables.cpp
 
-========================
+************************
 Larger SimGrid Exemplars
-========================
+************************
 
 This section contains application examples that are somewhat larger than the previous examples.
 
 Classical examples
-------------------
+==================
 
 Token ring
-^^^^^^^^^^
+----------
 
 Shows how to implement a classical communication pattern, where a token is exchanged along a ring to reach every participant.
 
@@ -1066,7 +1245,7 @@ Shows how to implement a classical communication pattern, where a token is excha
    .. example-tab:: examples/c/app-token-ring/app-token-ring.c
 
 Master Workers
-^^^^^^^^^^^^^^
+--------------
 
 Another good old example, where one Master actor has a bunch of tasks to dispatch to a set of several Worker actors.
 This example is used in the :ref:`SimGrid tutorial <usecase_simalgo>`.
@@ -1095,10 +1274,10 @@ This example is used in the :ref:`SimGrid tutorial <usecase_simalgo>`.
    .. example-tab:: examples/python/app-masterworkers/app-masterworkers.py
 
 Data diffusion
---------------
+==============
 
 Bit Torrent
-^^^^^^^^^^^
+-----------
 
 Classical protocol for Peer-to-Peer data diffusion.
 
@@ -1127,7 +1306,7 @@ Classical protocol for Peer-to-Peer data diffusion.
          :language: cpp
 
 Chained Send
-^^^^^^^^^^^^
+------------
 
 Data broadcast over a ring of processes.
 
@@ -1147,10 +1326,10 @@ Data broadcast over a ring of processes.
          :language: c
 
 Distributed Hash Tables (DHT)
------------------------------
+=============================
 
 Chord Protocol
-^^^^^^^^^^^^^^
+--------------
 
 One of the most famous DHT protocol.
 
@@ -1165,7 +1344,7 @@ One of the most famous DHT protocol.
          :language: cpp
 
 Kademlia
-^^^^^^^^
+--------
 
 Another well-known DHT protocol.
 
@@ -1203,7 +1382,7 @@ Another well-known DHT protocol.
          :language: cpp
 
 Pastry
-^^^^^^
+------
 
 Yet another well-known DHT protocol.
 
@@ -1214,10 +1393,10 @@ Yet another well-known DHT protocol.
 .. _s4u_ex_clouds:
 
 Simulating Clouds
------------------
+=================
 
 Cloud basics
-^^^^^^^^^^^^
+------------
 
 This example starts some computations both on PMs and VMs and migrates some VMs around.
 
@@ -1228,7 +1407,7 @@ This example starts some computations both on PMs and VMs and migrates some VMs
    .. example-tab:: examples/c/cloud-simple/cloud-simple.c
 
 Migrating VMs
-^^^^^^^^^^^^^
+-------------
 
 This example shows how to migrate VMs between PMs.
 
@@ -1238,12 +1417,12 @@ This example shows how to migrate VMs between PMs.
 
    .. example-tab:: examples/c/cloud-migration/cloud-migration.c
 
-=======================
+***********************
 Model-Related Examples
-=======================
+***********************
 
 ns-3 as a model
----------------
+===============
 
 This simple ping-pong example demonstrates how to use the bindings to the Network
 Simulator. The most interesting is probably not the C++ files since
@@ -1264,7 +1443,7 @@ start a simulation in these settings.
          :language: xml
 
 WiFi links
-----------
+==========
 
 This demonstrates how to declare a wifi zone in your platform and
 how to use it in your simulation. For that, you should have a link
@@ -1293,11 +1472,23 @@ the first level is used.
       .. showfile:: examples/platforms/wifi.xml
          :language: xml
 
+You can also use the **ns-3 models on your wifi networks** as follows:
 
+.. tabs::
 
-===============
+   .. example-tab:: examples/cpp/network-ns3-wifi/s4u-network-ns3-wifi.cpp
+
+   .. group-tab:: XML
+
+      **Platform files:**
+
+      .. showfile:: examples/platforms/wifi_ns3.xml
+         :language: xml
+
+
+***************
 Plugin Examples
-===============
+***************
 
 It is possible to extend SimGrid without modifying its internals by
 attaching code to the existing signals and by adding extra data to the
@@ -1310,7 +1501,7 @@ that you are very welcome to modify the plugins to fit your needs. It
 should be much easier than modifying the SimGrid kernel.
 
 Monitoring the host load
-------------------------
+========================
 
 .. tabs::
 
@@ -1319,21 +1510,21 @@ Monitoring the host load
    .. example-tab:: examples/c/plugin-host-load/plugin-host-load.c
 
 Monitoring the link load
-------------------------
+========================
 
 .. tabs::
 
    .. example-tab:: examples/cpp/plugin-link-load/s4u-plugin-link-load.cpp
 
-=======================
+***********************
 Model-Checking Examples
-=======================
+***********************
 
 The model-checker can be used to exhaustively search for issues in the tested application. It must be activated at compile-time, but this
 mode is rather experimental in SimGrid (as of v3.25). We are working on it :)
 
 Failing assert
---------------
+==============
 
 In this example, two actors send some data to a central server, which asserts that the messages are always received in the same order.
 This is wrong, and the model-checker correctly finds a counter-example to that assertion.