Changeset 8fc652e0 for libcfa/src/concurrency/ready_queue.cfa

Timestamp:

Nov 6, 2020, 11:22:57 AM (3 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

54dcab1

Parents:

be5e34b

Message:

Change usage of TLS to more strongly segregate in kernel and out of kernel usage.

File:

• libcfa/src/concurrency/ready_queue.cfa (modified) (5 diffs)

libcfa/src/concurrency/ready_queue.cfa

@@ -150 +150 @@
 //  queues or removing them.
 uint_fast32_t ready_mutate_lock( void ) with(*__scheduler_lock) {
-        /* paranoid */ verify( ! kernelTLS.preemption_state.enabled );
+        /* paranoid */ verify( ! __preemption_enabled() );
 
         // Step 1 : lock global lock
@@ -166 +166 @@
         }
 
-        /* paranoid */ verify( ! kernelTLS.preemption_state.enabled );
+        /* paranoid */ verify( ! __preemption_enabled() );
         return s;
 }
 
 void ready_mutate_unlock( uint_fast32_t last_s ) with(*__scheduler_lock) {
-        /* paranoid */ verify( ! kernelTLS.preemption_state.enabled );
+        /* paranoid */ verify( ! __preemption_enabled() );
 
         // Step 1 : release local locks
@@ -188 +188 @@
         __atomic_store_n(&lock, (bool)false, __ATOMIC_RELEASE);
 
-        /* paranoid */ verify( ! kernelTLS.preemption_state.enabled );
+        /* paranoid */ verify( ! __preemption_enabled() );
 }
 
@@ -252 +252 @@
                 preferred =
                         //*
-                        kernelTLS.this_processor ? kernelTLS.this_processor->id * 4 : -1;
+                        kernelTLS().this_processor ? kernelTLS().this_processor->id * 4 : -1;
                         /*/
                         thrd->link.preferred * 4;
@@ -331 +331 @@
                 // Don't bother trying locally too much
                 int local_tries = 8;
-                preferred = kernelTLS.this_processor->id * 4;
+                preferred = kernelTLS().this_processor->id * 4;
         #endif