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

Commit 3104fb3d authored by Ingo Molnar's avatar Ingo Molnar
Browse files

Merge branch 'for-mingo' of... 

Merge branch 'for-mingo' of git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu

 into core/rcu

Pull RCU changes from Paul E. McKenney:

 - Adding transitivity uniformly to rcu_node structure ->lock
   acquisitions.  (This is implemented by the first two commits
   on top of v4.4-rc2 due to the pervasive nature of this change.)

 - Documentation updates, including RCU requirements.

 - Expedited grace-period changes.

 - Miscellaneous fixes.

 - Linked-list fixes, courtesy of KTSAN.

 - Torture-test updates.

 - Late-breaking fix to sysrq-generated crash.

Signed-off-by: default avatarIngo Molnar <mingo@kernel.org>
parents ee9a7d2c 984cf355

Documentation/RCU/Design/Requirements/2013-08-is-it-dead.png

0 → 100644
+98.5 KiB
Loading image diff...

Documentation/RCU/Design/Requirements/GPpartitionReaders1.svg

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

<!-- Created with Inkscape (http://www.inkscape.org/) -->



<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="447.99197"

   height="428.19299"

   id="svg2"

   version="1.1"

   inkscape:version="0.48.3.1 r9886"

   sodipodi:docname="GPpartitionReaders1.svg">

  <defs

     id="defs4">

    <marker

       inkscape:stockid="Arrow2Lend"

       orient="auto"

       refY="0"

       refX="0"

       id="Arrow2Lend"

       style="overflow:visible">

      <path

         id="path3792"

         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="Arrow2Lstart"

       orient="auto"

       refY="0"

       refX="0"

       id="Arrow2Lstart"

       style="overflow:visible">

      <path

         id="path3789"

         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>

  </defs>

  <sodipodi:namedview

     id="base"

     pagecolor="#ffffff"

     bordercolor="#666666"

     borderopacity="1.0"

     inkscape:pageopacity="0.0"

     inkscape:pageshadow="2"

     inkscape:zoom="1.6184291"

     inkscape:cx="223.99599"

     inkscape:cy="214.0965"

     inkscape:document-units="px"

     inkscape:current-layer="layer1"

     showgrid="false"

     inkscape:window-width="979"

     inkscape:window-height="836"

     inkscape:window-x="571"

     inkscape:window-y="335"

     inkscape:window-maximized="0"

     fit-margin-top="5"

     fit-margin-left="5"

     fit-margin-right="5"

     fit-margin-bottom="5" />

  <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" />

        <dc:title></dc:title>

      </cc:Work>

    </rdf:RDF>

  </metadata>

  <g

     inkscape:label="Layer 1"

     inkscape:groupmode="layer"

     id="layer1"

     transform="translate(-28.441125,-185.60612)">

    <flowRoot

       xml:space="preserve"

       id="flowRoot2985"

       style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Symbol;-inkscape-font-specification:Symbol"><flowRegion

         id="flowRegion2987"><rect

           id="rect2989"

           width="82.85714"

           height="11.428572"

           x="240"

           y="492.36218" /></flowRegion><flowPara

         id="flowPara2991"></flowPara></flowRoot>    <g

       id="g4433"

       transform="translate(2,0)">

      <text

         sodipodi:linespacing="125%"

         id="text2993"

         y="-261.66608"

         x="412.12299"

         style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Symbol;-inkscape-font-specification:Symbol"

         xml:space="preserve"

         transform="matrix(0,1,-1,0,0,0)"><tspan

           y="-261.66608"

           x="412.12299"

           id="tspan2995"

           sodipodi:role="line">synchronize_rcu()</tspan></text>

      <g

         id="g4417"

         transform="matrix(0,1,-1,0,730.90257,222.4928)">

        <path

           style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-start:url(#Arrow2Lstart);marker-end:url(#Arrow2Lend)"

           d="m 97.580736,477.4048 183.140664,0"

           id="path2997"

           inkscape:connector-curvature="0"

           sodipodi:nodetypes="cc" />

        <path

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

           d="m 96.752718,465.38398 0,22.62742"

           id="path4397"

           inkscape:connector-curvature="0"

           sodipodi:nodetypes="cc" />

        <path

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

           d="m 281.54942,465.38397 0,22.62742"

           id="path4397-5"

           inkscape:connector-curvature="0"

           sodipodi:nodetypes="cc" />

      </g>

    </g>

    <text

       xml:space="preserve"

       style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Symbol;-inkscape-font-specification:Symbol"

       x="112.04738"

       y="268.18076"

       id="text4429"

       sodipodi:linespacing="125%"><tspan

         sodipodi:role="line"

         id="tspan4431"

         x="112.04738"

         y="268.18076">WRITE_ONCE(a, 1);</tspan></text>

    <text

       xml:space="preserve"

       style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Symbol;-inkscape-font-specification:Symbol"

       x="112.04738"

       y="439.13766"

       id="text4441"

       sodipodi:linespacing="125%"><tspan

         sodipodi:role="line"

         id="tspan4443"

         x="112.04738"

         y="439.13766">WRITE_ONCE(b, 1);</tspan></text>

    <text

       xml:space="preserve"

       style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Symbol;-inkscape-font-specification:Symbol"

       x="255.60869"

       y="309.29346"

       id="text4445"

       sodipodi:linespacing="125%"><tspan

         sodipodi:role="line"

         id="tspan4447"

         x="255.60869"

         y="309.29346">r1 = READ_ONCE(a);</tspan></text>

    <text

       xml:space="preserve"

       style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Symbol;-inkscape-font-specification:Symbol"

       x="255.14423"

       y="520.61786"

       id="text4449"

       sodipodi:linespacing="125%"><tspan

         sodipodi:role="line"

         id="tspan4451"

         x="255.14423"

         y="520.61786">WRITE_ONCE(c, 1);</tspan></text>

    <text

       xml:space="preserve"

       style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Symbol;-inkscape-font-specification:Symbol"

       x="396.10254"

       y="384.71124"

       id="text4453"

       sodipodi:linespacing="125%"><tspan

         sodipodi:role="line"

         id="tspan4455"

         x="396.10254"

         y="384.71124">r2 = READ_ONCE(b);</tspan></text>

    <text

       xml:space="preserve"

       style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Symbol;-inkscape-font-specification:Symbol"

       x="396.10254"

       y="582.13617"

       id="text4457"

       sodipodi:linespacing="125%"><tspan

         sodipodi:role="line"

         id="tspan4459"

         x="396.10254"

         y="582.13617">r3 = READ_ONCE(c);</tspan></text>

    <text

       xml:space="preserve"

       style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Symbol;-inkscape-font-specification:Symbol"

       x="112.08231"

       y="213.91006"

       id="text4461"

       sodipodi:linespacing="125%"><tspan

         sodipodi:role="line"

         id="tspan4463"

         x="112.08231"

         y="213.91006">thread0()</tspan></text>

    <text

       xml:space="preserve"

       style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Symbol;-inkscape-font-specification:Symbol"

       x="252.34512"

       y="213.91006"

       id="text4461-6"

       sodipodi:linespacing="125%"><tspan

         sodipodi:role="line"

         id="tspan4463-0"

         x="252.34512"

         y="213.91006">thread1()</tspan></text>

    <text

       xml:space="preserve"

       style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Symbol;-inkscape-font-specification:Symbol"

       x="396.42557"

       y="213.91006"

       id="text4461-2"

       sodipodi:linespacing="125%"><tspan

         sodipodi:role="line"

         id="tspan4463-2"

         x="396.42557"

         y="213.91006">thread2()</tspan></text>

    <rect

       style="fill:none;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"

       id="rect4495"

       width="436.28488"

       height="416.4859"

       x="34.648232"

       y="191.10612" />

    <path

       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"

       d="m 183.14066,191.10612 0,417.193 -0.70711,0"

       id="path4497"

       inkscape:connector-curvature="0" />

    <path

       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"

       d="m 325.13867,191.10612 0,417.193 -0.70711,0"

       id="path4497-5"

       inkscape:connector-curvature="0" />

    <text

       xml:space="preserve"

       style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Symbol;-inkscape-font-specification:Symbol"

       x="111.75929"

       y="251.53981"

       id="text4429-8"

       sodipodi:linespacing="125%"><tspan

         sodipodi:role="line"

         id="tspan4431-9"

         x="111.75929"

         y="251.53981">rcu_read_lock();</tspan></text>

    <text

       xml:space="preserve"

       style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Symbol;-inkscape-font-specification:Symbol"

       x="396.10254"

       y="367.91556"

       id="text4429-8-9"

       sodipodi:linespacing="125%"><tspan

         sodipodi:role="line"

         id="tspan4431-9-4"

         x="396.10254"

         y="367.91556">rcu_read_lock();</tspan></text>

    <text

       xml:space="preserve"

       style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Symbol;-inkscape-font-specification:Symbol"

       x="396.10254"

       y="597.40289"

       id="text4429-8-9-3"

       sodipodi:linespacing="125%"><tspan

         sodipodi:role="line"

         id="tspan4431-9-4-4"

         x="396.10254"

         y="597.40289">rcu_read_unlock();</tspan></text>

    <text

       xml:space="preserve"

       style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Symbol;-inkscape-font-specification:Symbol"

       x="111.75929"

       y="453.15311"

       id="text4429-8-9-3-1"

       sodipodi:linespacing="125%"><tspan

         sodipodi:role="line"

         id="tspan4431-9-4-4-6"

         x="111.75929"

         y="453.15311">rcu_read_unlock();</tspan></text>

    <path

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

       d="m 33.941125,227.87568 436.284885,0 0,0.7071"

       id="path4608"

       inkscape:connector-curvature="0" />

    <text

       xml:space="preserve"

       style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Symbol;-inkscape-font-specification:Symbol"

       x="394.94427"

       y="345.66351"

       id="text4648"

       sodipodi:linespacing="125%"><tspan

         sodipodi:role="line"

         id="tspan4650"

         x="394.94427"

         y="345.66351">QS</tspan></text>

    <path

       sodipodi:type="arc"

       style="fill:none;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"

       id="path4652"

       sodipodi:cx="358.85669"

       sodipodi:cy="142.87541"

       sodipodi:rx="10.960155"

       sodipodi:ry="10.253048"

       d="m 358.86939,132.62237 a 10.960155,10.253048 0 1 1 -0.0228,0"

       transform="translate(36.441125,199.60612)"

       sodipodi:start="4.7135481"

       sodipodi:end="10.994651"

       sodipodi:open="true" />

    <text

       xml:space="preserve"

       style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Symbol;-inkscape-font-specification:Symbol"

       x="112.11968"

       y="475.77856"

       id="text4648-4"

       sodipodi:linespacing="125%"><tspan

         sodipodi:role="line"

         id="tspan4650-4"

         x="112.11968"

         y="475.77856">QS</tspan></text>

    <path

       sodipodi:type="arc"

       style="fill:none;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"

       id="path4652-7"

       sodipodi:cx="358.85669"

       sodipodi:cy="142.87541"

       sodipodi:rx="10.960155"

       sodipodi:ry="10.253048"

       d="m 358.86939,132.62237 a 10.960155,10.253048 0 1 1 -0.0228,0"

       transform="translate(-246.38346,329.72117)"

       sodipodi:start="4.7135481"

       sodipodi:end="10.994651"

       sodipodi:open="true" />

    <path

       sodipodi:type="arc"

       style="fill:#ffffff;fill-opacity:1;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"

       id="path4652-7-7"

       sodipodi:cx="358.85669"

       sodipodi:cy="142.87541"

       sodipodi:rx="10.960155"

       sodipodi:ry="10.253048"

       d="m 358.86939,132.62237 a 10.960155,10.253048 0 1 1 -0.0228,0"

       transform="translate(-103.65246,202.90878)"

       sodipodi:start="4.7135481"

       sodipodi:end="10.994651"

       sodipodi:open="true" />

    <text

       xml:space="preserve"

       style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Symbol;-inkscape-font-specification:Symbol"

       x="254.85066"

       y="348.96619"

       id="text4648-4-3"

       sodipodi:linespacing="125%"><tspan

         sodipodi:role="line"

         id="tspan4650-4-5"

         x="254.85066"

         y="348.96619">QS</tspan></text>

  </g>

</svg>

Documentation/RCU/Design/Requirements/RCUApplicability.svg

0 → 100644
+237 −0

File added.

Preview size limit exceeded, changes collapsed.

Documentation/RCU/Design/Requirements/ReadersPartitionGP1.svg

0 → 100644
+639 −0

File added.

Preview size limit exceeded, changes collapsed.

Documentation/RCU/Design/Requirements/Requirements.html

0 → 100644
+2897 −0

File added.

Preview size limit exceeded, changes collapsed.