Donate to e Foundation | Murena handsets with /e/OS | Own a part of Murena! Learn more

Commit bb7e5ce7 authored by Paul E. McKenney's avatar Paul E. McKenney
Browse files

documentation: RCU grace-period memory ordering guarantees 



This commit provides text and diagrams showing how Tree RCU implements
its grace-period memory ordering guarantees.

Signed-off-by: default avatarPaul E. McKenney <paulmck@linux.vnet.ibm.com>
Cc: Jonathan Corbet <corbet@lwn.net>
Cc: Linus Torvalds <torvalds@linux-foundation.org>
parent 8a5776a5

Documentation/RCU/Design/Memory-Ordering/Tree-RCU-Diagram.html

0 → 100644
+9 −0
Original line number Diff line number Diff line 
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"

        "http://www.w3.org/TR/html4/loose.dtd">

        <html>

        <head><title>A Diagram of TREE_RCU's Grace-Period Memory Ordering</title>

        <meta HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">



<p><img src="TreeRCU-gp.svg" alt="TreeRCU-gp.svg">



</body></html>

Documentation/RCU/Design/Memory-Ordering/Tree-RCU-Memory-Ordering.html

0 → 100644
+707 −0

File added.

Preview size limit exceeded, changes collapsed.

Documentation/RCU/Design/Memory-Ordering/TreeRCU-callback-invocation.svg

0 → 100644
+486 −0
Original line number Diff line number Diff line 
<?xml version="1.0" encoding="UTF-8" standalone="no"?>

<!-- Creator: fig2dev Version 3.2 Patchlevel 5e -->



<!-- CreationDate: Wed Dec  9 17:35:03 2015 -->



<!-- Magnification: 2.000 -->



