Changeset c84b4be for libcfa/src/concurrency/kernel.cfa

Timestamp:

Dec 13, 2019, 1:45:49 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

75ca7f4

Parents:

983edfd

Message:

new ready queue seems to work but halting does not, had to be disabled

File:

• libcfa/src/concurrency/kernel.cfa (modified) (2 diffs)

libcfa/src/concurrency/kernel.cfa

@@ -556 +556 @@
 
         with( *thrd->curr_cluster ) {
-                if(was_empty) {
-                        lock      (proc_list_lock __cfaabi_dbg_ctx2);
-                        if(idles) {
-                                wake_fast(idles.head);
-                        }
-                        unlock    (proc_list_lock);
-                }
-                else if( struct processor * idle = idles.head ) {
-                        wake_fast(idle);
-                }
+                // if(was_empty) {
+                //      lock      (proc_list_lock __cfaabi_dbg_ctx2);
+                //      if(idles) {
+                //              wake_fast(idles.head);
+                //      }
+                //      unlock    (proc_list_lock);
+                // }
+                // else if( struct processor * idle = idles.head ) {
+                //      wake_fast(idle);
+                // }
         }
 
@@ -825 +825 @@
 //=============================================================================================
 static void halt(processor * this) with( *this ) {
-        // verify( ! __atomic_load_n(&do_terminate, __ATOMIC_SEQ_CST) );
-
-        with( *cltr ) {
-                lock      (proc_list_lock __cfaabi_dbg_ctx2);
-                push_front(idles, *this);
-                unlock    (proc_list_lock);
-        }
-
-        __cfaabi_dbg_print_safe("Kernel : Processor %p ready to sleep\n", this);
-
-        wait( idleLock );
-
-        __cfaabi_dbg_print_safe("Kernel : Processor %p woke up and ready to run\n", this);
-
-        with( *cltr ) {
-                lock      (proc_list_lock __cfaabi_dbg_ctx2);
-                remove    (idles, *this);
-                unlock    (proc_list_lock);
-        }
+        // // verify( ! __atomic_load_n(&do_terminate, __ATOMIC_SEQ_CST) );
+
+        // with( *cltr ) {
+        //      lock      (proc_list_lock __cfaabi_dbg_ctx2);
+        //      push_front(idles, *this);
+        //      unlock    (proc_list_lock);
+        // }
+
+        // __cfaabi_dbg_print_safe("Kernel : Processor %p ready to sleep\n", this);
+
+        // wait( idleLock );
+
+        // __cfaabi_dbg_print_safe("Kernel : Processor %p woke up and ready to run\n", this);
+
+        // with( *cltr ) {
+        //      lock      (proc_list_lock __cfaabi_dbg_ctx2);
+        //      remove    (idles, *this);
+        //      unlock    (proc_list_lock);
+        // }
 }