source: doc/papers/concurrency/figures/int_monitor.fig @ 46aa60e

#FIG 3.2  Produced by xfig version 3.2.5c
Landscape
Center
Inches
Letter  
100.00
Single
-2
1200 2
5 1 0 1 0 7 50 -1 -1 0.000 0 1 0 0 675.000 2700.000 675 2400 375 2700 675 3000
6 4533 2866 4655 3129
5 1 0 1 0 7 50 -1 -1 0.000 0 1 0 0 4657.017 2997.000 4655 2873 4533 2997 4655 3121
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
         4655 2866 4655 3129
-6
6 4725 2866 4847 3129
5 1 0 1 0 7 50 -1 -1 0.000 0 1 0 0 4849.017 2997.000 4847 2873 4725 2997 4847 3121
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
         4847 2866 4847 3129
-6
6 4911 2866 5033 3129
5 1 0 1 0 7 50 -1 -1 0.000 0 1 0 0 5035.017 2997.000 5033 2873 4911 2997 5033 3121
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
         5033 2866 5033 3129
-6
6 9027 2866 9149 3129
5 1 0 1 0 7 50 -1 -1 0.000 0 0 0 0 9024.983 2997.000 9027 2873 9149 2997 9027 3121
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
         9027 2866 9027 3129
-6
6 9253 2866 9375 3129
5 1 0 1 0 7 50 -1 -1 0.000 0 0 0 0 9250.983 2997.000 9253 2873 9375 2997 9253 3121
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
         9253 2866 9253 3129
-6
6 9478 2866 9600 3129
5 1 0 1 0 7 50 -1 -1 0.000 0 0 0 0 9475.983 2997.000 9478 2873 9600 2997 9478 3121
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
         9478 2866 9478 3129
-6
1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 7650 3675 80 80 7650 3675 7730 3755
1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 3150 3675 80 80 3150 3675 3230 3755
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 4047 1793 125 125 4047 1793 3929 1752
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 4050 1500 125 125 4050 1500 3932 1459
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 8550 1500 125 125 8550 1500 8432 1459
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 8550 1800 125 125 8550 1800 8432 1759
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 1200 2850 125 125 1200 2850 1082 2809
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 900 2850 125 125 900 2850 782 2809
1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 6000 4650 105 105 6000 4650 6105 4755
1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 3900 4650 80 80 3900 4650 3980 4730
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
         3900 1950 4200 2100
2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 5
         3000 4050 1800 4050 1800 1950 3900 1950 3900 1350
2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 9
         7800 4050 9000 4050 9000 3150 9600 3150 9600 2850 9000 2850
         9000 1950 8700 1950 8700 1350
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
         8400 1950 8700 2100
2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 9
         3300 4050 4500 4050 4500 3150 5100 3150 5100 2850 4500 2850
         4500 1950 4200 1950 4200 1350
2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 5
         7500 4050 6300 4050 6300 1950 8400 1950 8400 1350
2 2 1 1 -1 -1 0 0 -1 4.000 0 0 0 0 0 5
         8400 3300 8400 2400 6900 2400 6900 3300 8400 3300
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
         9000 2850 8850 3150
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
         7500 4050 7800 4200
2 2 1 1 -1 -1 0 0 -1 4.000 0 0 0 0 0 5
         3900 3300 3900 2400 2400 2400 2400 3300 3900 3300
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
         4500 2850 4350 3150
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
         3000 4050 3300 4200
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
         675 3000 1425 3000
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
         675 2400 1425 2400
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
         1425 2700 1500 2925
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
         1425 2400 1350 2625
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
         675 2700 1425 2700
4 1 -1 0 0 0 12 0.0000 2 135 315 2850 4275 exit\001
4 1 -1 0 0 0 12 0.0000 2 135 315 7350 4275 exit\001
4 0 -1 0 0 0 12 0.0000 2 180 750 9150 2325 acceptor/\001
4 0 -1 0 0 0 12 0.0000 2 180 750 9150 2550 signalled\001
4 0 -1 0 0 0 12 0.0000 2 135 420 9150 2775 stack\001
4 1 -1 0 0 0 12 0.0000 2 135 525 7650 2775 shared\001
4 1 -1 0 0 0 12 0.0000 2 135 735 7650 3075 variables\001
4 1 -1 0 0 0 12 0.0000 2 135 495 8550 1275 queue\001
4 1 -1 0 0 0 12 0.0000 2 165 420 8550 1125 entry\001
4 0 -1 0 0 0 12 0.0000 2 135 630 8850 1575 order of\001
4 0 -1 0 0 0 12 0.0000 2 135 525 8850 1725 arrival\001
4 0 -1 0 0 0 12 0.0000 2 180 750 4650 2325 acceptor/\001
4 0 -1 0 0 0 12 0.0000 2 180 750 4650 2550 signalled\001
4 0 -1 0 0 0 12 0.0000 2 135 420 4650 2775 stack\001
4 1 -1 0 0 0 12 0.0000 2 135 525 3150 2775 shared\001
4 1 -1 0 0 0 12 0.0000 2 135 735 3150 3075 variables\001
4 0 -1 0 0 0 12 0.0000 2 135 525 4350 1725 arrival\001
4 0 -1 0 0 0 12 0.0000 2 135 630 4350 1500 order of\001
4 1 -1 0 0 0 12 0.0000 2 135 495 4050 1275 queue\001
4 1 -1 0 0 0 12 0.0000 2 165 420 4050 1050 entry\001
4 0 0 50 -1 0 11 0.0000 2 120 705 600 2325 Condition\001
4 0 -1 0 0 0 12 0.0000 2 135 1215 6150 4725 blocked thread\001
4 0 -1 0 0 0 12 0.0000 2 135 1050 4050 4725 active thread\001