properly compare pthread_ts

include/pthread-win32/pthread.h

@@ -63,6 +63,10 @@ static inline pthread_t pthread_self(void) {
   return GetCurrentThread();
 }
 
+static inline int pthread_equal(pthread_t t1, pthread_t t2) {
+  return t1 == t2;
+}
+
 static inline int pthread_attr_init (pthread_attr_t *attr) {
   *attr = 0;
   return 0;

src/core/workers.c

@@ -275,7 +275,7 @@ static void _starpu_terminate_workers(struct machine_config_s *config)
  		 * we have to check if pthread_self() is the worker itself */
 		if (set){ 
 			if (!set->joined) {
-				if (pthread_self() != set->worker_thread)
+				if (!pthread_equal(pthread_self(), set->worker_thread))
 				{
 					status = pthread_join(set->worker_thread, NULL);
 #ifdef VERBOSE
@@ -288,7 +288,7 @@ static void _starpu_terminate_workers(struct machine_config_s *config)
 			}
 		}
 		else {
-			if (pthread_self() != worker->worker_thread)
+			if (!pthread_equal(pthread_self(), worker->worker_thread))
 			{
 				status = pthread_join(worker->worker_thread, NULL);
 #ifdef VERBOSE