* under the terms of the license (GNU LGPL) which comes with this package. */
#include "gras_config.h"
#include <unistd.h>
+#ifndef _XBT_WIN32
#include <sys/syscall.h>
+#endif
+
#ifdef HAVE_FUTEX_H
#include <linux/futex.h>
#else
/* Fetch a worker id */
worker_id = __sync_fetch_and_add(&parmap->workers_max_id, 1);
+ xbt_os_thread_set_extra_data((void *)(unsigned long)worker_id);
DEBUG1("New worker thread created (%u)", worker_id);
#else
void xbt_barrier_wait(xbt_barrier_t barrier)
{
- int myflag = 0;
- unsigned int mycount = 0;
-
xbt_os_mutex_acquire(barrier->mutex);
barrier->thread_count++;