include/xbt/synchro.h

   1 /* xbt/synchro.h -- Simulated synchronization                               */
   2
   3 /* Copyright (c) 2009-2019. The SimGrid Team.                               */
   4
   5 /* This program is free software; you can redistribute it and/or modify it
   6  * under the terms of the license (GNU LGPL) which comes with this package. */
   7
   8 #ifndef XBT_THREAD_H
   9 #define XBT_THREAD_H
  10
  11 #include "simgrid/forward.h"
  12 #include <xbt/function_types.h>
  13 #include <xbt/misc.h> /* SG_BEGIN_DECL */
  14
  15 SG_BEGIN_DECL()
  16
  17 /** @addtogroup XBT_synchro
  18  *  @brief XBT synchronization tools
  19  *
  20  *  This section describes the simulated synchronization mechanisms,
  21  *  that you can use in your simulation without deadlocks. See @ref
  22  *  faq_MIA_thread_synchronization for details.
  23  *
  24  *  @{
  25  */
  26
  27 /** @brief Thread mutex data type (opaque object)
  28  *  @hideinitializer
  29  */
  30 #ifdef __cplusplus
  31 typedef simgrid::kernel::activity::MutexImpl* xbt_mutex_t;
  32 #else
  33 typedef struct s_smx_mutex_* xbt_mutex_t;
  34 #endif
  35
  36 /** @brief Creates a new mutex variable */
  37 XBT_PUBLIC xbt_mutex_t xbt_mutex_init(void);
  38
  39 /** @brief Blocks onto the given mutex variable */
  40 XBT_PUBLIC void xbt_mutex_acquire(xbt_mutex_t mutex);
  41
  42 /** @brief Tries to block onto the given mutex variable
  43  * Tries to lock a mutex, return 1 if the mutex is unlocked, else 0.
  44  * This function does not block and wait for the mutex to be unlocked.
  45  * @param mutex The mutex
  46  * @return 1 - mutex free, 0 - mutex used
  47  */
  48 XBT_PUBLIC int xbt_mutex_try_acquire(xbt_mutex_t mutex);
  49
  50 /** @brief Releases the given mutex variable */
  51 XBT_PUBLIC void xbt_mutex_release(xbt_mutex_t mutex);
  52
  53 /** @brief Destroyes the given mutex variable */
  54 XBT_PUBLIC void xbt_mutex_destroy(xbt_mutex_t mutex);
  55
  56 /** @brief Thread condition data type (opaque object)
  57  *  @hideinitializer
  58  */
  59 #ifdef __cplusplus
  60 typedef simgrid::kernel::activity::ConditionVariableImpl* xbt_cond_t;
  61 #else
  62 typedef struct s_smx_cond_* xbt_cond_t;
  63 #endif
  64
  65 /** @brief Creates a condition variable */
  66 XBT_PUBLIC xbt_cond_t xbt_cond_init(void);
  67
  68 /** @brief Blocks onto the given condition variable */
  69 XBT_PUBLIC void xbt_cond_wait(xbt_cond_t cond, xbt_mutex_t mutex);
  70 /** @brief Blocks onto the given condition variable, but only for the given amount of time.
  71  *  @return 0 on success, 1 on timeout */
  72 XBT_PUBLIC int xbt_cond_timedwait(xbt_cond_t cond, xbt_mutex_t mutex, double delay);
  73 /** @brief Signals the given mutex variable */
  74 XBT_PUBLIC void xbt_cond_signal(xbt_cond_t cond);
  75 /** @brief Broadcasts the given mutex variable */
  76 XBT_PUBLIC void xbt_cond_broadcast(xbt_cond_t cond);
  77 /** @brief Destroys the given mutex variable */
  78 XBT_PUBLIC void xbt_cond_destroy(xbt_cond_t cond);
  79
  80 /** @} */
  81
  82 SG_END_DECL()
  83 #endif /* _XBT_THREAD_H */