X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/8f0d9a5e593a4e0e913cbce250dcd60521db5136..4f9b2f00f8a405aea493ce4e317bea02bf64169a:/docs/source/img/graphical-toc.svg diff --git a/docs/source/img/graphical-toc.svg b/docs/source/img/graphical-toc.svg index eeddf2103f..aeaf4908c7 100644 --- a/docs/source/img/graphical-toc.svg +++ b/docs/source/img/graphical-toc.svg @@ -2,21 +2,21 @@ + inkscape:version="1.2.1 (9c6d41e410, 2022-07-14)" + sodipodi:docname="graphical-toc.svg" + xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" + xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd" + xmlns:xlink="http://www.w3.org/1999/xlink" + xmlns="http://www.w3.org/2000/svg" + xmlns:svg="http://www.w3.org/2000/svg" + xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" + xmlns:cc="http://creativecommons.org/ns#" + xmlns:dc="http://purl.org/dc/elements/1.1/"> + guidetolerance="10" + inkscape:showpageshadow="0" + inkscape:pagecheckerboard="0" + inkscape:deskcolor="#d1d1d1"> @@ -2307,304 +2310,244 @@ + inkscape:label="PlatformLink"> + Platform + available resources + + + + ExperimentalSetup + id="a6097"> + style="display:inline;opacity:0.93999999;fill:#ffffff;fill-opacity:1;stroke:#000000;stroke-width:0.35299999;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> Dynamic profiles + x="68.990105" + y="97.56163" + style="font-size:5.64444px;stroke-width:0.264583px" + id="tspan6087">Profiles ExperimentalSetup - SimulationSimulation + Model CheckingModel Checking Property + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.64444px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.264583px">Property Reduction - + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.46806px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.264583px">Reduction - Simulated Platform - - - + xlink:href="application.html" + id="a6242" + inkscape:label="ApplicationLink"> - - Application - - - - - - (what you test) - - - ▸ Actors: - - ▸ MPI Legacy Code + style="opacity:0.93999999;fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.67541802;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" + inkscape:label="ApplicationBox" /> ▸ Offline Traces - ▸ Centralized Algo + id="text1018" + y="78.263397" + x="30.003435" + style="font-style:oblique;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.64444px;line-height:6.61458px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans Oblique';text-align:center;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:middle;fill:#d40000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" + xml:space="preserve" + inkscape:label="ApplicationText2">(what you test) C/C++/Java - + id="text814" + y="71.425667" + x="8.285965" + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:7.76111px;line-height:6.61458px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" + xml:space="preserve" + inkscape:label="ApplicationText1">Application + ▸ Safety + style="font-size:4.23333px;stroke-width:0.264583px">▸ Safety ▸ Liveness + style="font-size:4.23333px;stroke-width:0.264583px">▸ Liveness ▸ Patterns + style="font-size:4.23333px;stroke-width:0.264583px">▸ Patterns + ry="2.6458309" + inkscape:label="PropertyBox" /> + ry="2.6458309" + inkscape:label="ReductionBox" /> + Exhaustive test ▸ DPOR + style="font-size:4.23333px;stroke-width:0.264583px">▸ DPOR @@ -2639,10 +2601,10 @@ id="text1032-0-1" y="130.17258" x="150.47285" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.93888903px;line-height:4.4979167px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.93889px;line-height:4.49792px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" xml:space="preserve">▸ State @@ -2650,17 +2612,18 @@ id="text1032-0-1-8" y="134.97" x="154.33516" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.93888903px;line-height:4.4979167px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.93889px;line-height:4.49792px;font-family:'Amiri Quran Colored';-inkscape-font-specification:'Amiri Quran Colored';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" xml:space="preserve">Equality + transform="matrix(0.59989277,0,0,0.59989277,81.319387,49.091318)" + inkscape:label="ExhaustiveImg"> + id="g12312" + inkscape:label="g12312" /> + transform="matrix(0.54868693,0,0,0.54868693,62.579767,63.933493)" + inkscape:label="CounterExampleImg"> - x - + id="tspan12224">x - ← - + id="tspan12228">← - 2 - + id="tspan12232">2 @@ -5504,9 +5463,9 @@ id="text15126" y="135.22546" x="255.25545" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:2.82222223px;line-height:6.61458302px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:-0.01322917px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:2.82222px;line-height:6.61458px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';text-align:start;letter-spacing:-0.0132292px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" xml:space="preserve"> - y - + style="stroke-width:0.352778">y - ← - + style="stroke-width:0.352778">← - 1 - + style="stroke-width:0.352778">1 - send(1) - + id="tspan12232-3">send(1) - send(2) - + id="tspan12232-3-7">send(2) + + + + + + + + + + Plugins + Your code + ▸ Signals + ▸ Extensions + deep inside + + + + Models + ▸ Raw Perf. + ▸ Contention + ▸ Collective + Time, Energy + operations + + Counter example + x="186.86519" + y="147.83363" + id="tspan2707-9" /> - $./my_simulator|MSG_visualization/colorize.pl - $./my_simulator[0.000] - [0.000][Tremblay:master]Got3workersand6taskstoprocess - [Tremblay:master]Got3workersand6taskstoprocess[0.000] - [0.000][Tremblay:master]Sending’Task_0’to’Jupiter’ - [Tremblay:master]Sending’Task_0’to’Jupiter’[0.148] - [0.148][Tremblay:master]Sending’Task_1’to’Fafard’ - [Tremblay:master]Sending’Task_1’to’Fafard’[0.148] - [0.148][Jupiter:worker]Processing’Task_0’ - [Jupiter:worker]Processing’Task_0’[0.347] - [0.347][Tremblay:master]Sending’Task_2’to’Ginette’ - [Tremblay:master]Sending’Task_2’to’Ginette’[0.347] - [0.347][Fafard:worker]Processing’Task_1’ - [Fafard:worker]Processing’Task_1’[0.476] - [0.476][Tremblay:master]Sending’Task_3’to’Jupiter’ - [Tremblay:master]Sending’Task_3’to’Jupiter’[0.476] - [0.476][Ginette:worker]Processing’Task_2’ - [Ginette:worker]Processing’Task_2’[0.803] - [0.803][Jupiter:worker]’Task_0’done - [Jupiter:worker]’Task_0’done[0.951] - [0.951][Tremblay:master]Sending’Task_4’to’Fafard’ - [Tremblay:master]Sending’Task_4’to’Fafard’[0.951] - [0.951][Jupiter:worker]Processing’Task_3’ - [Jupiter:worker]Processing’Task_3’[1.003] - [1.003][Fafard:worker]’Task_1’done - [Fafard:worker]’Task_1’done[1.202] - [1.202][Tremblay:master]Sending’Task_5’to’Ginette’ - [Tremblay:master]Sending’Task_5’to’Ginette’[1.202] - [1.202][Fafard:worker]Processing’Task_4’ - [Fafard:worker]Processing’Task_4’[1.507] - [1.507][Ginette:worker]’Task_2’done - [Ginette:worker]’Task_2’done[1.606] - [1.606][Jupiter:worker]’Task_3’done - [Jupiter:worker]’Task_3’done[1.635] - [1.635][Tremblay:master]Alltasksdispatched.Let’sstopworkers. - [Tremblay:master]Alltasksdispatched.Let’sstopworkers.[1.635] - [1.635][Ginette:worker]Processing’Task_5’ - [Ginette:worker]Processing’Task_5’[1.637] - [1.637][Jupiter:worker]I’mdone.Seeyou! - [Jupiter:worker]I’mdone.Seeyou![1.857] - [1.857][Fafard:worker]’Task_4’done - [Fafard:worker]’Task_4’done[1.859] - [1.859][Fafard:worker]I’mdone.Seeyou! - [Fafard:worker]I’mdone.Seeyou![2.666] - [2.666][Ginette:worker]’Task_5’done - [Ginette:worker]’Task_5’done[2.668] - [2.668][Tremblay:master]Goodbyenow! - [Tremblay:master]Goodbyenow![2.668] - [2.668][Ginette:worker]I’mdone.Seeyou! - [Ginette:worker]I’mdone.Seeyou![2.668][]Simulationtime2.66766 - - - - - - - - - - - - - - - - - Plugins - Your code - ▸ Signals - ▸ Extensions - deep inside - - - - Models - ▸ Raw Perf. - ▸ Contention - ▸ Collective - Time, Energy - operations - - - Exhaustive test - Counter example - - R visualizations - + style="stroke-width:0.0891421">[2.668][]Simulationtime2.66766 Textual logsTextual logs - - Resources: - CPU, Links, Disks + transform="translate(3.9099913)" + inkscape:label="VisuLink"> + y="89.791664" + inkscape:label="VisuImg" /> + R visualizations + transform="translate(4.7625068,-32.198834)" + inkscape:label="CalibrLink"> + style="opacity:0.93999999;fill:#ffffff;fill-opacity:1;stroke:#000000;stroke-width:0.35277778;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" + inkscape:label="CalibrBox" /> + AutomaticCalibration + style="display:inline" + inkscape:label="ConfigLink" + id="a6149" + transform="translate(-0.52916951,14.28751)"> + Config Config - Calibration - - + xlink:href="Deploying_your_application.html" + inkscape:label="DeployLink" + transform="translate(-2.8431311e-6,13.229176)" + id="a6179"> + App Deployment - - - - - - + - + sodipodi:nodetypes="cccccccc" + inkscape:label="ModelCheckBox" /> + style="stroke-width:2.32630968" + inkscape:label="SimGrid Logo"> UserUserManual + inkscape:label="PlatfRoutingLink"> - + Routing - Routing + paths + id="text1028-1-4-3-0-8" + inkscape:label="RoutingText2">paths - -