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
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
|
// Copyright (C) 2001-2003
// William E. Kempf
//
// Permission to use, copy, modify, distribute and sell this software
// and its documentation for any purpose is hereby granted without fee,
// provided that the above copyright notice appear in all copies and
// that both that copyright notice and this permission notice appear
// in supporting documentation. William E. Kempf makes no representations
// about the suitability of this software for any purpose.
// It is provided "as is" without express or implied warranty.
//////////////////////////////////////////////////////////////////////////////
//
// (C) Copyright Ion Gaztanaga 2005-2012. Distributed under the Boost
// Software License, Version 1.0. (See accompanying file
// LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
//
// See http://www.boost.org/libs/interprocess for documentation.
//
//////////////////////////////////////////////////////////////////////////////
#ifndef BOOST_INTERPROCESS_TEST_SHARABLE_MUTEX_TEST_TEMPLATE_HEADER
#define BOOST_INTERPROCESS_TEST_SHARABLE_MUTEX_TEST_TEMPLATE_HEADER
#include <boost/interprocess/detail/config_begin.hpp>
#include <boost/interprocess/detail/workaround.hpp>
#include <boost/interprocess/detail/os_thread_functions.hpp>
#include "boost_interprocess_check.hpp"
#include <boost/interprocess/sync/sharable_lock.hpp>
#include <boost/interprocess/sync/scoped_lock.hpp>
#include <iostream>
#include <cassert>
#include "util.hpp"
#include <typeinfo>
namespace boost { namespace interprocess { namespace test {
template<typename SM>
void plain_exclusive(void *arg, SM &sm)
{
data<SM> *pdata = static_cast<data<SM>*>(arg);
boost::interprocess::scoped_lock<SM> l(sm);
boost::interprocess::ipcdetail::thread_sleep_ms(unsigned(3*BaseMs));
shared_val += 10;
pdata->m_value = shared_val;
}
template<typename SM>
void plain_shared(void *arg, SM &sm)
{
data<SM> *pdata = static_cast<data<SM>*>(arg);
boost::interprocess::sharable_lock<SM> l(sm);
if(pdata->m_msecs){
boost::interprocess::ipcdetail::thread_sleep_ms(unsigned(pdata->m_msecs));
}
pdata->m_value = shared_val;
}
template<typename SM>
void try_exclusive(void *arg, SM &sm)
{
data<SM> *pdata = static_cast<data<SM>*>(arg);
boost::interprocess::scoped_lock<SM> l(sm, boost::interprocess::defer_lock);
if (l.try_lock()){
boost::interprocess::ipcdetail::thread_sleep_ms(unsigned(3*BaseMs));
shared_val += 10;
pdata->m_value = shared_val;
}
}
template<typename SM>
void try_shared(void *arg, SM &sm)
{
data<SM> *pdata = static_cast<data<SM>*>(arg);
boost::interprocess::sharable_lock<SM> l(sm, boost::interprocess::defer_lock);
if (l.try_lock()){
if(pdata->m_msecs){
boost::interprocess::ipcdetail::thread_sleep_ms(unsigned(pdata->m_msecs));
}
pdata->m_value = shared_val;
}
}
template<typename SM>
void test_plain_sharable_mutex()
{
{
shared_val = 0;
SM mtx;
data<SM> e1(1);
data<SM> e2(2);
data<SM> s1(1);
data<SM> s2(2);
// Writer one launches, holds the lock for 3*BaseMs seconds.
boost::interprocess::ipcdetail::OS_thread_t tw1;
boost::interprocess::ipcdetail::thread_launch(tw1, thread_adapter<SM>(plain_exclusive, &e1, mtx));
//Give time to e1 to grab the mutex
boost::interprocess::ipcdetail::thread_sleep_ms(unsigned(1*BaseMs));
// Writer two launches, tries to grab the lock, "clearly"
// after Writer one will already be holding it.
boost::interprocess::ipcdetail::OS_thread_t tw2;
boost::interprocess::ipcdetail::thread_launch(tw2, thread_adapter<SM>(plain_exclusive, &e2, mtx));
boost::interprocess::ipcdetail::thread_sleep_ms(unsigned(1*BaseMs));
// Readers launche, "clearly" after writer two, and "clearly"
// while writer 1 still holds the lock
boost::interprocess::ipcdetail::OS_thread_t thr1;
boost::interprocess::ipcdetail::thread_launch(thr1, thread_adapter<SM>(plain_shared,&s1, mtx));
boost::interprocess::ipcdetail::OS_thread_t thr2;
boost::interprocess::ipcdetail::thread_launch(thr2, thread_adapter<SM>(plain_shared,&s2, mtx));
boost::interprocess::ipcdetail::thread_join(thr2);
boost::interprocess::ipcdetail::thread_join(thr1);
boost::interprocess::ipcdetail::thread_join(tw2);
boost::interprocess::ipcdetail::thread_join(tw1);
//We can only assure that the writer will be first
BOOST_INTERPROCESS_CHECK(e1.m_value == 10);
//A that we will execute all
BOOST_INTERPROCESS_CHECK(s1.m_value == 20 || s2.m_value == 20 || e2.m_value == 20);
}
{
shared_val = 0;
SM mtx;
data<SM> s1(1, 3);
data<SM> s2(2, 3);
data<SM> e1(1);
data<SM> e2(2);
//We launch 2 readers, that will block for 3*BaseTime seconds
boost::interprocess::ipcdetail::OS_thread_t thr1;
boost::interprocess::ipcdetail::thread_launch(thr1, thread_adapter<SM>(plain_shared,&s1, mtx));
boost::interprocess::ipcdetail::OS_thread_t thr2;
boost::interprocess::ipcdetail::thread_launch(thr2, thread_adapter<SM>(plain_shared,&s2, mtx));
//Make sure they try to hold the sharable lock
boost::interprocess::ipcdetail::thread_sleep_ms(unsigned(1*BaseMs));
// We launch two writers, that should block until the readers end
boost::interprocess::ipcdetail::OS_thread_t tw1;
boost::interprocess::ipcdetail::thread_launch(tw1, thread_adapter<SM>(plain_exclusive,&e1, mtx));
boost::interprocess::ipcdetail::OS_thread_t tw2;
boost::interprocess::ipcdetail::thread_launch(tw2, thread_adapter<SM>(plain_exclusive,&e2, mtx));
boost::interprocess::ipcdetail::thread_join(tw2);
boost::interprocess::ipcdetail::thread_join(tw1);
boost::interprocess::ipcdetail::thread_join(thr2);
boost::interprocess::ipcdetail::thread_join(thr1);
//We can only assure that the shared will finish first...
BOOST_INTERPROCESS_CHECK(s1.m_value == 0 || s2.m_value == 0);
//...and writers will be mutually excluded after readers
BOOST_INTERPROCESS_CHECK((e1.m_value == 10 && e2.m_value == 20) ||
(e1.m_value == 20 && e2.m_value == 10) );
}
}
template<typename SM>
void test_try_sharable_mutex()
{
SM mtx;
data<SM> s1(1);
data<SM> e1(2);
data<SM> e2(3);
// We start with some specialized tests for "try" behavior
shared_val = 0;
// Writer one launches, holds the lock for 3*BaseMs seconds.
boost::interprocess::ipcdetail::OS_thread_t tw1;
boost::interprocess::ipcdetail::thread_launch(tw1, thread_adapter<SM>(try_exclusive,&e1,mtx));
boost::interprocess::ipcdetail::thread_sleep_ms(unsigned(1*BaseMs));
// Reader one launches, "clearly" after writer #1 holds the lock
// and before it releases the lock.
boost::interprocess::ipcdetail::OS_thread_t thr1;
boost::interprocess::ipcdetail::thread_launch(thr1, thread_adapter<SM>(try_shared,&s1,mtx));
// Writer two launches in the same timeframe.
boost::interprocess::ipcdetail::OS_thread_t tw2;
boost::interprocess::ipcdetail::thread_launch(tw2, thread_adapter<SM>(try_exclusive,&e2,mtx));
boost::interprocess::ipcdetail::thread_join(tw2);
boost::interprocess::ipcdetail::thread_join(thr1);
boost::interprocess::ipcdetail::thread_join(tw1);
BOOST_INTERPROCESS_CHECK(e1.m_value == 10);
BOOST_INTERPROCESS_CHECK(s1.m_value == -1); // Try would return w/o waiting
BOOST_INTERPROCESS_CHECK(e2.m_value == -1); // Try would return w/o waiting
}
template<typename SM>
void timed_exclusive(void *arg, SM &sm)
{
data<SM> *pdata = static_cast<data<SM>*>(arg);
boost::interprocess::scoped_lock<SM>
l (sm, boost::interprocess::defer_lock);
bool r = false;
if(pdata->m_flags == (int)TimedLock){
r = l.timed_lock(std_systemclock_delay_ms(unsigned(pdata->m_msecs)));
}
else if (pdata->m_flags == (int)TryLockUntil) {
r = l.try_lock_until(ptime_delay_ms(unsigned(pdata->m_msecs)));
}
else if (pdata->m_flags == (int)TryLockFor) {
r = l.try_lock_for(boost_systemclock_ms(unsigned(pdata->m_msecs)));
}
if (r){
boost::interprocess::ipcdetail::thread_sleep_ms(unsigned(3*BaseMs));
shared_val += 10;
pdata->m_value = shared_val;
}
}
template<typename SM>
void timed_shared(void *arg, SM &sm)
{
data<SM> *pdata = static_cast<data<SM>*>(arg);
boost::interprocess::sharable_lock<SM>
l(sm, boost::interprocess::defer_lock);
bool r = false;
if(pdata->m_flags == (int)TimedLock){
r = l.timed_lock(std_systemclock_delay_ms(unsigned(pdata->m_msecs)));
}
else if (pdata->m_flags == (int)TryLockUntil) {
r = l.try_lock_until(ptime_delay_ms(unsigned(pdata->m_msecs)));
}
else if (pdata->m_flags == (int)TryLockFor) {
r = l.try_lock_for(boost_systemclock_ms(unsigned(pdata->m_msecs)));
}
if (r){
boost::interprocess::ipcdetail::thread_sleep_ms(unsigned(3*BaseMs));
pdata->m_value = shared_val;
}
}
template<typename SM>
void test_timed_sharable_mutex()
{
for (int flag = 0; flag != (int)ETimedLockFlagsMax; ++flag)
{
SM mtx;
data<SM> e1(3, 3*BaseMs, flag);
data<SM> e2(4, 1*BaseMs, flag);
data<SM> s1(1, 1*BaseMs, flag);
data<SM> s2(2, 3*BaseMs, flag);
// We begin with some specialized tests for "timed" behavior
shared_val = 0;
// Writer one will hold the lock for 3*BaseMs seconds.
boost::interprocess::ipcdetail::OS_thread_t tw1;
boost::interprocess::ipcdetail::thread_launch(tw1, thread_adapter<SM>(timed_exclusive,&e1,mtx));
boost::interprocess::ipcdetail::thread_sleep_ms(unsigned(1*BaseMs));
// Writer two will "clearly" try for the lock after the readers
// have tried for it. Writer will wait up 1*BaseMs seconds for the lock.
// This write will fail.
boost::interprocess::ipcdetail::OS_thread_t tw2;
boost::interprocess::ipcdetail::thread_launch(tw2, thread_adapter<SM>(timed_exclusive,&e2,mtx));
// Readers one and two will "clearly" try for the lock after writer
// one already holds it. 1st reader will wait 1*BaseMs seconds, and will fail
// to get the lock. 2nd reader will wait 3*BaseMs seconds, and will get
// the lock.
boost::interprocess::ipcdetail::OS_thread_t thr1;
boost::interprocess::ipcdetail::thread_launch(thr1, thread_adapter<SM>(timed_shared,&s1,mtx));
boost::interprocess::ipcdetail::OS_thread_t thr2;
boost::interprocess::ipcdetail::thread_launch(thr2, thread_adapter<SM>(timed_shared,&s2,mtx));
boost::interprocess::ipcdetail::thread_join(thr2);
boost::interprocess::ipcdetail::thread_join(thr1);
boost::interprocess::ipcdetail::thread_join(tw2);
boost::interprocess::ipcdetail::thread_join(tw1);
BOOST_INTERPROCESS_CHECK(e1.m_value == 10);
BOOST_INTERPROCESS_CHECK(e2.m_value == -1);
BOOST_INTERPROCESS_CHECK(s1.m_value == -1);
BOOST_INTERPROCESS_CHECK(s2.m_value == 10);
}
}
template<typename SM>
void test_all_sharable_mutex()
{
std::cout << "test_plain_sharable_mutex<" << typeid(SM).name() << ">" << std::endl;
test_plain_sharable_mutex<SM>();
std::cout << "test_try_sharable_mutex<" << typeid(SM).name() << ">" << std::endl;
test_try_sharable_mutex<SM>();
std::cout << "test_timed_sharable_mutex<" << typeid(SM).name() << ">" << std::endl;
test_timed_sharable_mutex<SM>();
}
}}} //namespace boost { namespace interprocess { namespace test {
#include <boost/interprocess/detail/config_end.hpp>
#endif //#ifndef BOOST_INTERPROCESS_TEST_SHARABLE_MUTEX_TEST_TEMPLATE_HEADER
|
