[MariaDB developers] Re: pthread_yield() vs std::this_thread::yield()