Changeset eafec07

Timestamp:

Aug 4, 2020, 5:27:00 PM (5 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

85eafc5

Parents:

53ee27e

Message:

More pointer fixes

File:

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

libcfa/src/concurrency/io.cfa ¶

@@ -244 +244 @@
                                 uint32_t idx = (i + off) & mask;
                                 struct io_uring_sqe * sqe = &ring.submit_q.sqes[idx];
-                                volatile uint64_t * udata = &sqe->user_data;
+                                volatile uint64_t * udata = (volatile uint64_t *)&sqe->user_data;
 
                                 if( *udata == expected &&
@@ -319 +319 @@
                 __io_data & ring = *ctx->thrd.ring;
                 // Get now the data we definetely need
-                uint32_t * const tail = ring.submit_q.tail;
+                volatile uint32_t * const tail = ring.submit_q.tail;
                 const uint32_t mask  = *ring.submit_q.mask;
 
@@ -366 +366 @@
                         }
 
-                        /* paranoid */ verify( ret > 0 || (ring.ring_flags & IORING_SETUP_SQPOLL) );
+                        /* paranoid */ verify( ret > 0 || to_submit == 0 || (ring.ring_flags & IORING_SETUP_SQPOLL) );
 
                         // Release the consumed SQEs