Changes in libcfa/src/concurrency/kernel.cfa [1c40091:57c764c4]

File:

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

libcfa/src/concurrency/kernel.cfa

@@ -10 +10 @@
 // Created On       : Tue Jan 17 12:27:26 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Nov 21 16:46:59 2019
-// Update Count     : 27
+// Last Modified On : Thu Jun 20 17:21:23 2019
+// Update Count     : 25
 //
 
@@ -133 +133 @@
         NULL,
         NULL,
-        { 1, false, false }
+        { 1, false, false },
+        6u //this should be seeded better but due to a bug calling rdtsc doesn't work
 };
 
@@ -260 +261 @@
 //Main of the processor contexts
 void main(processorCtx_t & runner) {
+        // Because of a bug, we couldn't initialized the seed on construction
+        // Do it here
+        kernelTLS.rand_seed ^= rdtscl();
+
         processor * this = runner.proc;
         verify(this);
@@ -819 +824 @@
         if(thrd) {
                 int len = snprintf( abort_text, abort_text_size, "Error occurred while executing thread %.256s (%p)", thrd->self_cor.name, thrd );
-                __cfaabi_bits_write( STDERR_FILENO, abort_text, len );
+                __cfaabi_dbg_bits_write( abort_text, len );
 
                 if ( &thrd->self_cor != thrd->curr_cor ) {
                         len = snprintf( abort_text, abort_text_size, " in coroutine %.256s (%p).\n", thrd->curr_cor->name, thrd->curr_cor );
-                        __cfaabi_bits_write( STDERR_FILENO, abort_text, len );
+                        __cfaabi_dbg_bits_write( abort_text, len );
                 }
                 else {
-                        __cfaabi_bits_write( STDERR_FILENO, ".\n", 2 );
+                        __cfaabi_dbg_bits_write( ".\n", 2 );
                 }
         }
         else {
                 int len = snprintf( abort_text, abort_text_size, "Error occurred outside of any thread.\n" );
-                __cfaabi_bits_write( STDERR_FILENO, abort_text, len );
+                __cfaabi_dbg_bits_write( abort_text, len );
         }
 }
@@ -842 +847 @@
 
 extern "C" {
-        void __cfaabi_bits_acquire() {
+        void __cfaabi_dbg_bits_acquire() {
                 lock( kernel_debug_lock __cfaabi_dbg_ctx2 );
         }
 
-        void __cfaabi_bits_release() {
+        void __cfaabi_dbg_bits_release() {
                 unlock( kernel_debug_lock );
         }