Changeset 10b5970 for tests/concurrency/unified_locking
- Timestamp:
- Jan 7, 2025, 3:22:19 PM (9 months ago)
- Branches:
- master
- Children:
- 190a833
- Parents:
- 70670e7
- Location:
- tests/concurrency/unified_locking
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
tests/concurrency/unified_locking/locks.cfa
r70670e7 r10b5970 23 23 thread T_C_M_WS1 {}; 24 24 25 void main( T_C_M_WS1 & this) {25 void main( T_C_M_WS1 & ) { 26 26 for (unsigned int i = 0; i < num_times; i++) { 27 27 lock(m); … … 37 37 thread T_C_M_WB1 {}; 38 38 39 void main( T_C_M_WB1 & this) {39 void main( T_C_M_WB1 & ) { 40 40 for (unsigned int i = 0; i < num_times; i++) { 41 41 lock(m); … … 51 51 thread T_C_S_WS1 {}; 52 52 53 void main( T_C_S_WS1 & this) {53 void main( T_C_S_WS1 & ) { 54 54 for (unsigned int i = 0; i < num_times; i++) { 55 55 lock(s); … … 65 65 thread T_C_S_WB1 {}; 66 66 67 void main( T_C_S_WB1 & this) {67 void main( T_C_S_WB1 & ) { 68 68 for (unsigned int i = 0; i < num_times; i++) { 69 69 lock(s); … … 79 79 thread T_C_L_WS1 {}; 80 80 81 void main( T_C_L_WS1 & this) {81 void main( T_C_L_WS1 & ) { 82 82 for (unsigned int i = 0; i < num_times; i++) { 83 83 lock(l); … … 93 93 thread T_C_L_WB1 {}; 94 94 95 void main( T_C_L_WB1 & this) {95 void main( T_C_L_WB1 & ) { 96 96 for (unsigned int i = 0; i < num_times; i++) { 97 97 lock(l); … … 107 107 thread T_F_C_F_WS1 {}; 108 108 109 void main( T_F_C_F_WS1 & this) {109 void main( T_F_C_F_WS1 & ) { 110 110 for (unsigned int i = 0; i < num_times; i++) { 111 111 lock(f); … … 121 121 thread T_C_O_WS1 {}; 122 122 123 void main( T_C_O_WS1 & this) {123 void main( T_C_O_WS1 & ) { 124 124 for (unsigned int i = 0; i < num_times; i++) { 125 125 lock(o); … … 135 135 thread T_C_O_WB1 {}; 136 136 137 void main( T_C_O_WB1 & this) {137 void main( T_C_O_WB1 & ) { 138 138 for (unsigned int i = 0; i < num_times; i++) { 139 139 lock(o); … … 149 149 thread T_C_M_WS2 {}; 150 150 151 void main( T_C_M_WS2 & this) {151 void main( T_C_M_WS2 & ) { 152 152 for (unsigned int i = 0; i < num_times; i++) { 153 153 lock(m); … … 167 167 thread T_C_O_WS2 {}; 168 168 169 void main( T_C_O_WS2 & this) {169 void main( T_C_O_WS2 & ) { 170 170 for (unsigned int i = 0; i < num_times; i++) { 171 171 lock(o); … … 185 185 thread T_C_NLW {}; 186 186 187 void main( T_C_NLW & this) {187 void main( T_C_NLW & ) { 188 188 for (unsigned int i = 0; i < num_times; i++) { 189 189 wait(c_o); … … 193 193 thread T_C_NLS {}; 194 194 195 void main( T_C_NLS & this) {195 void main( T_C_NLS & ) { 196 196 for (unsigned int i = 0; i < num_times; i++) { 197 197 while (empty(c_o)) { } … … 202 202 thread T_C_S_WNF {}; 203 203 204 void main( T_C_S_WNF & this) {204 void main( T_C_S_WNF & ) { 205 205 for (unsigned int i = 0; i < num_times; i++) { 206 206 lock(s); … … 219 219 thread T_C_NLWD {}; 220 220 221 void main( T_C_NLWD & this) {221 void main( T_C_NLWD & ) { 222 222 done = false; 223 223 for (unsigned int i = 0; i < num_times/5; i++) { … … 230 230 thread T_C_WDS {}; 231 231 232 void main( T_C_WDS & this) {232 void main( T_C_WDS & ) { 233 233 for (unsigned int i = 0; i < num_times; i++) { 234 234 while (empty(c_s) && !done) { } … … 241 241 thread T_C_LWD {}; 242 242 243 void main( T_C_LWD & this) {243 void main( T_C_LWD & ) { 244 244 done = false; 245 245 for (unsigned int i = 0; i < num_times/5; i++) { … … 254 254 thread T_C_LWDS {}; 255 255 256 void main( T_C_LWDS & this) {256 void main( T_C_LWDS & ) { 257 257 for (unsigned int i = 0; i < num_times; i++) { 258 258 while (empty(c_s) && !done) { } -
tests/concurrency/unified_locking/pthread_locks.cfa
r70670e7 r10b5970 18 18 thread Wait_Signal_1 {}; 19 19 20 void main( Wait_Signal_1 & this) {20 void main( Wait_Signal_1 & ) { 21 21 for (unsigned int i = 0; i < num_times; i++) { 22 22 lock(l); … … 32 32 thread Wait_3_Signal_3 {}; 33 33 34 void main( Wait_3_Signal_3 & this) {34 void main( Wait_3_Signal_3 & ) { 35 35 for (unsigned int i = 0; i < num_times; i++) { 36 36 lock(l); … … 48 48 thread Rec_Lock_Wait_Signal_1 {}; 49 49 50 void main( Rec_Lock_Wait_Signal_1 & this) {50 void main( Rec_Lock_Wait_Signal_1 & ) { 51 51 for (unsigned int i = 0; i < num_times; i++) { 52 52 lock(l); … … 66 66 thread Wait_Time_Signal_1 {}; 67 67 68 void main( Wait_Time_Signal_1 & this) {68 void main( Wait_Time_Signal_1 & ) { 69 69 for (unsigned int i = 0; i < num_times; i++) { 70 70 lock(l); … … 74 74 timespec waitTime{0,1}; 75 75 bool woken = wait(c,l, t + waitTime); 76 (void) woken; 76 77 }else{ 77 78 notify_one(c);
Note:
See TracChangeset
for help on using the changeset viewer.