Changeset 6dd4091 for libcfa/src/concurrency

Timestamp:

Apr 12, 2024, 7:42:07 AM (8 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

feb999f

Parents:

b6a71bc

Message:

comment out asserts that fail when malloc(0) returns non-null

Location:

libcfa/src/concurrency/kernel

Files:

• cluster.cfa (modified) (3 diffs)
• startup.cfa (modified) (2 diffs)

libcfa/src/concurrency/kernel/cluster.cfa

@@ -341 +341 @@
         // Make sure that everything is consistent
         /* paranoid */ check_readyQ( cltr );
-        /* paranoid */ verify( (target == 0) == (cltr->sched.caches == 0p) );
+//      /* paranoid */ verify( (target == 0) == (cltr->sched.caches == 0p) );
 
         __cfadbg_print_safe(ready_queue, "Kernel : Growing ready queue done\n");
@@ -416 +416 @@
                 fix_times(readyQ.tscs, ncount);
         }
+
         cltr->sched.caches = alloc( target, cltr->sched.caches`realloc );
 
@@ -428 +429 @@
 
         // Make sure that everything is consistent
-        /* paranoid */ verify( (target == 0) == (cltr->sched.caches == 0p) );
+//      /* paranoid */ verify( (target == 0) == (cltr->sched.caches == 0p) );
         /* paranoid */ check_readyQ( cltr );
 

libcfa/src/concurrency/kernel/startup.cfa

@@ -672 +672 @@
         uint_fast32_t last_size = ready_mutate_lock();
 
-                // Adjust the ready queue size
-                ready_queue_shrink( &this );
+        // Adjust the ready queue size
+        ready_queue_shrink( &this );
 
         // Unlock the RWlock
@@ -682 +682 @@
         /* paranoid */ verify( this.sched.readyQ.tscs == 0p );
         /* paranoid */ verify( this.sched.readyQ.count == 0 );
-        /* paranoid */ verify( this.sched.io.tscs == 0p );
-        /* paranoid */ verify( this.sched.caches == 0p );
+//      /* paranoid */ verify( this.sched.io.tscs == 0p );
+//      /* paranoid */ verify( this.sched.caches == 0p );
 
         enable_interrupts( false ); // Don't poll, could be in main cluster