X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/97b984fdc62beb424a63d69e3d110b579fd4f5ca..6ee90e80f18babea3b884c5d3bcce072fac65868:/docs/source/img/graphical-toc.svg diff --git a/docs/source/img/graphical-toc.svg b/docs/source/img/graphical-toc.svg index 71ef8e7059..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"> @@ -2300,282 +2303,251 @@ image/svg+xml - + - - Experimental + + Platform + available resources + + + + Setup + y="115.23576" + id="text818" + inkscape:label="XPSetupText">ExperimentalSetup + + + + Profiles + 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 @@ -2610,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 @@ -2621,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 @@ -5475,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 - - + style="stroke-width:0.0891421">[2.668][]Simulationtime2.66766 Exhaustive test - Counter example - - R visualizations - - Textual logsTextual logs - - - ▸ Resources - ▸ Routing - ▸ External Events - (CPU, Links, Disks) - (paths) - + transform="translate(3.9099913)" + inkscape:label="VisuLink"> + y="89.791664" + inkscape:label="VisuImg" /> + R visualizations - - - - - - Config - - - Calibration - - - App Deployment - + + AutomaticCalibration + + + + width="21.166666" + height="7.748518" + x="64.029175" + y="120.67231" + ry="0.77487302" + inkscape:label="ConfigBox" /> + Config + + - + height="7.9374981" + x="63.499996" + y="111.75208" + ry="1.3229066" + inkscape:label="DeployBox" /> + App Deployment + - - - - + - + sodipodi:nodetypes="cccccccc" + inkscape:label="ModelCheckBox" /> + style="stroke-width:2.32630968" + inkscape:label="SimGrid Logo"> UserUserManual - -