Changeset e2cc3c7

Timestamp:

Apr 15, 2021, 3:43:04 PM (3 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

78d6c803, 92b9958

Parents:

84cd72d

Message:

Attempted fix of multi future test by making server monitor more strict.
It is still not clear that this test stresses futures significantly.

File:

• tests/concurrent/futures/multi.cfa (modified) (4 diffs)

tests/concurrent/futures/multi.cfa

@@ -5 +5 @@
 
 thread Server {
-        int cnt, iteration;
+        int pending, done, iteration;
         multi_future(int) * request;
 };
@@ -11 +11 @@
 void ?{}( Server & this ) {
         ((thread&)this){"Server Thread"};
-        this.cnt = 0;
+        this.pending = 0;
+        this.done = 0;
         this.iteration = 0;
         this.request = 0p;
@@ -17 +18 @@
 
 void ^?{}( Server & mutex this ) {
-        assert(this.cnt == 0);
-    this.request = 0p;
+        assert(this.pending == 0);
+        this.request = 0p;
 }
 
@@ -25 +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;
                 }
         }