Changeset 4c4d854

Timestamp:

Feb 19, 2021, 3:18:12 PM (4 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:

150d21a

Parents:

d60d30e

Message:

Fixed broken initialization and add verify.

Location:

libcfa/src/concurrency

Files:

• io.cfa (modified) (1 diff)
• io/setup.cfa (modified) (1 diff)

libcfa/src/concurrency/io.cfa

@@ -502 +502 @@
                 if(ctx->revoked) return;
 
+                /* paranoid */ verify( ctx->proc );
                 remove( this.assigned, *ctx );
 

libcfa/src/concurrency/io/setup.cfa

@@ -220 +220 @@
                 (this.self){ "IO Poller", cl };
                 this.ext_sq.empty = true;
+                this.revoked = true;
                 __io_uring_setup( this, cl.io.params );
                 __cfadbg_print_safe(io_core, "Kernel I/O : Created ring for io_context %u (%p)\n", this.fd, &this);