<svg

   xmlns:dc="http://purl.org/dc/elements/1.1/"

   xmlns:cc="http://creativecommons.org/ns#"

   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"

   xmlns:svg="http://www.w3.org/2000/svg"

   xmlns="http://www.w3.org/2000/svg"

   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"

   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"

   width="592.12805"

   height="469.83038"

   viewBox="-44 -44 7874.1949 6244.9802"

   id="svg2"

   version="1.1"

   inkscape:version="0.48.4 r9939"

   sodipodi:docname="TreeRCU-callback-invocation.svg">

  <metadata

     id="metadata212">

    <rdf:RDF>

      <cc:Work

         rdf:about="">

        <dc:format>image/svg+xml</dc:format>

        <dc:type

           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />

        <dc:title />

      </cc:Work>

    </rdf:RDF>

  </metadata>

  <defs

     id="defs210">

    <marker

       inkscape:stockid="Arrow1Send"

       orient="auto"

       refY="0"

       refX="0"

       id="Arrow1Send"

       style="overflow:visible">

      <path

         id="path3940"

         d="M 0,0 5,-5 -12.5,0 5,5 0,0 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="TriangleOutS"

       orient="auto"

       refY="0"

       refX="0"

       id="TriangleOutS"

       style="overflow:visible">

      <path

         id="path4073"

         d="m 5.77,0 -8.65,5 0,-10 8.65,5 z"

         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt"

         transform="scale(0.2,0.2)"

         inkscape:connector-curvature="0" />

    </marker>

    <marker

       inkscape:stockid="TriangleOutM"

       orient="auto"

       refY="0"

       refX="0"

       id="TriangleOutM"

       style="overflow:visible">

      <path

         id="path4070"

         d="m 5.77,0 -8.65,5 0,-10 8.65,5 z"

         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt"

         transform="scale(0.4,0.4)"

         inkscape:connector-curvature="0" />

    </marker>

    <marker

       inkscape:stockid="Arrow2Mend"

       orient="auto"

       refY="0"

       refX="0"

       id="Arrow2Mend"

       style="overflow:visible">

      <path

         id="path3952"

         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="scale(-0.6,-0.6)"

         inkscape:connector-curvature="0" />

    </marker>

    <marker

       inkscape:stockid="Arrow2Lend"

       orient="auto"

       refY="0"

       refX="0"

       id="Arrow2Lend"

       style="overflow:visible">

      <path

         id="path3946"

         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(-1.1,0,0,-1.1,-1.1,0)"

         inkscape:connector-curvature="0" />

    </marker>

    <marker

       inkscape:stockid="Arrow1Mend"

       orient="auto"

       refY="0"

       refX="0"

       id="Arrow1Mend"

       style="overflow:visible">

      <path

         id="path3970"

         d="M 0,0 5,-5 -12.5,0 5,5 0,0 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="Arrow2Mend"

       orient="auto"

       refY="0"

       refX="0"

       id="Arrow2Mend-7"

       style="overflow:visible">

      <path

         inkscape:connector-curvature="0"

         id="path3952-0"

         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="scale(-0.6,-0.6)" />

    </marker>

    <marker

       inkscape:stockid="Arrow1Send"

       orient="auto"

       refY="0"

       refX="0"

       id="Arrow1Send-3"

       style="overflow:visible">

      <path

         inkscape:connector-curvature="0"

         id="path3940-6"

         d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"

         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt"

         transform="matrix(-0.2,0,0,-0.2,-1.2,0)" />

    </marker>

    <marker

       inkscape:stockid="Arrow1Send"

       orient="auto"

       refY="0"

       refX="0"

       id="Arrow1Send-1"

       style="overflow:visible">

      <path

         inkscape:connector-curvature="0"

         id="path3940-2"

         d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"

         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt"

         transform="matrix(-0.2,0,0,-0.2,-1.2,0)" />

    </marker>

    <marker

       inkscape:stockid="Arrow1Send"

       orient="auto"

       refY="0"

       refX="0"

       id="Arrow1Send-0"

       style="overflow:visible">

      <path

         inkscape:connector-curvature="0"

         id="path3940-9"

         d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"

         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt"

         transform="matrix(-0.2,0,0,-0.2,-1.2,0)" />

    </marker>

  </defs>

  <sodipodi:namedview

     pagecolor="#ffffff"

     bordercolor="#666666"

     borderopacity="1"

     objecttolerance="10"

     gridtolerance="10"

     guidetolerance="10"

     inkscape:pageopacity="0"

     inkscape:pageshadow="2"

     inkscape:window-width="1087"

     inkscape:window-height="1144"

     id="namedview208"

     showgrid="true"

     inkscape:zoom="1.2009216"

     inkscape:cx="289.88715"

     inkscape:cy="219.06265"

     inkscape:window-x="713"

     inkscape:window-y="28"

     inkscape:window-maximized="0"

     inkscape:current-layer="g3058"

     fit-margin-top="5"

     fit-margin-right="5"

     fit-margin-left="5"

     fit-margin-bottom="5">

    <inkscape:grid

       type="xygrid"

       id="grid3079"

       empspacing="5"

       visible="true"

       enabled="true"

       snapvisiblegridlinesonly="true"

       originx="-116.00011px"

       originy="-87.2081px" />

  </sodipodi:namedview>

  <g

     style="fill:none;stroke-width:0.025in"

     id="g4"

     transform="translate(-2296.0293,-2364.1166)">

    <path

       style="fill:none;stroke:#969696;stroke-width:53.19251633;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Send)"

       d="m 6161.6776,2411.7612 0,4920.3076"

       id="path3134-9-0-3"

       inkscape:connector-curvature="0"

       sodipodi:nodetypes="cc" />

    <path

       style="fill:none;stroke:#969696;stroke-width:53.19251633;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Send)"

       d="m 6161.6776,4672.443 -2393.6631,0.5116 0,1196.8316 2393.6631,-0.5116"

       id="path3134-9-0"

       inkscape:connector-curvature="0"

       sodipodi:nodetypes="cccc" />

    <path

       style="fill:none;stroke:#969696;stroke-width:53.19251633;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Send)"

       d="m 6161.6776,4672.443 2393.6631,0.5116 0,1196.8316 -2393.6631,-0.5116"

       id="path3134-9-0-7"

       inkscape:connector-curvature="0"

       sodipodi:nodetypes="cccc" />

    <!-- Line: box -->

    <!-- Line: box -->

    <!-- Line: box -->

    <!-- Line -->

    <!-- Arrowhead on XXXpoint 5250 8100 - 5710 5790-->

    <!-- Line -->

    <!-- Arrowhead on XXXpoint 4050 9300 - 4512 7140-->

    <!-- Line -->

    <!-- Arrowhead on XXXpoint 1040 9300 - 1502 7140-->

    <!-- Line -->

    <!-- Arrowhead on XXXpoint 2240 8100 - 2702 5940-->

    <!-- Line: box -->

    <!-- Line: box -->

    <!-- Line -->

    <!-- Arrowhead on XXXpoint 1350 3450 - 2444 2510-->

    <!-- Line -->

    <!-- Arrowhead on XXXpoint 4950 3450 - 3854 2510-->

    <!-- Line -->

    <!-- Arrowhead on XXXpoint 4050 6600 - 4050 4290-->

    <!-- Line -->

    <!-- Arrowhead on XXXpoint 1050 6600 - 1050 4290-->

    <!-- Line -->

    <!-- Arrowhead on XXXpoint 2250 5400 - 2250 4290-->

    <!-- Line -->

    <!-- Arrowhead on XXXpoint 2250 8100 - 2250 6240-->

    <!-- Line -->

    <!-- Arrowhead on XXXpoint 1050 9300 - 1050 7440-->

    <!-- Line -->

    <!-- Arrowhead on XXXpoint 4050 9300 - 4050 7440-->

    <!-- Line -->

    <!-- Arrowhead on XXXpoint 5250 8100 - 5250 6240-->

    <!-- Circle -->

    <!-- Circle -->

    <!-- Circle -->

    <!-- Circle -->

    <!-- Circle -->

    <!-- Circle -->

    <!-- Circle -->

    <!-- Circle -->

    <!-- Circle -->

    <!-- Line: box -->

    <!-- Line: box -->

    <!-- Line: box -->

    <!-- Line: box -->

    <!-- Line: box -->

    <!-- Line: box -->

    <!-- Line: box -->

    <!-- Line: box -->

    <!-- Line: box -->

    <!-- Line: box -->

    <!-- Line -->

    <!-- Line -->

    <!-- Arrowhead on XXXpoint 9300 3150 - 10860 3150-->

    <!-- Line: box -->

    <!-- Line -->

    <!-- Arrowhead on XXXpoint 11400 3600 - 11400 4410-->

    <!-- Line: box -->

    <!-- Line -->

    <!-- Arrowhead on XXXpoint 11400 5100 - 11400 5910-->

    <!-- Line: box -->

    <!-- Line -->

    <!-- Arrowhead on XXXpoint 9900 4650 - 10860 4650-->

    <!-- Line -->

    <!-- Arrowhead on XXXpoint 9600 6150 - 10860 6150-->

    <!-- Text -->

    <!-- Text -->

    <!-- Text -->

    <!-- Text -->

    <!-- Text -->

    <!-- Text -->

    <!-- Text -->

    <!-- Text -->

    <!-- Text -->

    <!-- Text -->

    <!-- Text -->

    <!-- Text -->

    <!-- Text -->

    <!-- Text -->

    <!-- Text -->

    <!-- Text -->

    <!-- Text -->

    <!-- Text -->

    <!-- Text -->

    <!-- Text -->

    <!-- Text -->

    <!-- Text -->

    <!-- Text -->

    <!-- Text -->

    <!-- Text -->

    <!-- Text -->

    <!-- Line -->

    <!-- Arrowhead on XXXpoint 5250 5400 - 5250 4290-->

    <!-- Line: box -->

    <!-- Line: box -->

    <!-- Line: box -->

    <!-- Line: box -->

    <!-- Text -->

    <!-- Text -->

    <!-- Text -->

    <!-- Text -->

    <!-- Text -->

    <rect

       x="2333.5203"

       y="5109.5566"

       width="2844.0974"

       height="360.77411"

       rx="0"

       style="fill:none;stroke:#000000;stroke-width:30.00057983;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:30.0005789, 60.00115781;stroke-dashoffset:0"

       id="rect118-3"

       ry="0" />

    <text

       xml:space="preserve"

       x="2562.135"

       y="5357.9937"

       font-style="normal"

       font-weight="bold"

       font-size="192"

       id="text202-7-5"

       style="font-size:192px;font-style:normal;font-weight:bold;text-anchor:start;fill:#000000;stroke-width:0.025in;font-family:Courier">rcu_check_callbacks()</text>

    <rect

       x="7069.6187"

       y="5087.4678"

       width="2975.115"

       height="382.86298"

       rx="0"

       style="fill:none;stroke:#000000;stroke-width:30.00057983;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:30.00057902, 60.00115804;stroke-dashoffset:0"

       id="rect118-36"

       ry="0" />

    <text

       xml:space="preserve"

       x="7165.2524"

       y="5333.4927"

       font-style="normal"

       font-weight="bold"

       font-size="192"

       id="text202-7-9-6"

       style="font-size:192px;font-style:normal;font-weight:bold;text-anchor:start;fill:#000000;stroke-width:0.025in;font-family:Courier">rcu_cleanup_after_idle()</text>

    <g

       id="g3058"

       transform="translate(-53.192514,-2819.2063)">

      <text

         style="font-size:192px;font-style:normal;font-weight:bold;text-anchor:start;fill:#000000;font-family:Courier"

         id="text202"

         font-size="192"

         font-weight="bold"

         font-style="normal"

         y="6532.0293"

         x="5073.3374"

         xml:space="preserve">rcu_advance_cbs()</text>

      <rect

         id="rect112"

         style="stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"

         rx="0"

         height="1370.8721"

         width="2809.1992"

         y="5650.2598"

         x="4800.2563" />

      <rect

         id="rect112-3"

         style="fill:none;stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"

         rx="0"

         height="1294.8468"

         width="2809.1992"

         y="5726.2852"

         x="4800.2563" />

      <text

         sodipodi:linespacing="125%"

         style="font-size:192px;font-style:normal;font-weight:bold;line-height:125%;text-anchor:start;fill:#000000;stroke-width:0.025in;font-family:Courier"

         id="text202-7-5-1-2-3-7"

         font-size="192"

         font-weight="bold"

         font-style="normal"

         y="6961.395"

         x="7220.106"

         xml:space="preserve"><tspan

           id="tspan3104-6-5"

           style="font-size:159.57754517px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;font-family:Liberation Sans;-inkscape-font-specification:Liberation Sans">Leaf</tspan></text>

      <text

         style="font-size:192px;font-style:normal;font-weight:bold;text-anchor:start;fill:#000000;stroke-width:0.025in;font-family:Courier"

         id="text202-3"

         font-size="192"

         font-weight="bold"

         font-style="normal"

         y="6321.9248"

         x="5073.3374"

         xml:space="preserve">__note_gp_changes()</text>

    </g>

    <g

       id="g3049"

       transform="translate(26.596257,6090.5512)">

      <path

         transform="matrix(13.298129,0,0,13.298129,1872.6808,-2726.4833)"

         d="m 385.2961,345.54001 c 0,21.84301 -29.51209,39.55026 -65.9171,39.55026 -36.40501,0 -65.91711,-17.70725 -65.91711,-39.55026 0,-21.84301 29.5121,-39.55026 65.91711,-39.55026 36.40501,0 65.9171,17.70725 65.9171,39.55026 z"

         sodipodi:ry="39.550262"

         sodipodi:rx="65.917107"

         sodipodi:cy="345.54001"

         sodipodi:cx="319.379"

         id="path3084-3"

         style="fill:#ffffa1;fill-opacity:0;stroke:#000000;stroke-width:2.25600004;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2.256, 4.512;stroke-dashoffset:0"

         sodipodi:type="arc" />

      <text

         sodipodi:linespacing="125%"

         style="font-size:192px;font-style:normal;font-weight:bold;line-height:125%;text-anchor:start;fill:#000000;stroke-width:0.025in;font-family:Courier"

         id="text202-7-5-1-2-6"

         font-size="192"

         font-weight="bold"

         font-style="normal"

         y="1785.2073"

         x="5717.4517"

         xml:space="preserve"><tspan

           id="tspan3104-7"

           style="font-size:159.57754517px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;font-family:Liberation Sans;-inkscape-font-specification:Liberation Sans">Phase Two</tspan></text>

      <text

         sodipodi:linespacing="125%"

         id="text3110-5"

         y="2005.6624"

         x="6119.668"

         style="font-size:159.57754517px;font-style:normal;font-weight:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"

         xml:space="preserve"><tspan

           y="2005.6624"

           x="6119.668"

           id="tspan3112-3"

           sodipodi:role="line">of Update</tspan></text>

    </g>

    <rect

       x="5097.8271"

       y="6268.2183"

       width="1994.7195"

       height="664.90662"

       rx="0"

       style="fill:none;stroke:#000000;stroke-width:30.00057793;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:30.00057858, 60.00115716;stroke-dashoffset:0"

       id="rect118-36-3"

       ry="0" />

    <text

       xml:space="preserve"

       x="5363.7886"

       y="6534.1812"

       font-style="normal"

       font-weight="bold"

       font-size="192"

       id="text202-7-9-6-6"

       style="font-size:192px;font-style:normal;font-weight:bold;text-anchor:start;fill:#000000;stroke-width:0.025in;font-family:Courier">RCU_SOFTIRQ</text>

    <text

       xml:space="preserve"

       x="5363.7886"

       y="6800.1436"

       font-style="normal"

       font-weight="bold"

       font-size="192"

       id="text202-7-9-6-6-7"

       style="font-size:192px;font-style:normal;font-weight:bold;text-anchor:start;fill:#000000;stroke-width:0.025in;font-family:Courier">rcu_do_batch()</text>

  </g>

</svg>

Documentation/RCU/Design/Memory-Ordering/TreeRCU-callback-registry.svg

0 → 100644
+655 −0

File added.

Preview size limit exceeded, changes collapsed.

Documentation/RCU/Design/Memory-Ordering/TreeRCU-dyntick.svg

0 → 100644
+700 −0

File added.

Preview size limit exceeded, changes collapsed.