Index: doc/proposals/concurrency/figures/ext_monitor.fig =================================================================== --- doc/proposals/concurrency/figures/ext_monitor.fig (revision 20ffcf38ddee879f39c3aec37e08c346363734fb) +++ doc/proposals/concurrency/figures/ext_monitor.fig (revision cf966b55ed3bd25f2fa0711a1114e05eaf36716a) @@ -69,7 +69,7 @@ 5250 3150 5250 2400 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5 - 3150 3150 3750 3150 3750 2850 5850 2850 5850 1650 + 3150 3150 3750 3150 3750 2850 5700 2850 5700 1650 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 - 5850 2850 6150 3000 + 5700 2850 6150 3000 2 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5 5100 1800 5400 1800 5400 2400 5100 2400 5100 1800 @@ -91,2 +91,6 @@ 4 1 -1 0 0 0 12 0.0000 2 135 735 5100 3975 variables\001 4 0 0 50 -1 0 11 0.0000 2 165 855 4275 3150 Acceptables\001 +4 0 0 50 -1 0 11 0.0000 2 120 165 5775 2700 W\001 +4 0 0 50 -1 0 11 0.0000 2 120 135 5775 2400 X\001 +4 0 0 50 -1 0 11 0.0000 2 120 105 5775 2100 Z\001 +4 0 0 50 -1 0 11 0.0000 2 120 135 5775 1800 Y\001 Index: doc/proposals/concurrency/figures/int_monitor.fig =================================================================== --- doc/proposals/concurrency/figures/int_monitor.fig (revision 20ffcf38ddee879f39c3aec37e08c346363734fb) +++ doc/proposals/concurrency/figures/int_monitor.fig (revision cf966b55ed3bd25f2fa0711a1114e05eaf36716a) @@ -47,7 +47,6 @@ 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 4 0.000 1 0.0000 6225 4650 105 105 6225 4650 6330 4755 -1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 3150 4650 80 80 3150 4650 3230 4730 -1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4575 4650 105 105 4575 4650 4680 4755 +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 @@ -107,5 +106,4 @@ 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 180 930 6450 4725 routine ptrs\001 -4 0 -1 0 0 0 12 0.0000 2 135 1050 3300 4725 active thread\001 -4 0 -1 0 0 0 12 0.0000 2 135 1215 4725 4725 blocked thread\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 Index: doc/proposals/concurrency/figures/int_monitor.fig.bak =================================================================== --- doc/proposals/concurrency/figures/int_monitor.fig.bak (revision 20ffcf38ddee879f39c3aec37e08c346363734fb) +++ (revision ) @@ -1,111 +1,0 @@ -#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 9178 2866 9300 3129 -5 1 0 1 0 7 50 -1 -1 0.000 0 0 0 0 9175.983 2997.000 9178 2873 9300 2997 9178 3121 -2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 - 9178 2866 9178 3129 --6 -6 9328 2866 9450 3129 -5 1 0 1 0 7 50 -1 -1 0.000 0 0 0 0 9325.983 2997.000 9328 2873 9450 2997 9328 3121 -2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 - 9328 2866 9328 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 4 0.000 1 0.0000 6225 4650 105 105 6225 4650 6330 4755 -1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 3150 4650 80 80 3150 4650 3230 4730 -1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4575 4650 105 105 4575 4650 4680 4755 -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 180 930 6450 4725 routine ptrs\001 -4 0 -1 0 0 0 12 0.0000 2 135 1050 3300 4725 active thread\001 -4 0 -1 0 0 0 12 0.0000 2 135 1215 4725 4725 blocked thread\001