Changeset 31fc80f
- Timestamp:
- Mar 29, 2021, 2:14:13 PM (4 years ago)
- Branches:
- ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- e20eaf4
- Parents:
- b202dc2
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
tests/concurrent/spinaphore.cfa
rb202dc2 r31fc80f 36 36 this.sum = 0; 37 37 for(num_blocks) { 38 // sout | "b P" | me;39 38 P(sem); 40 39 if(((thread&)this).seqable.next != 0p) sout | "Link not invalidated"; 41 // sout | "a P" | me;42 40 } 43 41 } … … 58 56 this.sum += (unsigned)b; 59 57 unpark(t); 60 // sout | "a V" | t;61 58 yield(random(10)); 62 59 }
Note: See TracChangeset
for help on using the changeset viewer.