Changeset 85e49a6 for tests/concurrent/waituntil

Timestamp:

May 6, 2023, 1:28:27 PM (14 months ago)

Author:

caparsons <caparson@…>

Branches:

ADT, ast-experimental, master

Children:

a32a887

Parents:

dd7a8ce

Message:

added and removed some tests in pursuit of a more minimal repro of the deadlock failure case

Location:

tests/concurrent/waituntil

Files:

• .expect/chan-and-no-else.txt (added)
• .expect/chan-and.txt (added)
• .expect/chan-no-else.txt (added)
• .expect/chan-or-no-else.txt (added)
• .expect/chan-or.txt (added)
• chan-and-no-else.cfa (added)
• chan-and.cfa (added)
• chan-no-else.cfa (added)
• chan-or-no-else.cfa (added)
• chan-or.cfa (added)
• channels-SPSC.cfa (modified) (1 diff)

tests/concurrent/waituntil/channels-SPSC.cfa

@@ -43 +43 @@
         }
         printf("waiting for empty channels\n");
-        while( get_count( A ) > 0 || get_count( B ) > 0 || get_count( C ) > 0 ) { }
+        size_t A_count = get_count( A );
+        size_t B_count = get_count( B );
+        size_t C_count = get_count( C );
+        while( A_count > 0 || B_count > 0 || C_count > 0 ) { 
+            A_count = get_count( A );
+            B_count = get_count( B );
+            C_count = get_count( C );
+        }
         printf("sending sentinels\n");
         for ( i; numServers ) insert( C, -1 );