Changes in libcfa/src/concurrency/ready_queue.cfa [46bbcaf:0fb3ee5]

File:

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

libcfa/src/concurrency/ready_queue.cfa

@@ -201 +201 @@
 uint_fast32_t ready_mutate_lock( void ) with(*__scheduler_lock) {
         /* paranoid */ verify( ! __preemption_enabled() );
+        /* paranoid */ verify( ! kernelTLS().sched_lock );
 
         // Step 1 : lock global lock
@@ -206 +207 @@
         //   to simply lock their own lock and enter.
         __atomic_acquire( &write_lock );
-
-        // Make sure we won't deadlock ourself
-        // Checking before acquiring the writer lock isn't safe
-        // because someone else could have locked us.
-        /* paranoid */ verify( ! kernelTLS().sched_lock );
 
         // Step 2 : lock per-proc lock