Changeset 145dcd5

Timestamp:

Jan 14, 2022, 6:55:14 PM (3 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, master, pthread-emulation, qualifiedEnum

Children:

c90db2d

Parents:

07a1e7a

Message:

Now using MAX instead of -1u since it's more appropriate.

Files:

• libcfa/src/concurrency/kernel/startup.cfa (modified) (3 diffs)
• tests/device/cpu.cfa (modified) (3 diffs)

libcfa/src/concurrency/kernel/startup.cfa

@@ -34 +34 @@
 #include "kernel_private.hfa"
 #include "startup.hfa"          // STARTUP_PRIORITY_XXX
+#include "limits.hfa"
 #include "math.hfa"
 
@@ -513 +514 @@
         this.rdq.its = 0;
         this.rdq.itr = 0;
-        this.rdq.id  = -1u;
-        this.rdq.target = -1u;
-        this.rdq.last = -1u;
-        this.rdq.cutoff = 0ull;
+        this.rdq.id  = MAX;
+        this.rdq.target = MAX;
+        this.rdq.last = MAX;
+        this.rdq.cpu = 0;
+        // this.rdq.cutoff = 0ull;
         do_terminate = false;
         preemption_alarm = 0p;
@@ -684 +686 @@
         uint_fast32_t last_size;
         [this->unique_id, last_size] = ready_mutate_register();
+
+                this->rdq.cpu = __kernel_getcpu();
 
                 this->cltr->procs.total += 1u;

tests/device/cpu.cfa

@@ -15 +15 @@
 
 
+#include <device/cpu.hfa>
+#include <limits.hfa>
 #include <fstream.hfa>
-#include <device/cpu.hfa>
 #include <stdlib.hfa>
 
@@ -118 +119 @@
 
         unsigned found_level = 0;
-        unsigned found = -1u;
+        unsigned found = MAX;
         for(i; idxs) {
                 unsigned idx = idxs - 1 - i;
@@ -136 +137 @@
         }
 
-        /* paranoid */ verify(found != -1u);
+        /* paranoid */ verify(found != MAX);
         return found;
 }