Index: doc/theses/thierry_delisle/figures/dependency.fig =================================================================== --- doc/theses/thierry_delisle/figures/dependency.fig (revision 728df66bde6df9b1ca4ad068be30ea89605f46a3) +++ doc/theses/thierry_delisle/figures/dependency.fig (revision 728df66bde6df9b1ca4ad068be30ea89605f46a3) @@ -0,0 +1,119 @@ +#FIG 3.2 Produced by xfig version 3.2.5c +Landscape +Center +Inches +Letter +100.00 +Single +-2 +1200 2 +6 750 2250 2250 2850 +1 4 0 1 0 7 50 -1 -1 0.000 1 0.0000 1050 2550 300 300 750 2550 1350 2550 +4 0 0 50 -1 0 20 0.0000 2 315 1305 900 2700 $\\alpha$3\001 +-6 +6 750 1350 2250 1950 +1 4 0 1 0 7 50 -1 -1 0.000 1 0.0000 1050 1650 300 300 750 1650 1350 1650 +4 0 0 50 -1 0 20 0.0000 2 315 1305 900 1800 $\\alpha$2\001 +-6 +6 750 450 2250 1050 +1 4 0 1 0 7 50 -1 -1 0.000 1 0.0000 1050 750 300 300 750 750 1350 750 +4 0 0 50 -1 0 20 0.0000 2 315 1305 900 900 $\\alpha$1\001 +-6 +6 750 3150 2250 3750 +1 4 0 1 0 7 50 -1 -1 0.000 1 0.0000 1050 3450 300 300 750 3450 1350 3450 +4 0 0 50 -1 0 20 0.0000 2 315 1305 900 3600 $\\alpha$4\001 +-6 +6 750 4050 2250 4650 +1 4 0 1 0 7 50 -1 -1 0.000 1 0.0000 1050 4350 300 300 750 4350 1350 4350 +4 0 0 50 -1 0 20 0.0000 2 315 1305 900 4500 $\\alpha$5\001 +-6 +6 3000 1350 4800 1950 +1 4 0 1 0 7 50 -1 -1 0.000 1 0.0000 3300 1650 300 300 3000 1650 3600 1650 +4 0 0 50 -1 0 20 0.0000 2 315 1560 3150 1800 $\\gamma$2\001 +-6 +6 3000 450 4800 1050 +1 4 0 1 0 7 50 -1 -1 0.000 1 0.0000 3300 750 300 300 3000 750 3600 750 +4 0 0 50 -1 0 20 0.0000 2 315 1560 3150 900 $\\gamma$1\001 +-6 +6 3000 2250 4800 2850 +6 3000 2250 3600 2850 +6 3000 2250 3600 2850 +1 4 0 1 0 7 50 -1 -1 0.000 1 0.0000 3300 2550 300 300 3000 2550 3600 2550 +-6 +-6 +4 0 0 50 -1 0 20 0.0000 2 315 1560 3150 2700 $\\gamma$3\001 +-6 +6 3000 3150 4800 3750 +1 4 0 1 0 7 50 -1 -1 0.000 1 0.0000 3300 3450 300 300 3000 3450 3600 3450 +4 0 0 50 -1 0 20 0.0000 2 315 1560 3150 3600 $\\gamma$4\001 +-6 +6 3000 4050 4800 4650 +1 4 0 1 0 7 50 -1 -1 0.000 1 0.0000 3300 4350 300 300 3000 4350 3600 4350 +4 0 0 50 -1 0 20 0.0000 2 315 1560 3150 4500 $\\gamma$5\001 +-6 +6 3000 4950 4800 5550 +1 4 0 1 0 7 50 -1 -1 0.000 1 0.0000 3300 5250 300 300 3000 5250 3600 5250 +4 0 0 50 -1 0 20 0.0000 2 315 1560 3150 5400 $\\gamma$6\001 +-6 +6 5400 1800 6750 4200 +6 5400 1800 6750 2400 +1 4 0 1 0 7 50 -1 -1 0.000 1 0.0000 5700 2100 300 300 5400 2100 6000 2100 +4 0 0 50 -1 0 20 0.0000 2 270 1140 5550 2250 $\\beta$1\001 +-6 +6 5400 2700 6750 3300 +1 4 0 1 0 7 50 -1 -1 0.000 1 0.0000 5700 3000 300 300 5400 3000 6000 3000 +4 0 0 50 -1 0 20 0.0000 2 270 1140 5550 3150 $\\beta$2\001 +-6 +6 5400 3600 6750 4200 +1 4 0 1 0 7 50 -1 -1 0.000 1 0.0000 5700 3900 300 300 5400 3900 6000 3900 +4 0 0 50 -1 0 20 0.0000 2 270 1140 5550 4050 $\\beta$3\001 +-6 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 1.00 60.00 120.00 + 5700 2700 5700 2400 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 1.00 60.00 120.00 + 5700 3600 5700 3300 +-6 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 1.00 60.00 120.00 + 1050 1350 1050 1050 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 1.00 60.00 120.00 + 3300 1350 3300 1050 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 1.00 60.00 120.00 + 3300 2250 3300 1950 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 1.00 60.00 120.00 + 1050 2250 1050 1950 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 1.00 60.00 120.00 + 1050 3150 1050 2850 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 1.00 60.00 120.00 + 3300 3150 3300 2850 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 1.00 60.00 120.00 + 1050 4050 1050 3750 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 1.00 60.00 120.00 + 3300 4050 3300 3750 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 1.00 60.00 120.00 + 3300 4950 3300 4650 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 1.00 60.00 120.00 + 1350 2550 3000 2550 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 1 2 + 1 1 1.00 60.00 120.00 + 1350 3450 3000 3450 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 1 2 + 1 1 1.00 60.00 120.00 + 3000 5175 1350 4500 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 1 2 + 1 1 1.00 60.00 120.00 + 5462 4060 3582 5156 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 1 2 + 1 1 1.00 60.00 120.00 + 3564 4198 5438 3144 Index: doc/theses/thierry_delisle/figures/ext_monitor.fig =================================================================== --- doc/theses/thierry_delisle/figures/ext_monitor.fig (revision 728df66bde6df9b1ca4ad068be30ea89605f46a3) +++ doc/theses/thierry_delisle/figures/ext_monitor.fig (revision 728df66bde6df9b1ca4ad068be30ea89605f46a3) @@ -0,0 +1,96 @@ +#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 3150.000 3450.000 3150 3150 2850 3450 3150 3750 +5 1 0 1 -1 -1 0 0 -1 0.000 0 1 0 0 3150.000 4350.000 3150 4050 2850 4350 3150 4650 +6 5850 1950 6150 2250 +1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 6000 2100 105 105 6000 2100 6105 2205 +4 1 -1 0 0 0 10 0.0000 2 105 90 6000 2160 d\001 +-6 +6 5100 2100 5400 2400 +1 3 0 1 -1 -1 1 0 4 0.000 1 0.0000 5250 2250 105 105 5250 2250 5355 2250 +4 1 -1 0 0 0 10 0.0000 2 105 120 5250 2295 X\001 +-6 +6 5100 1800 5400 2100 +1 3 0 1 -1 -1 1 0 4 0.000 1 0.0000 5250 1950 105 105 5250 1950 5355 1950 +4 1 -1 0 0 0 10 0.0000 2 105 120 5250 2010 Y\001 +-6 +6 5850 1650 6150 1950 +1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 6000 1800 105 105 6000 1800 6105 1905 +4 1 -1 0 0 0 10 0.0000 2 105 90 6000 1860 b\001 +-6 +6 3070 5445 7275 5655 +1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 3150 5550 80 80 3150 5550 3230 5630 +1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4500 5550 105 105 4500 5550 4605 5655 +1 3 0 1 -1 -1 0 0 4 0.000 1 0.0000 6000 5550 105 105 6000 5550 6105 5655 +4 0 -1 0 0 0 12 0.0000 2 135 1035 4725 5625 blocked task\001 +4 0 -1 0 0 0 12 0.0000 2 135 870 3300 5625 active task\001 +4 0 -1 0 0 0 12 0.0000 2 135 1050 6225 5625 routine mask\001 +-6 +1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 3300 3600 105 105 3300 3600 3405 3705 +1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 3600 3600 105 105 3600 3600 3705 3705 +1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 6600 3900 105 105 6600 3900 6705 4005 +1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 6900 3900 105 105 6900 3900 7005 4005 +1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 6000 2700 105 105 6000 2700 6105 2805 +1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 6000 2400 105 105 6000 2400 6105 2505 +1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 5100 4575 80 80 5100 4575 5180 4655 +2 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5 + 4050 2925 5475 2925 5475 3225 4050 3225 4050 2925 +2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 4 + 3150 3750 3750 3750 3750 4050 3150 4050 +2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 3 + 3150 3450 3750 3450 3900 3675 +2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2 + 3750 3150 3600 3375 +2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 3 + 3150 4350 3750 4350 3900 4575 +2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2 + 3750 4050 3600 4275 +2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 4 + 3150 4650 3750 4650 3750 4950 4950 4950 +2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2 + 6450 3750 6300 3975 +2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2 + 4950 4950 5175 5100 +2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 9 + 5250 4950 6450 4950 6450 4050 7050 4050 7050 3750 6450 3750 + 6450 2850 6150 2850 6150 1650 +2 2 1 1 -1 -1 0 0 -1 4.000 0 0 0 0 0 5 + 5850 4200 5850 3300 4350 3300 4350 4200 5850 4200 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 1 2 + 1 1 1.00 60.00 120.00 + 7 1 1.00 60.00 120.00 + 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 5700 2850 5700 1650 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 + 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 +4 1 -1 0 0 0 10 0.0000 2 75 75 6000 2745 a\001 +4 1 -1 0 0 0 10 0.0000 2 75 75 6000 2445 c\001 +4 1 -1 0 0 0 12 0.0000 2 135 315 5100 5325 exit\001 +4 1 -1 0 0 0 12 0.0000 2 135 135 3300 3075 A\001 +4 1 -1 0 0 0 12 0.0000 2 135 795 3300 4875 condition\001 +4 1 -1 0 0 0 12 0.0000 2 135 135 3300 5100 B\001 +4 0 -1 0 0 0 12 0.0000 2 135 420 6600 3675 stack\001 +4 0 -1 0 0 0 12 0.0000 2 180 750 6600 3225 acceptor/\001 +4 0 -1 0 0 0 12 0.0000 2 180 750 6600 3450 signalled\001 +4 1 -1 0 0 0 12 0.0000 2 135 795 3300 2850 condition\001 +4 1 -1 0 0 0 12 0.0000 2 165 420 6000 1350 entry\001 +4 1 -1 0 0 0 12 0.0000 2 135 495 6000 1575 queue\001 +4 0 -1 0 0 0 12 0.0000 2 135 525 6300 2400 arrival\001 +4 0 -1 0 0 0 12 0.0000 2 135 630 6300 2175 order of\001 +4 1 -1 0 0 0 12 0.0000 2 135 525 5100 3675 shared\001 +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/theses/thierry_delisle/figures/int_monitor.fig =================================================================== --- doc/theses/thierry_delisle/figures/int_monitor.fig (revision 728df66bde6df9b1ca4ad068be30ea89605f46a3) +++ doc/theses/thierry_delisle/figures/int_monitor.fig (revision 728df66bde6df9b1ca4ad068be30ea89605f46a3) @@ -0,0 +1,109 @@ +#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 Index: doc/theses/thierry_delisle/figures/monitor.fig =================================================================== --- doc/theses/thierry_delisle/figures/monitor.fig (revision 728df66bde6df9b1ca4ad068be30ea89605f46a3) +++ doc/theses/thierry_delisle/figures/monitor.fig (revision 728df66bde6df9b1ca4ad068be30ea89605f46a3) @@ -0,0 +1,101 @@ +#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 2700.000 1500 2400 1200 2700 1500 3000 +5 1 0 1 -1 -1 0 0 -1 0.000 0 1 0 0 1500.000 3600.000 1500 3300 1200 3600 1500 3900 +6 4200 1200 4500 1500 +1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4350 1350 105 105 4350 1350 4455 1455 +4 1 -1 0 0 0 10 0.0000 2 105 90 4350 1410 d\001 +-6 +6 4200 900 4500 1200 +1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4350 1050 105 105 4350 1050 4455 1155 +4 1 -1 0 0 0 10 0.0000 2 105 90 4350 1110 b\001 +-6 +6 2400 1500 2700 1800 +1 3 0 1 -1 -1 1 0 4 0.000 1 0.0000 2550 1650 105 105 2550 1650 2655 1650 +4 1 -1 0 0 0 10 0.0000 2 105 90 2550 1710 b\001 +-6 +6 2400 1800 2700 2100 +1 3 0 1 -1 -1 1 0 4 0.000 1 0.0000 2550 1950 105 105 2550 1950 2655 1950 +4 1 -1 0 0 0 10 0.0000 2 75 75 2550 1995 a\001 +-6 +6 3300 1500 3600 1800 +1 3 0 1 -1 -1 1 0 4 0.000 1 0.0000 3450 1650 105 105 3450 1650 3555 1650 +4 1 -1 0 0 0 10 0.0000 2 105 90 3450 1710 d\001 +-6 +6 1350 4650 5325 4950 +1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 1500 4800 80 80 1500 4800 1580 4880 +1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 2850 4800 105 105 2850 4800 2955 4905 +1 3 0 1 -1 -1 0 0 4 0.000 1 0.0000 4350 4800 105 105 4350 4800 4455 4905 +4 0 -1 0 0 0 12 0.0000 2 180 765 4575 4875 duplicate\001 +4 0 -1 0 0 0 12 0.0000 2 135 1035 3075 4875 blocked task\001 +4 0 -1 0 0 0 12 0.0000 2 135 870 1650 4875 active task\001 +-6 +1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 1650 2850 105 105 1650 2850 1755 2955 +1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 1950 2850 105 105 1950 2850 2055 2955 +1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4950 3150 105 105 4950 3150 5055 3255 +1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 5250 3150 105 105 5250 3150 5355 3255 +1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4350 1950 105 105 4350 1950 4455 2055 +1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4350 1650 105 105 4350 1650 4455 1755 +1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 3450 3825 80 80 3450 3825 3530 3905 +1 3 0 1 -1 -1 1 0 4 0.000 1 0.0000 3450 1950 105 105 3450 1950 3555 1950 +2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2 + 2400 2100 2625 2250 +2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2 + 3300 2100 3525 2250 +2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2 + 4200 2100 4425 2250 +2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 5 + 1500 2400 2100 2400 2100 2100 2400 2100 2400 1500 +2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 4 + 1500 3000 2100 3000 2100 3300 1500 3300 +2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 3 + 1500 2700 2100 2700 2250 2925 +2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2 + 2100 2400 1950 2625 +2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 3 + 1500 3600 2100 3600 2250 3825 +2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2 + 2100 3300 1950 3525 +2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 4 + 1500 3900 2100 3900 2100 4200 3300 4200 +2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2 + 4800 3000 4650 3225 +2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2 + 3300 4200 3525 4350 +2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 4 + 3600 1500 3600 2100 4200 2100 4200 900 +2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 4 + 2700 1500 2700 2100 3300 2100 3300 1500 +2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 9 + 3600 4200 4800 4200 4800 3300 5400 3300 5400 3000 4800 3000 + 4800 2100 4500 2100 4500 900 +2 2 1 1 -1 -1 0 0 -1 4.000 0 0 0 0 0 5 + 4200 3450 4200 2550 2700 2550 2700 3450 4200 3450 +4 1 -1 0 0 0 10 0.0000 2 75 75 4350 1995 a\001 +4 1 -1 0 0 0 10 0.0000 2 75 75 4350 1695 c\001 +4 1 -1 0 0 0 12 0.0000 2 135 315 3450 4575 exit\001 +4 1 -1 0 0 0 12 0.0000 2 135 135 1650 2325 A\001 +4 1 -1 0 0 0 12 0.0000 2 135 795 1650 4125 condition\001 +4 1 -1 0 0 0 12 0.0000 2 135 135 1650 4350 B\001 +4 0 -1 0 0 0 12 0.0000 2 135 420 4950 2925 stack\001 +4 0 -1 0 0 0 12 0.0000 2 180 750 4950 2475 acceptor/\001 +4 0 -1 0 0 0 12 0.0000 2 180 750 4950 2700 signalled\001 +4 1 -1 0 0 0 12 0.0000 2 135 795 1650 2100 condition\001 +4 1 -1 0 0 0 12 0.0000 2 135 135 2550 1425 X\001 +4 1 -1 0 0 0 12 0.0000 2 135 135 3450 1425 Y\001 +4 1 -1 0 0 0 12 0.0000 2 165 420 4350 600 entry\001 +4 1 -1 0 0 0 12 0.0000 2 135 495 4350 825 queue\001 +4 0 -1 0 0 0 12 0.0000 2 135 525 4650 1650 arrival\001 +4 0 -1 0 0 0 12 0.0000 2 135 630 4650 1425 order of\001 +4 1 -1 0 0 0 12 0.0000 2 135 525 3450 2925 shared\001 +4 1 -1 0 0 0 12 0.0000 2 135 735 3450 3225 variables\001 +4 1 -1 0 0 0 12 0.0000 2 120 510 3000 975 mutex\001 +4 1 -1 0 0 0 10 0.0000 2 75 75 3450 1995 c\001 +4 1 -1 0 0 0 12 0.0000 2 135 570 3000 1200 queues\001 Index: doc/theses/thierry_delisle/figures/monitor_structs.fig =================================================================== --- doc/theses/thierry_delisle/figures/monitor_structs.fig (revision 728df66bde6df9b1ca4ad068be30ea89605f46a3) +++ doc/theses/thierry_delisle/figures/monitor_structs.fig (revision 728df66bde6df9b1ca4ad068be30ea89605f46a3) @@ -0,0 +1,71 @@ +#FIG 3.2 Produced by xfig version 3.2.5c +Landscape +Center +Inches +Letter +100.00 +Single +-2 +1200 2 +2 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5 + 1500 1200 2100 1200 2100 1500 1500 1500 1500 1200 +2 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5 + 1500 1500 2100 1500 2100 1800 1500 1800 1500 1500 +2 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5 + 3000 1200 3300 1200 3300 1500 3000 1500 3000 1200 +2 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5 + 3000 1500 3300 1500 3300 1800 3000 1800 3000 1500 +2 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5 + 3000 1800 3300 1800 3300 2100 3000 2100 3000 1800 +2 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5 + 3000 2100 3300 2100 3300 2400 3000 2400 3000 2100 +2 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5 + 1500 900 2100 900 2100 1200 1500 1200 1500 900 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 1 2 + 1 1 1.00 90.00 120.00 + 5 1 1.00 45.00 90.00 + 1800 1050 4050 1050 +2 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5 + 5100 900 5700 900 5700 1800 5100 1800 5100 900 +2 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5 + 6900 1500 7500 1500 7500 2400 6900 2400 6900 1500 +2 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5 + 6000 1200 6600 1200 6600 2100 6000 2100 6000 1200 +2 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5 + 7800 1800 8400 1800 8400 2700 7800 2700 7800 1800 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 1 2 + 1 1 1.00 90.00 120.00 + 5 1 1.00 45.00 90.00 + 1800 1350 3000 1350 +3 2 0 3 0 7 50 -1 -1 0.000 1 0 0 10 + 4275 900 4050 975 4350 1050 4050 1125 4350 1200 4050 1275 + 4350 1350 4050 1425 4350 1500 4125 1575 + 0.000 -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 + -1.000 0.000 +3 2 0 1 0 7 50 -1 -1 0.000 0 1 1 3 + 1 1 1.00 90.00 120.00 + 5 1 1.00 30.00 90.00 + 3150 1950 4875 2400 6900 1650 + 0.000 -1.000 0.000 +3 2 0 1 0 7 50 -1 -1 0.000 0 1 1 3 + 1 1 1.00 90.00 120.00 + 5 1 1.00 60.00 90.00 + 3150 1350 4200 1650 5100 1050 + 0.000 -1.000 0.000 +3 2 0 1 0 7 50 -1 -1 0.000 0 1 1 3 + 1 1 1.00 90.00 120.00 + 5 1 1.00 60.00 90.00 + 3150 1650 4575 2025 6000 1350 + 0.000 -1.000 0.000 +3 2 0 1 0 7 50 -1 -1 0.000 0 1 1 3 + 1 1 1.00 90.00 120.00 + 5 1 1.00 60.00 90.00 + 3150 2250 5175 2775 7800 1950 + 0.000 -1.000 0.000 +4 0 0 50 -1 0 11 0.0000 2 120 705 3000 675 Condition\001 +4 0 0 50 -1 0 11 0.0000 2 120 630 3000 885 Criterion\001 +4 0 0 50 -1 0 11 0.0000 2 120 705 1425 675 Condition\001 +4 0 0 50 -1 0 11 0.0000 2 120 390 1425 825 Node\001 +4 0 0 50 -1 0 11 0.0000 2 120 660 6225 675 Monitors\001 +4 0 0 50 -1 0 11 0.0000 2 165 555 3900 675 Waiting\001 +4 0 0 50 -1 0 11 0.0000 2 120 495 3900 825 Thread\001 Index: doc/theses/thierry_delisle/figures/system.fig =================================================================== --- doc/theses/thierry_delisle/figures/system.fig (revision 728df66bde6df9b1ca4ad068be30ea89605f46a3) +++ doc/theses/thierry_delisle/figures/system.fig (revision 728df66bde6df9b1ca4ad068be30ea89605f46a3) @@ -0,0 +1,166 @@ +#FIG 3.2 Produced by xfig version 3.2.5c +Landscape +Center +Inches +Letter +100.00 +Single +-2 +1200 2 +6 5175 2700 6150 3737 +3 2 0 4 0 7 49 -1 -1 0.000 1 0 0 10 + 5475 2702 5625 2777 5325 2852 5625 2927 5325 3002 5625 3077 + 5325 3152 5625 3227 5325 3302 5475 3377 + 0.000 -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 + -1.000 0.000 +4 0 0 50 -1 0 11 0.0000 2 120 885 5175 3737 Processor N\001 +4 0 0 50 -1 0 11 0.0000 2 120 975 5175 3527 PThread N+2\001 +-6 +6 3300 2700 4140 3737 +3 2 0 4 0 7 49 -1 -1 0.000 1 0 0 10 + 3600 2702 3750 2777 3450 2852 3750 2927 3450 3002 3750 3077 + 3450 3152 3750 3227 3450 3302 3600 3377 + 0.000 -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 + -1.000 0.000 +4 0 0 50 -1 0 11 0.0000 2 120 840 3300 3737 Processor 0\001 +4 0 0 50 -1 0 11 0.0000 2 120 735 3300 3527 PThread 2\001 +-6 +6 600 2700 1725 3737 +3 2 0 4 0 7 49 -1 -1 0.000 1 0 0 10 + 900 2702 1050 2777 750 2852 1050 2927 750 3002 1050 3077 + 750 3152 1050 3227 750 3302 900 3377 + 0.000 -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 + -1.000 0.000 +4 0 0 50 -1 0 11 0.0000 2 120 1125 600 3737 Main Processor\001 +4 0 0 50 -1 0 11 0.0000 2 120 735 600 3527 PThread 0\001 +-6 +6 2100 2700 2835 3737 +3 2 0 4 0 7 49 -1 -1 0.000 1 0 0 10 + 2400 2702 2550 2777 2250 2852 2550 2927 2250 3002 2550 3077 + 2250 3152 2550 3227 2250 3302 2400 3377 + 0.000 -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 + -1.000 0.000 +4 0 0 50 -1 0 11 0.0000 2 120 450 2100 3737 Alarm\001 +4 0 0 50 -1 0 11 0.0000 2 120 735 2100 3527 PThread 1\001 +-6 +6 600 6301 1290 7367 +3 2 0 2 0 7 49 -1 -1 0.000 1 0 0 10 + 900 6302 1050 6377 750 6452 1050 6527 750 6602 1050 6677 + 750 6752 1050 6827 750 6902 900 6977 + 0.000 -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 + -1.000 0.000 +4 0 0 50 -1 0 11 0.0000 2 150 690 600 7337 int main()\001 +4 0 0 50 -1 0 11 0.0000 2 120 570 600 7127 thread 0\001 +-6 +6 1635 6300 2205 7336 +3 2 0 2 0 7 49 -1 -1 0.000 1 0 0 10 + 1935 6301 2085 6376 1785 6451 2085 6526 1785 6601 2085 6676 + 1785 6751 2085 6826 1785 6901 1935 6976 + 0.000 -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 + -1.000 0.000 +4 0 0 50 -1 0 11 0.0000 2 120 570 1635 7126 thread 1\001 +-6 +6 2475 6300 3045 7336 +3 2 0 2 0 7 49 -1 -1 0.000 1 0 0 10 + 2775 6301 2925 6376 2625 6451 2925 6526 2625 6601 2925 6676 + 2625 6751 2925 6826 2625 6901 2775 6976 + 0.000 -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 + -1.000 0.000 +4 0 0 50 -1 0 11 0.0000 2 120 570 2475 7126 thread 2\001 +-6 +6 3300 6300 3870 7336 +3 2 0 2 0 7 49 -1 -1 0.000 1 0 0 10 + 3600 6301 3750 6376 3450 6451 3750 6526 3450 6601 3750 6676 + 3450 6751 3750 6826 3450 6901 3600 6976 + 0.000 -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 + -1.000 0.000 +4 0 0 50 -1 0 11 0.0000 2 120 570 3300 7126 thread 3\001 +-6 +6 5325 6300 5970 7336 +3 2 0 2 0 7 49 -1 -1 0.000 1 0 0 10 + 5625 6301 5775 6376 5475 6451 5775 6526 5475 6601 5775 6676 + 5475 6751 5775 6826 5475 6901 5625 6976 + 0.000 -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 + -1.000 0.000 +4 0 0 50 -1 0 11 0.0000 2 120 645 5325 7126 thread M\001 +-6 +6 4125 6300 4695 7336 +3 2 0 2 0 7 49 -1 -1 0.000 1 0 0 10 + 4425 6301 4575 6376 4275 6451 4575 6526 4275 6601 4575 6676 + 4275 6751 4575 6826 4275 6901 4425 6976 + 0.000 -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 + -1.000 0.000 +4 0 0 50 -1 0 11 0.0000 2 120 570 4125 7126 thread 4\001 +-6 +6 6975 4050 9525 7875 +2 2 0 1 0 7 50 -1 -1 0.000 0 1 -1 0 0 5 + 7125 5400 7575 5400 7575 5850 7125 5850 7125 5400 +2 2 0 1 0 7 50 -1 18 0.000 0 1 -1 0 0 5 + 7125 4200 7575 4200 7575 4650 7125 4650 7125 4200 +2 2 0 1 0 7 50 -1 45 0.000 0 1 -1 0 0 5 + 7125 4800 7575 4800 7575 5250 7125 5250 7125 4800 +2 2 0 1 0 7 50 -1 -1 0.000 0 1 -1 0 0 5 + 6975 4050 9525 4050 9525 7875 6975 7875 6975 4050 +3 2 0 2 0 7 49 -1 -1 0.000 1 0 0 10 + 7350 6900 7500 6975 7200 7050 7500 7125 7200 7200 7500 7275 + 7200 7350 7500 7425 7200 7500 7350 7575 + 0.000 -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 + -1.000 0.000 +3 2 0 4 0 7 49 -1 -1 0.000 1 0 0 10 + 7350 6000 7500 6075 7200 6150 7500 6225 7200 6300 7500 6375 + 7200 6450 7500 6525 7200 6600 7350 6675 + 0.000 -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 -1.000 + -1.000 0.000 +4 0 0 50 -1 0 11 0.0000 2 120 945 7725 4500 Pthread stack\001 +4 0 0 50 -1 0 11 0.0000 2 150 1530 7725 5100 Pthread stack (stolen)\001 +4 0 0 50 -1 0 11 0.0000 2 120 540 7725 6375 Pthread\001 +4 0 0 50 -1 0 11 0.0000 2 150 1065 7725 7275 $\\CFA$ thread\001 +4 0 0 50 -1 0 11 0.0000 2 150 990 7725 5700 $\\CFA$ stack\001 +-6 +1 2 0 1 0 7 50 -1 -1 0.000 1 3.1416 3150 5250 750 450 2400 4800 3900 5700 +2 1 0 1 0 7 50 -1 -1 0.000 0 1 -1 0 0 2 + 1200 3900 2475 5025 +2 1 0 1 0 7 50 -1 -1 0.000 0 1 -1 0 0 2 + 3600 3900 3450 4800 +2 1 0 1 0 7 50 -1 -1 0.000 0 1 -1 0 0 2 + 5550 3900 3825 5025 +2 1 0 1 0 7 50 -1 -1 0.000 0 1 -1 0 0 2 + 900 6225 2400 5400 +2 1 0 1 0 7 50 -1 -1 0.000 0 1 -1 0 0 2 + 2100 6225 2625 5550 +2 1 0 1 0 7 50 -1 -1 0.000 0 1 -1 0 0 2 + 2850 6225 3000 5700 +2 1 0 1 0 7 50 -1 -1 0.000 0 1 -1 0 0 2 + 3600 6225 3375 5700 +2 1 0 1 0 7 50 -1 -1 0.000 0 1 -1 0 0 2 + 4350 6300 3675 5625 +2 1 0 1 0 7 50 -1 -1 0.000 0 1 -1 0 0 2 + 5625 6225 3900 5400 +2 2 0 1 0 7 50 -1 -1 0.000 0 1 -1 0 0 5 + 525 975 1275 975 1275 2625 525 2625 525 975 +2 2 0 1 0 7 50 -1 45 0.000 0 1 -1 0 0 5 + 3225 975 3975 975 3975 2625 3225 2625 3225 975 +2 2 0 1 0 7 50 -1 45 0.000 0 1 -1 0 0 5 + 5100 975 5850 975 5850 2625 5100 2625 5100 975 +2 2 0 1 0 7 50 -1 45 0.000 0 1 -1 0 0 5 + 525 7425 1275 7425 1275 9075 525 9075 525 7425 +2 2 0 1 0 7 50 -1 -1 0.000 0 1 -1 0 0 5 + 1575 7425 2325 7425 2325 9075 1575 9075 1575 7425 +2 2 0 1 0 7 50 -1 -1 0.000 0 1 -1 0 0 5 + 2400 7425 3150 7425 3150 9075 2400 9075 2400 7425 +2 2 0 1 0 7 50 -1 -1 0.000 0 1 -1 0 0 5 + 3225 7425 3975 7425 3975 9075 3225 9075 3225 7425 +2 2 0 1 0 7 50 -1 -1 0.000 0 1 -1 0 0 5 + 4050 7425 4800 7425 4800 9075 4050 9075 4050 7425 +2 2 0 1 0 7 50 -1 -1 0.000 0 1 -1 0 0 5 + 5250 7425 6000 7425 6000 9075 5250 9075 5250 7425 +2 1 1 8 0 7 50 -1 -1 4.000 0 0 -1 1 0 2 + 1 1 2.00 180.00 75.00 + 2400 3900 2775 4800 +2 2 0 1 0 7 50 -1 18 0.000 0 1 -1 0 0 5 + 2025 2625 2775 2625 2775 975 2025 975 2025 2625 +4 0 0 50 -1 0 18 0.0000 2 30 225 4500 3150 ...\001 +4 0 0 50 -1 0 18 0.0000 2 30 225 3750 4500 ...\001 +4 0 0 50 -1 0 11 0.0000 2 120 705 2775 5325 Scheduler\001 +4 0 0 50 -1 0 18 0.0000 2 30 225 4950 6600 ...\001 +4 0 0 50 -1 0 18 0.0000 2 30 225 4200 5850 ...\001