<?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>