1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
|
/* Copyright (c) 2000, 2017, Oracle and/or its affiliates. All rights reserved.
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License, version 2.0,
as published by the Free Software Foundation.
This program is also distributed with certain software (including
but not limited to OpenSSL) that is licensed under separate terms,
as designated in a particular file or component or in included license
documentation. The authors of MySQL hereby grant you an additional
permission to link the program and your derivative works with the
separately licensed software that they have included with MySQL.
Without limiting anything contained in the foregoing, this file,
which is part of C Driver for MySQL (Connector/C), is also subject to the
Universal FOSS Exception, version 1.0, a copy of which can be found at
http://oss.oracle.com/licenses/universal-foss-exception.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License, version 2.0, for more details.
You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA */
/**
@file mysys/thr_mutex.cc
*/
#include "thr_mutex.h"
#include <errno.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "my_dbug.h"
#include "my_thread_local.h"
#if defined(SAFE_MUTEX)
/* This makes a wrapper for mutex handling to make it easier to debug mutex */
static bool safe_mutex_inited = false;
/**
While it looks like this function is pointless, it makes it possible to
catch usage of global static mutexes. Since the order of construction of
global objects in different compilation units is undefined, this is
quite useful.
*/
void safe_mutex_global_init(void) { safe_mutex_inited = true; }
int safe_mutex_init(safe_mutex_t *mp, const native_mutexattr_t *attr,
const char *file, uint line) {
DBUG_ASSERT(safe_mutex_inited);
memset(mp, 0, sizeof(*mp));
native_mutex_init(&mp->global, MY_MUTEX_INIT_ERRCHK);
native_mutex_init(&mp->mutex, attr);
/* Mark that mutex is initialized */
mp->file = file;
mp->line = line;
return 0;
}
int safe_mutex_lock(safe_mutex_t *mp, bool try_lock, const char *file,
uint line) {
int error;
native_mutex_lock(&mp->global);
if (!mp->file) {
native_mutex_unlock(&mp->global);
fprintf(stderr,
"safe_mutex: Trying to lock uninitialized mutex at %s, line %d\n",
file, line);
fflush(stderr);
abort();
}
if (mp->count > 0) {
if (try_lock) {
native_mutex_unlock(&mp->global);
return EBUSY;
} else if (my_thread_equal(my_thread_self(), mp->thread)) {
#ifndef DBUG_OFF
fprintf(stderr,
"safe_mutex: Trying to lock mutex at %s, line %d, when the"
" mutex was already locked at %s, line %d in thread T@%u\n",
file, line, mp->file, mp->line, my_thread_var_id());
fflush(stderr);
#endif
abort();
}
}
native_mutex_unlock(&mp->global);
/*
If we are imitating trylock(), we need to take special
precautions.
- We cannot use pthread_mutex_lock() only since another thread can
overtake this thread and take the lock before this thread
causing pthread_mutex_trylock() to hang. In this case, we should
just return EBUSY. Hence, we use pthread_mutex_trylock() to be
able to return immediately.
- We cannot just use trylock() and continue execution below, since
this would generate an error and abort execution if the thread
was overtaken and trylock() returned EBUSY . In this case, we
instead just return EBUSY, since this is the expected behaviour
of trylock().
*/
if (try_lock) {
error = native_mutex_trylock(&mp->mutex);
if (error == EBUSY) return error;
} else
error = native_mutex_lock(&mp->mutex);
if (error || (error = native_mutex_lock(&mp->global))) {
fprintf(stderr, "Got error %d when trying to lock mutex at %s, line %d\n",
error, file, line);
fflush(stderr);
abort();
}
mp->thread = my_thread_self();
if (mp->count++) {
fprintf(stderr,
"safe_mutex: Error in thread libray: Got mutex at %s, \
line %d more than 1 time\n",
file, line);
fflush(stderr);
abort();
}
mp->file = file;
mp->line = line;
native_mutex_unlock(&mp->global);
return error;
}
int safe_mutex_unlock(safe_mutex_t *mp, const char *file, uint line) {
int error;
native_mutex_lock(&mp->global);
if (mp->count == 0) {
fprintf(stderr,
"safe_mutex: Trying to unlock mutex that wasn't locked at %s, line "
"%d\n Last used at %s, line: %d\n",
file, line, mp->file ? mp->file : "", mp->line);
fflush(stderr);
abort();
}
if (!my_thread_equal(my_thread_self(), mp->thread)) {
fprintf(stderr,
"safe_mutex: Trying to unlock mutex at %s, line %d that was "
"locked by another thread at: %s, line: %d\n",
file, line, mp->file, mp->line);
fflush(stderr);
abort();
}
mp->thread = 0;
mp->count--;
error = native_mutex_unlock(&mp->mutex);
if (error) {
fprintf(stderr,
"safe_mutex: Got error: %d (%d) when trying to unlock mutex at %s, "
"line %d\n",
error, errno, file, line);
fflush(stderr);
abort();
}
native_mutex_unlock(&mp->global);
return error;
}
int safe_mutex_destroy(safe_mutex_t *mp, const char *file, uint line) {
int error = 0;
native_mutex_lock(&mp->global);
if (!mp->file) {
native_mutex_unlock(&mp->global);
fprintf(
stderr,
"safe_mutex: Trying to destroy uninitialized mutex at %s, line %d\n",
file, line);
fflush(stderr);
abort();
}
if (mp->count != 0) {
native_mutex_unlock(&mp->global);
fprintf(stderr,
"safe_mutex: Trying to destroy a mutex that was locked at %s, line "
"%d at %s, line %d\n",
mp->file, mp->line, file, line);
fflush(stderr);
abort();
}
native_mutex_unlock(&mp->global);
if (native_mutex_destroy(&mp->global)) error = 1;
if (native_mutex_destroy(&mp->mutex)) error = 1;
mp->file = 0; /* Mark destroyed */
return error;
}
#endif /* SAFE_MUTEX */
|
