Changeset 3bb4f85

Timestamp:

Nov 29, 2021, 4:05:43 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, master, pthread-emulation, qualifiedEnum

Children:

d3605f8

Parents:

8da377d3

Message:

Kernel now waits for eventfd read to flush before terminating.

File:

• libcfa/src/concurrency/kernel.cfa (modified) (1 diff)

libcfa/src/concurrency/kernel.cfa

@@ -381 +381 @@
         }
 
+        for(int i = 0; !available(future); i++) {
+                if(i > 1000) __cfaabi_dbg_write( "ERROR: kernel has bin spinning on a flush after exit loop.\n", 60);
+                __cfa_io_flush( this, 1 );
+        }
+
         __cfa_io_stop( this );