From 1737aa6010281de615045be05d19f6ab1aa1d48e Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Mon, 17 Sep 2018 23:46:10 +0200 Subject: [PATCH] cosmetics on the graphical TOC --- docs/source/img/graphical-toc.svg | 2564 +++++++++-------------------- 1 file changed, 739 insertions(+), 1825 deletions(-) diff --git a/docs/source/img/graphical-toc.svg b/docs/source/img/graphical-toc.svg index 699873a257..de43cf2e8d 100644 --- a/docs/source/img/graphical-toc.svg +++ b/docs/source/img/graphical-toc.svg @@ -24,9 +24,9 @@ borderopacity="1.0" inkscape:pageopacity="0.0" inkscape:pageshadow="2" - inkscape:zoom="3.959798" - inkscape:cx="131.77503" - inkscape:cy="253.06312" + inkscape:zoom="0.49497475" + inkscape:cx="-267.7826" + inkscape:cy="12.793361" inkscape:document-units="mm" inkscape:current-layer="layer1" showgrid="true" @@ -2307,443 +2307,305 @@ - - + inkscape:label="underlining" /> - - - - - - HPC - Clouds - P2P - - - Scheduling - Grids - - - Application - ExperimentalSetup Simulation Model Checking - - - Property Reduction - - - (what you test) - - Virtual Platform + sodipodi:role="line">Virtual Platform - ▸ Resources - ▸ Routing - ▸ External Events - + + + + + Application + + + + + + (what you test) + + + ▸ Actors: + ▸ Actors: - - ▸ MPI Legacy Code - ▸ MPI Legacy Code + ▸ Offline Traces - ▸ Offline Traces + ▸ Centralized Algo - C/C++/Java - - + x="6.6014075" + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.93888903px;line-height:6.61458349px;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;opacity:0.93000034;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" + xml:space="preserve">▸ Centralized Algo + + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333311px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.26458332px" + y="87.184937" + x="28.509558" + id="tspan1026-3-0-0-2" + sodipodi:role="line">C/C++/Java ▸ Safety ▸ Liveness ▸ Patterns ▸ DPOR + transform="translate(1.322932,7.9374942)"> Equality - (highly experimental) - - - Models - Plugins - ▸ Raw Perf. - ▸ Contention - ▸ Collective @@ -5804,39 +5584,6 @@ id="tspan12232-3-7">send(2) - Your code - ▸ Signals - ▸ Extensions - deep inside [2.668][]Simulationtime2.66766 - @@ -6184,1301 +5915,174 @@ - - - - - - - - - - - - - + id="g34108" + transform="matrix(0.0830545,0,0,-0.0830545,77.484414,170.53818)" /> + + + + + + + - + id="g2465"> + + Plugins + Your code + ▸ Signals + ▸ Extensions + deep inside - - + id="g2452"> + + Models + ▸ Raw Perf. + ▸ Contention + ▸ Collective + Time, Energy + operations - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 1 - - - 3 - - - 45 - 6 - 2 - Root - - - - End - - - Time, Energy - (CPU, Links, Disks) - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 3 - - - - - - - - - - - - - - 6 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 4 - - - - - - - - - - - - - - - - - - - - - - 10G - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 1 - - - - - - - 13G - - - - - - - - - - - - - - - - - - 1.5 - - Config - - - Domains - operations - (paths) - - Calibration - + id="g2521" + transform="translate(-2.9999912e-7,-7.9374984)"> + Workflows + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.93888903px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.26458332px" + y="94.176186" + x="69.055466" + id="tspan1026" + sodipodi:role="line">▸ Resources Fog - - + style="font-size:4.93888903px;stroke-width:0.26458332px" + y="103.17203" + x="69.055466" + id="tspan1030" + sodipodi:role="line">▸ Routing Volunteer + style="font-size:4.93888903px;stroke-width:0.26458332px" + y="108.99284" + x="69.055466" + id="tspan1034" + sodipodi:role="line">▸ External Events IoT + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:3.17499995px;font-family:'Bitstream Vera Sans';-inkscape-font-specification:'Bitstream Vera Sans';stroke-width:0.26458332px" + y="97.87088" + x="73.476288" + id="tspan1026-2-99-6-3" + sodipodi:role="line">(CPU, Links, Disks) + (paths) - - + + + + + Config + + + Calibration + + + App Deployment - - + y="117.80719" + id="text1024-2">App Deployment + + + + + + style="display:inline;opacity:0.93999999;fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.67500001;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" + id="rect834-7-6" + width="56.885418" + height="37.041664" + x="60.854168" + y="108.3125" + ry="5.2916684" /> + + + + + + + + + + + + + + + + + + + + + UserManual + + -- 2.20.1