Changes in / [cb0bcf1:4a40fca7]

Location:

libcfa/src/concurrency

Files:

• io.cfa (modified) (5 diffs)
• io/types.hfa (modified) (3 diffs)
• pthread.cfa (modified) (8 diffs)

libcfa/src/concurrency/io.cfa

@@ -594 +594 @@
                 lock( queue.lock __cfaabi_dbg_ctx2 );
                 {
-                        was_empty = queue.queue`isEmpty;
+                        was_empty = empty(queue.queue);
 
                         // Add our request to the list
-                        insert_last( queue.queue, item );
+                        add( queue.queue, item );
 
                         // Mark as pending
@@ -632 +632 @@
         // notify the arbiter that new allocations are available
         static void __ioarbiter_notify( io_arbiter$ & this, io_context$ * ctx ) {
-                /* paranoid */ verify( !this.pending.queue`isEmpty );
+                /* paranoid */ verify( !empty(this.pending.queue) );
                 /* paranoid */ verify( __preemption_enabled() );
 
@@ -642 +642 @@
                         // as long as there are pending allocations try to satisfy them
                         // for simplicity do it in FIFO order
-                        while( !this.pending.queue`isEmpty ) {
+                        while( !empty(this.pending.queue) ) {
                                 // get first pending allocs
                                 __u32 have = ctx->sq.free_ring.tail - ctx->sq.free_ring.head;
-                                __pending_alloc & pa = (__pending_alloc&)(this.pending.queue`first);
+                                __pending_alloc & pa = (__pending_alloc&)head( this.pending.queue );
 
                                 // check if we have enough to satisfy the request
@@ -651 +651 @@
 
                                 // if there are enough allocations it means we can drop the request
-                                try_pop_front( this.pending.queue );
+                                drop( this.pending.queue );
 
                                 /* paranoid */__attribute__((unused)) bool ret =
@@ -727 +727 @@
                         // pop each operation one at a time.
                         // There is no wait morphing because of the io sq ring
