Ignore:
Timestamp:
Feb 14, 2020, 3:28:17 PM (5 years ago)
Author:
Thierry Delisle <tdelisle@…>
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:
8c50aed
Parents:
50b8885
Message:

Yield now uses force_yield instead of park/unpark.
Final ctxswitch of a thread now uses ad-hoc mechanism instead of park/unpark.

Location:
tests/concurrent/park
Files:
2 edited

Legend:

Unmodified
Added
Removed

  • tests/concurrent/park/.expect/force_preempt.txt

    r50b8885 rb0c7419  
    1 0 Calling unpark (No Force) 0
    2 1 Calling unpark (No Force) 0
    3 2 Calling unpark (No Force) 0
    4 3 Calling unpark (No Force) 0
    5 4 Calling unpark (No Force) 0
    6 0 Parking (No Force) 0
    7 0 Unparked (No Force) 0
    8 0 Calling unpark (No Force) 1
    9 1 Parking (No Force) 0
    10 1 Unparked (No Force) 0
    11 1 Calling unpark (No Force) 1
    12 2 Parking (No Force) 0
    13 2 Unparked (No Force) 0
    14 2 Calling unpark (No Force) 1
    15 3 Parking (No Force) 0
    16 3 Unparked (No Force) 0
    17 3 Calling unpark (No Force) 1
    18 4 Parking (No Force) 0
    19 4 Unparked (No Force) 0
    20 4 Calling unpark (No Force) 1
    21 0 Parking (No Force) 1
    22 0 Unparked (No Force) 1
    23 0 Calling unpark (No Force) 2
    24 1 Parking (No Force) 1
    25 1 Unparked (No Force) 1
    26 1 Calling unpark (No Force) 2
    27 2 Parking (No Force) 1
    28 2 Unparked (No Force) 1
    29 2 Calling unpark (No Force) 2
    30 3 Parking (No Force) 1
    31 3 Unparked (No Force) 1
    32 3 Calling unpark (No Force) 2
    33 4 Parking (No Force) 1
    34 4 Unparked (No Force) 1
    35 4 Calling unpark (No Force) 2
    36 0 Parking (No Force) 2
    37 0 Unparked (No Force) 2
    38 0 Calling unpark (No Force) 3
    39 1 Parking (No Force) 2
    40 1 Unparked (No Force) 2
    41 1 Calling unpark (No Force) 3
    42 2 Parking (No Force) 2
    43 2 Unparked (No Force) 2
    44 2 Calling unpark (No Force) 3
    45 3 Parking (No Force) 2
    46 3 Unparked (No Force) 2
    47 3 Calling unpark (No Force) 3
    48 4 Parking (No Force) 2
    49 4 Unparked (No Force) 2
    50 4 Calling unpark (No Force) 3
    51 0 Parking (No Force) 3
    52 0 Unparked (No Force) 3
    53 0 Calling unpark (No Force) 4
    54 1 Parking (No Force) 3
    55 1 Unparked (No Force) 3
    56 1 Calling unpark (No Force) 4
    57 2 Parking (No Force) 3
    58 2 Unparked (No Force) 3
    59 2 Calling unpark (No Force) 4
    60 3 Parking (No Force) 3
    61 3 Unparked (No Force) 3
    62 3 Calling unpark (No Force) 4
    63 4 Parking (No Force) 3
    64 4 Unparked (No Force) 3
    65 4 Calling unpark (No Force) 4
    66 0 Parking (No Force) 4
    67 0 Unparked (No Force) 4
    68 0 Calling unpark (Force) 0
    69 1 Parking (No Force) 4
    70 1 Unparked (No Force) 4
    71 1 Calling unpark (Force) 0
    72 2 Parking (No Force) 4
    73 2 Unparked (No Force) 4
    74 2 Calling unpark (Force) 0
    75 3 Parking (No Force) 4
    76 3 Unparked (No Force) 4
    77 3 Calling unpark (Force) 0
    78 4 Parking (No Force) 4
    79 4 Unparked (No Force) 4
    80 4 Calling unpark (Force) 0
    81 0 Parking (Force) 0
    82 1 Parking (Force) 0
    83 2 Parking (Force) 0
    84 3 Parking (Force) 0
    85 4 Parking (Force) 0
    86 0 Unparked (Force) 0
    87 0 Calling unpark (Force) 1
    88 1 Unparked (Force) 0
    89 1 Calling unpark (Force) 1
    90 2 Unparked (Force) 0
    91 2 Calling unpark (Force) 1
    92 3 Unparked (Force) 0
    93 3 Calling unpark (Force) 1
    94 4 Unparked (Force) 0
    95 4 Calling unpark (Force) 1
    96 0 Parking (Force) 1
    97 1 Parking (Force) 1
    98 2 Parking (Force) 1
    99 3 Parking (Force) 1
    100 4 Parking (Force) 1
    101 0 Unparked (Force) 1
    102 0 Calling unpark (Force) 2
    103 1 Unparked (Force) 1
    104 1 Calling unpark (Force) 2
    105 2 Unparked (Force) 1
    106 2 Calling unpark (Force) 2
    107 3 Unparked (Force) 1
    108 3 Calling unpark (Force) 2
    109 4 Unparked (Force) 1
    110 4 Calling unpark (Force) 2
    111 0 Parking (Force) 2
    112 1 Parking (Force) 2
    113 2 Parking (Force) 2
    114 3 Parking (Force) 2
    115 4 Parking (Force) 2
    116 0 Unparked (Force) 2
    117 0 Calling unpark (Force) 3
    118 1 Unparked (Force) 2
    119 1 Calling unpark (Force) 3
    120 2 Unparked (Force) 2
    121 2 Calling unpark (Force) 3
    122 3 Unparked (Force) 2
    123 3 Calling unpark (Force) 3
    124 4 Unparked (Force) 2
    125 4 Calling unpark (Force) 3
    126 0 Parking (Force) 3
    127 1 Parking (Force) 3
    128 2 Parking (Force) 3
    129 3 Parking (Force) 3
    130 4 Parking (Force) 3
    131 0 Unparked (Force) 3
    132 0 Calling unpark (Force) 4
    133 1 Unparked (Force) 3
    134 1 Calling unpark (Force) 4
    135 2 Unparked (Force) 3
    136 2 Calling unpark (Force) 4
    137 3 Unparked (Force) 3
    138 3 Calling unpark (Force) 4
    139 4 Unparked (Force) 3
    140 4 Calling unpark (Force) 4
    141 0 Parking (Force) 4
    142 1 Parking (Force) 4
    143 2 Parking (Force) 4
    144 3 Parking (Force) 4
    145 4 Parking (Force) 4
    146 0 Unparked (Force) 4
    147 1 Unparked (Force) 4
    148 2 Unparked (Force) 4
    149 3 Unparked (Force) 4
    150 4 Unparked (Force) 4
     10 Calling unpark 0
     21 Calling unpark 0
     32 Calling unpark 0
     43 Calling unpark 0
     54 Calling unpark 0
     60 Parking 0
     70 Unparked 0
     80 Calling unpark 1
     91 Parking 0
     101 Unparked 0
     111 Calling unpark 1
     122 Parking 0
     132 Unparked 0
     142 Calling unpark 1
     153 Parking 0
     163 Unparked 0
     173 Calling unpark 1
     184 Parking 0
     194 Unparked 0
     204 Calling unpark 1
     210 Parking 1
     220 Unparked 1
     230 Calling unpark 2
     241 Parking 1
     251 Unparked 1
     261 Calling unpark 2
     272 Parking 1
     282 Unparked 1
     292 Calling unpark 2
     303 Parking 1
     313 Unparked 1
     323 Calling unpark 2
     334 Parking 1
     344 Unparked 1
     354 Calling unpark 2
     360 Parking 2
     370 Unparked 2
     380 Calling unpark 3
     391 Parking 2
     401 Unparked 2
     411 Calling unpark 3
     422 Parking 2
     432 Unparked 2
     442 Calling unpark 3
     453 Parking 2
     463 Unparked 2
     473 Calling unpark 3
     484 Parking 2
     494 Unparked 2
     504 Calling unpark 3
     510 Parking 3
     520 Unparked 3
     530 Calling unpark 4
     541 Parking 3
     551 Unparked 3
     561 Calling unpark 4
     572 Parking 3
     582 Unparked 3
     592 Calling unpark 4
     603 Parking 3
     613 Unparked 3
     623 Calling unpark 4
     634 Parking 3
     644 Unparked 3
     654 Calling unpark 4
     660 Parking 4
     670 Unparked 4
     681 Parking 4
     691 Unparked 4
     702 Parking 4
     712 Unparked 4
     723 Parking 4
     733 Unparked 4
     744 Parking 4
     754 Unparked 4

  • tests/concurrent/park/force_preempt.cfa

    r50b8885 rb0c7419  
    2020
    2121
    22 void park_loop(Waiter & this, int id, bool force) {
     22volatile int count = 0;
     23
     24void main(Waiter & this) {
     25        // Get a unique id
     26        int id = __atomic_fetch_add(&count, 1, __ATOMIC_SEQ_CST);
    2327
    2428        for(int i = 0; i < 5; i++) {
    2529                // Unpark this thread, don't force a yield
    26                 sout | id | "Calling unpark" | (force ? "(Force)" : "(No Force)") | i;
    27                 unpark(this, force);
     30                sout | id | "Calling unpark" | i;
     31                unpark(this);
    2832
    2933                // Force a preemption before the call to park
    … …  
    3236
    3337                // Park this thread,
    34                 sout | id | "Parking"  | (force ? "(Force)" : "(No Force)") | i;
     38                sout | id | "Parking" | i;
    3539                park();
    36                 sout | id | "Unparked" | (force ? "(Force)" : "(No Force)") | i;
     40                sout | id | "Unparked" | i;
    3741        }
    38 }
    39 
    40 volatile int count = 0;
    41 
    42 void main(Waiter & this) {
    43         // Get a unique id
    44         int id = __atomic_fetch_add(&count, 1, __ATOMIC_SEQ_CST);
    45 
    46         // First without forcing yield
    47         park_loop( this, id, false );
    48 
    49         // First with forcing yield
    50         park_loop( this, id, true  );
    5142}
    5243
Note: See TracChangeset for help on using the changeset viewer.