1
/*****************************************************************************
3
Copyright (C) 1995, 2009, Innobase Oy. All Rights Reserved.
4
Copyright (C) 2008, Google Inc.
6
Portions of this file contain modifications contributed and copyrighted by
7
Google, Inc. Those modifications are gratefully acknowledged and are described
8
briefly in the InnoDB documentation. The contributions by Google are
9
incorporated with their permission, and subject to the conditions contained in
10
the file COPYING.Google.
12
This program is free software; you can redistribute it and/or modify it under
13
the terms of the GNU General Public License as published by the Free Software
14
Foundation; version 2 of the License.
16
This program is distributed in the hope that it will be useful, but WITHOUT
17
ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
18
FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
20
You should have received a copy of the GNU General Public License along with
21
this program; if not, write to the Free Software Foundation, Inc., 51 Franklin
22
St, Fifth Floor, Boston, MA 02110-1301 USA
24
*****************************************************************************/
26
/**************************************************//**
27
@file include/os0sync.h
28
The interface to the operating system
29
synchronization primitives.
31
Created 9/6/1995 Heikki Tuuri
32
*******************************************************/
41
/** Native event (slow)*/
42
typedef HANDLE os_native_event_t;
44
typedef CRITICAL_SECTION os_fast_mutex_t;
45
/** Native condition variable. */
46
typedef CONDITION_VARIABLE os_cond_t;
49
typedef pthread_mutex_t os_fast_mutex_t;
50
/** Native condition variable */
51
typedef pthread_cond_t os_cond_t;
54
/** Operating system event */
55
typedef struct os_event_struct os_event_struct_t;
56
/** Operating system event handle */
57
typedef os_event_struct_t* os_event_t;
59
/** An asynchronous signal sent between threads */
60
struct os_event_struct {
62
HANDLE handle; /*!< kernel event object, slow,
63
used on older Windows */
65
os_fast_mutex_t os_mutex; /*!< this mutex protects the next
67
ibool is_set; /*!< this is TRUE when the event is
68
in the signaled state, i.e., a thread
69
does not stop if it tries to wait for
71
ib_int64_t signal_count; /*!< this is incremented each time
72
the event becomes signaled */
73
os_cond_t cond_var; /*!< condition variable is used in
74
waiting for the event */
75
UT_LIST_NODE_T(os_event_struct_t) os_event_list;
76
/*!< list of all created events */
79
/** Denotes an infinite delay for os_event_wait_time() */
80
#define OS_SYNC_INFINITE_TIME ULINT_UNDEFINED
82
/** Return value of os_event_wait_time() when the time is exceeded */
83
#define OS_SYNC_TIME_EXCEEDED 1
85
/** Operating system mutex */
86
typedef struct os_mutex_struct os_mutex_str_t;
87
/** Operating system mutex handle */
88
typedef os_mutex_str_t* os_mutex_t;
90
/** Mutex protecting counts and the event and OS 'slow' mutex lists */
91
extern os_mutex_t os_sync_mutex;
93
/** This is incremented by 1 in os_thread_create and decremented by 1 in
95
extern ulint os_thread_count;
97
extern ulint os_event_count;
98
extern ulint os_mutex_count;
99
extern ulint os_fast_mutex_count;
101
/*********************************************************//**
102
Initializes global event and OS 'slow' mutex lists. */
107
/*********************************************************//**
108
Frees created events and OS 'slow' mutexes. */
113
/*********************************************************//**
114
Creates an event semaphore, i.e., a semaphore which may just have two states:
115
signaled and nonsignaled. The created event is manual reset: it must be reset
116
explicitly by calling sync_os_reset_event.
117
@return the event handle */
122
const char* name); /*!< in: the name of the event, if NULL
123
the event is created without a name */
124
/**********************************************************//**
125
Sets an event semaphore to the signaled state: lets waiting threads
131
os_event_t event); /*!< in: event to set */
132
/**********************************************************//**
133
Resets an event semaphore to the nonsignaled state. Waiting threads will
134
stop to wait for the event.
135
The return value should be passed to os_even_wait_low() if it is desired
136
that this thread should not wait in case of an intervening call to
137
os_event_set() between this os_event_reset() and the
138
os_event_wait_low() call. See comments for os_event_wait_low(). */
143
os_event_t event); /*!< in: event to reset */
144
/**********************************************************//**
145
Frees an event object. */
150
os_event_t event); /*!< in: event to free */
152
/**********************************************************//**
153
Waits for an event object until it is in the signaled state. If
154
srv_shutdown_state == SRV_SHUTDOWN_EXIT_THREADS this also exits the
155
waiting thread when the event becomes signaled (or immediately if the
156
event is already in the signaled state).
158
Typically, if the event has been signalled after the os_event_reset()
159
we'll return immediately because event->is_set == TRUE.
160
There are, however, situations (e.g.: sync_array code) where we may
161
lose this information. For example:
163
thread A calls os_event_reset()
164
thread B calls os_event_set() [event->is_set == TRUE]
165
thread C calls os_event_reset() [event->is_set == FALSE]
166
thread A calls os_event_wait() [infinite wait!]
167
thread C calls os_event_wait() [infinite wait!]
169
Where such a scenario is possible, to avoid infinite wait, the
170
value returned by os_event_reset() should be passed in as
176
os_event_t event, /*!< in: event to wait */
177
ib_int64_t reset_sig_count);/*!< in: zero or the value
178
returned by previous call of
181
#define os_event_wait(event) os_event_wait_low(event, 0)
182
#define os_event_wait_time(e, t) os_event_wait_time_low(event, t, 0)
184
/**********************************************************//**
185
Waits for an event object until it is in the signaled state or
186
a timeout is exceeded. In Unix the timeout is always infinite.
187
@return 0 if success, OS_SYNC_TIME_EXCEEDED if timeout was exceeded */
190
os_event_wait_time_low(
191
/*===================*/
192
os_event_t event, /*!< in: event to wait */
193
ulint time_in_usec, /*!< in: timeout in
195
OS_SYNC_INFINITE_TIME */
196
ib_int64_t reset_sig_count); /*!< in: zero or the value
197
returned by previous call of
199
/*********************************************************//**
200
Creates an operating system mutex semaphore. Because these are slow, the
201
mutex semaphore of InnoDB itself (mutex_t) should be used where possible.
202
@return the mutex handle */
205
os_mutex_create(void);
206
/*=================*/
207
/**********************************************************//**
208
Acquires ownership of a mutex semaphore. */
213
os_mutex_t mutex); /*!< in: mutex to acquire */
214
/**********************************************************//**
215
Releases ownership of a mutex. */
220
os_mutex_t mutex); /*!< in: mutex to release */
221
/**********************************************************//**
222
Frees an mutex object. */
227
os_mutex_t mutex); /*!< in: mutex to free */
228
/**********************************************************//**
229
Acquires ownership of a fast mutex. Currently in Windows this is the same
230
as os_fast_mutex_lock!
231
@return 0 if success, != 0 if was reserved by another thread */
234
os_fast_mutex_trylock(
235
/*==================*/
236
os_fast_mutex_t* fast_mutex); /*!< in: mutex to acquire */
237
/**********************************************************//**
238
Releases ownership of a fast mutex. */
241
os_fast_mutex_unlock(
242
/*=================*/
243
os_fast_mutex_t* fast_mutex); /*!< in: mutex to release */
244
/*********************************************************//**
245
Initializes an operating system fast mutex semaphore. */
250
os_fast_mutex_t* fast_mutex); /*!< in: fast mutex */
251
/**********************************************************//**
252
Acquires ownership of a fast mutex. */
257
os_fast_mutex_t* fast_mutex); /*!< in: mutex to acquire */
258
/**********************************************************//**
259
Frees an mutex object. */
264
os_fast_mutex_t* fast_mutex); /*!< in: mutex to free */
266
/**********************************************************//**
267
Atomic compare-and-swap and increment for InnoDB. */
269
#if defined(HAVE_GCC_ATOMIC_BUILTINS)
271
#define HAVE_ATOMIC_BUILTINS
273
/**********************************************************//**
274
Returns true if swapped, ptr is pointer to target, old_val is value to
275
compare to, new_val is the value to swap in. */
277
# define os_compare_and_swap(ptr, old_val, new_val) \
278
__sync_bool_compare_and_swap(ptr, old_val, new_val)
280
# define os_compare_and_swap_ulint(ptr, old_val, new_val) \
281
os_compare_and_swap(ptr, old_val, new_val)
283
# define os_compare_and_swap_lint(ptr, old_val, new_val) \
284
os_compare_and_swap(ptr, old_val, new_val)
286
# ifdef HAVE_IB_ATOMIC_PTHREAD_T_GCC
287
# define os_compare_and_swap_thread_id(ptr, old_val, new_val) \
288
os_compare_and_swap(ptr, old_val, new_val)
289
# define INNODB_RW_LOCKS_USE_ATOMICS
290
# define IB_ATOMICS_STARTUP_MSG \
291
"Mutexes and rw_locks use GCC atomic builtins"
292
# else /* HAVE_IB_ATOMIC_PTHREAD_T_GCC */
293
# define IB_ATOMICS_STARTUP_MSG \
294
"Mutexes use GCC atomic builtins, rw_locks do not"
295
# endif /* HAVE_IB_ATOMIC_PTHREAD_T_GCC */
297
/**********************************************************//**
298
Returns the resulting value, ptr is pointer to target, amount is the
299
amount of increment. */
301
# define os_atomic_increment(ptr, amount) \
302
__sync_add_and_fetch(ptr, amount)
304
# define os_atomic_increment_lint(ptr, amount) \
305
os_atomic_increment(ptr, amount)
307
# define os_atomic_increment_ulint(ptr, amount) \
308
os_atomic_increment(ptr, amount)
310
/**********************************************************//**
311
Returns the old value of *ptr, atomically sets *ptr to new_val */
313
# define os_atomic_test_and_set_byte(ptr, new_val) \
314
__sync_lock_test_and_set(ptr, (byte) new_val)
316
#elif defined(HAVE_SOLARIS_ATOMICS)
318
#define HAVE_ATOMIC_BUILTINS
320
/* If not compiling with GCC or GCC doesn't support the atomic
321
intrinsics and running on Solaris >= 10 use Solaris atomics */
325
/**********************************************************//**
326
Returns true if swapped, ptr is pointer to target, old_val is value to
327
compare to, new_val is the value to swap in. */
329
# define os_compare_and_swap_ulint(ptr, old_val, new_val) \
330
(atomic_cas_ulong(ptr, old_val, new_val) == old_val)
332
# define os_compare_and_swap_lint(ptr, old_val, new_val) \
333
((lint)atomic_cas_ulong((ulong_t*) ptr, old_val, new_val) == old_val)
335
# ifdef HAVE_IB_ATOMIC_PTHREAD_T_SOLARIS
336
# if SIZEOF_PTHREAD_T == 4
337
# define os_compare_and_swap_thread_id(ptr, old_val, new_val) \
338
((pthread_t)atomic_cas_32(ptr, old_val, new_val) == old_val)
339
# elif SIZEOF_PTHREAD_T == 8
340
# define os_compare_and_swap_thread_id(ptr, old_val, new_val) \
341
((pthread_t)atomic_cas_64(ptr, old_val, new_val) == old_val)
343
# error "SIZEOF_PTHREAD_T != 4 or 8"
344
# endif /* SIZEOF_PTHREAD_T CHECK */
345
# define INNODB_RW_LOCKS_USE_ATOMICS
346
# define IB_ATOMICS_STARTUP_MSG \
347
"Mutexes and rw_locks use Solaris atomic functions"
348
# else /* HAVE_IB_ATOMIC_PTHREAD_T_SOLARIS */
349
# define IB_ATOMICS_STARTUP_MSG \
350
"Mutexes use Solaris atomic functions, rw_locks do not"
351
# endif /* HAVE_IB_ATOMIC_PTHREAD_T_SOLARIS */
353
/**********************************************************//**
354
Returns the resulting value, ptr is pointer to target, amount is the
355
amount of increment. */
357
# define os_atomic_increment_lint(ptr, amount) \
358
atomic_add_long_nv((ulong_t*) ptr, amount)
360
# define os_atomic_increment_ulint(ptr, amount) \
361
atomic_add_long_nv(ptr, amount)
363
/**********************************************************//**
364
Returns the old value of *ptr, atomically sets *ptr to new_val */
366
# define os_atomic_test_and_set_byte(ptr, new_val) \
367
atomic_swap_uchar(ptr, new_val)
369
#elif defined(HAVE_WINDOWS_ATOMICS)
371
#define HAVE_ATOMIC_BUILTINS
373
/* On Windows, use Windows atomics / interlocked */
375
# define win_cmp_and_xchg InterlockedCompareExchange64
376
# define win_xchg_and_add InterlockedExchangeAdd64
378
# define win_cmp_and_xchg InterlockedCompareExchange
379
# define win_xchg_and_add InterlockedExchangeAdd
382
/**********************************************************//**
383
Returns true if swapped, ptr is pointer to target, old_val is value to
384
compare to, new_val is the value to swap in. */
386
# define os_compare_and_swap_ulint(ptr, old_val, new_val) \
387
(win_cmp_and_xchg(ptr, new_val, old_val) == old_val)
389
# define os_compare_and_swap_lint(ptr, old_val, new_val) \
390
(win_cmp_and_xchg(ptr, new_val, old_val) == old_val)
392
/* windows thread objects can always be passed to windows atomic functions */
393
# define os_compare_and_swap_thread_id(ptr, old_val, new_val) \
394
(InterlockedCompareExchange(ptr, new_val, old_val) == old_val)
395
# define INNODB_RW_LOCKS_USE_ATOMICS
396
# define IB_ATOMICS_STARTUP_MSG \
397
"Mutexes and rw_locks use Windows interlocked functions"
399
/**********************************************************//**
400
Returns the resulting value, ptr is pointer to target, amount is the
401
amount of increment. */
403
# define os_atomic_increment_lint(ptr, amount) \
404
(win_xchg_and_add(ptr, amount) + amount)
406
# define os_atomic_increment_ulint(ptr, amount) \
407
((ulint) (win_xchg_and_add(ptr, amount) + amount))
409
/**********************************************************//**
410
Returns the old value of *ptr, atomically sets *ptr to new_val.
411
InterlockedExchange() operates on LONG, and the LONG will be
414
# define os_atomic_test_and_set_byte(ptr, new_val) \
415
((byte) InterlockedExchange(ptr, new_val))
418
# define IB_ATOMICS_STARTUP_MSG \
419
"Mutexes and rw_locks use InnoDB's own implementation"
423
#include "os0sync.ic"