Changeset 1f55a75 for libcfa/src/concurrency/io/setup.cfa

Timestamp:

Mar 23, 2021, 9:19:47 PM (3 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:

98d9ce9

Parents:

f9c3100 (diff), e825c9d (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

File:

• libcfa/src/concurrency/io/setup.cfa (modified) (2 diffs)

libcfa/src/concurrency/io/setup.cfa

@@ -110 +110 @@
                 this.arbiter = cl.io.arbiter;
                 this.ext_sq.empty = true;
-                (this.ext_sq.blocked){};
+                (this.ext_sq.queue){};
                 __io_uring_setup( this, cl.io.params, proc->idle );
                 __cfadbg_print_safe(io_core, "Kernel I/O : Created ring for io_context %u (%p)\n", this.fd, &this);
@@ -329 +329 @@
 //=============================================================================================
         void ?{}( $io_arbiter & this ) {
-                this.pending.flag = false;
-        }
-
-        void ^?{}( $io_arbiter & mutex this ) {
-                // /* paranoid */ verify( empty(this.assigned) );
-                // /* paranoid */ verify( empty(this.available) );
-                /* paranoid */ verify( is_empty(this.pending.blocked) );
-        }
+                this.pending.empty = true;
+        }
+
+        void ^?{}( $io_arbiter & this ) {}
 
         $io_arbiter * create(void) {