Currently, we use GetPalThreadIdForLogging() to get the thread_id, which doesn't look the proper way to get the thread_id.

GetPalThreadIdForLogging() Implementation Details for completeness: EEThreadId classes seems to be doing the right thing to set its first field (pthread_self and GetCurrentThreadId), but doesn't expose a getter (reason for not using for 'normal' use?) GetPalThreadIdForLogging is using this field directly to get the value. See also details of the current_thread_get_id implementation concerns.