112 lines
11 KiB
Plaintext
112 lines
11 KiB
Plaintext
<mxfile host="app.diagrams.net" modified="2024-06-24T11:45:32.984Z" agent="Mozilla/5.0 (X11; Ubuntu; Linux x86_64; rv:126.0) Gecko/20100101 Firefox/126.0" etag="L3zGyTC-LyAz5kXq654f" version="24.5.5" type="google">
|
||
<diagram name="Page-1" id="gx1AT7QsytIHyGW8taHa">
|
||
<mxGraphModel grid="1" page="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" pageScale="1" pageWidth="850" pageHeight="1100" math="0" shadow="0">
|
||
<root>
|
||
<mxCell id="0" />
|
||
<mxCell id="1" parent="0" />
|
||
<mxCell id="zO6A_hVda2gypDU5CBnV-14" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=1;jumpSize=8;orthogonalLoop=1;jettySize=auto;html=1;strokeWidth=2;fontFamily=Comic Sans MS;fontSize=16;fontColor=#404040;startArrow=none;startFill=0;endArrow=classicThin;endFill=1;startSize=4;endSize=4;entryX=0.5;entryY=0;entryDx=0;entryDy=0;entryPerimeter=0;" edge="1" parent="1" target="zO6A_hVda2gypDU5CBnV-6">
|
||
<mxGeometry relative="1" as="geometry">
|
||
<mxPoint x="471" y="35" as="sourcePoint" />
|
||
<mxPoint x="590" y="160" as="targetPoint" />
|
||
</mxGeometry>
|
||
</mxCell>
|
||
<mxCell id="zO6A_hVda2gypDU5CBnV-15" value="<div style="font-size: 14px;"><font style="font-size: 14px;">send PReq (primary)</font></div><div style="font-size: 14px;"><font style="font-size: 14px;">or</font></div><div style="font-size: 14px;"><font style="font-size: 14px;">send PResp (backup)<br></font></div>" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=16;fontFamily=Comic Sans MS;fontColor=#404040;" connectable="0" vertex="1" parent="zO6A_hVda2gypDU5CBnV-14">
|
||
<mxGeometry x="0.175" y="3" relative="1" as="geometry">
|
||
<mxPoint x="-3" y="23" as="offset" />
|
||
</mxGeometry>
|
||
</mxCell>
|
||
<mxCell id="zO6A_hVda2gypDU5CBnV-3" value="<font style="font-size: 16px;" face="Comic Sans MS">initialized</font>" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.terminator;whiteSpace=wrap;fontFamily=Georgia;fontSize=16;strokeColor=#EA6B66;" vertex="1" parent="1">
|
||
<mxGeometry x="340" y="10" width="130" height="50" as="geometry" />
|
||
</mxCell>
|
||
<mxCell id="zO6A_hVda2gypDU5CBnV-23" style="edgeStyle=orthogonalEdgeStyle;rounded=1;jumpSize=8;orthogonalLoop=1;jettySize=auto;html=1;entryX=0.5;entryY=0;entryDx=0;entryDy=0;entryPerimeter=0;strokeWidth=2;fontFamily=Comic Sans MS;fontSize=14;fontColor=#404040;startArrow=none;startFill=0;endArrow=classicThin;endFill=1;startSize=4;endSize=4;" edge="1" parent="1" source="zO6A_hVda2gypDU5CBnV-6" target="zO6A_hVda2gypDU5CBnV-7">
|
||
<mxGeometry relative="1" as="geometry" />
|
||
</mxCell>
|
||
<mxCell id="zO6A_hVda2gypDU5CBnV-24" value="| PReq <strong style="font-family: noto_regular; color: rgb(75, 75, 75); font-size: 10pt;">∪ </strong>PResp | ≥ M<span style="font-family: noto_regular; color: rgb(75, 75, 75); font-size: 10pt;"></span>" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=14;fontFamily=Comic Sans MS;fontColor=#404040;" connectable="0" vertex="1" parent="zO6A_hVda2gypDU5CBnV-23">
|
||
<mxGeometry x="-0.24" y="-1" relative="1" as="geometry">
|
||
<mxPoint x="4" y="8" as="offset" />
|
||
</mxGeometry>
|
||
</mxCell>
|
||
<mxCell id="zO6A_hVda2gypDU5CBnV-6" value="prepareSent" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.terminator;whiteSpace=wrap;fontFamily=Georgia;fontSize=16;strokeColor=#EA6B66;" vertex="1" parent="1">
|
||
<mxGeometry x="520" y="160" width="130" height="50" as="geometry" />
|
||
</mxCell>
|
||
<mxCell id="zO6A_hVda2gypDU5CBnV-25" style="edgeStyle=orthogonalEdgeStyle;rounded=1;jumpSize=8;orthogonalLoop=1;jettySize=auto;html=1;entryX=0.5;entryY=0;entryDx=0;entryDy=0;entryPerimeter=0;strokeWidth=2;fontFamily=Comic Sans MS;fontSize=14;fontColor=#404040;startArrow=none;startFill=0;endArrow=classicThin;endFill=1;startSize=4;endSize=4;" edge="1" parent="1" source="zO6A_hVda2gypDU5CBnV-7" target="zO6A_hVda2gypDU5CBnV-8">
|
||
<mxGeometry relative="1" as="geometry" />
|
||
</mxCell>
|
||
<mxCell id="zO6A_hVda2gypDU5CBnV-26" value="| Commit | ≥ M" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=14;fontFamily=Comic Sans MS;fontColor=#404040;" connectable="0" vertex="1" parent="zO6A_hVda2gypDU5CBnV-25">
|
||
<mxGeometry x="-0.1818" y="-2" relative="1" as="geometry">
|
||
<mxPoint y="6" as="offset" />
|
||
</mxGeometry>
|
||
</mxCell>
|
||
<mxCell id="zO6A_hVda2gypDU5CBnV-7" value="commitSent" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.terminator;whiteSpace=wrap;fontFamily=Georgia;fontSize=16;strokeColor=#EA6B66;" vertex="1" parent="1">
|
||
<mxGeometry x="520" y="310" width="130" height="50" as="geometry" />
|
||
</mxCell>
|
||
<mxCell id="zO6A_hVda2gypDU5CBnV-8" value="commitAckSent" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.terminator;whiteSpace=wrap;fontFamily=Georgia;fontSize=16;strokeColor=#EA6B66;" vertex="1" parent="1">
|
||
<mxGeometry x="520" y="470" width="130" height="50" as="geometry" />
|
||
</mxCell>
|
||
<mxCell id="zO6A_hVda2gypDU5CBnV-11" value="" style="edgeStyle=orthogonalEdgeStyle;rounded=1;orthogonalLoop=1;jettySize=auto;html=1;fontFamily=Comic Sans MS;fontSize=16;entryX=0;entryY=0.5;entryDx=0;entryDy=0;entryPerimeter=0;endSize=4;startSize=4;jumpSize=8;strokeWidth=2;startArrow=classicThin;startFill=1;endArrow=none;endFill=0;" edge="1" parent="1" source="zO6A_hVda2gypDU5CBnV-9" target="zO6A_hVda2gypDU5CBnV-3">
|
||
<mxGeometry relative="1" as="geometry">
|
||
<mxPoint x="275" y="85" as="targetPoint" />
|
||
</mxGeometry>
|
||
</mxCell>
|
||
<mxCell id="zO6A_hVda2gypDU5CBnV-12" value="<font style="font-size: 14px;">t/o</font>" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=16;fontFamily=Comic Sans MS;fontColor=#404040;" connectable="0" vertex="1" parent="zO6A_hVda2gypDU5CBnV-11">
|
||
<mxGeometry x="-0.2125" y="1" relative="1" as="geometry">
|
||
<mxPoint as="offset" />
|
||
</mxGeometry>
|
||
</mxCell>
|
||
<mxCell id="zO6A_hVda2gypDU5CBnV-16" value="&nbsp;t/o&nbsp; " style="edgeStyle=orthogonalEdgeStyle;rounded=1;jumpSize=8;orthogonalLoop=1;jettySize=auto;html=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;entryPerimeter=0;strokeWidth=2;fontFamily=Comic Sans MS;fontSize=14;fontColor=#404040;startArrow=classicThin;startFill=1;endArrow=none;endFill=0;startSize=4;endSize=4;" edge="1" parent="1" target="zO6A_hVda2gypDU5CBnV-6">
|
||
<mxGeometry relative="1" as="geometry">
|
||
<mxPoint x="340" y="185" as="sourcePoint" />
|
||
<mxPoint x="470" y="185" as="targetPoint" />
|
||
</mxGeometry>
|
||
</mxCell>
|
||
<mxCell id="zO6A_hVda2gypDU5CBnV-17" style="edgeStyle=orthogonalEdgeStyle;rounded=1;jumpSize=8;orthogonalLoop=1;jettySize=auto;html=1;entryX=0.5;entryY=0;entryDx=0;entryDy=0;entryPerimeter=0;strokeWidth=2;fontFamily=Comic Sans MS;fontSize=14;fontColor=#404040;startArrow=none;startFill=0;endArrow=classicThin;endFill=1;startSize=4;endSize=4;" edge="1" parent="1" source="zO6A_hVda2gypDU5CBnV-9" target="zO6A_hVda2gypDU5CBnV-6">
|
||
<mxGeometry relative="1" as="geometry">
|
||
<Array as="points">
|
||
<mxPoint x="275" y="240" />
|
||
<mxPoint x="480" y="240" />
|
||
<mxPoint x="480" y="140" />
|
||
<mxPoint x="585" y="140" />
|
||
</Array>
|
||
</mxGeometry>
|
||
</mxCell>
|
||
<mxCell id="zO6A_hVda2gypDU5CBnV-22" value="&nbsp;| Commit | &gt; F&nbsp; " style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=14;fontFamily=Comic Sans MS;fontColor=#404040;" connectable="0" vertex="1" parent="zO6A_hVda2gypDU5CBnV-17">
|
||
<mxGeometry x="-0.4" y="1" relative="1" as="geometry">
|
||
<mxPoint x="-8" as="offset" />
|
||
</mxGeometry>
|
||
</mxCell>
|
||
<mxCell id="zO6A_hVda2gypDU5CBnV-27" style="edgeStyle=orthogonalEdgeStyle;rounded=1;jumpSize=8;orthogonalLoop=1;jettySize=auto;html=1;entryX=0.5;entryY=0;entryDx=0;entryDy=0;entryPerimeter=0;strokeWidth=2;fontFamily=Comic Sans MS;fontSize=14;fontColor=#404040;startArrow=none;startFill=0;endArrow=classicThin;endFill=1;startSize=4;endSize=4;" edge="1" parent="1" source="zO6A_hVda2gypDU5CBnV-9" target="zO6A_hVda2gypDU5CBnV-3">
|
||
<mxGeometry relative="1" as="geometry">
|
||
<Array as="points">
|
||
<mxPoint x="160" y="185" />
|
||
<mxPoint x="160" y="-20" />
|
||
<mxPoint x="405" y="-20" />
|
||
</Array>
|
||
</mxGeometry>
|
||
</mxCell>
|
||
<mxCell id="zO6A_hVda2gypDU5CBnV-28" value="&nbsp;| CV | ≥ M, init at next view&nbsp; " style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=14;fontFamily=Comic Sans MS;fontColor=#404040;" connectable="0" vertex="1" parent="zO6A_hVda2gypDU5CBnV-27">
|
||
<mxGeometry x="0.2286" y="-3" relative="1" as="geometry">
|
||
<mxPoint x="47" y="-4" as="offset" />
|
||
</mxGeometry>
|
||
</mxCell>
|
||
<mxCell id="zO6A_hVda2gypDU5CBnV-9" value="cv" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.terminator;whiteSpace=wrap;fontFamily=Georgia;fontSize=16;strokeColor=#EA6B66;" vertex="1" parent="1">
|
||
<mxGeometry x="210" y="160" width="130" height="50" as="geometry" />
|
||
</mxCell>
|
||
<mxCell id="bSvnLd7m7FiDBpnTT2Ld-1" style="edgeStyle=orthogonalEdgeStyle;rounded=1;jumpSize=8;orthogonalLoop=1;jettySize=auto;html=1;entryX=0.5;entryY=0;entryDx=0;entryDy=0;entryPerimeter=0;strokeWidth=2;fontFamily=Comic Sans MS;fontSize=14;fontColor=#404040;startArrow=none;startFill=0;endArrow=classicThin;endFill=1;startSize=4;endSize=4;" edge="1" parent="1">
|
||
<mxGeometry relative="1" as="geometry">
|
||
<mxPoint x="584.5" y="520" as="sourcePoint" />
|
||
<mxPoint x="584.5" y="630" as="targetPoint" />
|
||
</mxGeometry>
|
||
</mxCell>
|
||
<mxCell id="bSvnLd7m7FiDBpnTT2Ld-2" value="| Ack | ≥ M" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=14;fontFamily=Comic Sans MS;fontColor=#404040;" connectable="0" vertex="1" parent="bSvnLd7m7FiDBpnTT2Ld-1">
|
||
<mxGeometry x="-0.1818" y="-2" relative="1" as="geometry">
|
||
<mxPoint x="3" y="6" as="offset" />
|
||
</mxGeometry>
|
||
</mxCell>
|
||
<mxCell id="bSvnLd7m7FiDBpnTT2Ld-3" value="blockAccepted" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.terminator;whiteSpace=wrap;fontFamily=Georgia;fontSize=16;strokeColor=#EA6B66;" vertex="1" parent="1">
|
||
<mxGeometry x="520" y="630" width="130" height="50" as="geometry" />
|
||
</mxCell>
|
||
</root>
|
||
</mxGraphModel>
|
||
</diagram>
|
||
</mxfile>
|