-                        while( !ctx.ext_sq.queue`isEmpty ) {
+                        while( !empty(ctx.ext_sq.queue) ) {
                                 // drop the element from the queue
-                                __external_io & ei = (__external_io&)try_pop_front( ctx.ext_sq.queue );
+                                __external_io & ei = (__external_io&)drop( ctx.ext_sq.queue );
 
                                 // submit it

libcfa/src/concurrency/io/types.hfa

@@ -24 +24 @@
 
 #include "bits/locks.hfa"
+#include "bits/queue.hfa"
 #include "iofwd.hfa"
 #include "kernel/fwd.hfa"
 
 #if defined(CFA_HAVE_LINUX_IO_URING_H)
+        #include "bits/sequence.hfa"
         #include "monitor.hfa"
 
@@ -118 +120 @@
         struct __outstanding_io {
                 // intrusive link fields
-                inline dlink(__outstanding_io);
+                inline Colable;
 
                 // primitive on which to block until the io is processed
                 oneshot waitctx;
         };
-    P9_EMBEDDED( __outstanding_io, dlink(__outstanding_io) )
+        static inline __outstanding_io *& Next( __outstanding_io * n ) { return (__outstanding_io *)Next( (Colable *)n ); }
 
         // queue of operations that are outstanding
@@ -132 +134 @@
 
                 // the actual queue
-                dlist(__outstanding_io) queue;
+                Queue(__outstanding_io) queue;
 
                 // volatile used to avoid the need for taking the lock if it's empty

libcfa/src/concurrency/pthread.cfa

@@ -20 +20 @@
 #include <errno.h>
 #include "locks.hfa"
+#include "bits/stack.hfa"
+#include "bits/sequence.hfa"
+
 
 #define check_nonnull(x) asm("": "+rm"(x)); if( x == 0p ) return EINVAL;
@@ -31 +34 @@
 
 struct pthread_values{
-        inline dlink(pthread_values);
+        inline Seqable;
         void * value;
         bool in_use;
 };
-P9_EMBEDDED( pthread_values, dlink(pthread_values) )
+
+static inline {
+        pthread_values *& Back( pthread_values * n ) {
+                return (pthread_values *)Back( (Seqable *)n );
+        }
+
+        pthread_values *& Next( pthread_values * n ) {
+                return (pthread_values *)Next( (Colable *)n );
+        }
+}
 
 struct pthread_keys {
         bool in_use;
         void (* destructor)( void * );
-    dlist( pthread_values ) threads;
+        Sequence(pthread_values) threads;
 };
 
@@ -66 +78 @@
 
 struct Pthread_kernel_threads{
-        inline dlink(Pthread_kernel_threads);
+        inline Colable;
         processor p;
 };
-P9_EMBEDDED( Pthread_kernel_threads, dlink(Pthread_kernel_threads) )
-
-static dlist(Pthread_kernel_threads) cfa_pthreads_kernel_threads;
+
+Pthread_kernel_threads *& Next( Pthread_kernel_threads * n ) {
+        return (Pthread_kernel_threads *)Next( (Colable *)n );
+}
+
+static Stack(Pthread_kernel_threads) cfa_pthreads_kernel_threads;
 static bool cfa_pthreads_kernel_threads_zero = false;   // set to zero ?
 static int cfa_pthreads_no_kernel_threads = 1;  // number of kernel threads
@@ -216 +231 @@
                                         key = &cfa_pthread_keys[i];
                                         value->in_use = false;
-                                        remove(*value);
-
+                                        remove(key->threads, *value);
                                         // if  a  key  value  has  a  non-NULL  destructor pointer,  and  the  thread  has  a  non-NULL  value associated with that key,
                                         // the value of the key is set to NULL, and then the function pointed to is called with the previously associated value as its sole argument.
@@ -537 +551 @@
 
                 // Remove key from all threads with a value.
-                
-                // Sequence(pthread_values)& head = cfa_pthread_keys[key].threads;
-                // for ( SeqIter(pthread_values) iter = { head }; iter | p; ) {
-                //      remove(head, p);
-                //      p.in_use = false;
-                // }
-        pthread_values * p = &try_pop_front( cfa_pthread_keys[key].threads );
-        for ( ; p; ) {            
-            p->in_use = false;
-            p = &try_pop_front( cfa_pthread_keys[key].threads );
-        }
+                pthread_values& p;
+                Sequence(pthread_values)& head = cfa_pthread_keys[key].threads;
+                for ( SeqIter(pthread_values) iter = { head }; iter | p; ) {
+                        remove(head, p);
+                        p.in_use = false;
+                }
                 unlock(key_lock);
                 return 0;
@@ -576 +585 @@
                 if ( ! entry.in_use ) {
                         entry.in_use = true;
-                        insert_last(cfa_pthread_keys[key].threads, entry);
+                        add(cfa_pthread_keys[key].threads, entry);
                 } // if
                 entry.value = (void *)value;
@@ -603 +612 @@
         //######################### Parallelism #########################
         void pthread_delete_kernel_threads_() __THROW { // see uMain::~uMain
-                Pthread_kernel_threads * p = &try_pop_front(cfa_pthreads_kernel_threads);
-                for ( ; p; ) {
-            delete(p);
-                        p = &try_pop_front(cfa_pthreads_kernel_threads);
+                Pthread_kernel_threads& p;
+                for ( StackIter(Pthread_kernel_threads) iter = {cfa_pthreads_kernel_threads}; iter | p; ) {
+                        delete(&p);
                 } // for
         } // pthread_delete_kernel_threads_
@@ -623 +631 @@
                 lock( concurrency_lock );
                 for ( ; new_level > cfa_pthreads_no_kernel_threads; cfa_pthreads_no_kernel_threads += 1 ) { // add processors ?
-                        insert_last(cfa_pthreads_kernel_threads, *new() );
+                        push(cfa_pthreads_kernel_threads, *new() );
                 } // for
                 for ( ; new_level < cfa_pthreads_no_kernel_threads; cfa_pthreads_no_kernel_threads -= 1 ) { // remove processors ?
-                        delete(&try_pop_front(cfa_pthreads_kernel_threads));
+                        delete(&pop(cfa_pthreads_kernel_threads));
                 } // for
                 unlock( concurrency_lock );