Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add 3 figures to the design goals + minor rewording
[simgrid.git] / docs / source / Models.rst
index ac3f0587ff5a207a44430e550d48faa8795006ba..fb4a056ef55ac1c55a4f3e7c2e87261858e9af77 100644 (file)
@@ -51,6 +51,8 @@ still be correct for most users. `Studies have shown <https://hal.inria.fr/hal-0
 under some conditions, and a :ref:`calibration process<howto_disk>` is provided. As usual, you probably want to
 double-check their predictions through an appropriate validation campaign.
 
+.. _models-lmm:
+
 LMM-based Models
 ****************
 
@@ -93,6 +95,8 @@ Most of the SimGrid models build upon the LMM solver, that they adapt and config
 and disk activities, the LMM-based models are respectively named **Cas01** and **S19**. The existing network models are
 described in the next section.
 
+.. _models_TCP:
+
 The TCP models
 **************
 
@@ -102,11 +106,16 @@ model should be used if you prefer understandable results over realistic ones. *
 constant factors that are intended to capture common effects such as slow-start, the fact that TCP headers reduce the
 *effective* bandwidth, or TCP's ACK messages. **SMPI** uses more advanced factors that also capture the MPI-specific
 effects such as the switch between the eager vs. rendez-vous communication modes. You can :ref:`choose the
-model<options_model_select>` on command line, and these models can be :ref:`further configured<options_model>`.
+model <options_model_select>` on command line, and these models can be :ref:`further configured <options_model>`.
 
 The LMM solver is then used as described above to compute the effect of contention on the communication time that is
-computed by the TCP model. For sake of realism, the sharing on saturated links is not necessarily a fair sharing.
-Instead, flows receive an amount of bandwidth inversely proportional to their round trip time.
+computed by the TCP model. For sake of realism, the sharing on saturated links is not necessarily a fair sharing
+(unless when ``weight-S=0``, in which case the following mechanism is disabled).
+Instead, flows receive an amount of bandwidth somehow inversely proportional to their round trip time. This is modeled
+in the LMM as a priority which depends on the :ref:`weight-S <cfg=network/weight-S>` parameter. More precisely, this
+priority is computed for each flow as :math:`\displaystyle\sum_{l\in links}\left(Lat(l)+\frac{weightS}{Bandwidth(l)}\right)`, i.e., as the sum of the
+latencies of all links traversed by the communication, plus the sum of `weight-S` over the bandwidth of each link on
+the path. Intuitively, this dependency on the bandwidth of the links somehow accounts for the protocol reactivity.
 
 Regardless of the used TCP model, the latency is paid beforehand. It is as if the communication only starts after a
 little delay corresponding to the latency. During that time, the communication has no impact on the links (the other
@@ -154,8 +163,8 @@ Marchal (published in 2002, thus the model name).
 LV08 (default)
 ==============
 
-This model builds upon CM02 to model TCP windowing. It also introduces corrections factors for further realism. Lets
-consider the following platform:
+This model builds upon CM02 to model TCP windowing (see above). It also introduces corrections factors for further realism:
+latency-factor is 13.01, bandwidth-factor is 0.97 while weight-S is 20537. Lets consider the following platform:
 
 .. code-block:: xml