-XBT_PUBLIC(xbt_parmap_t) xbt_parmap_new(unsigned int num_workers);
-XBT_PUBLIC(void) xbt_parmap_destroy(xbt_parmap_t parmap);
+/** \brief Synchronization mode of the worker threads of a parmap. */
+typedef enum {
+ XBT_PARMAP_POSIX, /**< use POSIX synchronization primitives */
+ XBT_PARMAP_FUTEX, /**< use Linux futex system call */
+ XBT_PARMAP_BUSY_WAIT, /**< busy waits (no system calls, maximum CPU usage) */
+ XBT_PARMAP_DEFAULT /**< futex if available, posix otherwise */
+} e_xbt_parmap_mode_t;