xbt_os_thread.h was choosing the definition of xbt_os_thread_key_t
based on _XBT_WIN32 but xbt_os_thread.h was choosing the
implementation of the corresponding code based on HAVE_PTHREAD_H. But
it is possible to HAVE_PTHREAD_H on _XBT_WIN32.
"Synchronization mechanism (OS-level)");
/* ********************************* PTHREAD IMPLEMENTATION ************************************ */
"Synchronization mechanism (OS-level)");
/* ********************************* PTHREAD IMPLEMENTATION ************************************ */
#include <limits.h>
#include <semaphore.h>
#include <limits.h>
#include <semaphore.h>