Use 'pthread_equal()' to compare thread id.

Use 'pthread_equal()' to compare thread id. #1482