Design/Memory-Ordering/TreeRCU-gp-cleanup.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">
256          style="fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round"
267        style="overflow:visible">
270          style="fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round"
281        style="overflow:visible">
284          style="fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round"
295        style="overflow:visible">
298          style="fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round"
309        style="overflow:visible">
312          style="fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round"
323        style="overflow:visible">
326          style="fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round"
337        style="overflow:visible">
341          style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt"
351        style="overflow:visible">
355          style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt"
365        style="overflow:visible">
369          style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt"
413 …style="fill:none;stroke:#969696;stroke-width:53.19251633;stroke-linecap:butt;stroke-linejoin:miter…
415      style="fill:none;stroke-width:0.025in"
422        font-style="normal"
426 …style="font-size:192px;font-style:normal;font-weight:bold;text-anchor:start;fill:#000000;font-fami…
427          style="font-size:172.87567139px"
434          style="stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
442          style="fill:none;stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
453        font-style="normal"
457 …style="font-size:192px;font-style:normal;font-weight:bold;line-height:125%;text-anchor:start;fill:…
459 …style="font-size:159.57754517px;font-style:normal;font-variant:normal;font-weight:normal;font-stre…
465 …style="fill:none;stroke:#000000;stroke-width:30.00057793;stroke-linecap:butt;stroke-linejoin:miter…
472 …style="font-size:192px;font-style:normal;font-weight:bold;text-anchor:start;fill:#000000;stroke-wi…
476      font-style="normal"
481      style="fill:none;stroke-width:0.025in"
485        style="fill:none;stroke-width:0.025in"
490          style="stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
498          style="fill:none;stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
509        font-style="normal"
513 …style="font-size:192px;font-style:normal;font-weight:bold;text-anchor:start;fill:#000000;stroke-wi…
514          style="font-size:172.87567139px"
518      style="fill:none;stroke-width:0.025in"
522        style="fill:none;stroke-width:0.025in"
527          style="stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
535          style="fill:none;stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
546        font-style="normal"
550 …style="font-size:192px;font-style:normal;font-weight:bold;line-height:125%;text-anchor:start;fill:…
552 …style="font-size:159.57754517px;font-style:normal;font-variant:normal;font-weight:normal;font-stre…
559 …style="fill:none;stroke:#969696;stroke-width:53.19251633;stroke-linecap:butt;stroke-linejoin:miter…
561        style="fill:none;stroke-width:0.025in"
569            style="stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
577 …         style="fill:none;stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
588          font-style="normal"
592 …style="font-size:192px;font-style:normal;font-weight:bold;line-height:125%;text-anchor:start;fill:…
594 …style="font-size:159.57754517px;font-style:normal;font-variant:normal;font-weight:normal;font-stre…
599 …style="font-size:12px;font-style:normal;font-weight:normal;text-align:center;line-height:125%;lett…
611          font-style="normal"
615 …style="font-size:192px;font-style:normal;font-weight:bold;text-anchor:start;fill:#000000;stroke-wi…
616            style="font-size:172.87567139px"
620        style="fill:none;stroke-width:0.025in"
624          style="fill:none;stroke-width:0.025in"
629            style="stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
637 …         style="fill:none;stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
646        style="fill:none;stroke-width:0.025in"
651          style="stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
659          style="fill:none;stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
670        font-style="normal"
674 …style="font-size:192px;font-style:normal;font-weight:bold;line-height:125%;text-anchor:start;fill:…
676 …style="font-size:159.57754517px;font-style:normal;font-variant:normal;font-weight:normal;font-stre…
681        style="fill:none;stroke-width:0.025in">
683          style="fill:none;stroke-width:0.025in"
688            style="stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
696 …         style="fill:none;stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
707        style="fill:none;stroke-width:0.025in">
709          style="fill:none;stroke-width:0.025in"
714            style="stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
722 …         style="fill:none;stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
733          font-style="normal"
737 …style="font-size:192px;font-style:normal;font-weight:bold;line-height:125%;text-anchor:start;fill:…
739 …style="font-size:159.57754517px;font-style:normal;font-variant:normal;font-weight:normal;font-stre…
745        style="fill:none;stroke-width:0.025in">
747          style="fill:none;stroke-width:0.025in"
752            style="stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
760 …         style="fill:none;stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
771          font-style="normal"
775 …style="font-size:192px;font-style:normal;font-weight:bold;line-height:125%;text-anchor:start;fill:…
777 …style="font-size:159.57754517px;font-style:normal;font-variant:normal;font-weight:normal;font-stre…
783        style="fill:none;stroke-width:0.025in">
785          style="fill:none;stroke-width:0.025in"
790            style="stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
798 …         style="fill:none;stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
809          font-style="normal"
813 …style="font-size:192px;font-style:normal;font-weight:bold;line-height:125%;text-anchor:start;fill:…
815 …style="font-size:159.57754517px;font-style:normal;font-variant:normal;font-weight:normal;font-stre…
819 …style="fill:none;stroke:#000000;stroke-width:13.29812908px;stroke-linecap:butt;stroke-linejoin:mit…
824 …style="fill:none;stroke:#000000;stroke-width:13.29812813px;stroke-linecap:butt;stroke-linejoin:mit…
829 …style="fill:none;stroke:#000000;stroke-width:13.29812813px;stroke-linecap:butt;stroke-linejoin:mit…
834 …style="fill:none;stroke:#000000;stroke-width:13.29812717px;stroke-linecap:butt;stroke-linejoin:mit…
839 …style="fill:none;stroke:#000000;stroke-width:13.29812717px;stroke-linecap:butt;stroke-linejoin:mit…
845 …style="fill:none;stroke:#000000;stroke-width:13.29812717px;stroke-linecap:butt;stroke-linejoin:mit…
854        font-style="normal"
858 …style="font-size:192px;font-style:normal;font-weight:bold;text-anchor:start;fill:#000000;stroke-wi…
859          style="font-size:172.87567139px"
865      style="fill:none;stroke-width:0.025in">
867        style="fill:none;stroke-width:0.025in"
872          style="stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
880          style="fill:none;stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
891        font-style="normal"
895 …style="font-size:192px;font-style:normal;font-weight:bold;text-anchor:start;fill:#000000;stroke-wi…
896          style="font-size:172.87567139px"
902      style="fill:none;stroke-width:0.025in">
904        style="fill:none;stroke-width:0.025in"
909          style="stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
917          style="fill:none;stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
928        font-style="normal"
932 …style="font-size:192px;font-style:normal;font-weight:bold;line-height:125%;text-anchor:start;fill:…
934 …style="font-size:159.57754517px;font-style:normal;font-variant:normal;font-weight:normal;font-stre…
940      style="fill:none;stroke-width:0.025in">
942        style="fill:none;stroke-width:0.025in"
947          style="stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
955          style="fill:none;stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
966        font-style="normal"
970 …style="font-size:192px;font-style:normal;font-weight:bold;line-height:125%;text-anchor:start;fill:…
972 …style="font-size:159.57754517px;font-style:normal;font-variant:normal;font-weight:normal;font-stre…
978        font-style="normal"
982 …style="font-size:192px;font-style:normal;font-weight:bold;text-anchor:start;fill:#000000;stroke-wi…
983          style="font-size:172.87567139px"
989      style="fill:none;stroke-width:0.025in">
991        style="fill:none;stroke-width:0.025in"
996          style="stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
1004          style="fill:none;stroke:#000000;stroke-width:30;stroke-linecap:butt;stroke-linejoin:miter"
1015        font-style="normal"
1019 …style="font-size:192px;font-style:normal;font-weight:bold;line-height:125%;text-anchor:start;fill:…
1021 …style="font-size:159.57754517px;font-style:normal;font-variant:normal;font-weight:normal;font-stre…
1027        font-style="normal"
1031 …style="font-size:192px;font-style:normal;font-weight:bold;text-anchor:start;fill:#000000;stroke-wi…
1032          style="font-size:172.87567139px"
1036 …style="fill:none;stroke:#000000;stroke-width:13.29812908px;stroke-linecap:butt;stroke-linejoin:mit…
1041 …style="fill:none;stroke:#000000;stroke-width:13.29812813px;stroke-linecap:butt;stroke-linejoin:mit…
1046 …style="fill:none;stroke:#000000;stroke-width:13.29812813px;stroke-linecap:butt;stroke-linejoin:mit…
1051 …style="fill:none;stroke:#000000;stroke-width:13.29812717px;stroke-linecap:butt;stroke-linejoin:mit…
1056 …style="fill:none;stroke:#000000;stroke-width:13.29812717px;stroke-linecap:butt;stroke-linejoin:mit…
1062 …style="fill:none;stroke:#000000;stroke-width:13.29812717px;stroke-linecap:butt;stroke-linejoin:mit…
1068      style="fill:none;stroke-width:0.025in"
1079 …style="fill:#ffffa1;fill-opacity:0;stroke:#000000;stroke-width:2.25600004;stroke-miterlimit:4;stro…
1083 …style="font-size:192px;font-style:normal;font-weight:bold;line-height:125%;text-anchor:start;fill:…
1087        font-style="normal"
1092 …style="font-size:159.57754517px;font-style:normal;font-variant:normal;font-weight:normal;font-stre…
1098 …style="font-size:159.57754517px;font-style:normal;font-weight:normal;text-align:center;line-height…
1109 …style="font-size:159.57754517px;font-style:normal;font-weight:normal;text-align:center;line-height…
1121 …style="fill:none;stroke:#969696;stroke-width:53.19251633;stroke-linecap:butt;stroke-linejoin:miter…
1126      font-style="normal"
1130 …style="font-size:192px;font-style:normal;font-weight:bold;text-anchor:start;fill:#000000;stroke-wi…
1131        style="font-size:172.87567139px"