Changeset b035046 for libcfa/src/concurrency/kernel

Timestamp:

May 25, 2022, 3:18:21 PM (2 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, ast-experimental, master, pthread-emulation, qualifiedEnum

Children:

5024df4

Parents:

6dc7011a

Message:

changed some MAX to ULLONG_MAX to avoid the memory access where possible and removed some -1u I missed last time

Location:

libcfa/src/concurrency/kernel

Files:

• cluster.cfa (modified) (5 diffs)
• cluster.hfa (modified) (3 diffs)
• startup.cfa (modified) (1 diff)

libcfa/src/concurrency/kernel/cluster.cfa

@@ -233 +233 @@
                                         if(is_empty(sl)) {
                                                 assert( sl.anchor.next == 0p );
-                                                assert( sl.anchor.ts   == -1llu );
+                                                assert( sl.anchor.ts   == MAX );
                                                 assert( mock_head(sl)  == sl.prev );
                                         } else {
                                                 assert( sl.anchor.next != 0p );
-                                                assert( sl.anchor.ts   != -1llu );
+                                                assert( sl.anchor.ts   != MAX );
                                                 assert( mock_head(sl)  != sl.prev );
                                         }
@@ -259 +259 @@
                 /* paranoid */ verifyf( it, "Unexpected null iterator, at index %u of %u\n", i, count);
                 it->rdq.id = valrq;
-                it->rdq.target = MAX;
+                it->rdq.target = UINT_MAX;
                 valrq += __shard_factor.readyq;
                 #if defined(CFA_HAVE_LINUX_IO_URING_H)
                         it->io.ctx->cq.id = valio;
-                        it->io.target = MAX;
+                        it->io.target = UINT_MAX;
                         valio += __shard_factor.io;
                 #endif
@@ -472 +472 @@
         this.prev = mock_head(this);
         this.anchor.next = 0p;
-        this.anchor.ts   = -1llu;
+        this.anchor.ts   = MAX;
         #if !defined(__CFA_NO_STATISTICS__)
                 this.cnt  = 0;
@@ -484 +484 @@
         /* paranoid */ verify( &mock_head(this)->link.ts   == &this.anchor.ts   );
         /* paranoid */ verify( mock_head(this)->link.next == 0p );
-        /* paranoid */ verify( mock_head(this)->link.ts   == -1llu  );
+        /* paranoid */ verify( mock_head(this)->link.ts   == MAX  );
         /* paranoid */ verify( mock_head(this) == this.prev );
         /* paranoid */ verify( __alignof__(__intrusive_lane_t) == 128 );
@@ -495 +495 @@
         // Make sure the list is empty
         /* paranoid */ verify( this.anchor.next == 0p );
-        /* paranoid */ verify( this.anchor.ts   == -1llu );
+        /* paranoid */ verify( this.anchor.ts   == MAX );
         /* paranoid */ verify( mock_head(this)  == this.prev );
 }

libcfa/src/concurrency/kernel/cluster.hfa

@@ -19 +19 @@
 #include "kernel/private.hfa"
 
-#include "limits.hfa"
+#include <limits.h>
 
 //-----------------------------------------------------------------------
@@ -37 +37 @@
 
 static inline void touch_tsc(__timestamp_t * tscs, size_t idx, unsigned long long ts_prev, unsigned long long ts_next) {
-        if (ts_next == MAX) return;
+        if (ts_next == ULLONG_MAX) return;
         unsigned long long now = rdtscl();
         unsigned long long pma = __atomic_load_n(&tscs[ idx ].ma, __ATOMIC_RELAXED);
@@ -59 +59 @@
         for(i; shard_factor) {
                 unsigned long long ptsc = ts(data[start + i]);
-                if(ptsc != -1ull) {
+                if(ptsc != ULLONG_MAX) {
                         /* paranoid */ verify( start + i < count );
                         unsigned long long tsc = moving_average(ctsc, ptsc, tscs[start + i].ma);

libcfa/src/concurrency/kernel/startup.cfa

@@ -507 +507 @@
         self_mon_p = &self_mon;
         link.next = 0p;
-        link.ts   = -1llu;
+        link.ts   = MAX;
         preferred = ready_queue_new_preferred();
         last_proc = 0p;