The Modern Age of Computer Systems Simulation
=============================================
-SimGrid is a framework to simulate distributed computer systems. It can be used
-to either :ref:`assess abstract algorithms <usecase_simalgo>` or to
-:ref:`debug and profile real MPI applications <usecase_smpi>`.
+SimGrid is a framework to simulate distributed computer systems. It can be used to either :ref:`assess the performance of
+abstract algorithms <usecase_simalgo>`, to :ref:`debug and profile real MPI applications <usecase_smpi>`. To some extend, it can
+also be used to :ref:`formally assess the correctness of simple algorithms and applications <usecase_modelchecking>`.
SimGrid is routinely used in studies on (data-)Grids,
IaaS Clouds (:ref:`API <API_s4u_VirtualMachine>`, :ref:`examples <s4u_ex_clouds>`),
**highly scalable** (`🖹 <http://hal.inria.fr/inria-00602216/>`__) while
**theoretically sound and experimentally assessed** (`🖹 <http://doi.acm.org/10.1145/2517448>`__).
Most of the time, SimGrid is used to predict the performance (time and energy) of a
-given IT infrastructure, and it includes a prototype model checker to formally
+given IT infrastructure, and it includes a prototypical model checker to formally
assess these systems.
Technically speaking, SimGrid is a library. It is neither a graphical
interface nor a command-line simulator running user scripts. The
interaction with SimGrid is done by writing programs with the exposed
-functions to build your own simulator. This can be done in C/C++, Python or Java,
+functions to build your own simulator. This can be done in C/C++ or Python,
on Linux, Mac OSX or Windows (using the WSL).
-SimGrid is a Free Software distributed under the LGPL-2.1 license. You are
+SimGrid is a Free Software distributed under the LGPL-2.1-only license. You are
welcome to use, study, share and improve it, provided that your version is as
free as ours. SimGrid is developed for 20 years by a lively community of users
and researchers from several groups, initially in France and the U.S.A. It
Simulating distributed algorithms <Tutorial_Algorithms.rst>
Simulating MPI applications <Tutorial_MPI_Applications.rst>
Model-checking algorithms <Tutorial_Model-checking.rst>
+ Simulating DAG <Tutorial_DAG.rst>
.. toctree::
:hidden:
Release Notes <Release_Notes.rst>
Describing your application <application.rst>
The S4U interface <app_s4u.rst>
+ S4U examples <Examples.rst>
The SMPI interface <app_smpi.rst>
- The MSG interface <app_msg.rst>
The XBT toolbox <The_XBT_toolbox.rst>
Describing the simulated platform <Platform.rst>
Network topology examples <Platform_examples.rst>
Advanced routing <Platform_routing.rst>
XML reference <XML_reference.rst>
C++ platforms <Platform_cpp.rst>
- The SimGrid models <Models.rst>
- SimGrid plugins <Plugins.rst>
+ The SimGrid models <Models.rst>
Modeling hints <Modeling_howtos.rst>
- Calibrating the models <Calibrating_the_models.rst>
+ Calibrating the models <Calibrating_the_models.rst>
+ SimGrid plugins <Plugins.rst>
Running an experiment <Experimental_setup.rst>
Configuring SimGrid <Configuring_SimGrid.rst>
Deploying your application <Deploying_your_application.rst>
:caption: SimGrid's Internals:
Design goals <Design_goals.rst>
+ Contributor's documentation <Contributors_Documentation.rst>
.. Cheat Sheet on the sublevels
..