Fix typo in dynalock safety violation SVG

amrali · amrali · commit 76c3bd716917 · 2018-06-04T07:48:28.000+02:00
diff --git a/doc_resources/dynalock_safety_violation.svg b/doc_resources/dynalock_safety_violation.svg
@@ -347,4 +347,4 @@
 </style><style>#mermaid-1528075316131 {
     color: rgba(0, 0, 0, 0.65);
     font: normal normal 400 normal 14px / 21px "Monospaced Number", "Chinese Quote", -apple-system, system-ui, "Segoe UI", Roboto, "PingFang SC", "Hiragino Sans GB", "Microsoft YaHei", "Helvetica Neue", Helvetica, Arial, sans-serif;
-  }</style><g></g><g><line id="actor5274" x1="75" y1="5" x2="75" y2="522" class="actor-line" stroke-width="0.5px" stroke="#999"></line><rect x="0" y="0" fill="#eaeaea" stroke="#666" width="150" height="65" rx="3" ry="3" class="actor"></rect><text x="75" y="32.5" dominant-baseline="central" alignment-baseline="central" class="actor" style="text-anchor: middle;"><tspan x="75" dy="0">Processor A</tspan></text></g><g><line id="actor5275" x1="275" y1="5" x2="275" y2="522" class="actor-line" stroke-width="0.5px" stroke="#999"></line><rect x="200" y="0" fill="#eaeaea" stroke="#666" width="150" height="65" rx="3" ry="3" class="actor"></rect><text x="275" y="32.5" dominant-baseline="central" alignment-baseline="central" class="actor" style="text-anchor: middle;"><tspan x="275" dy="0">Processor B</tspan></text></g><g><line id="actor5276" x1="475" y1="5" x2="475" y2="522" class="actor-line" stroke-width="0.5px" stroke="#999"></line><rect x="400" y="0" fill="#eaeaea" stroke="#666" width="150" height="65" rx="3" ry="3" class="actor"></rect><text x="475" y="32.5" dominant-baseline="central" alignment-baseline="central" class="actor" style="text-anchor: middle;"><tspan x="475" dy="0">Store</tspan></text></g><defs><marker id="arrowhead" refX="5" refY="2" markerWidth="6" markerHeight="4" orient="auto"><path d="M 0,0 V 4 L6,2 Z"></path></marker></defs><defs><marker id="crosshead" markerWidth="15" markerHeight="8" orient="auto" refX="16" refY="4"><path fill="black" stroke="#000000" stroke-width="1px" d="M 9,2 V 6 L16,4 Z" style="stroke-dasharray: 0, 0;"></path><path fill="none" stroke="#000000" stroke-width="1px" d="M 0,1 L 6,7 M 6,1 L 0,7" style="stroke-dasharray: 0, 0;"></path></marker></defs><g><text x="275" y="93" class="messageText" style="text-anchor: middle;">Acquire lock RVN-X, CAS=None</text><line x1="75" y1="100" x2="475" y2="100" class="messageLine0" stroke-width="2" stroke="black" marker-end="url(#arrowhead)" style="fill: none;"></line></g><g><text x="375" y="128" class="messageText" style="text-anchor: middle;">Acquire lock RVN-Y, CAS=None</text><line x1="275" y1="135" x2="475" y2="135" class="messageLine1" stroke-width="2" stroke="black" marker-end="url(#arrowhead)" style="stroke-dasharray: 3, 3; fill: none;"></line></g><g><text x="275" y="163" class="messageText" style="text-anchor: middle;">Success, lease=10 seconds</text><line x1="475" y1="170" x2="75" y2="170" class="messageLine0" stroke-width="2" stroke="black" marker-end="url(#arrowhead)" style="fill: none;"></line></g><g><rect x="70" y="172" fill="#f4f4f4" stroke="#666" width="10" height="265" rx="0" ry="0"></rect></g><g><text x="375" y="198" class="messageText" style="text-anchor: middle;">Fail / Already Acquired</text><line x1="475" y1="205" x2="275" y2="205" class="messageLine1" stroke-width="2" stroke="black" marker-end="url(#arrowhead)" style="stroke-dasharray: 3, 3; fill: none;"></line></g><g><text x="375" y="233" class="messageText" style="text-anchor: middle;">Read Current Lock RVN</text><line x1="275" y1="240" x2="475" y2="240" class="messageLine1" stroke-width="2" stroke="black" marker-end="url(#arrowhead)" style="stroke-dasharray: 3, 3; fill: none;"></line></g><g><text x="375" y="268" class="messageText" style="text-anchor: middle;">RVN-X, lease=10 seconds</text><line x1="475" y1="275" x2="275" y2="275" class="messageLine1" stroke-width="2" stroke="black" marker-end="url(#arrowhead)" style="stroke-dasharray: 3, 3; fill: none;"></line></g><g><rect x="250" y="285" fill="#EDF2AE" stroke="#666" width="250" height="36" rx="0" ry="0" class="note"></rect><text x="246" y="309" fill="black" class="noteText"><tspan x="266" fill="black">Sleep off the current lease duration</tspan></text></g><g><text x="375" y="349" class="messageText" style="text-anchor: middle;">Acquire lock RVN-Y, CAS=RVN1</text><line x1="275" y1="356" x2="475" y2="356" class="messageLine1" stroke-width="2" stroke="black" marker-end="url(#arrowhead)" style="stroke-dasharray: 3, 3; fill: none;"></line></g><g><text x="375" y="384" class="messageText" style="text-anchor: middle;">Success, lease=10 seconds</text><line x1="475" y1="391" x2="275" y2="391" class="messageLine1" stroke-width="2" stroke="black" marker-end="url(#arrowhead)" style="stroke-dasharray: 3, 3; fill: none;"></line></g><g><rect x="270" y="393" fill="#f4f4f4" stroke="#666" width="10" height="44" rx="0" ry="0"></rect></g><g><rect x="50" y="401" fill="#EDF2AE" stroke="#666" width="450" height="36" rx="0" ry="0" class="note"></rect><text x="46" y="425" fill="black" class="noteText"><tspan x="66" fill="black">SAFETY VIOLATION: both processors are active!</tspan></text></g><g><rect x="0" y="457" fill="#eaeaea" stroke="#666" width="150" height="65" rx="3" ry="3" class="actor"></rect><text x="75" y="489.5" dominant-baseline="central" alignment-baseline="central" class="actor" style="text-anchor: middle;"><tspan x="75" dy="0">Processor A</tspan></text></g><g><rect x="200" y="457" fill="#eaeaea" stroke="#666" width="150" height="65" rx="3" ry="3" class="actor"></rect><text x="275" y="489.5" dominant-baseline="central" alignment-baseline="central" class="actor" style="text-anchor: middle;"><tspan x="275" dy="0">Processor B</tspan></text></g><g><rect x="400" y="457" fill="#eaeaea" stroke="#666" width="150" height="65" rx="3" ry="3" class="actor"></rect><text x="475" y="489.5" dominant-baseline="central" alignment-baseline="central" class="actor" style="text-anchor: middle;"><tspan x="475" dy="0">Store</tspan></text></g></svg>
+  }</style><g></g><g><line id="actor5274" x1="75" y1="5" x2="75" y2="522" class="actor-line" stroke-width="0.5px" stroke="#999"></line><rect x="0" y="0" fill="#eaeaea" stroke="#666" width="150" height="65" rx="3" ry="3" class="actor"></rect><text x="75" y="32.5" dominant-baseline="central" alignment-baseline="central" class="actor" style="text-anchor: middle;"><tspan x="75" dy="0">Processor A</tspan></text></g><g><line id="actor5275" x1="275" y1="5" x2="275" y2="522" class="actor-line" stroke-width="0.5px" stroke="#999"></line><rect x="200" y="0" fill="#eaeaea" stroke="#666" width="150" height="65" rx="3" ry="3" class="actor"></rect><text x="275" y="32.5" dominant-baseline="central" alignment-baseline="central" class="actor" style="text-anchor: middle;"><tspan x="275" dy="0">Processor B</tspan></text></g><g><line id="actor5276" x1="475" y1="5" x2="475" y2="522" class="actor-line" stroke-width="0.5px" stroke="#999"></line><rect x="400" y="0" fill="#eaeaea" stroke="#666" width="150" height="65" rx="3" ry="3" class="actor"></rect><text x="475" y="32.5" dominant-baseline="central" alignment-baseline="central" class="actor" style="text-anchor: middle;"><tspan x="475" dy="0">Store</tspan></text></g><defs><marker id="arrowhead" refX="5" refY="2" markerWidth="6" markerHeight="4" orient="auto"><path d="M 0,0 V 4 L6,2 Z"></path></marker></defs><defs><marker id="crosshead" markerWidth="15" markerHeight="8" orient="auto" refX="16" refY="4"><path fill="black" stroke="#000000" stroke-width="1px" d="M 9,2 V 6 L16,4 Z" style="stroke-dasharray: 0, 0;"></path><path fill="none" stroke="#000000" stroke-width="1px" d="M 0,1 L 6,7 M 6,1 L 0,7" style="stroke-dasharray: 0, 0;"></path></marker></defs><g><text x="275" y="93" class="messageText" style="text-anchor: middle;">Acquire lock RVN-X, CAS=None</text><line x1="75" y1="100" x2="475" y2="100" class="messageLine0" stroke-width="2" stroke="black" marker-end="url(#arrowhead)" style="fill: none;"></line></g><g><text x="375" y="128" class="messageText" style="text-anchor: middle;">Acquire lock RVN-Y, CAS=None</text><line x1="275" y1="135" x2="475" y2="135" class="messageLine1" stroke-width="2" stroke="black" marker-end="url(#arrowhead)" style="stroke-dasharray: 3, 3; fill: none;"></line></g><g><text x="275" y="163" class="messageText" style="text-anchor: middle;">Success, lease=10 seconds</text><line x1="475" y1="170" x2="75" y2="170" class="messageLine0" stroke-width="2" stroke="black" marker-end="url(#arrowhead)" style="fill: none;"></line></g><g><rect x="70" y="172" fill="#f4f4f4" stroke="#666" width="10" height="265" rx="0" ry="0"></rect></g><g><text x="375" y="198" class="messageText" style="text-anchor: middle;">Fail / Already Acquired</text><line x1="475" y1="205" x2="275" y2="205" class="messageLine1" stroke-width="2" stroke="black" marker-end="url(#arrowhead)" style="stroke-dasharray: 3, 3; fill: none;"></line></g><g><text x="375" y="233" class="messageText" style="text-anchor: middle;">Read Current Lock RVN</text><line x1="275" y1="240" x2="475" y2="240" class="messageLine1" stroke-width="2" stroke="black" marker-end="url(#arrowhead)" style="stroke-dasharray: 3, 3; fill: none;"></line></g><g><text x="375" y="268" class="messageText" style="text-anchor: middle;">RVN-X, lease=10 seconds</text><line x1="475" y1="275" x2="275" y2="275" class="messageLine1" stroke-width="2" stroke="black" marker-end="url(#arrowhead)" style="stroke-dasharray: 3, 3; fill: none;"></line></g><g><rect x="250" y="285" fill="#EDF2AE" stroke="#666" width="250" height="36" rx="0" ry="0" class="note"></rect><text x="246" y="309" fill="black" class="noteText"><tspan x="266" fill="black">Sleep off the current lease duration</tspan></text></g><g><text x="375" y="349" class="messageText" style="text-anchor: middle;">Acquire lock RVN-Y, CAS=RVN-X</text><line x1="275" y1="356" x2="475" y2="356" class="messageLine1" stroke-width="2" stroke="black" marker-end="url(#arrowhead)" style="stroke-dasharray: 3, 3; fill: none;"></line></g><g><text x="375" y="384" class="messageText" style="text-anchor: middle;">Success, lease=10 seconds</text><line x1="475" y1="391" x2="275" y2="391" class="messageLine1" stroke-width="2" stroke="black" marker-end="url(#arrowhead)" style="stroke-dasharray: 3, 3; fill: none;"></line></g><g><rect x="270" y="393" fill="#f4f4f4" stroke="#666" width="10" height="44" rx="0" ry="0"></rect></g><g><rect x="50" y="401" fill="#EDF2AE" stroke="#666" width="450" height="36" rx="0" ry="0" class="note"></rect><text x="46" y="425" fill="black" class="noteText"><tspan x="66" fill="black">SAFETY VIOLATION: both processors are active!</tspan></text></g><g><rect x="0" y="457" fill="#eaeaea" stroke="#666" width="150" height="65" rx="3" ry="3" class="actor"></rect><text x="75" y="489.5" dominant-baseline="central" alignment-baseline="central" class="actor" style="text-anchor: middle;"><tspan x="75" dy="0">Processor A</tspan></text></g><g><rect x="200" y="457" fill="#eaeaea" stroke="#666" width="150" height="65" rx="3" ry="3" class="actor"></rect><text x="275" y="489.5" dominant-baseline="central" alignment-baseline="central" class="actor" style="text-anchor: middle;"><tspan x="275" dy="0">Processor B</tspan></text></g><g><rect x="400" y="457" fill="#eaeaea" stroke="#666" width="150" height="65" rx="3" ry="3" class="actor"></rect><text x="475" y="489.5" dominant-baseline="central" alignment-baseline="central" class="actor" style="text-anchor: middle;"><tspan x="475" dy="0">Store</tspan></text></g></svg>
