Ignore:
Timestamp:
Jun 17, 2019, 3:35:22 PM (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
Children:
89faa82
Parents:
b4d34fa
Message:

complete draft for second version of concurrency paper

Location:
doc/papers/concurrency/figures
Files:
2 added
1 edited

Legend:

Unmodified
Added
Removed
  • doc/papers/concurrency/figures/monitor.fig

    rb4d34fa rbd12159  
    88-2
    991200 2
    10 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
    11 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
    12 6 2400 2400 2700 2700
    13 1 3 0 1 -1 -1 1 0 4 0.000 1 0.0000 2550 2550 105 105 2550 2550 2655 2550
    14 4 1 -1 0 0 0 10 0.0000 2 105 90 2550 2610 b\001
    15 -6
    16 6 2400 2700 2700 3000
    17 1 3 0 1 -1 -1 1 0 4 0.000 1 0.0000 2550 2850 105 105 2550 2850 2655 2850
    18 4 1 -1 0 0 0 10 0.0000 2 75 75 2550 2895 a\001
    19 -6
    20 6 3300 2400 3600 2700
    21 1 3 0 1 -1 -1 1 0 4 0.000 1 0.0000 3450 2550 105 105 3450 2550 3555 2550
    22 4 1 -1 0 0 0 10 0.0000 2 105 90 3450 2610 d\001
    23 -6
    24 6 1350 5550 5325 5850
    25 1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 1500 5700 80 80 1500 5700 1580 5780
    26 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 2850 5700 105 105 2850 5700 2955 5805
    27 1 3 0 1 -1 -1 0 0 4 0.000 1 0.0000 4350 5700 105 105 4350 5700 4455 5805
    28 4 0 -1 0 0 0 12 0.0000 2 180 765 4575 5775 duplicate\001
    29 4 0 -1 0 0 0 12 0.0000 2 135 1035 3075 5775 blocked task\001
    30 4 0 -1 0 0 0 12 0.0000 2 135 870 1650 5775 active task\001
    31 -6
    32 6 4200 2100 4500 2400
    33 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4350 2250 105 105 4350 2250 4455 2355
    34 4 1 -1 0 0 0 10 0.0000 2 105 90 4350 2310 d\001
     105 1 0 1 -1 -1 0 0 -1 0.000 0 1 0 0 1500.000 3300.000 1500 3000 1200 3300 1500 3600
     115 1 0 1 -1 -1 0 0 -1 0.000 0 1 0 0 1500.000 4200.000 1500 3900 1200 4200 1500 4500
     126 1350 5250 5325 5550
     131 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 1500 5400 80 80 1500 5400 1580 5480
     141 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 2850 5400 105 105 2850 5400 2955 5505
     151 3 0 1 -1 -1 0 0 4 0.000 1 0.0000 4350 5400 105 105 4350 5400 4455 5505
     164 0 -1 0 0 0 12 0.0000 2 180 765 4575 5475 duplicate\001
     174 0 -1 0 0 0 12 0.0000 2 135 1035 3075 5475 blocked task\001
     184 0 -1 0 0 0 12 0.0000 2 135 870 1650 5475 active task\001
    3519-6
    36206 4200 1800 4500 2100
    37211 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4350 1950 105 105 4350 1950 4455 2055
    38 4 1 -1 0 0 0 10 0.0000 2 105 90 4350 2010 b\001
     224 1 -1 0 0 0 10 0.0000 2 105 90 4350 2010 d\001
    3923-6
    40 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 1650 3750 105 105 1650 3750 1755 3855
    41 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 1950 3750 105 105 1950 3750 2055 3855
    42 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4950 4050 105 105 4950 4050 5055 4155
    43 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 5250 4050 105 105 5250 4050 5355 4155
    44 1 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 3450 4725 80 80 3450 4725 3530 4805
    45 1 3 0 1 -1 -1 1 0 4 0.000 1 0.0000 3450 2850 105 105 3450 2850 3555 2850
    46 1 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4350 2850 105 105 4350 2850 4455 2955
     246 4200 1500 4500 1800
     251 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4350 1650 105 105 4350 1650 4455 1755
     264 1 -1 0 0 0 10 0.0000 2 105 90 4350 1710 b\001
     27-6
     281 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 1650 3450 105 105 1650 3450 1755 3555
     291 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 1950 3450 105 105 1950 3450 2055 3555
     301 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4950 3750 105 105 4950 3750 5055 3855
     311 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 5250 3750 105 105 5250 3750 5355 3855
     321 3 0 1 -1 -1 0 0 20 0.000 1 0.0000 3450 4425 80 80 3450 4425 3530 4505
    47331 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4350 2550 105 105 4350 2550 4455 2655
     341 3 0 1 -1 -1 0 0 -1 0.000 1 0.0000 4350 2250 105 105 4350 2250 4455 2355
     352 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 5
     36         1500 3000 2100 3000 2100 2700 2400 2700 2400 2100
     372 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 4
     38         1500 3600 2100 3600 2100 3900 1500 3900
     392 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 3
     40         1500 3300 2100 3300 2250 3525
    48412 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2
    49          2400 3000 2625 3150
     42         2100 3000 1950 3225
     432 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 3
     44         1500 4200 2100 4200 2250 4425
    50452 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2
    51          3300 3000 3525 3150
    52 2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 5
    53          1500 3300 2100 3300 2100 3000 2400 3000 2400 2400
     46         2100 3900 1950 4125
    54472 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 4
    55          1500 3900 2100 3900 2100 4200 1500 4200
    56 2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 3
    57          1500 3600 2100 3600 2250 3825
     48         1500 4500 2100 4500 2100 4800 3300 4800
    58492 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2
    59          2100 3300 1950 3525
    60 2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 3
    61          1500 4500 2100 4500 2250 4725
     50         4800 3600 4650 3825
    62512 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2
    63          2100 4200 1950 4425
     52         3300 4800 3525 4950
     532 2 1 1 -1 -1 0 0 -1 4.000 0 0 0 0 0 5
     54         4200 4050 4200 3150 2700 3150 2700 4050 4200 4050
    64552 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 4
    65          1500 4800 2100 4800 2100 5100 3300 5100
    66 2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2
    67          4800 3900 4650 4125
    68 2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 2
    69          3300 5100 3525 5250
    70 2 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
    72 2 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 4
    73          2700 2400 2700 3000 3300 3000 3300 2400
    74 2 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
     56         3600 2100 3600 2700 4050 2700 4050 1500
    76572 1 0 1 -1 -1 0 0 -1 0.000 0 0 -1 0 0 9
    77          3600 5100 4800 5100 4800 4200 5400 4200 5400 3900 4800 3900
    78          4800 3000 4500 3000 4500 1800
     58         3600 4800 4800 4800 4800 3900 5400 3900 5400 3600 4800 3600
     59         4800 2700 4500 2700 4500 1500
    79602 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
    80          4050 3000 4500 3150
    81 4 1 -1 0 0 0 12 0.0000 2 135 315 3450 5475 exit\001
    82 4 1 -1 0 0 0 12 0.0000 2 135 135 1650 3225 A\001
    83 4 1 -1 0 0 0 12 0.0000 2 135 795 1650 5025 condition\001
    84 4 1 -1 0 0 0 12 0.0000 2 135 135 1650 5250 B\001
    85 4 0 -1 0 0 0 12 0.0000 2 135 420 4950 3825 stack\001
    86 4 0 -1 0 0 0 12 0.0000 2 180 750 4950 3375 acceptor/\001
    87 4 0 -1 0 0 0 12 0.0000 2 180 750 4950 3600 signalled\001
    88 4 1 -1 0 0 0 12 0.0000 2 135 795 1650 3000 condition\001
    89 4 1 4 0 0 0 12 0.0000 2 135 135 2550 2325 X\001
    90 4 1 4 0 0 0 12 0.0000 2 135 135 3450 2325 Y\001
    91 4 1 -1 0 0 0 12 0.0000 2 135 525 3450 3825 shared\001
    92 4 1 -1 0 0 0 12 0.0000 2 135 735 3450 4125 variables\001
    93 4 1 -1 0 0 0 10 0.0000 2 75 75 3450 2895 c\001
    94 4 1 -1 0 0 0 12 0.0000 2 165 1125 3000 2100 mutex queues\001
    95 4 0 -1 0 0 3 12 0.0000 2 150 540 4950 4425 urgent\001
    96 4 1 -1 0 0 0 10 0.0000 2 75 75 4350 2895 a\001
    97 4 1 -1 0 0 0 10 0.0000 2 75 75 4350 2595 c\001
    98 4 0 -1 0 0 0 12 0.0000 2 135 525 4650 2550 arrival\001
    99 4 0 -1 0 0 0 12 0.0000 2 135 630 4650 2325 order of\001
    100 4 0 4 50 -1 0 11 0.0000 2 120 135 4075 2025 X\001
     61         4050 2700 4500 2850
     624 1 -1 0 0 0 12 0.0000 2 135 315 3450 5175 exit\001
     634 1 -1 0 0 0 12 0.0000 2 135 795 1650 4725 condition\001
     644 1 -1 0 0 0 12 0.0000 2 135 135 1650 4950 B\001
     654 0 -1 0 0 0 12 0.0000 2 135 420 4950 3525 stack\001
     664 0 -1 0 0 0 12 0.0000 2 180 750 4950 3075 acceptor/\001
     674 0 -1 0 0 0 12 0.0000 2 180 750 4950 3300 signalled\001
     684 1 -1 0 0 0 12 0.0000 2 135 525 3450 3525 shared\001
     694 1 -1 0 0 0 12 0.0000 2 135 735 3450 3825 variables\001
     704 0 -1 0 0 3 12 0.0000 2 150 540 4950 4125 urgent\001
     714 1 -1 0 0 0 10 0.0000 2 75 75 4350 2595 a\001
     724 1 -1 0 0 0 10 0.0000 2 75 75 4350 2295 c\001
     734 0 -1 0 0 0 12 0.0000 2 135 525 4650 2250 arrival\001
     744 0 -1 0 0 0 12 0.0000 2 135 630 4650 2025 order of\001
     754 0 4 50 -1 0 11 0.0000 2 120 135 4075 1725 X\001
     764 0 4 50 -1 0 11 0.0000 2 120 135 4075 2025 Y\001
    101774 0 4 50 -1 0 11 0.0000 2 120 135 4075 2325 Y\001
    102 4 0 4 50 -1 0 11 0.0000 2 120 135 4075 2625 Y\001
    103 4 0 4 50 -1 0 11 0.0000 2 120 135 4075 2925 X\001
    104 4 1 -1 0 0 0 12 0.0000 2 165 960 4275 1725 entry queue\001
     784 0 4 50 -1 0 11 0.0000 2 120 135 4075 2625 X\001
     794 1 -1 0 0 0 12 0.0000 2 165 960 4275 1425 entry queue\001
Note: See TracChangeset for help on using the changeset viewer.