| <?xml version="1.0" encoding="UTF-8" standalone="no"?> |
| <!-- Created with Inkscape (http://www.inkscape.org/) --> |
| |
| <svg |
| width="303.32501" |
| height="223.40041" |
| id="svg2" |
| version="1.1" |
| inkscape:version="1.1.2 (0a00cf5339, 2022-02-04)" |
| sodipodi:docname="RCUGuaranteeRev.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> |
| <marker |
| inkscape:stockid="Arrow1Mend" |
| orient="auto" |
| refY="0" |
| refX="0" |
| id="Arrow1Mend-1" |
| style="overflow:visible"> |
| <path |
| id="path3885-4" |
| 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="Arrow1Mend" |
| orient="auto" |
| refY="0" |
| refX="0" |
| id="marker939" |
| style="overflow:visible"> |
| <path |
| id="path937" |
| 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="Arrow1Mend" |
| orient="auto" |
| refY="0" |
| refX="0" |
| id="Arrow1Mend-1-6" |
| style="overflow:visible"> |
| <path |
| id="path3885-4-8" |
| 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="Arrow1Mend" |
| orient="auto" |
| refY="0" |
| refX="0" |
| id="marker1092" |
| style="overflow:visible"> |
| <path |
| id="path1090" |
| 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> |
| </defs> |
| <sodipodi:namedview |
| id="base" |
| pagecolor="#ffffff" |
| bordercolor="#666666" |
| borderopacity="1.0" |
| inkscape:pageopacity="0.0" |
| inkscape:pageshadow="2" |
| inkscape:zoom="3.614866" |
| inkscape:cx="113.28221" |
| inkscape:cy="111.34576" |
| 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(56.732124,-783.16107)"> |
| <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 156.21652,758.06766 -25.6982,0.32748 -0.38479,86.55125 -77.839262,0.39552" |
| style="fill:none;stroke:#64c8c8;stroke-width:15.3268;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" |
| sodipodi:nodetypes="cccc" /> |
| <path |
| inkscape:connector-curvature="0" |
| id="path5414" |
| d="m 53.751752,861.30308 -0.36641,-31.87817 -1.83208,2.93133 -10.99248,12.82455 z" |
| style="fill:#64c8c8;fill-opacity:1;stroke:#64c8c8;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" /> |
| <path |
| style="fill:#00ff00;fill-opacity:1;stroke:#00ff00;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" |
| d="m 54.439951,873.32096 -0.36641,31.87817 -1.83208,-2.93133 -10.99248,-12.82455 z" |
| id="path5450" |
| inkscape:connector-curvature="0" /> |
| <path |
| style="fill:none;stroke:#00ff00;stroke-width:16;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" |
| d="m 196.06564,858.42424 -0.15078,31.10197 -144.936931,-0.22314" |
| id="path5456" |
| inkscape:connector-curvature="0" |
| sodipodi:nodetypes="ccc" /> |
| <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="-831.23907" |
| y="132.1207" |
| id="text5458" |
| transform="rotate(-90)"><tspan |
| sodipodi:role="line" |
| x="-831.23907" |
| y="132.1207" |
| id="tspan5462" |
| style="font-size:8px;line-height:1.25;font-family:sans-serif">ordering (r1 == 1).</tspan></text> |
| <text |
| id="text5466" |
| y="891.99835" |
| x="54.399769" |
| 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="891.99835" |
| x="54.399769" |
| sodipodi:role="line" |
| style="font-size:8px;line-height:1.25;font-family:sans-serif">Given this ordering (r2 == 1) ...</tspan></text> |
| <path |
| style="fill:none;stroke:#000000;stroke-width:0.948683px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)" |
| d="m 104.49983,879.27124 9.57027,-23.49913" |
| id="path5470" |
| inkscape:connector-curvature="0" |
| sodipodi:nodetypes="cc" /> |
| <text |
| id="text5466-7" |
| y="848.10419" |
| x="43.993519" |
| 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-2" |
| y="848.10419" |
| x="43.993519" |
| sodipodi:role="line" |
| style="font-size:8px;line-height:1.25;font-family:sans-serif">... RCU guarantees</tspan></text> |
| <text |
| id="text5466-7-3" |
| y="555.25598" |
| x="-653.35986" |
| 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" |
| transform="rotate(-58.073452)"><tspan |
| id="tspan5468-2-6" |
| y="555.25598" |
| x="-653.35986" |
| sodipodi:role="line" |
| style="font-size:8px;line-height:1.25;font-family:sans-serif">this</tspan></text> |
| </g> |
| </g> |
| <g |
| transform="translate(0,53.928085)" |
| id="g3022"> |
| <path |
| style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)" |
| d="m -5.8394311,814.60077 v 16.86622" |
| id="path5150" |
| inkscape:connector-curvature="0" /> |
| <path |
| inkscape:connector-curvature="0" |
| id="path5346" |
| d="m -5.8394311,858.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 -5.8394311,902.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="-5.8882594" |
| y="784.56586" |
| id="text3259"><tspan |
| sodipodi:role="line" |
| id="tspan3261" |
| x="-5.8882594" |
| y="784.56586" |
| style="font-size:8px;line-height:1.25;font-family:sans-serif">P0()</tspan></text> |
| <g |
| id="g4938" |
| transform="translate(-50.96141,9.2742682)"> |
| <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(-50.96141,53.274268)"> |
| <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> |
| <g |
| id="g5348" |
| transform="translate(-55.816784,97.274268)"> |
| <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 |
| id="g4938-7" |
| transform="translate(-50.96141,141.22849)"> |
| <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> |
| <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="195.65137" |
| y="794.23138" |
| id="text3267"><tspan |
| sodipodi:role="line" |
| id="tspan3269" |
| x="195.65137" |
| y="794.23138" |
| style="font-size:8px;line-height:1.25;font-family:sans-serif">P1()</tspan></text> |
| <g |
| transform="translate(114.88129,15.965458)" |
| id="g5360-6"> |
| <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-9" |
| d="M 195.7002,824.61308 V 841.4793" |
| style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend-1-6)" /> |
| <path |
| style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend-1-6)" |
| d="M 195.7002,868.61308 V 885.4793" |
| id="path5382-4" |
| inkscape:connector-curvature="0" /> |
| <g |
| transform="translate(114.88129,104.06987)" |
| 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(150.57822,63.27263)"> |
| <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> |
| </svg> |
