Ignore:
Timestamp:
Jan 7, 2021, 3:27:00 PM (5 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum, stuck-waitfor-destruct
Children:
2b4daf2, 64aeca0
Parents:
3c64c668 (diff), eef8dfb (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:

Merge branch 'master' into park_unpark

File:
1 edited

Legend:

Unmodified
Added
Removed

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

    r3c64c668 r58fe85a  
    88-2
    991200 2
    10 6 3855 2775 4155 2925
    11 1 3 0 1 0 0 0 0 0 0.000 1 0.0000 3930 2850 30 30 3930 2850 3960 2880
    12 1 3 0 1 0 0 0 0 0 0.000 1 0.0000 4035 2850 30 30 4035 2850 4065 2880
     106 3255 2475 3555 2625
     111 3 0 1 0 0 0 0 0 0.000 1 0.0000 3330 2550 30 30 3330 2550 3360 2580
     121 3 0 1 0 0 0 0 0 0.000 1 0.0000 3435 2550 30 30 3435 2550 3465 2580
    1313-6
    14 6 4755 3525 5055 3675
    15 1 3 0 1 0 0 0 0 0 0.000 1 0.0000 4830 3600 30 30 4830 3600 4860 3630
    16 1 3 0 1 0 0 0 0 0 0.000 1 0.0000 4935 3600 30 30 4935 3600 4965 3630
     146 4155 3225 4455 3375
     151 3 0 1 0 0 0 0 0 0.000 1 0.0000 4230 3300 30 30 4230 3300 4260 3330
     161 3 0 1 0 0 0 0 0 0.000 1 0.0000 4335 3300 30 30 4335 3300 4365 3330
    1717-6
    18 6 4650 2775 4950 2925
    19 1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 4725 2850 15 15 4725 2850 4740 2865
    20 1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 4800 2850 15 15 4800 2850 4815 2865
    21 1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 4875 2850 15 15 4875 2850 4890 2865
     186 4050 2475 4350 2625
     191 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 4125 2550 15 15 4125 2550 4140 2565
     201 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 4200 2550 15 15 4200 2550 4215 2565
     211 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 4275 2550 15 15 4275 2550 4290 2565
    2222-6
    23 6 3225 2400 3525 2550
    24 1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 3300 2475 15 15 3300 2475 3315 2490
    25 1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 3375 2475 15 15 3375 2475 3390 2490
    26 1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 3450 2475 15 15 3450 2475 3465 2490
     236 2625 2100 2925 2250
     241 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 2700 2175 15 15 2700 2175 2715 2190
     251 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 2775 2175 15 15 2775 2175 2790 2190
     261 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 2850 2175 15 15 2850 2175 2865 2190
    2727-6
    28 6 5475 3450 5625 3750
    29 1 3 0 1 -1 -1 0 0 20 0.000 1 4.7120 5550 3525 15 15 5550 3525 5535 3540
    30 1 3 0 1 -1 -1 0 0 20 0.000 1 4.7120 5550 3600 15 15 5550 3600 5535 3615
    31 1 3 0 1 -1 -1 0 0 20 0.000 1 4.7120 5550 3675 15 15 5550 3675 5535 3690
     286 4875 3150 5025 3450
     291 3 0 1 -1 -1 0 0 20 0.000 1 4.7120 4950 3225 15 15 4950 3225 4935 3240
     301 3 0 1 -1 -1 0 0 20 0.000 1 4.7120 4950 3300 15 15 4950 3300 4935 3315
     311 3 0 1 -1 -1 0 0 20 0.000 1 4.7120 4950 3375 15 15 4950 3375 4935 3390
    3232-6
    33 6 4275 3525 4575 3675
    34 1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 4350 3600 15 15 4350 3600 4365 3615
    35 1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 4425 3600 15 15 4425 3600 4440 3615
    36 1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 4500 3600 15 15 4500 3600 4515 3615
     336 3675 3225 3975 3375
     341 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 3750 3300 15 15 3750 3300 3765 3315
     351 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 3825 3300 15 15 3825 3300 3840 3315
     361 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 3900 3300 15 15 3900 3300 3915 3315
    3737-6
    38 6 2175 4650 7050 4950
    39 1 3 0 1 0 0 0 0 0 0.000 1 0.0000 2250 4830 30 30 2250 4830 2280 4860
    40 1 1 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4200 4800 150 75 4200 4800 4350 4875
    41 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 3275 4800 100 100 3275 4800 3375 4800
    42 2 2 0 1 -1 -1 0 0 -1 0.000 0 0 0 0 0 5
    43          5400 4950 5400 4725 5175 4725 5175 4950 5400 4950
    44 2 2 1 1 -1 -1 0 0 -1 3.000 0 0 0 0 0 5
    45          6525 4950 6300 4950 6300 4725 6525 4725 6525 4950
    46 4 0 -1 0 0 0 10 0.0000 2 105 450 6600 4875 cluster\001
    47 4 0 -1 0 0 0 10 0.0000 2 105 660 5475 4875 processor\001
    48 4 0 -1 0 0 0 10 0.0000 2 105 555 4425 4875 monitor\001
    49 4 0 -1 0 0 0 10 0.0000 2 120 270 3450 4875 task\001
    50 4 0 -1 0 0 0 10 0.0000 2 105 660 2325 4875 coroutine\001
     386 2625 3825 4050 4125
     396 3750 3900 4050 4050
     401 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 3825 3975 15 15 3825 3975 3840 3990
     411 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 3900 3975 15 15 3900 3975 3915 3990
     421 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 3975 3975 15 15 3975 3975 3990 3990
    5143-6
    52 6 3450 1275 3750 1425
    53 1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 3525 1350 15 15 3525 1350 3540 1365
    54 1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 3600 1350 15 15 3600 1350 3615 1365
    55 1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 3675 1350 15 15 3675 1350 3690 1365
     441 1 0 1 -1 -1 0 0 -1 0.000 1 0.0000 2850 3975 225 150 2850 3975 3075 4125
     451 1 0 1 -1 -1 0 0 -1 0.000 1 0.0000 3450 3975 225 150 3450 3975 3675 4125
    5646-6
    57 6 5550 1275 5850 1425
    58 1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 5625 1350 15 15 5625 1350 5640 1365
    59 1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 5700 1350 15 15 5700 1350 5715 1365
    60 1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 5775 1350 15 15 5775 1350 5790 1365
     476 6075 3825 6900 4125
     486 6600 3900 6900 4050
     491 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 6675 3975 15 15 6675 3975 6690 3990
     501 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 6750 3975 15 15 6750 3975 6765 3990
     511 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 6825 3975 15 15 6825 3975 6840 3990
    6152-6
    62 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 5550 2625 150 150 5550 2625 5700 2625
    63 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 5550 3225 150 150 5550 3225 5700 3225
    64 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 5550 3975 150 150 5550 3975 5700 3975
    65 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 3525 2850 150 150 3525 2850 3675 2850
    66 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4200 2475 150 150 4200 2475 4350 2475
    67 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4425 2850 150 150 4425 2850 4575 2850
    68 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4650 2475 150 150 4650 2475 4800 2475
    69 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 3525 3600 150 150 3525 3600 3675 3600
    70 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 3975 3600 150 150 3975 3600 4125 3600
    71 1 3 0 1 0 0 0 0 0 0.000 1 0.0000 3525 3600 30 30 3525 3600 3555 3630
    72 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 3750 2475 150 150 3750 2475 3900 2625
    73 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4875 3600 150 150 4875 3600 5025 3750
    74 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 3975 2850 150 150 3975 2850 4125 2850
    75 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 7200 2775 150 150 7200 2775 7350 2775
    76 1 1 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4650 1350 225 150 4650 1350 4875 1500
    77 1 1 0 1 -1 -1 0 0 -1 0.000 1 0.0000 5250 1350 225 150 5250 1350 5475 1500
    78 1 1 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4050 1350 225 150 4050 1350 4275 1500
    79 2 2 0 1 -1 -1 0 0 -1 0.000 0 0 0 0 0 5
    80          2400 4200 2400 3750 1950 3750 1950 4200 2400 4200
    81 2 2 1 1 -1 -1 0 0 -1 4.000 0 0 0 0 0 5
    82          6300 4500 6300 1800 3000 1800 3000 4500 6300 4500
    83 2 2 0 1 -1 -1 0 0 -1 0.000 0 0 0 0 0 5
    84          5775 2850 5775 2400 5325 2400 5325 2850 5775 2850
    85 2 2 0 1 -1 -1 0 0 -1 0.000 0 0 0 0 0 5
    86          5775 4200 5775 3750 5325 3750 5325 4200 5775 4200
     531 1 0 1 -1 -1 0 0 -1 0.000 1 0.0000 6300 3975 225 150 6300 3975 6525 4125
     54-6
     556 6075 3225 7425 3675
    87562 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 1 0 2
    8857        1 1 1.00 45.00 90.00
    89          5175 3975 5325 3975
     58         6075 3450 6375 3450
    90592 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 1 0 2
    9160        1 1 1.00 45.00 90.00
    92          5175 3225 5325 3225
     61         6525 3450 6750 3450
     622 2 0 1 -1 -1 0 0 -1 0.000 0 0 0 0 0 5
     63         7200 3675 7200 3225 6750 3225 6750 3675 7200 3675
    93642 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 1 0 2
    9465        1 1 1.00 45.00 90.00
    95          5175 2625 5325 2625
     66         7200 3450 7425 3450
     67-6
     681 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4950 2325 150 150 4950 2325 5100 2325
     691 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4950 2925 150 150 4950 2925 5100 2925
     701 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4950 3675 150 150 4950 3675 5100 3675
     711 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 2925 2550 150 150 2925 2550 3075 2550
     721 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 3600 2175 150 150 3600 2175 3750 2175
     731 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 3825 2550 150 150 3825 2550 3975 2550
     741 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4050 2175 150 150 4050 2175 4200 2175
     751 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 3375 3300 150 150 3375 3300 3525 3300
     761 3 0 1 0 0 0 0 0 0.000 1 0.0000 2925 3300 30 30 2925 3300 2955 3330
     771 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 3150 2175 150 150 3150 2175 3300 2325
     781 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4275 3300 150 150 4275 3300 4425 3450
     791 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 3375 2550 150 150 3375 2550 3525 2550
     801 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 6600 2475 150 150 6600 2475 6750 2475
     811 3 0 1 0 0 0 0 0 0.000 1 0.0000 1650 4530 30 30 1650 4530 1680 4560
     821 3 0 1 0 0 0 0 0 0.000 1 0.0000 6600 2475 30 30 6600 2475 6630 2505
     831 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 2925 3300 150 150 2925 3300 3075 3300
     841 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 3275 4500 100 100 3275 4500 3375 4500
     851 1 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4050 4500 150 75 4050 4500 4200 4575
     862 2 0 1 -1 -1 0 0 -1 0.000 0 0 0 0 0 5
     87         1800 3900 1800 3450 1350 3450 1350 3900 1800 3900
     882 2 1 1 -1 -1 0 0 -1 4.000 0 0 0 0 0 5
     89         5700 4200 5700 1500 2400 1500 2400 4200 5700 4200
     902 2 0 1 -1 -1 0 0 -1 0.000 0 0 0 0 0 5
     91         5175 2550 5175 2100 4725 2100 4725 2550 5175 2550
     922 2 0 1 -1 -1 0 0 -1 0.000 0 0 0 0 0 5
     93         5175 3900 5175 3450 4725 3450 4725 3900 5175 3900
    96942 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 1 0 2
    9795        1 1 1.00 45.00 90.00
    98          5775 3975 5925 3975
     96         4575 3675 4725 3675
    99972 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 1 0 2
    10098        1 1 1.00 45.00 90.00
    101          5775 3225 5925 3225
     99         4575 2925 4725 2925
    1021002 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 1 0 2
    103101        1 1 1.00 45.00 90.00
    104          5775 2625 5925 2625
    105 2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2
    106          5175 3975 5175 2625
     102         4575 2325 4725 2325
    1071032 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 1 0 2
    108104        1 1 1.00 45.00 90.00
    109          5925 3975 5925 2025
     105         5175 3675 5325 3675
    1101062 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 1 0 2
    111107        1 1 1.00 45.00 90.00
    112          5925 3750 6225 3750
     108         5175 2925 5325 2925
    1131092 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 1 0 2
    114110        1 1 1.00 45.00 90.00
    115          3450 2625 3225 2625
     111         5175 2325 5325 2325
     1122 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2
     113         4575 3675 4575 2325
     1142 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 1 0 2
     115        1 1 1.00 45.00 90.00
     116         5325 3675 5325 1725
     1172 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 1 0 2
     118        1 1 1.00 45.00 90.00
     119         5325 3450 5625 3450
     1202 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 1 0 2
     121        1 1 1.00 45.00 90.00
     122         2850 2325 2625 2325
    1161232 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 1 0 3
    117124        1 1 1.00 45.00 90.00
    118          5925 2025 4200 2025 4200 2250
     125         5325 1725 3600 1725 3600 1950
    1191262 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2
    120          3225 2625 3225 3600
     127         2625 2325 2625 3300
    1211282 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 1 0 2
    122129        1 1 1.00 45.00 90.00
    123          3075 3600 3375 3600
     130         2475 3300 2775 3300
    1241312 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 1 0 2
    125132        1 1 1.00 45.00 90.00
    126          3675 3600 3825 3600
     133         3075 3300 3225 3300
    1271342 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 1 0 2
    128135        1 1 1.00 45.00 90.00
    129          4125 3600 4275 3600
     136         3525 3300 3675 3300
    1301372 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 1 0 2
    131138        1 1 1.00 45.00 90.00
    132          4575 3600 4725 3600
     139         3975 3300 4125 3300
    1331402 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 1 0 2
    134141        1 1 1.00 45.00 90.00
    135          5025 3600 5175 3600
     142         4425 3300 4575 3300
    1361432 2 0 1 -1 -1 0 0 -1 0.000 0 0 0 0 0 5
    137          5775 3450 5775 3000 5325 3000 5325 3450 5775 3450
     144         5175 3150 5175 2700 4725 2700 4725 3150 5175 3150
    1381452 2 1 1 -1 -1 0 0 -1 4.000 0 0 0 0 0 5
    139          8100 4500 8100 1800 6600 1800 6600 4500 8100 4500
     146         7500 4200 7500 1500 6000 1500 6000 4200 7500 4200
    1401472 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 1 0 2
    141148        1 1 1.00 45.00 90.00
    142          6675 3975 6975 3975
    143 2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 1 0 2
    144         1 1 1.00 45.00 90.00
    145          7050 2775 6825 2775
     149         6450 2475 6225 2475
    1461502 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2
    147          6825 2775 6825 3975
    148 2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 1 0 2
    149         1 1 1.00 45.00 90.00
    150          7125 3975 7350 3975
    151 2 2 0 1 -1 -1 0 0 -1 0.000 0 0 0 0 0 5
    152          7800 4200 7800 3750 7350 3750 7350 4200 7800 4200
    153 2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 1 0 2
    154         1 1 1.00 45.00 90.00
    155          7800 3975 8025 3975
     151         6225 2475 6225 3450
    1561522 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 1 0 4
    157153        1 1 1.00 45.00 90.00
    158          7875 3975 7875 2325 7200 2325 7200 2550
    159 4 1 -1 0 0 0 10 0.0000 2 105 720 5550 4425 Processors\001
    160 4 1 -1 0 0 0 10 0.0000 2 120 1005 4200 3225 Blocked Tasks\001
    161 4 1 -1 0 0 0 10 0.0000 2 150 870 4200 3975 Ready Tasks\001
    162 4 1 -1 0 0 0 10 0.0000 2 135 1095 7350 1725 Other Cluster(s)\001
    163 4 1 -1 0 0 0 10 0.0000 2 105 840 4650 1725 User Cluster\001
    164 4 1 -1 0 0 0 10 0.0000 2 150 615 2175 3675 Manager\001
    165 4 1 -1 0 0 0 10 0.0000 2 105 990 2175 3525 Discrete-event\001
    166 4 1 -1 0 0 0 10 0.0000 2 135 795 2175 4350 preemption\001
     154         7275 3450 7275 2025 6600 2025 6600 2250
     1552 2 0 1 -1 -1 0 0 -1 0.000 0 0 0 0 0 5
     156         5250 4650 5250 4425 5025 4425 5025 4650 5250 4650
     1572 2 1 1 -1 -1 0 0 -1 3.000 0 0 0 0 0 5
     158         6375 4650 6150 4650 6150 4425 6375 4425 6375 4650
     1594 1 -1 0 0 0 10 0.0000 2 105 720 4950 4125 Processors\001
     1604 1 -1 0 0 0 10 0.0000 2 120 1005 3600 2925 Blocked Tasks\001
     1614 1 -1 0 0 0 10 0.0000 2 150 870 3600 3675 Ready Tasks\001
     1624 1 -1 0 0 0 10 0.0000 2 135 1095 6750 1425 Other Cluster(s)\001
     1634 1 -1 0 0 0 10 0.0000 2 105 840 4050 1425 User Cluster\001
     1644 1 -1 0 0 0 10 0.0000 2 150 615 1575 3375 Manager\001
     1654 1 -1 0 0 0 10 0.0000 2 105 990 1575 3225 Discrete-event\001
     1664 1 -1 0 0 0 10 0.0000 2 135 795 1575 4050 preemption\001
     1674 0 -1 0 0 0 10 0.0000 2 150 1365 1725 4575 generator/coroutine\001
     1684 0 -1 0 0 0 10 0.0000 2 120 270 3450 4575 task\001
     1694 0 -1 0 0 0 10 0.0000 2 105 450 6450 4575 cluster\001
     1704 0 -1 0 0 0 10 0.0000 2 105 660 5325 4575 processor\001
     1714 0 -1 0 0 0 10 0.0000 2 105 555 4275 4575 monitor\001
Note: See TracChangeset for help on using the changeset viewer.