Changeset 92b9958 for tests

Timestamp:

Apr 15, 2021, 4:54:01 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

Children:

a0e7d3c

Parents:

200a229 (diff), e2cc3c7 (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:

• futures/multi.cfa (modified) (4 diffs)
• spinaphore.cfa (modified) (2 diffs)

tests/concurrent/futures/multi.cfa

@@ -5 +5 @@
 
 thread Server {
-        int cnt, iteration;
+        int pending, done, iteration;
         multi_future(int) * request;
 };
 
 void ?{}( Server & this ) {
-        this.cnt = 0;
+        ((thread&)this){"Server Thread"};
+        this.pending = 0;
+        this.done = 0;
         this.iteration = 0;
         this.request = 0p;
@@ -16 +18 @@
 
 void ^?{}( Server & mutex this ) {
-        assert(this.cnt == 0);
-    this.request = 0p;
+        assert(this.pending == 0);
+        this.request = 0p;
 }
 
@@ -24 +26 @@
 }
 
-void process( Server & mutex this ) {
-        fulfil( *this.request, this.iteration );
-        this.iteration++;
+void call( Server & mutex this ) {
+        this.pending++;
 }
 
-void call( Server & mutex this ) {
-        this.cnt++;
+void finish( Server & mutex this ) {
+        this.done++;
 }
 
-void finish( Server & mutex this ) { }
-
 void main( Server & this ) {
+        MAIN_LOOP:
         for() {
                 waitfor( ^?{} : this ) {
                         break;
                 }
-                or when( this.cnt < NFUTURES ) waitfor( call: this ) {
-                        if (this.cnt == NFUTURES) {
-                                process(this);
+                or waitfor( call: this ) {
+                        if (this.pending != NFUTURES) { continue MAIN_LOOP; }
+
+                        this.pending = 0;
+                        fulfil( *this.request, this.iteration );
+                        this.iteration++;
+
+                        for(NFUTURES) {
+                                waitfor( finish: this );
                         }
-                }
-                or waitfor( finish: this ) {
-                        if (this.cnt == NFUTURES) {
-                                reset( *this.request );
-                                this.cnt = 0;
-                        }
+
+                        reset( *this.request );
+                        this.done = 0;
                 }
         }
@@ -57 +60 @@
 Server * the_server;
 thread Worker {};
+void ?{}(Worker & this) {
+        ((thread&)this){"Worker Thread"};
+}
+
 multi_future(int) * shared_future;
 

tests/concurrent/spinaphore.cfa

@@ -49 +49 @@
 void main(Unblocker & this) {
         this.sum = 0;
-        unsigned me = (unsigned)&this;
+        unsigned me = (unsigned)(uintptr_t)&this;
         for(num_unblocks) {
                 $thread * t = V(sem, false);
                 Blocker * b = from_thread(t);
                 b->sum += me;
-                this.sum += (unsigned)b;
+                this.sum += (unsigned)(uintptr_t)b;
                 unpark(t);
                 yield(random(10));
@@ -73 +73 @@
                 for(i;num_blockers) {
                         for(num_blocks)
-                                usum += (unsigned)&blockers[i];
+                                usum += (unsigned)(uintptr_t)&blockers[i];
                 }
 
                 for(i;num_unblockers) {
                         for(num_unblocks)
-                                bsum += (unsigned)&unblockers[i];
+                                bsum += (unsigned)(uintptr_t)&unblockers[i];
                 }