| <?xml version="1.0" encoding="UTF-8" standalone="no"?> |
| <!-- Created with Inkscape (http://www.inkscape.org/) --> |
| |
| <svg |
| width="306.37067" |
| height="281.125" |
| id="svg2" |
| version="1.1" |
| inkscape:version="1.1.2 (0a00cf5339, 2022-02-04)" |
| sodipodi:docname="RCUGuaranteeFwd.svg" |
| xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" |
| xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd" |
| 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/"> |
| <defs |
| id="defs4"> |
| <marker |
| inkscape:stockid="Arrow2Send" |
| orient="auto" |
| refY="0" |
| refX="0" |
| id="Arrow2Send" |
| style="overflow:visible"> |
| <path |
| id="path3892" |
| style="fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round" |
| d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z" |
| transform="matrix(-0.3,0,0,-0.3,0.69,0)" |
| inkscape:connector-curvature="0" /> |
| </marker> |
| <marker |
| inkscape:stockid="Arrow1Send" |
| orient="auto" |
| refY="0" |
| refX="0" |
| id="Arrow1Send" |
| style="overflow:visible"> |
| <path |
| id="path3874" |
| d="M 0,0 5,-5 -12.5,0 5,5 Z" |
| style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt" |
| transform="matrix(-0.2,0,0,-0.2,-1.2,0)" |
| inkscape:connector-curvature="0" /> |
| </marker> |
| <marker |
| inkscape:stockid="Arrow1Lend" |
| orient="auto" |
| refY="0" |
| refX="0" |
| id="Arrow1Lend" |
| style="overflow:visible"> |
| <path |
| id="path3862" |
| d="M 0,0 5,-5 -12.5,0 5,5 Z" |
| style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt" |
| transform="matrix(-0.8,0,0,-0.8,-10,0)" |
| inkscape:connector-curvature="0" /> |
| </marker> |
| <marker |
| inkscape:stockid="Arrow1Mend" |
| orient="auto" |
| refY="0" |
| refX="0" |
| id="Arrow1Mend" |
| style="overflow:visible"> |
| <path |
| id="path3885" |
| d="M 0,0 5,-5 -12.5,0 5,5 Z" |
| style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt" |
| transform="matrix(-0.4,0,0,-0.4,-4,0)" |
| inkscape:connector-curvature="0" /> |
| </marker> |
| <marker |
| inkscape:stockid="Arrow1Sstart" |
| orient="auto" |
| refY="0" |
| refX="0" |
| id="Arrow1Sstart" |
| style="overflow:visible"> |
| <path |
| id="path3888" |
| d="M 0,0 5,-5 -12.5,0 5,5 Z" |
| style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt" |
| transform="matrix(0.2,0,0,0.2,1.2,0)" |
| inkscape:connector-curvature="0" /> |
| </marker> |
| <marker |
| inkscape:stockid="Arrow1Mstart" |
| orient="auto" |
| refY="0" |
| refX="0" |
| id="Arrow1Mstart" |
| style="overflow:visible"> |
| <path |
| id="path3882" |
| d="M 0,0 5,-5 -12.5,0 5,5 Z" |
| style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt" |
| transform="matrix(0.4,0,0,0.4,4,0)" |
| inkscape:connector-curvature="0" /> |
| </marker> |
| <marker |
| inkscape:stockid="Arrow1Lstart" |
| orient="auto" |
| refY="0" |
| refX="0" |
| id="Arrow1Lstart" |
| style="overflow:visible"> |
| <path |
| id="path3876" |
| d="M 0,0 5,-5 -12.5,0 5,5 Z" |
| style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt" |
| transform="matrix(0.8,0,0,0.8,10,0)" |
| inkscape:connector-curvature="0" /> |
| </marker> |
| </defs> |
| <sodipodi:namedview |
| id="base" |
| pagecolor="#ffffff" |
| bordercolor="#666666" |
| borderopacity="1.0" |
| inkscape:pageopacity="0.0" |
| inkscape:pageshadow="2" |
| inkscape:zoom="3.7201446" |
| inkscape:cx="221.63117" |
| inkscape:cy="175.66521" |
| inkscape:document-units="px" |
| inkscape:current-layer="g5416" |
| showgrid="false" |
| fit-margin-top="5" |
| fit-margin-left="5" |
| fit-margin-right="5" |
| fit-margin-bottom="5" |
| inkscape:window-width="1846" |
| inkscape:window-height="1016" |
| inkscape:window-x="0" |
| inkscape:window-y="0" |
| inkscape:window-maximized="1" |
| inkscape:pagecheckerboard="0" /> |
| <metadata |
| id="metadata7"> |
| <rdf:RDF> |
| <cc:Work |
| rdf:about=""> |
| <dc:format>image/svg+xml</dc:format> |
| <dc:type |
| rdf:resource="http://purl.org/dc/dcmitype/StillImage" /> |
| </cc:Work> |
| </rdf:RDF> |
| </metadata> |
| <g |
| inkscape:label="Layer 1" |
| inkscape:groupmode="layer" |
| id="layer1" |
| transform="translate(53.397634,-776.58086)"> |
| <g |
| inkscape:groupmode="layer" |
| id="layer2" |
| inkscape:label="Big Arrows"> |
| <g |
| transform="translate(0,53.92809)" |
| id="g5416"> |
| <path |
| inkscape:connector-curvature="0" |
| id="path5410" |
| d="m 84.217049,797.77689 117.318971,0.13294 0.39212,59.9373" |
| style="fill:none;stroke:#00ff00;stroke-width:15.3268;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" |
| sodipodi:nodetypes="ccc" /> |
| <path |
| inkscape:connector-curvature="0" |
| id="path5414" |
| d="m 217.92527,856.14207 -31.87817,0.36641 2.93133,1.83208 12.82455,10.99248 z" |
| style="fill:#00ff00;fill-opacity:1;stroke:#00ff00;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" /> |
| <path |
| style="fill:#64c8c8;fill-opacity:1;stroke:#64c8c8;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" |
| d="m 143.3907,954.79847 0.36641,31.87817 1.83208,-2.93133 10.99248,-12.82455 z" |
| id="path5450" |
| inkscape:connector-curvature="0" /> |
| <path |
| style="fill:none;stroke:#64c8c8;stroke-width:16;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" |
| d="m -1.488289,841.58852 -38.797608,-0.2688 -0.105259,129.85639 184.271906,0.25565" |
| id="path5456" |
| inkscape:connector-curvature="0" |
| sodipodi:nodetypes="cccc" /> |
| <text |
| xml:space="preserve" |
| style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:0%;font-family:sans-serif;-inkscape-font-specification:Sans;text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none" |
| x="119.40975" |
| y="800.49298" |
| id="text5458"><tspan |
| sodipodi:role="line" |
| x="119.40975" |
| y="800.49298" |
| id="tspan5462" |
| style="font-size:8px;line-height:1.25;font-family:sans-serif">Given this ordering</tspan></text> |
| <text |
| id="text5466" |
| y="973.47589" |
| x="-37.947197" |
| style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:0%;font-family:sans-serif;-inkscape-font-specification:Sans;text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none" |
| xml:space="preserve"><tspan |
| id="tspan5468" |
| y="973.47589" |
| x="-37.947197" |
| sodipodi:role="line" |
| style="font-size:8px;line-height:1.25;font-family:sans-serif">.... RCU guarantees this ordering (r2 == 0).</tspan></text> |
| <path |
| style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)" |
| d="M 160.99516,70.682917 37.207544,218.2186" |
| id="path5470" |
| inkscape:connector-curvature="0" |
| transform="translate(26.137646,740.75144)" |
| sodipodi:nodetypes="cc" /> |
| <text |
| xml:space="preserve" |
| style="font-style:normal;font-weight:normal;font-size:40px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none" |
| x="804.29675" |
| y="-199.22833" |
| id="text35568" |
| transform="rotate(90)"><tspan |
| sodipodi:role="line" |
| id="tspan35566" |
| x="804.29675" |
| y="-199.22833"><tspan |
| style="font-size:8px" |
| id="tspan41444">(r1 == 0) ...</tspan></tspan></text> |
| </g> |
| </g> |
| <g |
| transform="translate(0,53.928085)" |
| id="g3022"> |
| <g |
| id="g4938" |
| transform="translate(-6,-40)"> |
| <rect |
| style="fill:#fe9696;fill-opacity:1;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" |
| id="rect4946-4-0" |
| width="90.785385" |
| height="25.518795" |
| x="-0.27071345" |
| y="780.38611" /> |
| <text |
| xml:space="preserve" |
| style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:0%;font-family:sans-serif;-inkscape-font-specification:Sans;text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none" |
| x="45.225494" |
| y="795.24121" |
| id="text4948-7"><tspan |
| sodipodi:role="line" |
| x="45.225494" |
| y="795.24121" |
| id="tspan4952-0" |
| style="font-size:8px;line-height:1.25;font-family:sans-serif;text-align:center;text-anchor:middle">rcu_read_lock();</tspan></text> |
| </g> |
| <g |
| id="g4944" |
| transform="translate(-6,4)"> |
| <rect |
| style="fill:#96c8fe;fill-opacity:1;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" |
| id="rect4946" |
| width="90.785385" |
| height="25.518795" |
| x="-26.934711" |
| y="40.741337" |
| transform="translate(26.663998,740.34064)" /> |
| <text |
| xml:space="preserve" |
| style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:0%;font-family:sans-serif;-inkscape-font-specification:Sans;text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none" |
| x="45.225494" |
| y="795.93317" |
| id="text4948"><tspan |
| sodipodi:role="line" |
| x="45.225494" |
| y="795.93317" |
| id="tspan4952" |
| style="font-size:8px;line-height:1.25;font-family:sans-serif;text-align:center;text-anchor:middle">r1 = READ_ONCE(x);</tspan></text> |
| </g> |
| <path |
| style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)" |
| d="m 39.121979,766.60077 v 16.86622" |
| id="path5150" |
| inkscape:connector-curvature="0" /> |
| <path |
| inkscape:connector-curvature="0" |
| id="path5346" |
| d="m 39.121979,810.60077 v 16.86622" |
| style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)" /> |
| <g |
| id="g5348" |
| transform="translate(-10.855374,48)"> |
| <rect |
| style="fill:#96c8fe;fill-opacity:1;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" |
| id="rect4946-4" |
| width="90.785385" |
| height="25.518795" |
| x="4.5846601" |
| y="780.96802" /> |
| <text |
| xml:space="preserve" |
| style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:0%;font-family:sans-serif;-inkscape-font-specification:Sans;text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none" |
| x="50.311337" |
| y="795.81921" |
| id="text5352"><tspan |
| sodipodi:role="line" |
| x="50.311337" |
| y="795.81921" |
| id="tspan5356" |
| style="font-size:8px;line-height:1.25;font-family:sans-serif;text-align:center;text-anchor:middle">r2 = READ_ONCE(y);</tspan></text> |
| </g> |
| <g |
| transform="translate(121.26143,87.95315)" |
| id="g5360"> |
| <g |
| id="g5348-5" |
| transform="translate(30.841553,1.844585)"> |
| <rect |
| style="fill:#96c8fe;fill-opacity:1;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" |
| id="rect4946-4-8" |
| width="90.785385" |
| height="25.518795" |
| x="4.5846601" |
| y="780.96802" /> |
| <text |
| xml:space="preserve" |
| style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:0%;font-family:sans-serif;-inkscape-font-specification:Sans;text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none" |
| x="50.311337" |
| y="795.81921" |
| id="text5352-8"><tspan |
| sodipodi:role="line" |
| x="50.311337" |
| y="795.81921" |
| id="tspan5356-4" |
| style="font-size:8px;line-height:1.25;font-family:sans-serif;text-align:center;text-anchor:middle">WRITE_ONCE(x, 1);</tspan></text> |
| </g> |
| </g> |
| <path |
| inkscape:connector-curvature="0" |
| id="path5380" |
| d="m 202.08034,896.60077 v 16.86622" |
| style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)" /> |
| <path |
| style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)" |
| d="m 202.08034,940.60077 v 16.86622" |
| id="path5382" |
| inkscape:connector-curvature="0" /> |
| <path |
| style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)" |
| d="m 39.121979,854.60077 v 16.86622" |
| id="path3854" |
| inkscape:connector-curvature="0" /> |
| <text |
| xml:space="preserve" |
| style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:0%;font-family:sans-serif;-inkscape-font-specification:Sans;text-align:center;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none" |
| x="39.073151" |
| y="733.72308" |
| id="text3251"><tspan |
| sodipodi:role="line" |
| id="tspan3253" |
| x="39.073151" |
| y="733.72308" |
| style="font-size:8px;line-height:1.25;font-family:sans-serif">P0()</tspan></text> |
| <text |
| id="text3255" |
| y="997.72308" |
| x="202.03151" |
| style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:0%;font-family:sans-serif;-inkscape-font-specification:Sans;text-align:center;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none" |
| xml:space="preserve"><tspan |
| y="997.72308" |
| x="202.03151" |
| id="tspan3257" |
| sodipodi:role="line" |
| style="font-size:8px;line-height:1.25;font-family:sans-serif">P1()</tspan></text> |
| <g |
| id="g4938-7" |
| transform="translate(-6,91.954218)"> |
| <rect |
| style="fill:#fe9696;fill-opacity:1;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" |
| id="rect4946-4-0-9" |
| width="90.785385" |
| height="25.518795" |
| x="-0.27071345" |
| y="780.38611" /> |
| <text |
| xml:space="preserve" |
| style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:0%;font-family:sans-serif;-inkscape-font-specification:Sans;text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none" |
| x="45.225494" |
| y="795.24121" |
| id="text4948-7-7"><tspan |
| sodipodi:role="line" |
| x="45.225494" |
| y="795.24121" |
| id="tspan4952-0-6" |
| style="font-size:8px;line-height:1.25;font-family:sans-serif;text-align:center;text-anchor:middle">rcu_read_unlock();</tspan></text> |
| </g> |
| <g |
| transform="translate(121.26143,176.05756)" |
| id="g5360-5"> |
| <g |
| id="g5348-5-6" |
| transform="translate(30.841553,1.844585)"> |
| <rect |
| style="fill:#96c8fe;fill-opacity:1;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" |
| id="rect4946-4-8-5" |
| width="90.785385" |
| height="25.518795" |
| x="4.5846601" |
| y="780.96802" /> |
| <text |
| xml:space="preserve" |
| style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:0%;font-family:sans-serif;-inkscape-font-specification:Sans;text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none" |
| x="50.311337" |
| y="795.81921" |
| id="text5352-8-6"><tspan |
| sodipodi:role="line" |
| x="50.311337" |
| y="795.81921" |
| id="tspan5356-4-8" |
| style="font-size:8px;line-height:1.25;font-family:sans-serif;text-align:center;text-anchor:middle">WRITE_ONCE(y, 1);</tspan></text> |
| </g> |
| </g> |
| <g |
| id="g4938-7-4" |
| transform="translate(156.95836,135.26032)"> |
| <rect |
| style="fill:#fe9696;fill-opacity:1;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" |
| id="rect4946-4-0-9-8" |
| width="90.785385" |
| height="25.518795" |
| x="-0.27071345" |
| y="780.38611" /> |
| <text |
| xml:space="preserve" |
| style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:0%;font-family:sans-serif;-inkscape-font-specification:Sans;text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none" |
| x="45.225494" |
| y="795.24121" |
| id="text4948-7-7-8"><tspan |
| sodipodi:role="line" |
| x="45.225494" |
| y="795.24121" |
| id="tspan4952-0-6-3" |
| style="font-size:8px;line-height:1.25;font-family:sans-serif;text-align:center;text-anchor:middle">synchronize_rcu();</tspan></text> |
| </g> |
| </g> |
| </g> |
| </svg> |
