Changeset b580bcc for tests/concurrent

Timestamp:

Apr 1, 2021, 4:20:00 PM (5 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum, stuck-waitfor-destruct

Children:

fd1f65e

Parents:

3bd2464 (diff), 198e335 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

Location:

tests/concurrent

Files:

• .expect/semaphore.txt (added)
• semaphore.cfa (added)
• spinaphore.cfa (modified) (2 diffs)

tests/concurrent/spinaphore.cfa

@@ -36 +36 @@
         this.sum = 0;
         for(num_blocks) {
-                // sout | "b P" | me;
                 P(sem);
                 if(((thread&)this).seqable.next != 0p) sout | "Link not invalidated";
-                // sout | "a P" | me;
         }
 }
@@ -58 +56 @@
                 this.sum += (unsigned)b;
                 unpark(t);
-                // sout | "a V" | t;
                 yield(random(10));
         }