source: doc/papers/concurrency/figures/monitor.fig@ a1538cd

#FIG 3.2  Produced by xfig version 3.2.5c
Landscape
Center
Inches
Letter  
100.00
Single
-2
1200 2
5 1 0 1 -1 -1 0 0 -1 0.000 0 1 0 0 1500.000 3300.000 1500 3000 1200 3300 1500 3600
5 1 0 1 -1 -1 0 0 -1 0.000 0 1 0 0 1500.000 4200.000 1500 3900 1200 4200 1500 4500
6 1350 5250 5325 5550
1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 1500 5400 80 80 1500 5400 1580 5480
1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 2850 5400 105 105 2850 5400 2955 5505
1 3 0 1 -1 -1 0 0 4 0.000 1 0.0000 4350 5400 105 105 4350 5400 4455 5505
4 0 -1 0 0 0 12 0.0000 2 180 765 4575 5475 duplicate\001
4 0 -1 0 0 0 12 0.0000 2 135 1035 3075 5475 blocked task\001
4 0 -1 0 0 0 12 0.0000 2 135 870 1650 5475 active task\001
-6
6 4200 1800 4500 2100
1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4350 1950 105 105 4350 1950 4455 2055
4 1 -1 0 0 0 10 0.0000 2 105 90 4350 2010 d\001
-6
6 4200 1500 4500 1800
1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4350 1650 105 105 4350 1650 4455 1755
4 1 -1 0 0 0 10 0.0000 2 105 90 4350 1710 b\001
-6
1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 1650 3450 105 105 1650 3450 1755 3555
1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 1950 3450 105 105 1950 3450 2055 3555
1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4950 3750 105 105 4950 3750 5055 3855
1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 5250 3750 105 105 5250 3750 5355 3855
1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 3450 4425 80 80 3450 4425 3530 4505
1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4350 2550 105 105 4350 2550 4455 2655
1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4350 2250 105 105 4350 2250 4455 2355
2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 5
         1500 3000 2100 3000 2100 2700 2400 2700 2400 2100
2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 4
         1500 3600 2100 3600 2100 3900 1500 3900
2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 3
         1500 3300 2100 3300 2250 3525
2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2
         2100 3000 1950 3225
2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 3
         1500 4200 2100 4200 2250 4425
2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2
         2100 3900 1950 4125
2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 4
         1500 4500 2100 4500 2100 4800 3300 4800
2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2
         4800 3600 4650 3825
2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2
         3300 4800 3525 4950
2 2 1 1 -1 -1 0 0 -1 4.000 0 0 0 0 0 5
         4200 4050 4200 3150 2700 3150 2700 4050 4200 4050
2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 4
         3600 2100 3600 2700 4050 2700 4050 1500
2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 9
         3600 4800 4800 4800 4800 3900 5400 3900 5400 3600 4800 3600
         4800 2700 4500 2700 4500 1500
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
         4050 2700 4500 2850
4 1 -1 0 0 0 12 0.0000 2 135 315 3450 5175 exit\001
4 1 -1 0 0 0 12 0.0000 2 135 795 1650 4725 condition\001
4 1 -1 0 0 0 12 0.0000 2 135 135 1650 4950 B\001
4 0 -1 0 0 0 12 0.0000 2 135 420 4950 3525 stack\001
4 0 -1 0 0 0 12 0.0000 2 180 750 4950 3075 acceptor/\001
4 0 -1 0 0 0 12 0.0000 2 180 750 4950 3300 signalled\001
4 1 -1 0 0 0 12 0.0000 2 135 525 3450 3525 shared\001
4 1 -1 0 0 0 12 0.0000 2 135 735 3450 3825 variables\001
4 0 -1 0 0 3 12 0.0000 2 150 540 4950 4125 urgent\001
4 1 -1 0 0 0 10 0.0000 2 75 75 4350 2595 a\001
4 1 -1 0 0 0 10 0.0000 2 75 75 4350 2295 c\001
4 0 -1 0 0 0 12 0.0000 2 135 525 4650 2250 arrival\001
4 0 -1 0 0 0 12 0.0000 2 135 630 4650 2025 order of\001
4 0 4 50 -1 0 11 0.0000 2 120 135 4075 1725 X\001
4 0 4 50 -1 0 11 0.0000 2 120 135 4075 2025 Y\001
4 0 4 50 -1 0 11 0.0000 2 120 135 4075 2325 Y\001
4 0 4 50 -1 0 11 0.0000 2 120 135 4075 2625 X\001
4 1 -1 0 0 0 12 0.0000 2 165 960 4275 1425 entry queue\001