Changes in libcfa/src/concurrency/kernel/startup.cfa [f2384c9a:1eb239e4]

File:

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

libcfa/src/concurrency/kernel/startup.cfa

@@ -78 +78 @@
 static void ?{}(processorCtx_t & this, processor * proc, current_stack_info_t * info);
 
-#if defined(__CFA_WITH_VERIFY__)
-        static bool verify_fwd_bck_rng(void);
-#endif
-
 //-----------------------------------------------------------------------------
 // Forward Declarations for other modules
@@ -162 +158 @@
         __cfa_dbg_global_clusters.list{ __get };
         __cfa_dbg_global_clusters.lock{};
-
-        /* paranoid */ verify( verify_fwd_bck_rng() );
 
         // Initialize the global scheduler lock
@@ -522 +516 @@
         ( this.terminated ){ 0 };
         ( this.runner ){};
-
-        disable_interrupts();
-                init( this, name, _cltr );
-        enable_interrupts( __cfaabi_dbg_ctx );
+        init( this, name, _cltr );
 
         __cfadbg_print_safe(runtime_core, "Kernel : Starting core %p\n", &this);
@@ -549 +540 @@
         free( this.stack );
 
-        disable_interrupts();
-                deinit( this );
-        enable_interrupts( __cfaabi_dbg_ctx );
+        deinit( this );
 }
 
@@ -683 +672 @@
         return stack;
 }
-
-#if defined(__CFA_WITH_VERIFY__)
-static bool verify_fwd_bck_rng(void) {
-        kernelTLS.ready_rng.fwd_seed = 25214903917_l64u * (rdtscl() ^ (uintptr_t)&verify_fwd_bck_rng);
-
-        unsigned values[10];
-        for(i; 10) {
-                values[i] = __tls_rand_fwd();
-        }
-
-        __tls_rand_advance_bck();
-
-        for ( i; 9 -~= 0 ) {
-                if(values[i] != __tls_rand_bck()) {
-                        return false;
-                }
-        }
-
-        return true;
-}
-#endif