Ignore:
Timestamp:
Jun 13, 2019, 8:27:28 AM (5 years ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum
Children:
d60780c
Parents:
6625727
Message:

first complete draft of new concurrency paper

File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/papers/concurrency/figures/ext_monitor.fig

    r6625727 rd7a02ae  
    88-2
    991200 2
    10 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
    11 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
    12 6 4275 1950 4575 2250
    13 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4425 2100 105 105 4425 2100 4530 2205
    14 4 1 -1 0 0 0 10 0.0000 2 105 90 4425 2160 d\001
     105 1 0 1 -1 -1 0 0 -1 0.000 0 1 0 0 1500.000 3600.000 1500 3300 1200 3600 1500 3900
     115 1 0 1 -1 -1 0 0 -1 0.000 0 1 0 0 1500.000 4500.000 1500 4200 1200 4500 1500 4800
     126 4200 2100 4500 2400
     131 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4350 2250 105 105 4350 2250 4455 2355
     144 1 -1 0 0 0 10 0.0000 2 105 90 4350 2310 d\001
    1515-6
    16 6 4275 1650 4575 1950
    17 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4425 1800 105 105 4425 1800 4530 1905
    18 4 1 -1 0 0 0 10 0.0000 2 105 90 4425 1860 b\001
     166 4200 1800 4500 2100
     171 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4350 1950 105 105 4350 1950 4455 2055
     184 1 -1 0 0 0 10 0.0000 2 105 90 4350 2010 b\001
    1919-6
    20 6 1495 5445 5700 5655
    21 1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 1575 5550 80 80 1575 5550 1655 5630
    22 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 2925 5550 105 105 2925 5550 3030 5655
    23 1 3 0 1 -1 -1 0 0 4 0.000 1 0.0000 4425 5550 105 105 4425 5550 4530 5655
    24 4 0 -1 0 0 0 12 0.0000 2 135 1035 3150 5625 blocked task\001
    25 4 0 -1 0 0 0 12 0.0000 2 135 870 1725 5625 active task\001
    26 4 0 -1 0 0 0 12 0.0000 2 135 1050 4650 5625 routine mask\001
     206 1420 5595 5625 5805
     211 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 1500 5700 80 80 1500 5700 1580 5780
     221 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 2850 5700 105 105 2850 5700 2955 5805
     231 3 0 1 -1 -1 0 0 4 0.000 1 0.0000 4350 5700 105 105 4350 5700 4455 5805
     244 0 -1 0 0 0 12 0.0000 2 135 1035 3075 5775 blocked task\001
     254 0 -1 0 0 0 12 0.0000 2 135 870 1650 5775 active task\001
     264 0 -1 0 0 0 12 0.0000 2 135 1050 4575 5775 routine mask\001
    2727-6
    28 6 3525 1800 3825 2400
    29 1 3 0 1 -1 -1 1 0 4 0.000 1 0.0000 3675 1950 105 105 3675 1950 3780 1950
     286 3450 1950 3750 2550
     291 3 0 1 -1 -1 1 0 4 0.000 1 0.0000 3600 2100 105 105 3600 2100 3705 2100
    30302 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5
    31          3525 1800 3825 1800 3825 2400 3525 2400 3525 1800
    32 4 1 4 0 0 0 10 0.0000 2 105 120 3675 2010 Y\001
     31         3450 1950 3750 1950 3750 2550 3450 2550 3450 1950
     324 1 4 0 0 0 10 0.0000 2 105 120 3600 2160 Y\001
    3333-6
    34 6 3525 2100 3825 2400
    35 1 3 0 1 -1 -1 1 0 4 0.000 1 0.0000 3675 2250 105 105 3675 2250 3780 2250
    36 4 1 4 0 0 0 10 0.0000 2 105 120 3675 2295 X\001
     346 3450 2250 3750 2550
     351 3 0 1 -1 -1 1 0 4 0.000 1 0.0000 3600 2400 105 105 3600 2400 3705 2400
     364 1 4 0 0 0 10 0.0000 2 105 120 3600 2445 X\001
    3737-6
    38 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 1725 3600 105 105 1725 3600 1830 3705
    39 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 2025 3600 105 105 2025 3600 2130 3705
    40 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 5025 3900 105 105 5025 3900 5130 4005
    41 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 5325 3900 105 105 5325 3900 5430 4005
    42 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4425 2700 105 105 4425 2700 4530 2805
    43 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4425 2400 105 105 4425 2400 4530 2505
    44 1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 3525 4575 80 80 3525 4575 3605 4655
     381 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 1650 3750 105 105 1650 3750 1755 3855
     391 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 1950 3750 105 105 1950 3750 2055 3855
     401 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4950 4050 105 105 4950 4050 5055 4155
     411 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 5250 4050 105 105 5250 4050 5355 4155
     421 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4350 2850 105 105 4350 2850 4455 2955
     431 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4350 2550 105 105 4350 2550 4455 2655
     441 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 3450 4725 80 80 3450 4725 3530 4805
    45452 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5
    46          2475 2925 3900 2925 3900 3225 2475 3225 2475 2925
     46         2400 3075 3825 3075 3825 3375 2400 3375 2400 3075
    47472 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 4
    48          1575 3750 2175 3750 2175 4050 1575 4050
     48         1500 3900 2100 3900 2100 4200 1500 4200
    49492 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 3
    50          1575 3450 2175 3450 2325 3675
     50         1500 3600 2100 3600 2250 3825
    51512 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2
    52          2175 3150 2025 3375
     52         2100 3300 1950 3525
    53532 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 3
    54          1575 4350 2175 4350 2325 4575
     54         1500 4500 2100 4500 2250 4725
    55552 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2
    56          2175 4050 2025 4275
     56         2100 4200 1950 4425
    57572 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 4
    58          1575 4650 2175 4650 2175 4950 3375 4950
     58         1500 4800 2100 4800 2100 5100 3300 5100
    59592 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2
    60          4875 3750 4725 3975
     60         4800 3900 4650 4125
    61612 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2
    62          3375 4950 3600 5100
     62         3300 5100 3525 5250
    63632 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 9
    64          3675 4950 4875 4950 4875 4050 5475 4050 5475 3750 4875 3750
    65          4875 2850 4575 2850 4575 1650
     64         3600 5100 4800 5100 4800 4200 5400 4200 5400 3900 4800 3900
     65         4800 3000 4500 3000 4500 1800
    66662 2 1 1 -1 -1 0 0 -1 4.000 0 0 0 0 0 5
    67          4275 4200 4275 3300 2775 3300 2775 4200 4275 4200
     67         4200 4350 4200 3450 2700 3450 2700 4350 4200 4350
    68682 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
    6969        1 1 1.00 60.00 120.00
    70          3675 3075 3675 2400
     70         3600 3225 3600 2550
    71712 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
    72          4125 2850 4575 3000
     72         4050 3000 4500 3150
    73732 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5
    74          1575 3150 2175 3150 2175 2850 4125 2850 4125 1650
    75 4 1 -1 0 0 0 10 0.0000 2 75 75 4425 2745 a\001
    76 4 1 -1 0 0 0 10 0.0000 2 75 75 4425 2445 c\001
    77 4 1 -1 0 0 0 12 0.0000 2 135 315 3525 5325 exit\001
    78 4 1 -1 0 0 0 12 0.0000 2 135 135 1725 3075 A\001
    79 4 1 -1 0 0 0 12 0.0000 2 135 795 1725 4875 condition\001
    80 4 1 -1 0 0 0 12 0.0000 2 135 135 1725 5100 B\001
    81 4 0 -1 0 0 0 12 0.0000 2 135 420 5025 3675 stack\001
    82 4 0 -1 0 0 0 12 0.0000 2 180 750 5025 3225 acceptor/\001
    83 4 0 -1 0 0 0 12 0.0000 2 180 750 5025 3450 signalled\001
    84 4 1 -1 0 0 0 12 0.0000 2 135 795 1725 2850 condition\001
    85 4 1 -1 0 0 0 12 0.0000 2 165 420 4425 1350 entry\001
    86 4 1 -1 0 0 0 12 0.0000 2 135 495 4425 1575 queue\001
    87 4 0 -1 0 0 0 12 0.0000 2 135 525 4725 2400 arrival\001
    88 4 0 -1 0 0 0 12 0.0000 2 135 630 4725 2175 order of\001
    89 4 1 -1 0 0 0 12 0.0000 2 135 525 3525 3675 shared\001
    90 4 1 -1 0 0 0 12 0.0000 2 135 735 3525 3975 variables\001
    91 4 0 4 50 -1 0 11 0.0000 2 120 135 4150 1875 X\001
    92 4 0 4 50 -1 0 11 0.0000 2 120 135 4150 2175 Y\001
    93 4 0 4 50 -1 0 11 0.0000 2 120 135 4150 2475 Y\001
    94 4 0 4 50 -1 0 11 0.0000 2 120 135 4150 2775 X\001
    95 4 0 -1 0 0 3 12 0.0000 2 150 540 5025 4275 urgent\001
    96 4 1 0 50 -1 0 11 0.0000 2 165 600 3150 3150 accepted\001
     74         1500 3300 2100 3300 2100 3000 4050 3000 4050 1800
     754 1 -1 0 0 0 10 0.0000 2 75 75 4350 2895 a\001
     764 1 -1 0 0 0 10 0.0000 2 75 75 4350 2595 c\001
     774 1 -1 0 0 0 12 0.0000 2 135 315 3450 5475 exit\001
     784 1 -1 0 0 0 12 0.0000 2 135 135 1650 3225 A\001
     794 1 -1 0 0 0 12 0.0000 2 135 795 1650 5025 condition\001
     804 1 -1 0 0 0 12 0.0000 2 135 135 1650 5250 B\001
     814 0 -1 0 0 0 12 0.0000 2 135 420 4950 3825 stack\001
     824 0 -1 0 0 0 12 0.0000 2 180 750 4950 3375 acceptor/\001
     834 0 -1 0 0 0 12 0.0000 2 180 750 4950 3600 signalled\001
     844 1 -1 0 0 0 12 0.0000 2 135 795 1650 3000 condition\001
     854 0 -1 0 0 0 12 0.0000 2 135 525 4650 2550 arrival\001
     864 0 -1 0 0 0 12 0.0000 2 135 630 4650 2325 order of\001
     874 1 -1 0 0 0 12 0.0000 2 135 525 3450 3825 shared\001
     884 1 -1 0 0 0 12 0.0000 2 135 735 3450 4125 variables\001
     894 0 4 50 -1 0 11 0.0000 2 120 135 4075 2025 X\001
     904 0 4 50 -1 0 11 0.0000 2 120 135 4075 2325 Y\001
     914 0 4 50 -1 0 11 0.0000 2 120 135 4075 2625 Y\001
     924 0 4 50 -1 0 11 0.0000 2 120 135 4075 2925 X\001
     934 0 -1 0 0 3 12 0.0000 2 150 540 4950 4425 urgent\001
     944 1 0 50 -1 0 11 0.0000 2 165 600 3075 3300 accepted\001
     954 1 -1 0 0 0 12 0.0000 2 165 960 4275 1725 entry queue\001
Note: See TracChangeset for help on using the changeset viewer.