X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/fa70aa3d80a1580eae84757de1ff4c0cf067d279..661e64114641721802e309fc277b081ea01078c8:/examples/s4u/README.rst diff --git a/examples/s4u/README.rst b/examples/s4u/README.rst index 23a3e9c92b..7e8af8d329 100644 --- a/examples/s4u/README.rst +++ b/examples/s4u/README.rst @@ -80,6 +80,10 @@ Starting and Stoping Actors Inter-Actors Interactions ------------------------- +See also the examples on :ref:`inter-actors communications +` and the ones on :ref:`classical +synchronization objects `. + - **Suspend and Resume actors:** Actors can be suspended and resumed during their executions. @@ -149,6 +153,8 @@ also the tesh files in the example directories for details. Activities: what Actors do ========================== +.. _s4u_ex_communication: + Communications on the Network ----------------------------- @@ -201,28 +207,33 @@ Executions on the CPU - **Asynchronous execution:** You can start asynchronous executions, just like you would fire background threads. - |br| `examples/s4u/exec-async/s4u-exec-async.cpp `_ - - **Monitoring asynchronous executions:** - This example shows how to start an asynchronous execution, and - monitor its status. - |br| `examples/s4u/exec-monitor/s4u-exec-monitor.cpp `_ + - |cpp| `examples/s4u/exec-async/s4u-exec-async.cpp `_ + - |py| `examples/python/exec-async/exec-async.py `_ - **Remote execution:** - Before its start, you can change the host on which a given execution will occur. - |br| `examples/s4u/exec-remote/s4u-exec-remote.cpp `_ - - - **Using Pstates on a host:** - Shows how define a set of pstatesfor a host in the XML, and how the current - pstate can be accessed/changed with :cpp:func:`simgrid::s4u::Host::get_pstate_speed` and :cpp:func:`simgrid::s4u::Host::set_pstate`. - |br| `examples/s4u/exec-dvfs/s4u-exec-dvfs.cpp `_ - |br| `examples/platforms/energy_platform.xml `_ + You can start executions on remote hosts, or even change the host + on which they occur during their execution. + + - |cpp| `examples/s4u/exec-remote/s4u-exec-remote.cpp `_ + - |py| `examples/python/exec-remote/exec-remote.py `_ - **Parallel executions:** These objects are convenient abstractions of parallel computational kernels that span over several machines, such as a - PDGEM and the other ScaLAPACK routines. + PDGEM and the other ScaLAPACK routines. Note that this only works + with the "ptask_L07" host model (``--cfg=host/model:ptask_L07``). |br| `examples/s4u/exec-ptask/s4u-exec-ptask.cpp `_ + + - **Using Pstates on a host:** + `examples/platforms/energy_platform.xml `_ + shows how define a set of pstates in the XML. The current pstate + of an host can then be accessed and changed from the program. + + - |cpp| `examples/s4u/exec-dvfs/s4u-exec-dvfs.cpp `_ + :cpp:func:`simgrid::s4u::Host::get_pstate_speed` and :cpp:func:`simgrid::s4u::Host::set_pstate`. + - |py| `examples/python/exec-dvfs/exec-dvfs.py `_ + :py:func:`Host.get_pstate_speed` and :py:func:`Host.set_pstate`. I/O on Disks and Files ---------------------- @@ -251,6 +262,8 @@ result in short reads and short write, as in reality. i.e. when the accessed disk is not mounted on the caller's host. |br| `examples/s4u/io-file-remote/s4u-io-file-remote.cpp `_ +.. _s4u_ex_IPC: + Classical synchronization objects --------------------------------- @@ -393,7 +406,32 @@ Distributed Hash Tables (DHT) One of the most famous DHT protocol. |br| `examples/s4u/dht-chord/s4u-dht-chord.cpp `_ -.. TODO:: document here the examples about plugins +Simulating Clouds +----------------- + + - **Cloud basics** + This example starts some computations both on PMs and VMs, and + migrates some VMs around. + |br| `examples/s4u/cloud-simple/s4u-cloud-simple.cpp `_ + +.. TODO:: document here the examples about clouds and plugins + +======================= +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.22). You should not +enable it unless you really want to formally verify your applications: +SimGrid is slower and maybe less robust when MC is enabled. + + - **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 obviously wrong, and the model-checker correctly finds a + counter-example to that assertion. + |br| `examples/s4u/mc-failing-assert/s4u-mc-failing-assert.cpp `_ .. |br| raw:: html