Changeset d923fca for tests/concurrency/waituntil/all_types.cfa
- Timestamp:
- Feb 18, 2025, 12:54:23 PM (6 weeks ago)
- Branches:
- master
- Children:
- 8705a11
- Parents:
- 3e5fea2
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
TabularUnified tests/concurrency/waituntil/all_types.cfa ¶
r3e5fea2 rd923fca 33 33 34 34 thread Server1 {}; 35 void main( Server1 & this) {36 long long int a, b,c, i = 0, myTotal = 0;35 void main( Server1 & ) { 36 long long int a, c, i = 0, myTotal = 0; 37 37 for( ;;i++ ) { 38 38 when( i % 2 == 0 ) waituntil( a << A ) { myTotal += a; } … … 46 46 47 47 thread Drainer {}; // ensures that the changing when states of Server1 don't result in a deadlock 48 void main( Drainer & this) {49 long long int a, b,c, myTotal = 0;48 void main( Drainer & ) { 49 long long int a, c, myTotal = 0; 50 50 for( ;; ) { 51 51 waituntil( F ) { myTotal += get(F); reset( F ); } … … 59 59 60 60 thread Churner {}; // performs non-waituntil try insert/remove operations to add churn/interference 61 void main( Churner & this) {61 void main( Churner & ) { 62 62 long long int out, myTotal = 0; 63 63 bool success;
Note: See TracChangeset
for help on using the changeset viewer.