Changes in libcfa/src/concurrency/ready_queue.cfa [62502cc4:343d10e]

File:

• libcfa/src/concurrency/ready_queue.cfa (modified) (3 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 );
-
         // Step 1 : lock global lock
         // It is needed to avoid processors that register mid Critical-Section
@@ -166 +164 @@
         }
 
-        /* paranoid */ verify( ! kernelTLS.preemption_state.enabled );
         return s;
 }
 
 void ready_mutate_unlock( uint_fast32_t last_s ) with(*__scheduler_lock) {
-        /* paranoid */ verify( ! kernelTLS.preemption_state.enabled );
-
         // Step 1 : release local locks
         // This must be done while the global lock is held to avoid
@@ -187 +182 @@
         /*paranoid*/ assert(true == lock);
         __atomic_store_n(&lock, (bool)false, __ATOMIC_RELEASE);
-
-        /* paranoid */ verify( ! kernelTLS.preemption_state.enabled );
 }