p1c1b1.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.40.1 (20161225.0304)
 -->
<!-- Title: DiskGraph Pages: 1 -->
<svg width="422pt" height="273pt"
 viewBox="0.00 0.00 422.00 273.22" 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 269.2203)">
<title>DiskGraph</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-269.2203 418,-269.2203 418,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_graph</title>
<polygon fill="none" stroke="#ffffff" points="8,-8 8,-257.2203 406,-257.2203 406,-8 8,-8"/>
</g>
<!-- 1361886694690155653 -->
<g id="node1" class="node">
<title>1361886694690155653</title>
<ellipse fill="#d3d3d3" stroke="#000000" cx="284" cy="-222.3503" rx="77.5641" ry="26.7407"/>
<text text-anchor="middle" x="284" y="-226.1503" font-family="Times,serif" font-size="14.00" fill="#000000">/\ buffer = &lt;&lt;&gt;&gt;</text>
<text text-anchor="middle" x="284" y="-211.1503" font-family="Times,serif" font-size="14.00" fill="#000000">/\ waitSet = {}</text>
</g>
<!-- 8427788535082373079 -->
<g id="node2" class="node">
<title>8427788535082373079</title>
<ellipse fill="none" stroke="#000000" cx="284" cy="-132.6102" rx="86.9483" ry="26.7407"/>
<text text-anchor="middle" x="284" y="-136.4102" font-family="Times,serif" font-size="14.00" fill="#000000">/\ buffer = &lt;&lt;p1&gt;&gt;</text>
<text text-anchor="middle" x="284" y="-121.4102" font-family="Times,serif" font-size="14.00" fill="#000000">/\ waitSet = {}</text>
</g>
<!-- 1361886694690155653&#45;&gt;8427788535082373079 -->
<g id="edge1" class="edge">
<title>1361886694690155653&#45;&gt;8427788535082373079</title>
<path fill="none" stroke="#000000" d="M275.6729,-195.4253C275.0347,-187.3504 274.8505,-178.3471 275.1202,-169.7362"/>
<polygon fill="#000000" stroke="#000000" points="278.6277,-169.691 275.6744,-159.5162 271.638,-169.3119 278.6277,-169.691"/>
</g>
<!-- &#45;7172793711072072991 -->
<g id="node3" class="node">
<title>&#45;7172793711072072991</title>
<ellipse fill="none" stroke="#000000" cx="94" cy="-132.6102" rx="77.5641" ry="26.7407"/>
<text text-anchor="middle" x="94" y="-136.4102" font-family="Times,serif" font-size="14.00" fill="#000000">/\ buffer = &lt;&lt;&gt;&gt;</text>
<text text-anchor="middle" x="94" y="-121.4102" font-family="Times,serif" font-size="14.00" fill="#000000">/\ waitSet = {c1}</text>
</g>
<!-- 1361886694690155653&#45;&gt;&#45;7172793711072072991 -->
<g id="edge2" class="edge">
<title>1361886694690155653&#45;&gt;&#45;7172793711072072991</title>
<path fill="none" stroke="#000000" d="M238.0063,-200.6267C211.3649,-188.0435 177.6426,-172.1159 149.5294,-158.8376"/>
<polygon fill="#000000" stroke="#000000" points="150.7656,-155.5508 140.2287,-154.4447 147.7761,-161.8803 150.7656,-155.5508"/>
</g>
<!-- 8427788535082373079&#45;&gt;1361886694690155653 -->
<g id="edge4" class="edge">
<title>8427788535082373079&#45;&gt;1361886694690155653</title>
<path fill="none" stroke="#000000" d="M293.0194,-159.5162C293.7116,-167.5896 293.9119,-176.5925 293.6205,-185.204"/>
<polygon fill="#000000" stroke="#000000" points="290.1126,-185.2375 293.021,-195.4253 297.1006,-185.6474 290.1126,-185.2375"/>
</g>
<!-- &#45;6634559038400111083 -->
<g id="node4" class="node">
<title>&#45;6634559038400111083</title>
<ellipse fill="none" stroke="#000000" cx="297" cy="-42.8701" rx="86.9483" ry="26.7407"/>
<text text-anchor="middle" x="297" y="-46.6701" font-family="Times,serif" font-size="14.00" fill="#000000">/\ buffer = &lt;&lt;p1&gt;&gt;</text>
<text text-anchor="middle" x="297" y="-31.6701" font-family="Times,serif" font-size="14.00" fill="#000000">/\ waitSet = {p1}</text>
</g>
<!-- 8427788535082373079&#45;&gt;&#45;6634559038400111083 -->
<g id="edge3" class="edge">
<title>8427788535082373079&#45;&gt;&#45;6634559038400111083</title>
<path fill="none" stroke="#000000" d="M287.9004,-105.6852C289.083,-97.5215 290.4031,-88.409 291.6629,-79.7123"/>
<polygon fill="#000000" stroke="#000000" points="295.1324,-80.1746 293.1023,-69.776 288.2047,-79.1709 295.1324,-80.1746"/>
</g>
<!-- &#45;7172793711072072991&#45;&gt;8427788535082373079 -->
<g id="edge5" class="edge">
<title>&#45;7172793711072072991&#45;&gt;8427788535082373079</title>
<path fill="none" stroke="#000000" d="M171.9297,-132.6102C176.8683,-132.6102 181.807,-132.6102 186.7456,-132.6102"/>
<polygon fill="#000000" stroke="#000000" points="186.8829,-136.1103 196.8828,-132.6102 186.8828,-129.1103 186.8829,-136.1103"/>
</g>
<!-- &#45;6634559038400111083&#45;&gt;1361886694690155653 -->
<g id="edge6" class="edge">
<title>&#45;6634559038400111083&#45;&gt;1361886694690155653</title>
<path fill="none" stroke="#000000" d="M344.104,-65.7857C359.3741,-75.7844 374.5441,-89.0839 383,-105.7401 393.812,-127.0373 394.5032,-138.5483 383,-159.4802 374.352,-175.2166 359.9132,-187.5721 344.6999,-197.0084"/>
<polygon fill="#000000" stroke="#000000" points="342.5872,-194.1875 335.6909,-202.2306 346.0977,-200.2436 342.5872,-194.1875"/>
</g>
</g>
</svg>