Index: doc/papers/concurrency/figures/FullCoroutinePhases.fig =================================================================== --- doc/papers/concurrency/figures/FullCoroutinePhases.fig (revision d7a02ae903476ded9a21da3034888ccf8617a83d) +++ doc/papers/concurrency/figures/FullCoroutinePhases.fig (revision d7a02ae903476ded9a21da3034888ccf8617a83d) @@ -0,0 +1,39 @@ +#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 100 0 -1 0.000 0 0 1 0 4575.000 2437.500 4275 1875 4575 1800 4875 1875 + 1 1 1.00 45.00 90.00 +5 1 0 1 0 7 100 0 -1 0.000 0 0 1 0 4575.000 1537.500 4875 2100 4575 2175 4275 2100 + 1 1 1.00 45.00 90.00 +5 1 0 1 0 7 50 -1 -1 0.000 0 1 1 0 4207.500 1642.500 4125 1425 3975 1650 4200 1875 + 1 1 1.00 45.00 90.00 +2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 1 0 2 + 1 1 1.00 45.00 90.00 + 2025 1575 1800 1800 +2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 1 0 2 + 1 1 1.00 45.00 90.00 + 2175 1575 2400 1800 +2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 1 0 2 + 1 1 1.00 45.00 90.00 + 3300 1575 3300 1800 +2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 1 0 2 + 1 1 1.00 45.00 90.00 + 3300 2025 3300 2250 +4 1 0 100 0 0 10 0.0000 2 105 555 2100 1200 creation\001 +4 1 0 100 0 4 10 0.0000 2 165 300 1725 1950 ping\001 +4 1 0 100 0 4 10 0.0000 2 135 360 2475 1950 pong\001 +4 1 0 100 0 4 10 0.0000 2 165 300 3300 1950 ping\001 +4 1 0 100 0 4 10 0.0000 2 135 360 3300 2400 pong\001 +4 1 0 100 0 0 10 0.0000 2 105 675 4575 1200 execution\001 +4 1 0 100 0 4 10 0.0000 2 165 300 4275 2025 ping\001 +4 1 0 100 0 4 10 0.0000 2 135 360 4875 2025 pong\001 +4 1 0 100 0 0 10 0.0000 2 90 420 3300 1200 starter\001 +4 1 0 100 0 4 10 0.0000 2 165 705 2100 1500 pgm main\001 +4 1 0 100 0 4 10 0.0000 2 165 705 3300 1500 pgm main\001 +4 1 0 100 0 4 10 0.0000 2 165 705 4500 1500 pgm main\001 Index: doc/papers/concurrency/figures/FullProdConsStack.fig =================================================================== --- doc/papers/concurrency/figures/FullProdConsStack.fig (revision d7a02ae903476ded9a21da3034888ccf8617a83d) +++ doc/papers/concurrency/figures/FullProdConsStack.fig (revision d7a02ae903476ded9a21da3034888ccf8617a83d) @@ -0,0 +1,51 @@ +#FIG 3.2 Produced by xfig version 3.2.5c +Landscape +Center +Inches +Letter +100.00 +Single +-2 +1200 2 +5 1 0 1 4 7 100 0 -1 0.000 0 0 1 1 5700.000 2137.500 5250 1800 5700 1575 6150 1800 + 1 1 1.00 45.00 105.00 + 1 1 1.00 45.00 105.00 +5 1 0 1 4 7 50 -1 -1 0.000 0 0 1 0 3128.716 2184.122 3300 1275 3825 1575 4050 2100 + 1 1 1.00 45.00 90.00 +2 1 1 1 1 7 100 0 -1 4.000 0 0 -1 1 0 2 + 1 1 1.00 45.00 90.00 + 6150 2400 5250 1800 +2 1 1 1 1 7 100 0 -1 4.000 0 0 -1 1 0 2 + 1 1 1.00 45.00 90.00 + 4050 2400 3300 1275 +2 2 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 5 + 4050 2400 5250 2400 5250 2100 4050 2100 4050 2400 +2 2 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 5 + 6150 2400 7350 2400 7350 2100 6150 2100 6150 2400 +2 2 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 5 + 6150 2100 7350 2100 7350 1800 6150 1800 6150 2100 +2 2 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 5 + 4050 2100 5250 2100 5250 1800 4050 1800 4050 2100 +2 2 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 5 + 1800 2400 3300 2400 3300 1650 1800 1650 1800 2400 +2 2 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 5 + 1800 1650 3300 1650 3300 1275 1800 1275 1800 1650 +4 1 0 100 0 4 10 0.0000 0 150 780 2400 2175 prod{ c, N,\001 +4 1 0 100 0 4 10 0.0000 2 150 975 4650 2325 i,p1,p2,status\001 +4 1 0 100 0 4 10 0.0000 2 150 450 4650 2025 p1, p2\001 +4 2 0 100 0 4 10 0.0000 2 120 345 3975 2325 main\001 +4 2 0 100 0 4 10 0.0000 2 150 570 3975 2025 delivery\001 +4 1 0 100 0 4 10 0.0000 2 150 330 4650 2625 prod\001 +4 1 0 100 0 4 10 0.0000 2 90 360 6750 2625 cons\001 +4 1 0 100 0 4 10 0.0000 2 120 495 6750 2325 money\001 +4 2 0 100 0 4 10 0.0000 2 120 345 6075 2325 main\001 +4 2 0 100 0 4 10 0.0000 2 150 630 6075 2025 payment\001 +4 1 4 100 0 0 10 0.0000 2 75 495 5700 1500 resume\001 +4 0 4 100 0 0 10 0.0000 2 75 495 3900 1500 resume\001 +4 1 0 100 0 4 10 0.0000 2 135 615 2550 2625 program\001 +4 2 0 100 0 4 10 0.0000 2 120 345 1725 2025 main\001 +4 2 0 100 0 4 10 0.0000 2 120 330 1725 1500 start\001 +4 1 0 100 0 4 10 0.0000 2 135 300 2550 1500 N, c\001 +4 1 0 100 0 4 10 0.0000 0 150 1140 2550 1800 cons{ p, p1, p2,\001 +4 1 0 100 0 4 10 0.0000 0 150 1005 2550 1950 status, done }\001 +4 1 0 100 0 4 10 0.0000 0 150 1185 2550 2325 money, receipt }\001 Index: doc/papers/concurrency/figures/corlayout.fig =================================================================== --- doc/papers/concurrency/figures/corlayout.fig (revision d7a02ae903476ded9a21da3034888ccf8617a83d) +++ doc/papers/concurrency/figures/corlayout.fig (revision d7a02ae903476ded9a21da3034888ccf8617a83d) @@ -0,0 +1,76 @@ +#FIG 3.2 Produced by xfig version 3.2.5c +Landscape +Center +Inches +Letter +100.00 +Single +-2 +1200 2 +6 7950 1275 8250 1425 +1 3 0 1 0 0 50 -1 20 0.000 1 0.0000 8025 1350 20 20 8025 1350 8045 1350 +1 3 0 1 0 0 50 -1 20 0.000 1 0.0000 8100 1350 20 20 8100 1350 8120 1350 +1 3 0 1 0 0 50 -1 20 0.000 1 0.0000 8175 1350 20 20 8175 1350 8195 1350 +-6 +2 2 1 1 0 7 50 -1 -1 4.000 0 0 -1 0 0 5 + 1950 1875 3150 1875 3150 2700 1950 2700 1950 1875 +2 1 1 1 0 7 50 -1 -1 4.000 0 0 -1 0 0 2 + 1950 2475 3150 2475 +2 2 0 1 0 7 50 -1 -1 4.000 0 0 -1 0 0 5 + 1950 600 3150 600 3150 1200 1950 1200 1950 600 +2 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5 + 3450 825 4650 825 4650 1500 3450 1500 3450 825 +2 2 1 1 0 7 50 -1 -1 4.000 0 0 -1 0 0 5 + 1950 1200 3150 1200 3150 1875 1950 1875 1950 1200 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 1.00 45.00 90.00 + 3075 1625 4950 1625 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 1.00 45.00 90.00 + 3150 1100 3450 1100 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 1.00 45.00 90.00 + 4575 1250 4950 1250 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 1 2 + 1 1 1.00 45.00 90.00 + 1 1 1.00 45.00 90.00 + 6150 1350 6450 1350 +2 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5 + 4950 900 6150 900 6150 1725 4950 1725 4950 900 +2 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5 + 6450 900 7650 900 7650 1725 6450 1725 6450 900 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 1 2 + 1 1 1.00 45.00 90.00 + 1 1 1.00 45.00 90.00 + 7650 1350 7950 1350 +2 1 0 1 0 7 50 -1 -1 4.000 0 0 -1 0 0 2 + 4950 1500 6150 1500 +2 1 1 1 0 7 50 -1 -1 4.000 0 0 -1 1 0 4 + 1 1 1.00 45.00 90.00 + 1950 1075 1725 1075 1725 1350 1950 1350 +2 1 1 1 0 7 50 -1 -1 4.000 0 0 -1 1 0 4 + 1 1 1.00 45.00 90.00 + 2025 1600 1725 1600 1725 1950 1950 1950 +4 2 0 50 -1 0 10 0.0000 2 120 345 1875 2325 stack\001 +4 1 0 50 -1 0 10 0.0000 2 150 1020 2550 2625 optional guard\001 +4 1 0 50 -1 0 10 0.0000 2 105 360 2550 2250 fixed\001 +4 1 0 50 -1 0 10 0.0000 2 90 420 4050 975 starter\001 +4 1 0 50 -1 0 10 0.0000 2 105 825 4050 1125 last resumer\001 +4 1 0 50 -1 0 10 0.0000 2 150 885 4050 1275 stack pointer\001 +4 1 0 50 -1 0 10 0.0000 2 120 1080 4050 1425 other stack info\001 +4 1 0 50 -1 0 10 0.0000 2 135 690 4050 750 descriptor\001 +4 1 0 50 -1 0 10 0.0000 2 90 420 2550 1350 starter\001 +4 1 0 50 -1 0 10 0.0000 2 105 825 2550 1500 last resumer\001 +4 1 0 50 -1 0 10 0.0000 2 150 885 2550 1650 stack pointer\001 +4 1 0 50 -1 0 10 0.0000 2 120 1080 2550 1800 other stack info\001 +4 1 0 50 -1 0 10 0.0000 2 120 345 5550 825 stack\001 +4 1 0 50 -1 0 10 0.0000 2 135 1410 6300 1950 heap or preallocated\001 +4 1 0 50 -1 0 10 0.0000 2 150 1020 5550 1650 optional guard\001 +4 1 0 50 -1 0 10 0.0000 2 105 360 5550 1275 fixed\001 +4 1 0 50 -1 0 10 0.0000 2 105 555 7050 1275 variable\001 +4 1 0 50 -1 0 10 0.0000 2 135 405 7050 1425 (split)\001 +4 1 0 50 -1 0 10 0.0000 2 150 705 7050 825 stack$_2$\001 +4 1 0 50 -1 0 10 0.0000 2 135 1230 2550 1125 descriptor pointer\001 +4 1 0 50 -1 0 10 0.0000 2 150 1020 2550 900 program fields\001 +4 2 0 50 -1 0 10 0.0000 2 135 690 1875 1525 descriptor\001 +4 2 0 50 -1 0 10 0.0000 2 105 465 1875 975 handle\001 Index: doc/papers/concurrency/figures/ext_monitor.fig =================================================================== --- doc/papers/concurrency/figures/ext_monitor.fig (revision adb602421edaad94c142d125c8c4fdecd8f9835b) +++ doc/papers/concurrency/figures/ext_monitor.fig (revision d7a02ae903476ded9a21da3034888ccf8617a83d) @@ -8,89 +8,88 @@ -2 1200 2 -5 1 0 1 -1 -1 0 0 -1 0.000 0 1 0 0 1575.000 3450.000 1575 3150 1275 3450 1575 3750 -5 1 0 1 -1 -1 0 0 -1 0.000 0 1 0 0 1575.000 4350.000 1575 4050 1275 4350 1575 4650 -6 4275 1950 4575 2250 -1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4425 2100 105 105 4425 2100 4530 2205 -4 1 -1 0 0 0 10 0.0000 2 105 90 4425 2160 d\001 +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 +5 1 0 1 -1 -1 0 0 -1 0.000 0 1 0 0 1500.000 4500.000 1500 4200 1200 4500 1500 4800 +6 4200 2100 4500 2400 +1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4350 2250 105 105 4350 2250 4455 2355 +4 1 -1 0 0 0 10 0.0000 2 105 90 4350 2310 d\001 -6 -6 4275 1650 4575 1950 -1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4425 1800 105 105 4425 1800 4530 1905 -4 1 -1 0 0 0 10 0.0000 2 105 90 4425 1860 b\001 +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 b\001 -6 -6 1495 5445 5700 5655 -1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 1575 5550 80 80 1575 5550 1655 5630 -1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 2925 5550 105 105 2925 5550 3030 5655 -1 3 0 1 -1 -1 0 0 4 0.000 1 0.0000 4425 5550 105 105 4425 5550 4530 5655 -4 0 -1 0 0 0 12 0.0000 2 135 1035 3150 5625 blocked task\001 -4 0 -1 0 0 0 12 0.0000 2 135 870 1725 5625 active task\001 -4 0 -1 0 0 0 12 0.0000 2 135 1050 4650 5625 routine mask\001 +6 1420 5595 5625 5805 +1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 1500 5700 80 80 1500 5700 1580 5780 +1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 2850 5700 105 105 2850 5700 2955 5805 +1 3 0 1 -1 -1 0 0 4 0.000 1 0.0000 4350 5700 105 105 4350 5700 4455 5805 +4 0 -1 0 0 0 12 0.0000 2 135 1035 3075 5775 blocked task\001 +4 0 -1 0 0 0 12 0.0000 2 135 870 1650 5775 active task\001 +4 0 -1 0 0 0 12 0.0000 2 135 1050 4575 5775 routine mask\001 -6 -6 3525 1800 3825 2400 -1 3 0 1 -1 -1 1 0 4 0.000 1 0.0000 3675 1950 105 105 3675 1950 3780 1950 +6 3450 1950 3750 2550 +1 3 0 1 -1 -1 1 0 4 0.000 1 0.0000 3600 2100 105 105 3600 2100 3705 2100 2 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5 - 3525 1800 3825 1800 3825 2400 3525 2400 3525 1800 -4 1 4 0 0 0 10 0.0000 2 105 120 3675 2010 Y\001 + 3450 1950 3750 1950 3750 2550 3450 2550 3450 1950 +4 1 4 0 0 0 10 0.0000 2 105 120 3600 2160 Y\001 -6 -6 3525 2100 3825 2400 -1 3 0 1 -1 -1 1 0 4 0.000 1 0.0000 3675 2250 105 105 3675 2250 3780 2250 -4 1 4 0 0 0 10 0.0000 2 105 120 3675 2295 X\001 +6 3450 2250 3750 2550 +1 3 0 1 -1 -1 1 0 4 0.000 1 0.0000 3600 2400 105 105 3600 2400 3705 2400 +4 1 4 0 0 0 10 0.0000 2 105 120 3600 2445 X\001 -6 -1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 1725 3600 105 105 1725 3600 1830 3705 -1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 2025 3600 105 105 2025 3600 2130 3705 -1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 5025 3900 105 105 5025 3900 5130 4005 -1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 5325 3900 105 105 5325 3900 5430 4005 -1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4425 2700 105 105 4425 2700 4530 2805 -1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4425 2400 105 105 4425 2400 4530 2505 -1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 3525 4575 80 80 3525 4575 3605 4655 +1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 1650 3750 105 105 1650 3750 1755 3855 +1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 1950 3750 105 105 1950 3750 2055 3855 +1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4950 4050 105 105 4950 4050 5055 4155 +1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 5250 4050 105 105 5250 4050 5355 4155 +1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4350 2850 105 105 4350 2850 4455 2955 +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 20 0.000 1 0.0000 3450 4725 80 80 3450 4725 3530 4805 2 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5 - 2475 2925 3900 2925 3900 3225 2475 3225 2475 2925 + 2400 3075 3825 3075 3825 3375 2400 3375 2400 3075 2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 4 - 1575 3750 2175 3750 2175 4050 1575 4050 + 1500 3900 2100 3900 2100 4200 1500 4200 2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 3 - 1575 3450 2175 3450 2325 3675 + 1500 3600 2100 3600 2250 3825 2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2 - 2175 3150 2025 3375 + 2100 3300 1950 3525 2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 3 - 1575 4350 2175 4350 2325 4575 + 1500 4500 2100 4500 2250 4725 2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2 - 2175 4050 2025 4275 + 2100 4200 1950 4425 2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 4 - 1575 4650 2175 4650 2175 4950 3375 4950 + 1500 4800 2100 4800 2100 5100 3300 5100 2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2 - 4875 3750 4725 3975 + 4800 3900 4650 4125 2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2 - 3375 4950 3600 5100 + 3300 5100 3525 5250 2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 9 - 3675 4950 4875 4950 4875 4050 5475 4050 5475 3750 4875 3750 - 4875 2850 4575 2850 4575 1650 + 3600 5100 4800 5100 4800 4200 5400 4200 5400 3900 4800 3900 + 4800 3000 4500 3000 4500 1800 2 2 1 1 -1 -1 0 0 -1 4.000 0 0 0 0 0 5 - 4275 4200 4275 3300 2775 3300 2775 4200 4275 4200 + 4200 4350 4200 3450 2700 3450 2700 4350 4200 4350 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 - 3675 3075 3675 2400 + 3600 3225 3600 2550 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 - 4125 2850 4575 3000 + 4050 3000 4500 3150 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5 - 1575 3150 2175 3150 2175 2850 4125 2850 4125 1650 -4 1 -1 0 0 0 10 0.0000 2 75 75 4425 2745 a\001 -4 1 -1 0 0 0 10 0.0000 2 75 75 4425 2445 c\001 -4 1 -1 0 0 0 12 0.0000 2 135 315 3525 5325 exit\001 -4 1 -1 0 0 0 12 0.0000 2 135 135 1725 3075 A\001 -4 1 -1 0 0 0 12 0.0000 2 135 795 1725 4875 condition\001 -4 1 -1 0 0 0 12 0.0000 2 135 135 1725 5100 B\001 -4 0 -1 0 0 0 12 0.0000 2 135 420 5025 3675 stack\001 -4 0 -1 0 0 0 12 0.0000 2 180 750 5025 3225 acceptor/\001 -4 0 -1 0 0 0 12 0.0000 2 180 750 5025 3450 signalled\001 -4 1 -1 0 0 0 12 0.0000 2 135 795 1725 2850 condition\001 -4 1 -1 0 0 0 12 0.0000 2 165 420 4425 1350 entry\001 -4 1 -1 0 0 0 12 0.0000 2 135 495 4425 1575 queue\001 -4 0 -1 0 0 0 12 0.0000 2 135 525 4725 2400 arrival\001 -4 0 -1 0 0 0 12 0.0000 2 135 630 4725 2175 order of\001 -4 1 -1 0 0 0 12 0.0000 2 135 525 3525 3675 shared\001 -4 1 -1 0 0 0 12 0.0000 2 135 735 3525 3975 variables\001 -4 0 4 50 -1 0 11 0.0000 2 120 135 4150 1875 X\001 -4 0 4 50 -1 0 11 0.0000 2 120 135 4150 2175 Y\001 -4 0 4 50 -1 0 11 0.0000 2 120 135 4150 2475 Y\001 -4 0 4 50 -1 0 11 0.0000 2 120 135 4150 2775 X\001 -4 0 -1 0 0 3 12 0.0000 2 150 540 5025 4275 urgent\001 -4 1 0 50 -1 0 11 0.0000 2 165 600 3150 3150 accepted\001 + 1500 3300 2100 3300 2100 3000 4050 3000 4050 1800 +4 1 -1 0 0 0 10 0.0000 2 75 75 4350 2895 a\001 +4 1 -1 0 0 0 10 0.0000 2 75 75 4350 2595 c\001 +4 1 -1 0 0 0 12 0.0000 2 135 315 3450 5475 exit\001 +4 1 -1 0 0 0 12 0.0000 2 135 135 1650 3225 A\001 +4 1 -1 0 0 0 12 0.0000 2 135 795 1650 5025 condition\001 +4 1 -1 0 0 0 12 0.0000 2 135 135 1650 5250 B\001 +4 0 -1 0 0 0 12 0.0000 2 135 420 4950 3825 stack\001 +4 0 -1 0 0 0 12 0.0000 2 180 750 4950 3375 acceptor/\001 +4 0 -1 0 0 0 12 0.0000 2 180 750 4950 3600 signalled\001 +4 1 -1 0 0 0 12 0.0000 2 135 795 1650 3000 condition\001 +4 0 -1 0 0 0 12 0.0000 2 135 525 4650 2550 arrival\001 +4 0 -1 0 0 0 12 0.0000 2 135 630 4650 2325 order of\001 +4 1 -1 0 0 0 12 0.0000 2 135 525 3450 3825 shared\001 +4 1 -1 0 0 0 12 0.0000 2 135 735 3450 4125 variables\001 +4 0 4 50 -1 0 11 0.0000 2 120 135 4075 2025 X\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 Y\001 +4 0 4 50 -1 0 11 0.0000 2 120 135 4075 2925 X\001 +4 0 -1 0 0 3 12 0.0000 2 150 540 4950 4425 urgent\001 +4 1 0 50 -1 0 11 0.0000 2 165 600 3075 3300 accepted\001 +4 1 -1 0 0 0 12 0.0000 2 165 960 4275 1725 entry queue\001 Index: doc/papers/concurrency/figures/monitor.fig =================================================================== --- doc/papers/concurrency/figures/monitor.fig (revision adb602421edaad94c142d125c8c4fdecd8f9835b) +++ doc/papers/concurrency/figures/monitor.fig (revision d7a02ae903476ded9a21da3034888ccf8617a83d) @@ -8,95 +8,97 @@ -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 +5 1 0 1 -1 -1 0 0 -1 0.000 0 1 0 0 1500.000 4500.000 1500 4200 1200 4500 1500 4800 +6 2400 2400 2700 2700 +1 3 0 1 -1 -1 1 0 4 0.000 1 0.0000 2550 2550 105 105 2550 2550 2655 2550 +4 1 -1 0 0 0 10 0.0000 2 105 90 2550 2610 b\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 2400 2700 2700 3000 +1 3 0 1 -1 -1 1 0 4 0.000 1 0.0000 2550 2850 105 105 2550 2850 2655 2850 +4 1 -1 0 0 0 10 0.0000 2 75 75 2550 2895 a\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 3300 2400 3600 2700 +1 3 0 1 -1 -1 1 0 4 0.000 1 0.0000 3450 2550 105 105 3450 2550 3555 2550 +4 1 -1 0 0 0 10 0.0000 2 105 90 3450 2610 d\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 1350 5550 5325 5850 +1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 1500 5700 80 80 1500 5700 1580 5780 +1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 2850 5700 105 105 2850 5700 2955 5805 +1 3 0 1 -1 -1 0 0 4 0.000 1 0.0000 4350 5700 105 105 4350 5700 4455 5805 +4 0 -1 0 0 0 12 0.0000 2 180 765 4575 5775 duplicate\001 +4 0 -1 0 0 0 12 0.0000 2 135 1035 3075 5775 blocked task\001 +4 0 -1 0 0 0 12 0.0000 2 135 870 1650 5775 active task\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 4200 2100 4500 2400 +1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4350 2250 105 105 4350 2250 4455 2355 +4 1 -1 0 0 0 10 0.0000 2 105 90 4350 2310 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 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 b\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 +1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 1650 3750 105 105 1650 3750 1755 3855 +1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 1950 3750 105 105 1950 3750 2055 3855 +1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4950 4050 105 105 4950 4050 5055 4155 +1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 5250 4050 105 105 5250 4050 5355 4155 +1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 3450 4725 80 80 3450 4725 3530 4805 +1 3 0 1 -1 -1 1 0 4 0.000 1 0.0000 3450 2850 105 105 3450 2850 3555 2850 +1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4350 2850 105 105 4350 2850 4455 2955 +1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4350 2550 105 105 4350 2550 4455 2655 2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2 - 2400 2100 2625 2250 + 2400 3000 2625 3150 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 + 3300 3000 3525 3150 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 + 1500 3300 2100 3300 2100 3000 2400 3000 2400 2400 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 + 1500 3900 2100 3900 2100 4200 1500 4200 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 3 + 1500 4500 2100 4500 2250 4725 +2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2 + 2100 4200 1950 4425 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 + 1500 4800 2100 4800 2100 5100 3300 5100 2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2 - 4800 3000 4650 3225 + 4800 3900 4650 4125 2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2 - 3300 4200 3525 4350 + 3300 5100 3525 5250 +2 2 1 1 -1 -1 0 0 -1 4.000 0 0 0 0 0 5 + 4200 4350 4200 3450 2700 3450 2700 4350 4200 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 + 2700 2400 2700 3000 3300 3000 3300 2400 +2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 4 + 3600 2400 3600 3000 4050 3000 4050 1800 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 -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 -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 4 0 0 0 12 0.0000 2 135 135 2550 1425 X\001 -4 1 4 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 -4 0 -1 0 0 3 12 0.0000 2 150 540 4950 3525 urgent\001 + 3600 5100 4800 5100 4800 4200 5400 4200 5400 3900 4800 3900 + 4800 3000 4500 3000 4500 1800 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 + 4050 3000 4500 3150 +4 1 -1 0 0 0 12 0.0000 2 135 315 3450 5475 exit\001 +4 1 -1 0 0 0 12 0.0000 2 135 135 1650 3225 A\001 +4 1 -1 0 0 0 12 0.0000 2 135 795 1650 5025 condition\001 +4 1 -1 0 0 0 12 0.0000 2 135 135 1650 5250 B\001 +4 0 -1 0 0 0 12 0.0000 2 135 420 4950 3825 stack\001 +4 0 -1 0 0 0 12 0.0000 2 180 750 4950 3375 acceptor/\001 +4 0 -1 0 0 0 12 0.0000 2 180 750 4950 3600 signalled\001 +4 1 -1 0 0 0 12 0.0000 2 135 795 1650 3000 condition\001 +4 1 4 0 0 0 12 0.0000 2 135 135 2550 2325 X\001 +4 1 4 0 0 0 12 0.0000 2 135 135 3450 2325 Y\001 +4 1 -1 0 0 0 12 0.0000 2 135 525 3450 3825 shared\001 +4 1 -1 0 0 0 12 0.0000 2 135 735 3450 4125 variables\001 +4 1 -1 0 0 0 10 0.0000 2 75 75 3450 2895 c\001 +4 1 -1 0 0 0 12 0.0000 2 165 1125 3000 2100 mutex queues\001 +4 0 -1 0 0 3 12 0.0000 2 150 540 4950 4425 urgent\001 +4 1 -1 0 0 0 10 0.0000 2 75 75 4350 2895 a\001 +4 1 -1 0 0 0 10 0.0000 2 75 75 4350 2595 c\001 +4 0 -1 0 0 0 12 0.0000 2 135 525 4650 2550 arrival\001 +4 0 -1 0 0 0 12 0.0000 2 135 630 4650 2325 order of\001 +4 0 4 50 -1 0 11 0.0000 2 120 135 4075 2025 X\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 Y\001 +4 0 4 50 -1 0 11 0.0000 2 120 135 4075 2925 X\001 +4 1 -1 0 0 0 12 0.0000 2 165 960 4275 1725 entry queue\001