Changeset dc58e5d for libcfa/src/concurrency/kernel

Timestamp:

Apr 15, 2024, 12:24:36 PM (22 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

fb2e916

Parents:

af746cc (diff), 7a36848 (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:

Small cleanup

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