Design/Memory-Ordering/TreeRCU-qs.svg

43        style="overflow:visible">
47          style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt"
57        style="overflow:visible">
61          style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt"
71        style="overflow:visible">
75          style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt"
85        style="overflow:visible">
88          style="fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round"
99        style="overflow:visible">
102          style="fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round"
113        style="overflow:visible">
117          style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt"
127        style="overflow:visible">
131          style="fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round"
141        style="overflow:visible">
146          style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt"
155        style="overflow:visible">
160          style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt"
169        style="overflow:visible">
174          style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt"
183        style="overflow:visible">
186          style="fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round"
197        style="overflow:visible">
200          style="fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round"
211        style="overflow:visible">
214          style="fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round"
225        style="overflow:visible">
228          style="fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round"
239        style="overflow:visible">
242          style="fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round"
253        style="overflow:visible">
257          style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt"
267        style="overflow:visible">
271          style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt"
281        style="overflow:visible">
285          style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt"
319 …style="fill:none;stroke:#969696;stroke-width:53.19251633;stroke-linecap:butt;stroke-linejoin:miter…
325      style="fill:none;stroke-width:0.025in"
332        font-style="normal"
336 …style="font-size:192px;font-style:normal;font-weight:bold;text-anchor:start;fill:#000000;font-fami…
342          style="stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
350          style="fill:none;stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
361        font-style="normal"
365 …style="font-size:192px;font-style:normal;font-weight:bold;line-height:125%;text-anchor:start;fill:…
367 …style="font-size:159.57754517px;font-style:normal;font-variant:normal;font-weight:normal;font-stre…
373 …style="fill:none;stroke:#000000;stroke-width:30.00057793;stroke-linecap:butt;stroke-linejoin:miter…
380 …style="font-size:192px;font-style:normal;font-weight:bold;text-anchor:start;fill:#000000;stroke-wi…
384      font-style="normal"
389      style="fill:none;stroke-width:0.025in"
393        style="fill:none;stroke-width:0.025in"
398          style="stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
406          style="fill:none;stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
415      style="fill:none;stroke-width:0.025in"
419        style="fill:none;stroke-width:0.025in"
424          style="stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
432          style="fill:none;stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
443        font-style="normal"
447 …style="font-size:192px;font-style:normal;font-weight:bold;line-height:125%;text-anchor:start;fill:…
449 …style="font-size:159.57754517px;font-style:normal;font-variant:normal;font-weight:normal;font-stre…
455      style="fill:none;stroke-width:0.025in">
457        style="fill:none;stroke-width:0.025in"
462          style="stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
470          style="fill:none;stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
481        font-style="normal"
485 …style="font-size:192px;font-style:normal;font-weight:bold;text-anchor:start;fill:#000000;stroke-wi…
490      style="fill:none;stroke-width:0.025in">
492        style="fill:none;stroke-width:0.025in"
497          style="stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
505          style="fill:none;stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
516        font-style="normal"
520 …style="font-size:192px;font-style:normal;font-weight:bold;line-height:125%;text-anchor:start;fill:…
522 …style="font-size:159.57754517px;font-style:normal;font-variant:normal;font-weight:normal;font-stre…
528      style="fill:none;stroke-width:0.025in">
530        style="fill:none;stroke-width:0.025in"
535          style="stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
543          style="fill:none;stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
554        font-style="normal"
558 …style="font-size:192px;font-style:normal;font-weight:bold;line-height:125%;text-anchor:start;fill:…
560 …style="font-size:159.57754517px;font-style:normal;font-variant:normal;font-weight:normal;font-stre…
566      style="fill:none;stroke-width:0.025in">
568        style="fill:none;stroke-width:0.025in"
573          style="stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
581          style="fill:none;stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
592        font-style="normal"
596 …style="font-size:192px;font-style:normal;font-weight:bold;line-height:125%;text-anchor:start;fill:…
598 …style="font-size:159.57754517px;font-style:normal;font-variant:normal;font-weight:normal;font-stre…
604        font-style="normal"
608 …style="font-size:192px;font-style:normal;font-weight:bold;text-anchor:start;fill:#000000;stroke-wi…
611 …style="fill:none;stroke:#000000;stroke-width:13.29812908px;stroke-linecap:butt;stroke-linejoin:mit…
616 …style="fill:none;stroke:#000000;stroke-width:13.29812813px;stroke-linecap:butt;stroke-linejoin:mit…
621 …style="fill:none;stroke:#000000;stroke-width:13.29812813px;stroke-linecap:butt;stroke-linejoin:mit…
626 …style="fill:none;stroke:#000000;stroke-width:13.29812717px;stroke-linecap:butt;stroke-linejoin:mit…
631 …style="fill:none;stroke:#000000;stroke-width:13.29812717px;stroke-linecap:butt;stroke-linejoin:mit…
637 …style="fill:none;stroke:#000000;stroke-width:13.29812717px;stroke-linecap:butt;stroke-linejoin:mit…
647 …style="fill:none;stroke:#969696;stroke-width:53.19251633;stroke-linecap:butt;stroke-linejoin:miter…
652 …style="fill:none;stroke:#969696;stroke-width:53.19251633;stroke-linecap:butt;stroke-linejoin:miter…
658 …style="fill:none;stroke:#969696;stroke-width:53.19251633;stroke-linecap:butt;stroke-linejoin:miter…
672 …style="fill:none;stroke:#000000;stroke-width:30.00057983;stroke-linecap:butt;stroke-linejoin:miter…
676          style="fill:none;stroke-width:0.025in"
681            style="stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
689 …         style="fill:none;stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
700          font-style="normal"
704 …style="font-size:192px;font-style:normal;font-weight:bold;text-anchor:start;fill:#000000;stroke-wi…
709          font-style="normal"
713 …style="font-size:192px;font-style:normal;font-weight:bold;text-anchor:start;fill:#000000;stroke-wi…
718          font-style="normal"
722 …style="font-size:192px;font-style:normal;font-weight:bold;text-anchor:start;fill:#000000;stroke-wi…
727          font-style="normal"
731 …style="font-size:192px;font-style:normal;font-weight:bold;line-height:125%;text-anchor:start;fill:…
733 …style="font-size:159.57754517px;font-style:normal;font-variant:normal;font-weight:normal;font-stre…
742 …style="fill:none;stroke:#000000;stroke-width:30.00057983;stroke-linecap:butt;stroke-linejoin:miter…
749 …style="font-size:192px;font-style:normal;font-weight:bold;text-anchor:start;fill:#000000;stroke-wi…
753          font-style="normal"
764 …style="fill:none;stroke:#000000;stroke-width:30.00057983;stroke-linecap:butt;stroke-linejoin:miter…
771 …style="font-size:192px;font-style:normal;font-weight:bold;text-anchor:start;fill:#000000;stroke-wi…
775          font-style="normal"
786 …style="fill:none;stroke:#000000;stroke-width:30.00057983;stroke-linecap:butt;stroke-linejoin:miter…
793 …style="font-size:192px;font-style:normal;font-weight:bold;text-anchor:start;fill:#000000;stroke-wi…
797          font-style="normal"
802 …style="font-size:192px;font-style:normal;font-weight:bold;text-anchor:start;fill:#000000;stroke-wi…
806          font-style="normal"
811 …style="font-size:192px;font-style:normal;font-weight:bold;text-anchor:start;fill:#000000;stroke-wi…
815          font-style="normal"
831 …style="fill:#ffffa1;fill-opacity:0;stroke:#000000;stroke-width:2.25600004;stroke-miterlimit:4;stro…
835 …style="font-size:192px;font-style:normal;font-weight:bold;line-height:125%;text-anchor:start;fill:…
839          font-style="normal"
844 …style="font-size:159.57754517px;font-style:normal;font-variant:normal;font-weight:normal;font-stre…
850 …style="font-size:159.57754517px;font-style:normal;font-weight:normal;text-align:center;line-height…
861 …style="font-size:159.57754517px;font-style:normal;font-weight:normal;text-align:center;line-height…
879 …style="fill:#ffffa1;fill-opacity:0;stroke:#000000;stroke-width:2.25600004;stroke-miterlimit:4;stro…
883 …style="font-size:192px;font-style:normal;font-weight:bold;line-height:125%;text-anchor:start;fill:…
887          font-style="normal"
892 …style="font-size:159.57754517px;font-style:normal;font-variant:normal;font-weight:normal;font-stre…
898 …style="font-size:159.57754517px;font-style:normal;font-weight:normal;text-align:center;line-height…
909 …style="font-size:159.57754517px;font-style:normal;font-weight:normal;text-align:center;line-height…
927 …style="fill:#ffffa1;fill-opacity:0;stroke:#000000;stroke-width:2.25600004;stroke-miterlimit:4;stro…
931 …style="font-size:192px;font-style:normal;font-weight:bold;line-height:125%;text-anchor:start;fill:…
935          font-style="normal"
940 …style="font-size:159.57754517px;font-style:normal;font-variant:normal;font-weight:normal;font-stre…
946 …style="font-size:159.57754517px;font-style:normal;font-weight:normal;text-align:center;line-height…
957 …style="font-size:159.57754517px;font-style:normal;font-weight:normal;text-align:center;line-height…
975 …style="fill:#ffffa1;fill-opacity:0;stroke:#000000;stroke-width:2.25600004;stroke-miterlimit:4;stro…
979 …style="font-size:192px;font-style:normal;font-weight:bold;line-height:125%;text-anchor:start;fill:…
983          font-style="normal"
988 …style="font-size:159.57754517px;font-style:normal;font-variant:normal;font-weight:normal;font-stre…
994 …style="font-size:159.57754517px;font-style:normal;font-weight:normal;text-align:center;line-height…
1005 …style="font-size:159.57754517px;font-style:normal;font-weight:normal;text-align:center;line-height…
1013 …style="fill:none;stroke:#969696;stroke-width:53.19251633;stroke-linecap:butt;stroke-linejoin:miter…
1019 …style="fill:none;stroke:#969696;stroke-width:53.19251633;stroke-linecap:butt;stroke-linejoin:miter…
1036 …style="fill:#ffffa1;fill-opacity:0;stroke:#000000;stroke-width:2.25600004;stroke-miterlimit:4;stro…
1040 …style="font-size:192px;font-style:normal;font-weight:bold;line-height:125%;text-anchor:start;fill:…
1044        font-style="normal"
1049 …style="font-size:159.57754517px;font-style:normal;font-variant:normal;font-weight:normal;font-stre…
1055 …style="font-size:159.57754517px;font-style:normal;font-weight:normal;text-align:center;line-height…
1066 …style="font-size:159.57754517px;font-style:normal;font-weight:normal;text-align:center;line-height…
1079 …style="fill:none;stroke:#000000;stroke-width:30.00057983;stroke-linecap:butt;stroke-linejoin:miter…
1086 …style="font-size:192px;font-style:normal;font-weight:bold;text-anchor:start;fill:#000000;stroke-wi…
1090        font-style="normal"