linux gettid vs C++ thread get_id