Changes in libcfa/src/concurrency/kernel_private.hfa [e873838:8fc652e0]

File:

• libcfa/src/concurrency/kernel_private.hfa (modified) (4 diffs)

libcfa/src/concurrency/kernel_private.hfa

@@ -38 +38 @@
 #endif
 ;
+
+extern bool __preemption_enabled();
 
 //release/wake-up the following resources
@@ -181 +183 @@
 //  creating/destroying queues
 static inline void ready_schedule_lock(void) with(*__scheduler_lock) {
-        /*paranoid*/ verify( kernelTLS.this_proc_id );
-
-        unsigned iproc = kernelTLS.this_proc_id->id;
-        /*paranoid*/ verify(data[iproc].handle == kernelTLS.this_proc_id);
+        /* paranoid */ verify( ! __preemption_enabled() );
+        /* paranoid */ verify( kernelTLS().this_proc_id );
+
+        unsigned iproc = kernelTLS().this_proc_id->id;
+        /*paranoid*/ verify(data[iproc].handle == kernelTLS().this_proc_id);
         /*paranoid*/ verify(iproc < ready);
 
@@ -207 +210 @@
 
 static inline void ready_schedule_unlock(void) with(*__scheduler_lock) {
-        /*paranoid*/ verify( kernelTLS.this_proc_id );
-
-        unsigned iproc = kernelTLS.this_proc_id->id;
-        /*paranoid*/ verify(data[iproc].handle == kernelTLS.this_proc_id);
+        /* paranoid */ verify( ! __preemption_enabled() );
+        /* paranoid */ verify( kernelTLS().this_proc_id );
+
+        unsigned iproc = kernelTLS().this_proc_id->id;
+        /*paranoid*/ verify(data[iproc].handle == kernelTLS().this_proc_id);
         /*paranoid*/ verify(iproc < ready);
         /*paranoid*/ verify(data[iproc].lock);
@@ -223 +227 @@
 #ifdef __CFA_WITH_VERIFY__
         static inline bool ready_schedule_islocked(void) {
-                /*paranoid*/ verify( kernelTLS.this_proc_id );
-                __processor_id_t * proc = kernelTLS.this_proc_id;
+                /* paranoid */ verify( ! __preemption_enabled() );
+                /*paranoid*/ verify( kernelTLS().this_proc_id );
+                __processor_id_t * proc = kernelTLS().this_proc_id;
                 return __scheduler_lock->data[proc->id].owned;
         }