1 /* xbt_synchro -- Synchronization virtualized depending on whether we are */
2 /* in simulation or real life (act on simulated processes) */
4 /* This is the simulation implementation, using simix. */
6 /* Copyright (c) 2007-2016. The SimGrid Team.
7 * All rights reserved. */
9 /* This program is free software; you can redistribute it and/or modify it
10 * under the terms of the license (GNU LGPL) which comes with this package. */
13 #include "xbt/synchro_core.h"
15 #include "simgrid/simix.h" /* used implementation */
16 #include "../simix/smx_private.h" /* FIXME */
18 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(xbt_sync, xbt,
19 "Synchronization mechanism");
21 /****** mutex related functions ******/
26 xbt_mutex_t xbt_mutex_init(void)
28 return (xbt_mutex_t) simcall_mutex_init();
31 void xbt_mutex_acquire(xbt_mutex_t mutex)
33 simcall_mutex_lock((smx_mutex_t) mutex);
36 int xbt_mutex_try_acquire(xbt_mutex_t mutex)
38 return simcall_mutex_trylock((smx_mutex_t) mutex);
41 void xbt_mutex_release(xbt_mutex_t mutex)
43 simcall_mutex_unlock((smx_mutex_t) mutex);
46 void xbt_mutex_destroy(xbt_mutex_t mutex)
48 SIMIX_mutex_destroy((smx_mutex_t) mutex);
51 /***** condition related functions *****/
56 xbt_cond_t xbt_cond_init(void)
58 return (xbt_cond_t) simcall_cond_init();
61 void xbt_cond_wait(xbt_cond_t cond, xbt_mutex_t mutex)
63 simcall_cond_wait((smx_cond_t) cond, (smx_mutex_t) mutex);
66 void xbt_cond_timedwait(xbt_cond_t cond, xbt_mutex_t mutex, double delay)
68 simcall_cond_wait_timeout((smx_cond_t) cond, (smx_mutex_t) mutex, delay);
71 void xbt_cond_signal(xbt_cond_t cond)
73 simcall_cond_signal((smx_cond_t) cond);
76 void xbt_cond_broadcast(xbt_cond_t cond)
78 simcall_cond_broadcast((smx_cond_t) cond);
81 void xbt_cond_destroy(xbt_cond_t cond)
83 SIMIX_cond_destroy((smx_cond_t) cond);
86 /***** barrier related functions *****/
87 typedef struct s_xbt_bar_ {
90 unsigned int arrived_processes;
91 unsigned int expected_processes;
94 xbt_bar_t xbt_barrier_init(unsigned int count)
96 xbt_bar_t bar = xbt_new0(s_xbt_bar_, 1);
97 bar->expected_processes = count;
98 bar->arrived_processes = 0;
99 bar->mutex = xbt_mutex_init();
100 bar->cond = xbt_cond_init();
105 int xbt_barrier_wait(xbt_bar_t bar)
108 xbt_mutex_acquire(bar->mutex);
109 if (++bar->arrived_processes == bar->expected_processes) {
110 xbt_cond_broadcast(bar->cond);
111 xbt_mutex_release(bar->mutex);
112 ret=XBT_BARRIER_SERIAL_PROCESS;
113 bar->arrived_processes = 0;
115 xbt_cond_wait(bar->cond, bar->mutex);
116 xbt_mutex_release(bar->mutex);
122 void xbt_barrier_destroy(xbt_bar_t bar)
124 xbt_mutex_destroy(bar->mutex);
125 xbt_cond_destroy(bar->cond);