Ignore:
Timestamp:
Jun 13, 2019, 8:27:28 AM (3 years ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
arm-eh, 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/monitor.fig

    r6625727 rd7a02ae  
    88-2
    991200 2
    10 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
    11105 1 0 1 -1 -1 0 0 -1 0.000 0 1 0 0 1500.000 3600.000 1500 3300 1200 3600 1500 3900
    12 6 4200 1200 4500 1500
    13 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4350 1350 105 105 4350 1350 4455 1455
    14 4 1 -1 0 0 0 10 0.0000 2 105 90 4350 1410 d\001
     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 2400 2400 2700 2700
     131 3 0 1 -1 -1 1 0 4 0.000 1 0.0000 2550 2550 105 105 2550 2550 2655 2550
     144 1 -1 0 0 0 10 0.0000 2 105 90 2550 2610 b\001
    1515-6
    16 6 4200 900 4500 1200
    17 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4350 1050 105 105 4350 1050 4455 1155
    18 4 1 -1 0 0 0 10 0.0000 2 105 90 4350 1110 b\001
     166 2400 2700 2700 3000
     171 3 0 1 -1 -1 1 0 4 0.000 1 0.0000 2550 2850 105 105 2550 2850 2655 2850
     184 1 -1 0 0 0 10 0.0000 2 75 75 2550 2895 a\001
    1919-6
    20 6 2400 1500 2700 1800
    21 1 3 0 1 -1 -1 1 0 4 0.000 1 0.0000 2550 1650 105 105 2550 1650 2655 1650
    22 4 1 -1 0 0 0 10 0.0000 2 105 90 2550 1710 b\001
     206 3300 2400 3600 2700
     211 3 0 1 -1 -1 1 0 4 0.000 1 0.0000 3450 2550 105 105 3450 2550 3555 2550
     224 1 -1 0 0 0 10 0.0000 2 105 90 3450 2610 d\001
    2323-6
    24 6 2400 1800 2700 2100
    25 1 3 0 1 -1 -1 1 0 4 0.000 1 0.0000 2550 1950 105 105 2550 1950 2655 1950
    26 4 1 -1 0 0 0 10 0.0000 2 75 75 2550 1995 a\001
     246 1350 5550 5325 5850
     251 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 1500 5700 80 80 1500 5700 1580 5780
     261 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 2850 5700 105 105 2850 5700 2955 5805
     271 3 0 1 -1 -1 0 0 4 0.000 1 0.0000 4350 5700 105 105 4350 5700 4455 5805
     284 0 -1 0 0 0 12 0.0000 2 180 765 4575 5775 duplicate\001
     294 0 -1 0 0 0 12 0.0000 2 135 1035 3075 5775 blocked task\001
     304 0 -1 0 0 0 12 0.0000 2 135 870 1650 5775 active task\001
    2731-6
    28 6 3300 1500 3600 1800
    29 1 3 0 1 -1 -1 1 0 4 0.000 1 0.0000 3450 1650 105 105 3450 1650 3555 1650
    30 4 1 -1 0 0 0 10 0.0000 2 105 90 3450 1710 d\001
     326 4200 2100 4500 2400
     331 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4350 2250 105 105 4350 2250 4455 2355
     344 1 -1 0 0 0 10 0.0000 2 105 90 4350 2310 d\001
    3135-6
    32 6 1350 4650 5325 4950
    33 1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 1500 4800 80 80 1500 4800 1580 4880
    34 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 2850 4800 105 105 2850 4800 2955 4905
    35 1 3 0 1 -1 -1 0 0 4 0.000 1 0.0000 4350 4800 105 105 4350 4800 4455 4905
    36 4 0 -1 0 0 0 12 0.0000 2 180 765 4575 4875 duplicate\001
    37 4 0 -1 0 0 0 12 0.0000 2 135 1035 3075 4875 blocked task\001
    38 4 0 -1 0 0 0 12 0.0000 2 135 870 1650 4875 active task\001
     366 4200 1800 4500 2100
     371 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4350 1950 105 105 4350 1950 4455 2055
     384 1 -1 0 0 0 10 0.0000 2 105 90 4350 2010 b\001
    3939-6
    40 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 1650 2850 105 105 1650 2850 1755 2955
    41 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 1950 2850 105 105 1950 2850 2055 2955
    42 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4950 3150 105 105 4950 3150 5055 3255
    43 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 5250 3150 105 105 5250 3150 5355 3255
    44 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4350 1950 105 105 4350 1950 4455 2055
    45 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4350 1650 105 105 4350 1650 4455 1755
    46 1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 3450 3825 80 80 3450 3825 3530 3905
    47 1 3 0 1 -1 -1 1 0 4 0.000 1 0.0000 3450 1950 105 105 3450 1950 3555 1950
     401 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 1650 3750 105 105 1650 3750 1755 3855
     411 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 1950 3750 105 105 1950 3750 2055 3855
     421 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4950 4050 105 105 4950 4050 5055 4155
     431 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 5250 4050 105 105 5250 4050 5355 4155
     441 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 3450 4725 80 80 3450 4725 3530 4805
     451 3 0 1 -1 -1 1 0 4 0.000 1 0.0000 3450 2850 105 105 3450 2850 3555 2850
     461 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4350 2850 105 105 4350 2850 4455 2955
     471 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4350 2550 105 105 4350 2550 4455 2655
    48482 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2
    49          2400 2100 2625 2250
     49         2400 3000 2625 3150
    50502 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2
    51          3300 2100 3525 2250
    52 2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2
    53          4200 2100 4425 2250
     51         3300 3000 3525 3150
    54522 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 5
    55          1500 2400 2100 2400 2100 2100 2400 2100 2400 1500
     53         1500 3300 2100 3300 2100 3000 2400 3000 2400 2400
    56542 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 4
    57          1500 3000 2100 3000 2100 3300 1500 3300
    58 2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 3
    59          1500 2700 2100 2700 2250 2925
    60 2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2
    61          2100 2400 1950 2625
     55         1500 3900 2100 3900 2100 4200 1500 4200
    62562 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 3
    6357         1500 3600 2100 3600 2250 3825
    64582 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2
    6559         2100 3300 1950 3525
     602 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 3
     61         1500 4500 2100 4500 2250 4725
     622 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2
     63         2100 4200 1950 4425
    66642 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 4
    67          1500 3900 2100 3900 2100 4200 3300 4200
     65         1500 4800 2100 4800 2100 5100 3300 5100
    68662 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2
    69          4800 3000 4650 3225
     67         4800 3900 4650 4125
    70682 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2
    71          3300 4200 3525 4350
     69         3300 5100 3525 5250
     702 2 1 1 -1 -1 0 0 -1 4.000 0 0 0 0 0 5
     71         4200 4350 4200 3450 2700 3450 2700 4350 4200 4350
    72722 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 4
    73          3600 1500 3600 2100 4200 2100 4200 900
     73         2700 2400 2700 3000 3300 3000 3300 2400
     742 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 4
     75         3600 2400 3600 3000 4050 3000 4050 1800
    74762 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 9
    75          3600 4200 4800 4200 4800 3300 5400 3300 5400 3000 4800 3000
    76          4800 2100 4500 2100 4500 900
    77 2 2 1 1 -1 -1 0 0 -1 4.000 0 0 0 0 0 5
    78          4200 3450 4200 2550 2700 2550 2700 3450 4200 3450
    79 2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 4
    80          2700 1500 2700 2100 3300 2100 3300 1500
    81 4 1 -1 0 0 0 10 0.0000 2 75 75 4350 1995 a\001
    82 4 1 -1 0 0 0 10 0.0000 2 75 75 4350 1695 c\001
    83 4 1 -1 0 0 0 12 0.0000 2 135 315 3450 4575 exit\001
    84 4 1 -1 0 0 0 12 0.0000 2 135 135 1650 2325 A\001
    85 4 1 -1 0 0 0 12 0.0000 2 135 795 1650 4125 condition\001
    86 4 1 -1 0 0 0 12 0.0000 2 135 135 1650 4350 B\001
    87 4 0 -1 0 0 0 12 0.0000 2 135 420 4950 2925 stack\001
    88 4 0 -1 0 0 0 12 0.0000 2 180 750 4950 2475 acceptor/\001
    89 4 0 -1 0 0 0 12 0.0000 2 180 750 4950 2700 signalled\001
    90 4 1 -1 0 0 0 12 0.0000 2 135 795 1650 2100 condition\001
    91 4 1 4 0 0 0 12 0.0000 2 135 135 2550 1425 X\001
    92 4 1 4 0 0 0 12 0.0000 2 135 135 3450 1425 Y\001
    93 4 1 -1 0 0 0 12 0.0000 2 165 420 4350 600 entry\001
    94 4 1 -1 0 0 0 12 0.0000 2 135 495 4350 825 queue\001
    95 4 0 -1 0 0 0 12 0.0000 2 135 525 4650 1650 arrival\001
    96 4 0 -1 0 0 0 12 0.0000 2 135 630 4650 1425 order of\001
    97 4 1 -1 0 0 0 12 0.0000 2 135 525 3450 2925 shared\001
    98 4 1 -1 0 0 0 12 0.0000 2 135 735 3450 3225 variables\001
    99 4 1 -1 0 0 0 12 0.0000 2 120 510 3000 975 mutex\001
    100 4 1 -1 0 0 0 10 0.0000 2 75 75 3450 1995 c\001
    101 4 1 -1 0 0 0 12 0.0000 2 135 570 3000 1200 queues\001
    102 4 0 -1 0 0 3 12 0.0000 2 150 540 4950 3525 urgent\001
     77         3600 5100 4800 5100 4800 4200 5400 4200 5400 3900 4800 3900
     78         4800 3000 4500 3000 4500 1800
     792 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
     80         4050 3000 4500 3150
     814 1 -1 0 0 0 12 0.0000 2 135 315 3450 5475 exit\001
     824 1 -1 0 0 0 12 0.0000 2 135 135 1650 3225 A\001
     834 1 -1 0 0 0 12 0.0000 2 135 795 1650 5025 condition\001
     844 1 -1 0 0 0 12 0.0000 2 135 135 1650 5250 B\001
     854 0 -1 0 0 0 12 0.0000 2 135 420 4950 3825 stack\001
     864 0 -1 0 0 0 12 0.0000 2 180 750 4950 3375 acceptor/\001
     874 0 -1 0 0 0 12 0.0000 2 180 750 4950 3600 signalled\001
     884 1 -1 0 0 0 12 0.0000 2 135 795 1650 3000 condition\001
     894 1 4 0 0 0 12 0.0000 2 135 135 2550 2325 X\001
     904 1 4 0 0 0 12 0.0000 2 135 135 3450 2325 Y\001
     914 1 -1 0 0 0 12 0.0000 2 135 525 3450 3825 shared\001
     924 1 -1 0 0 0 12 0.0000 2 135 735 3450 4125 variables\001
     934 1 -1 0 0 0 10 0.0000 2 75 75 3450 2895 c\001
     944 1 -1 0 0 0 12 0.0000 2 165 1125 3000 2100 mutex queues\001
     954 0 -1 0 0 3 12 0.0000 2 150 540 4950 4425 urgent\001
     964 1 -1 0 0 0 10 0.0000 2 75 75 4350 2895 a\001
     974 1 -1 0 0 0 10 0.0000 2 75 75 4350 2595 c\001
     984 0 -1 0 0 0 12 0.0000 2 135 525 4650 2550 arrival\001
     994 0 -1 0 0 0 12 0.0000 2 135 630 4650 2325 order of\001
     1004 0 4 50 -1 0 11 0.0000 2 120 135 4075 2025 X\001
     1014 0 4 50 -1 0 11 0.0000 2 120 135 4075 2325 Y\001
     1024 0 4 50 -1 0 11 0.0000 2 120 135 4075 2625 Y\001
     1034 0 4 50 -1 0 11 0.0000 2 120 135 4075 2925 X\001
     1044 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.