doc/monotonic-reads-G-single-item-process.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.43.0 (0)
 -->
<!-- Title: a_graph Pages: 1 -->
<svg width="150pt" height="200pt"
 viewBox="0.00 0.00 149.50 200.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 196)">
<title>a_graph</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-196 145.5,-196 145.5,4 -4,4"/>
<!-- T1 -->
<g id="node1" class="node">
<title>T1</title>
<polygon fill="none" stroke="#0058ad" points="82.5,-162.5 82.5,-191.5 141.5,-191.5 141.5,-162.5 82.5,-162.5"/>
<text text-anchor="middle" x="112" y="-173.3" font-family="Times,serif" font-size="14.00" fill="#0058ad">w :x 0</text>
</g>
<!-- T7 -->
<g id="node2" class="node">
<title>T7</title>
<polygon fill="none" stroke="#0058ad" points="0,-81.5 0,-110.5 98,-110.5 98,-81.5 0,-81.5"/>
<text text-anchor="middle" x="49" y="-92.3" font-family="Times,serif" font-size="14.00" fill="#0058ad">r :x #{0 1}</text>
</g>
<!-- T1&#45;&gt;T7 -->
<g id="edge1" class="edge">
<title>T1:f0&#45;&gt;T7:f0</title>
<path fill="none" stroke="#c000a5" d="M100.44,-162.14C91.03,-150.04 77.58,-132.75 66.79,-118.88"/>
<polygon fill="#c000a5" stroke="#c000a5" points="69.38,-116.51 60.48,-110.76 63.86,-120.8 69.38,-116.51"/>
<text text-anchor="middle" x="99" y="-132.8" font-family="Times,serif" font-size="14.00" fill="#c000a5">:wr</text>
</g>
<!-- T9 -->
<g id="node3" class="node">
<title>T9</title>
<polygon fill="none" stroke="#0058ad" points="49,-0.5 49,-29.5 133,-29.5 133,-0.5 49,-0.5"/>
<text text-anchor="middle" x="91" y="-11.3" font-family="Times,serif" font-size="14.00" fill="#0058ad">r :x #{1}</text>
</g>
<!-- T7&#45;&gt;T9 -->
<g id="edge2" class="edge">
<title>T7&#45;&gt;T9</title>
<path fill="none" stroke="#00c0c0" d="M56.32,-81.24C62.58,-69.46 71.72,-52.27 79.04,-38.49"/>
<polygon fill="#00c0c0" stroke="#00c0c0" points="82.16,-40.08 83.77,-29.6 75.98,-36.79 82.16,-40.08"/>
<text text-anchor="middle" x="79" y="-51.8" font-family="Times,serif" font-size="14.00" fill="#00c0c0">p</text>
</g>
<!-- T9&#45;&gt;T1 -->
<g id="edge3" class="edge">
<title>T9:f0&#45;&gt;T1:f0</title>
<path fill="none" stroke="#5b00c0" d="M95.95,-29.55C103.53,-53.28 116.91,-101.9 115,-144 114.88,-146.61 114.71,-149.34 114.51,-152.06"/>
<polygon fill="#5b00c0" stroke="#5b00c0" points="111,-151.97 113.63,-162.23 117.98,-152.57 111,-151.97"/>
<text text-anchor="middle" x="125" y="-92.3" font-family="Times,serif" font-size="14.00" fill="#5b00c0">:rw</text>
</g>
</g>
</svg>