p1c2b1.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="657pt" height="722pt"
 viewBox="0.00 0.00 657.00 721.92" 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 717.9209)">
<title>DiskGraph</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-717.9209 653,-717.9209 653,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_graph</title>
<polygon fill="none" stroke="#ffffff" points="8,-8 8,-705.9209 641,-705.9209 641,-8 8,-8"/>
</g>
<!-- &#45;3778992851039715535 -->
<g id="node1" class="node">
<title>&#45;3778992851039715535</title>
<ellipse fill="#d3d3d3" stroke="#000000" cx="406" cy="-671.0509" rx="77.5641" ry="26.7407"/>
<text text-anchor="middle" x="406" y="-674.8509" font-family="Times,serif" font-size="14.00" fill="#000000">/\ buffer = &lt;&lt;&gt;&gt;</text>
<text text-anchor="middle" x="406" y="-659.8509" font-family="Times,serif" font-size="14.00" fill="#000000">/\ waitSet = {}</text>
</g>
<!-- 2772154266058791907 -->
<g id="node2" class="node">
<title>2772154266058791907</title>
<ellipse fill="none" stroke="#000000" cx="519" cy="-581.3107" rx="86.9483" ry="26.7407"/>
<text text-anchor="middle" x="519" y="-585.1107" font-family="Times,serif" font-size="14.00" fill="#000000">/\ buffer = &lt;&lt;p1&gt;&gt;</text>
<text text-anchor="middle" x="519" y="-570.1107" font-family="Times,serif" font-size="14.00" fill="#000000">/\ waitSet = {}</text>
</g>
<!-- &#45;3778992851039715535&#45;&gt;2772154266058791907 -->
<g id="edge1" class="edge">
<title>&#45;3778992851039715535&#45;&gt;2772154266058791907</title>
<path fill="none" stroke="#000000" d="M430.1537,-645.3349C442.449,-634.8574 457.6872,-622.6644 472.1019,-611.7473"/>
<polygon fill="#000000" stroke="#000000" points="474.5554,-614.2828 480.4654,-605.4895 470.3617,-608.6781 474.5554,-614.2828"/>
</g>
<!-- 6548944862504700923 -->
<g id="node3" class="node">
<title>6548944862504700923</title>
<ellipse fill="none" stroke="#000000" cx="302" cy="-581.3107" rx="77.5641" ry="26.7407"/>
<text text-anchor="middle" x="302" y="-585.1107" font-family="Times,serif" font-size="14.00" fill="#000000">/\ buffer = &lt;&lt;&gt;&gt;</text>
<text text-anchor="middle" x="302" y="-570.1107" font-family="Times,serif" font-size="14.00" fill="#000000">/\ waitSet = {c1}</text>
</g>
<!-- &#45;3778992851039715535&#45;&gt;6548944862504700923 -->
<g id="edge2" class="edge">
<title>&#45;3778992851039715535&#45;&gt;6548944862504700923</title>
<path fill="none" stroke="#000000" d="M377.0302,-646.0532C365.1843,-635.8316 351.3401,-623.8856 338.7915,-613.0576"/>
<polygon fill="#000000" stroke="#000000" points="341.0327,-610.3687 331.1751,-606.4856 336.4597,-615.6684 341.0327,-610.3687"/>
</g>
<!-- 6540826889138644438 -->
<g id="node4" class="node">
<title>6540826889138644438</title>
<ellipse fill="none" stroke="#000000" cx="121" cy="-581.3107" rx="77.5641" ry="26.7407"/>
<text text-anchor="middle" x="121" y="-585.1107" font-family="Times,serif" font-size="14.00" fill="#000000">/\ buffer = &lt;&lt;&gt;&gt;</text>
<text text-anchor="middle" x="121" y="-570.1107" font-family="Times,serif" font-size="14.00" fill="#000000">/\ waitSet = {c2}</text>
</g>
<!-- &#45;3778992851039715535&#45;&gt;6540826889138644438 -->
<g id="edge3" class="edge">
<title>&#45;3778992851039715535&#45;&gt;6540826889138644438</title>
<path fill="none" stroke="#000000" d="M348.326,-652.8906C302.0667,-638.3246 237.0563,-617.8543 188.4002,-602.5335"/>
<polygon fill="#000000" stroke="#000000" points="189.1778,-599.1091 178.5882,-599.444 187.0753,-605.7859 189.1778,-599.1091"/>
</g>
<!-- 2772154266058791907&#45;&gt;&#45;3778992851039715535 -->
<g id="edge5" class="edge">
<title>2772154266058791907&#45;&gt;&#45;3778992851039715535</title>
<path fill="none" stroke="#000000" d="M495.2642,-607.256C482.7591,-617.9648 467.155,-630.4345 452.4447,-641.4938"/>
<polygon fill="#000000" stroke="#000000" points="450.3334,-638.7021 444.3897,-647.4727 454.5055,-644.323 450.3334,-638.7021"/>
</g>
<!-- 3763886054749291196 -->
<g id="node5" class="node">
<title>3763886054749291196</title>
<ellipse fill="none" stroke="#000000" cx="532" cy="-491.5706" rx="86.9483" ry="26.7407"/>
<text text-anchor="middle" x="532" y="-495.3706" font-family="Times,serif" font-size="14.00" fill="#000000">/\ buffer = &lt;&lt;p1&gt;&gt;</text>
<text text-anchor="middle" x="532" y="-480.3706" font-family="Times,serif" font-size="14.00" fill="#000000">/\ waitSet = {p1}</text>
</g>
<!-- 2772154266058791907&#45;&gt;3763886054749291196 -->
<g id="edge4" class="edge">
<title>2772154266058791907&#45;&gt;3763886054749291196</title>
<path fill="none" stroke="#000000" d="M522.9004,-554.3858C524.083,-546.2221 525.4031,-537.1096 526.6629,-528.4129"/>
<polygon fill="#000000" stroke="#000000" points="530.1324,-528.8751 528.1023,-518.4766 523.2047,-527.8715 530.1324,-528.8751"/>
</g>
<!-- 6548944862504700923&#45;&gt;2772154266058791907 -->
<g id="edge6" class="edge">
<title>6548944862504700923&#45;&gt;2772154266058791907</title>
<path fill="none" stroke="#000000" d="M379.9844,-581.3107C393.8946,-581.3107 407.8048,-581.3107 421.7149,-581.3107"/>
<polygon fill="#000000" stroke="#000000" points="421.8438,-584.8108 431.8437,-581.3107 421.8437,-577.8108 421.8438,-584.8108"/>
</g>
<!-- &#45;2764478506102903252 -->
<g id="node6" class="node">
<title>&#45;2764478506102903252</title>
<ellipse fill="none" stroke="#000000" cx="212" cy="-491.5706" rx="92.7622" ry="26.7407"/>
<text text-anchor="middle" x="212" y="-495.3706" font-family="Times,serif" font-size="14.00" fill="#000000">/\ buffer = &lt;&lt;&gt;&gt;</text>
<text text-anchor="middle" x="212" y="-480.3706" font-family="Times,serif" font-size="14.00" fill="#000000">/\ waitSet = {c1, c2}</text>
</g>
<!-- 6548944862504700923&#45;&gt;&#45;2764478506102903252 -->
<g id="edge7" class="edge">
<title>6548944862504700923&#45;&gt;&#45;2764478506102903252</title>
<path fill="none" stroke="#000000" d="M276.4503,-555.8349C266.7485,-546.161 255.5529,-534.9978 245.2429,-524.7175"/>
<polygon fill="#000000" stroke="#000000" points="247.4787,-522.0042 237.9261,-517.4218 242.5361,-526.9612 247.4787,-522.0042"/>
</g>
<!-- 6540826889138644438&#45;&gt;2772154266058791907 -->
<g id="edge8" class="edge">
<title>6540826889138644438&#45;&gt;2772154266058791907</title>
<path fill="none" stroke="#000000" d="M163.0111,-604.1773C181.3302,-612.9054 203.4059,-621.8051 224.5,-626.1808 301.0917,-642.0687 323.5554,-640.2606 400.5,-626.1808 421.1404,-622.4039 442.8508,-615.2123 461.9685,-607.6749"/>
<polygon fill="#000000" stroke="#000000" points="463.4687,-610.8434 471.4186,-603.8398 460.8364,-604.3572 463.4687,-610.8434"/>
</g>
<!-- 6540826889138644438&#45;&gt;&#45;2764478506102903252 -->
<g id="edge9" class="edge">
<title>6540826889138644438&#45;&gt;&#45;2764478506102903252</title>
<path fill="none" stroke="#000000" d="M146.8335,-555.8349C156.6432,-546.161 167.9631,-534.9978 178.3878,-524.7175"/>
<polygon fill="#000000" stroke="#000000" points="181.1232,-526.9355 185.7859,-517.4218 176.2081,-521.9514 181.1232,-526.9355"/>
</g>
<!-- 3763886054749291196&#45;&gt;&#45;3778992851039715535 -->
<g id="edge10" class="edge">
<title>3763886054749291196&#45;&gt;&#45;3778992851039715535</title>
<path fill="none" stroke="#000000" d="M579.104,-514.4862C594.3741,-524.485 609.5441,-537.7845 618,-554.4407 628.812,-575.7379 632.2877,-589.041 618,-608.1808 601.8462,-629.8205 539.4233,-646.6629 486.4634,-657.4455"/>
<polygon fill="#000000" stroke="#000000" points="485.4824,-654.072 476.3566,-659.4545 486.8471,-660.9377 485.4824,-654.072"/>
</g>
<!-- 3779173122827165414 -->
<g id="node7" class="node">
<title>3779173122827165414</title>
<ellipse fill="none" stroke="#000000" cx="132" cy="-401.8305" rx="86.9483" ry="26.7407"/>
<text text-anchor="middle" x="132" y="-405.6305" font-family="Times,serif" font-size="14.00" fill="#000000">/\ buffer = &lt;&lt;p1&gt;&gt;</text>
<text text-anchor="middle" x="132" y="-390.6305" font-family="Times,serif" font-size="14.00" fill="#000000">/\ waitSet = {c2}</text>
</g>
<!-- &#45;2764478506102903252&#45;&gt;3779173122827165414 -->
<g id="edge11" class="edge">
<title>&#45;2764478506102903252&#45;&gt;3779173122827165414</title>
<path fill="none" stroke="#000000" d="M188.4301,-465.131C180.1382,-455.8296 170.7062,-445.2493 161.9592,-435.4373"/>
<polygon fill="#000000" stroke="#000000" points="164.3929,-432.9076 155.1259,-427.772 159.1677,-437.5656 164.3929,-432.9076"/>
</g>
<!-- 3771052408894517451 -->
<g id="node8" class="node">
<title>3771052408894517451</title>
<ellipse fill="none" stroke="#000000" cx="331" cy="-401.8305" rx="86.9483" ry="26.7407"/>
<text text-anchor="middle" x="331" y="-405.6305" font-family="Times,serif" font-size="14.00" fill="#000000">/\ buffer = &lt;&lt;p1&gt;&gt;</text>
<text text-anchor="middle" x="331" y="-390.6305" font-family="Times,serif" font-size="14.00" fill="#000000">/\ waitSet = {c1}</text>
</g>
<!-- &#45;2764478506102903252&#45;&gt;3771052408894517451 -->
<g id="edge12" class="edge">
<title>&#45;2764478506102903252&#45;&gt;3771052408894517451</title>
<path fill="none" stroke="#000000" d="M245.4648,-466.3342C259.1418,-456.0201 275.1049,-443.9821 289.5123,-433.1172"/>
<polygon fill="#000000" stroke="#000000" points="291.9095,-435.6931 297.7864,-426.8775 287.6948,-430.1041 291.9095,-435.6931"/>
</g>
<!-- 3779173122827165414&#45;&gt;&#45;3778992851039715535 -->
<g id="edge14" class="edge">
<title>3779173122827165414&#45;&gt;&#45;3778992851039715535</title>
<path fill="none" stroke="#000000" d="M102.3646,-427.3101C57.7053,-468.7281 -16.797,-551.7034 31,-608.1808 49.5459,-630.0949 216.0428,-651.257 320.8556,-662.5703"/>
<polygon fill="#000000" stroke="#000000" points="320.7978,-666.084 331.1134,-663.6673 321.5423,-659.1237 320.7978,-666.084"/>
</g>
<!-- 5640896294540704706 -->
<g id="node9" class="node">
<title>5640896294540704706</title>
<ellipse fill="none" stroke="#000000" cx="126" cy="-312.0904" rx="92.7622" ry="26.7407"/>
<text text-anchor="middle" x="126" y="-315.8904" font-family="Times,serif" font-size="14.00" fill="#000000">/\ buffer = &lt;&lt;p1&gt;&gt;</text>
<text text-anchor="middle" x="126" y="-300.8904" font-family="Times,serif" font-size="14.00" fill="#000000">/\ waitSet = {p1, c2}</text>
</g>
<!-- 3779173122827165414&#45;&gt;5640896294540704706 -->
<g id="edge13" class="edge">
<title>3779173122827165414&#45;&gt;5640896294540704706</title>
<path fill="none" stroke="#000000" d="M130.1998,-374.9055C129.6599,-366.8306 129.058,-357.8273 128.4822,-349.2164"/>
<polygon fill="#000000" stroke="#000000" points="131.9583,-348.7406 127.7989,-338.9964 124.9739,-349.2076 131.9583,-348.7406"/>
</g>
<!-- 3771052408894517451&#45;&gt;&#45;3778992851039715535 -->
<g id="edge16" class="edge">
<title>3771052408894517451&#45;&gt;&#45;3778992851039715535</title>
<path fill="none" stroke="#000000" d="M344.1022,-428.4078C358.2495,-458.3079 380.3229,-508.6852 392,-554.4407 398.6461,-580.4828 402.1597,-610.6222 404.0047,-633.7354"/>
<polygon fill="#000000" stroke="#000000" points="400.522,-634.1017 404.7402,-643.8206 407.5035,-633.5925 400.522,-634.1017"/>
</g>
<!-- 5651829010090595823 -->
<g id="node10" class="node">
<title>5651829010090595823</title>
<ellipse fill="none" stroke="#000000" cx="336" cy="-312.0904" rx="92.7622" ry="26.7407"/>
<text text-anchor="middle" x="336" y="-315.8904" font-family="Times,serif" font-size="14.00" fill="#000000">/\ buffer = &lt;&lt;p1&gt;&gt;</text>
<text text-anchor="middle" x="336" y="-300.8904" font-family="Times,serif" font-size="14.00" fill="#000000">/\ waitSet = {p1, c1}</text>
</g>
<!-- 3771052408894517451&#45;&gt;5651829010090595823 -->
<g id="edge15" class="edge">
<title>3771052408894517451&#45;&gt;5651829010090595823</title>
<path fill="none" stroke="#000000" d="M332.5002,-374.9055C332.9501,-366.8306 333.4517,-357.8273 333.9315,-349.2164"/>
<polygon fill="#000000" stroke="#000000" points="337.4391,-349.1756 334.5009,-338.9964 330.4499,-348.7862 337.4391,-349.1756"/>
</g>
<!-- 5640896294540704706&#45;&gt;6540826889138644438 -->
<g id="edge17" class="edge">
<title>5640896294540704706&#45;&gt;6540826889138644438</title>
<path fill="none" stroke="#000000" d="M74.6683,-334.5005C58.3308,-344.3894 42.1406,-357.7479 33,-374.9605 1.5965,-434.0959 52.0595,-506.8682 88.5949,-548.2915"/>
<polygon fill="#000000" stroke="#000000" points="86.1614,-550.8192 95.4597,-555.8979 91.358,-546.1292 86.1614,-550.8192"/>
</g>
<!-- 6524586544829790604 -->
<g id="node11" class="node">
<title>6524586544829790604</title>
<ellipse fill="none" stroke="#000000" cx="182" cy="-222.3503" rx="78.4777" ry="26.7407"/>
<text text-anchor="middle" x="182" y="-226.1503" font-family="Times,serif" font-size="14.00" fill="#000000">/\ buffer = &lt;&lt;&gt;&gt;</text>
<text text-anchor="middle" x="182" y="-211.1503" font-family="Times,serif" font-size="14.00" fill="#000000">/\ waitSet = {p1}</text>
</g>
<!-- 5640896294540704706&#45;&gt;6524586544829790604 -->
<g id="edge18" class="edge">
<title>5640896294540704706&#45;&gt;6524586544829790604</title>
<path fill="none" stroke="#000000" d="M142.8018,-285.1654C148.2707,-276.4016 154.4219,-266.5442 160.2019,-257.2818"/>
<polygon fill="#000000" stroke="#000000" points="163.2706,-258.9753 165.5954,-248.6387 157.332,-255.2695 163.2706,-258.9753"/>
</g>
<!-- 5651829010090595823&#45;&gt;6548944862504700923 -->
<g id="edge19" class="edge">
<title>5651829010090595823&#45;&gt;6548944862504700923</title>
<path fill="none" stroke="#000000" d="M387.87,-334.3842C404.382,-344.2622 420.7489,-357.6435 430,-374.9605 441.2543,-396.0272 438.1666,-406.2556 430,-428.7006 412.233,-477.5312 371.2225,-521.6174 340.3766,-549.7047"/>
<polygon fill="#000000" stroke="#000000" points="337.9014,-547.2227 332.7738,-556.4941 342.5639,-552.4439 337.9014,-547.2227"/>
</g>
<!-- 5651829010090595823&#45;&gt;6524586544829790604 -->
<g id="edge20" class="edge">
<title>5651829010090595823&#45;&gt;6524586544829790604</title>
<path fill="none" stroke="#000000" d="M294.3254,-287.8054C274.6939,-276.3656 251.1511,-262.6466 230.7015,-250.73"/>
<polygon fill="#000000" stroke="#000000" points="232.2512,-247.5822 221.8489,-245.5714 228.7268,-253.6303 232.2512,-247.5822"/>
</g>
<!-- 3302632211556063011 -->
<g id="node12" class="node">
<title>3302632211556063011</title>
<ellipse fill="none" stroke="#000000" cx="176" cy="-132.6102" rx="92.7622" ry="26.7407"/>
<text text-anchor="middle" x="176" y="-136.4102" font-family="Times,serif" font-size="14.00" fill="#000000">/\ buffer = &lt;&lt;&gt;&gt;</text>
<text text-anchor="middle" x="176" y="-121.4102" font-family="Times,serif" font-size="14.00" fill="#000000">/\ waitSet = {p1, c1}</text>
</g>
<!-- 6524586544829790604&#45;&gt;3302632211556063011 -->
<g id="edge21" class="edge">
<title>6524586544829790604&#45;&gt;3302632211556063011</title>
<path fill="none" stroke="#000000" d="M180.1998,-195.4253C179.6599,-187.3504 179.058,-178.3471 178.4822,-169.7362"/>
<polygon fill="#000000" stroke="#000000" points="181.9583,-169.2604 177.7989,-159.5162 174.9739,-169.7274 181.9583,-169.2604"/>
</g>
<!-- 3310822744611305742 -->
<g id="node13" class="node">
<title>3310822744611305742</title>
<ellipse fill="none" stroke="#000000" cx="386" cy="-132.6102" rx="92.7622" ry="26.7407"/>
<text text-anchor="middle" x="386" y="-136.4102" font-family="Times,serif" font-size="14.00" fill="#000000">/\ buffer = &lt;&lt;&gt;&gt;</text>
<text text-anchor="middle" x="386" y="-121.4102" font-family="Times,serif" font-size="14.00" fill="#000000">/\ waitSet = {p1, c2}</text>
</g>
<!-- 6524586544829790604&#45;&gt;3310822744611305742 -->
<g id="edge22" class="edge">
<title>6524586544829790604&#45;&gt;3310822744611305742</title>
<path fill="none" stroke="#000000" d="M230.3452,-201.0831C258.8547,-188.5417 295.1822,-172.5611 325.5708,-159.1931"/>
<polygon fill="#000000" stroke="#000000" points="327.0516,-162.3655 334.7958,-155.135 324.2329,-155.958 327.0516,-162.3655"/>
</g>
<!-- &#45;1919067380447185343 -->
<g id="node14" class="node">
<title>&#45;1919067380447185343</title>
<ellipse fill="none" stroke="#000000" cx="227" cy="-42.8701" rx="107.4605" ry="26.7407"/>
<text text-anchor="middle" x="227" y="-46.6701" font-family="Times,serif" font-size="14.00" fill="#000000">/\ buffer = &lt;&lt;&gt;&gt;</text>
<text text-anchor="middle" x="227" y="-31.6701" font-family="Times,serif" font-size="14.00" fill="#000000">/\ waitSet = {p1, c1, c2}</text>
</g>
<!-- 3302632211556063011&#45;&gt;&#45;1919067380447185343 -->
<g id="edge23" class="edge">
<title>3302632211556063011&#45;&gt;&#45;1919067380447185343</title>
<path fill="none" stroke="#000000" d="M191.3017,-105.6852C196.1429,-97.1666 201.5712,-87.6148 206.7055,-78.5805"/>
<polygon fill="#000000" stroke="#000000" points="209.8111,-80.1995 211.7091,-69.776 203.7252,-76.7408 209.8111,-80.1995"/>
</g>
<!-- 3310822744611305742&#45;&gt;&#45;1919067380447185343 -->
<g id="edge24" class="edge">
<title>3310822744611305742&#45;&gt;&#45;1919067380447185343</title>
<path fill="none" stroke="#000000" d="M343.3909,-108.5615C323.671,-97.4315 300.0601,-84.1054 279.2735,-72.3734"/>
<polygon fill="#000000" stroke="#000000" points="280.9865,-69.3213 270.5575,-67.454 277.5458,-75.4173 280.9865,-69.3213"/>
</g>
</g>
</svg>