Changeset fb4ccdf

Timestamp:

May 13, 2021, 3:45:35 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

a9172b5

Parents:

16fd826

Message:

Updated alternate main for processors

File:

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

libcfa/src/concurrency/kernel.cfa

@@ -265 +265 @@
                         SEARCH: {
                                 /* paranoid */ verify( ! __preemption_enabled() );
-                                /* paranoid */ verify( kernelTLS().this_proc_id );
 
                                 // First, lock the scheduler since we are searching for a thread
@@ -323 +322 @@
                                 }
 
-                                __STATS( if(this->print_halts) __cfaabi_bits_print_safe( STDOUT_FILENO, "PH:%d - %lld 0\n", this->id, rdtscl()); )
+                                        __STATS( if(this->print_halts) __cfaabi_bits_print_safe( STDOUT_FILENO, "PH:%d - %lld 0\n", this->unique_id, rdtscl()); )
                                 __cfadbg_print_safe(runtime_core, "Kernel : core %p waiting on eventfd %d\n", this, this->idle);
 
@@ -331 +330 @@
                                 // __enable_interrupts_hard();
 
-                                __STATS( if(this->print_halts) __cfaabi_bits_print_safe( STDOUT_FILENO, "PH:%d - %lld 1\n", this->id, rdtscl()); )
+                                        __STATS( if(this->print_halts) __cfaabi_bits_print_safe( STDOUT_FILENO, "PH:%d - %lld 1\n", this->unique_id, rdtscl()); )
 
                                 // We were woken up, remove self from idle
@@ -341 +340 @@
 
                 RUN_THREAD:
-                        /* paranoid */ verify( kernelTLS().this_proc_id );
                         /* paranoid */ verify( ! __preemption_enabled() );
                         /* paranoid */ verify( readyThread );