1 //////////////////////////////////////////////////////////////////////////////
3 // (C) Copyright Ion Gaztanaga 2004-2012. Distributed under the Boost
4 // Software License, Version 1.0. (See accompanying file
5 // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
7 // See http://www.boost.org/libs/interprocess for documentation.
9 //////////////////////////////////////////////////////////////////////////////
10 // Copyright (C) 2001-2003
13 // Permission to use, copy, modify, distribute and sell this software
14 // and its documentation for any purpose is hereby granted without fee,
15 // provided that the above copyright notice appear in all copies and
16 // that both that copyright notice and this permission notice appear
17 // in supporting documentation. William E. Kempf makes no representations
18 // about the suitability of this software for any purpose.
19 // It is provided "as is" without express or implied warranty.
21 #ifndef BOOST_INTERPROCESS_TEST_MUTEX_TEST_TEMPLATE_HEADER
22 #define BOOST_INTERPROCESS_TEST_MUTEX_TEST_TEMPLATE_HEADER
24 #include <boost/interprocess/detail/config_begin.hpp>
25 #include <boost/interprocess/exceptions.hpp>
26 #include "boost_interprocess_check.hpp"
28 #include <boost/interprocess/detail/os_thread_functions.hpp>
29 #include <boost/interprocess/sync/scoped_lock.hpp>
30 #include <boost/date_time/posix_time/posix_time_types.hpp>
33 namespace boost { namespace interprocess { namespace test {
39 typedef boost::interprocess::scoped_lock<mutex_type> lock_type;
44 mutex_type interprocess_mutex;
46 // Test the lock's constructors.
48 lock_type lock(interprocess_mutex, boost::interprocess::defer_lock);
49 BOOST_INTERPROCESS_CHECK(!lock);
51 lock_type lock(interprocess_mutex);
52 BOOST_INTERPROCESS_CHECK(lock ? true : false);
54 // Test the lock and unlock methods.
56 BOOST_INTERPROCESS_CHECK(!lock);
58 BOOST_INTERPROCESS_CHECK(lock ? true : false);
66 typedef boost::interprocess::scoped_lock<mutex_type> try_to_lock_type;
70 mutex_type interprocess_mutex;
72 // Test the lock's constructors.
74 try_to_lock_type lock(interprocess_mutex, boost::interprocess::try_to_lock);
75 BOOST_INTERPROCESS_CHECK(lock ? true : false);
78 try_to_lock_type lock(interprocess_mutex, boost::interprocess::defer_lock);
79 BOOST_INTERPROCESS_CHECK(!lock);
81 try_to_lock_type lock(interprocess_mutex);
82 BOOST_INTERPROCESS_CHECK(lock ? true : false);
84 // Test the lock, unlock and trylock methods.
86 BOOST_INTERPROCESS_CHECK(!lock);
88 BOOST_INTERPROCESS_CHECK(lock ? true : false);
90 BOOST_INTERPROCESS_CHECK(!lock);
91 BOOST_INTERPROCESS_CHECK(lock.try_lock());
92 BOOST_INTERPROCESS_CHECK(lock ? true : false);
100 typedef boost::interprocess::scoped_lock<mutex_type> timed_lock_type;
104 mutex_type interprocess_mutex;
106 // Test the lock's constructors.
108 // Construct and initialize an ptime for a fast time out.
109 boost::posix_time::ptime pt = delay(1*BaseSeconds, 0);
111 timed_lock_type lock(interprocess_mutex, pt);
112 BOOST_INTERPROCESS_CHECK(lock ? true : false);
115 timed_lock_type lock(interprocess_mutex, boost::interprocess::defer_lock);
116 BOOST_INTERPROCESS_CHECK(!lock);
118 timed_lock_type lock(interprocess_mutex);
119 BOOST_INTERPROCESS_CHECK(lock ? true : false);
121 // Test the lock, unlock and timedlock methods.
123 BOOST_INTERPROCESS_CHECK(!lock);
125 BOOST_INTERPROCESS_CHECK(lock ? true : false);
127 BOOST_INTERPROCESS_CHECK(!lock);
128 boost::posix_time::ptime pt = delay(3*BaseSeconds, 0);
129 BOOST_INTERPROCESS_CHECK(lock.timed_lock(pt));
130 BOOST_INTERPROCESS_CHECK(lock ? true : false);
134 template <typename M>
135 struct test_recursive_lock
137 typedef M mutex_type;
138 typedef boost::interprocess::scoped_lock<mutex_type> lock_type;
148 lock_type lock1(mx, defer_lock);
149 lock_type lock2(mx, defer_lock);
152 lock_type lock1(mx, try_to_lock);
153 lock_type lock2(mx, try_to_lock);
156 //This should always lock
157 boost::posix_time::ptime pt = delay(2*BaseSeconds);
158 lock_type lock1(mx, pt);
159 lock_type lock2(mx, pt);
164 // plain_exclusive exercises the "infinite" lock for each
165 // read_write_mutex type.
168 void lock_and_sleep(void *arg, M &sm)
170 data<M> *pdata = static_cast<data<M>*>(arg);
171 boost::interprocess::scoped_lock<M> l(sm);
173 boost::interprocess::ipcdetail::thread_sleep((1000*pdata->m_secs));
176 boost::interprocess::ipcdetail::thread_sleep((1000*2*BaseSeconds));
180 pdata->m_value = shared_val;
184 void lock_and_catch_errors(void *arg, M &sm)
186 data<M> *pdata = static_cast<data<M>*>(arg);
189 boost::interprocess::scoped_lock<M> l(sm);
191 boost::interprocess::ipcdetail::thread_sleep((1000*pdata->m_secs));
194 boost::interprocess::ipcdetail::thread_sleep((1000*2*BaseSeconds));
197 pdata->m_value = shared_val;
199 catch(interprocess_exception const & e)
201 pdata->m_error = e.get_error_code();
206 void try_lock_and_sleep(void *arg, M &sm)
208 data<M> *pdata = static_cast<data<M>*>(arg);
209 boost::interprocess::scoped_lock<M> l(sm, boost::interprocess::defer_lock);
211 boost::interprocess::ipcdetail::thread_sleep((1000*2*BaseSeconds));
213 pdata->m_value = shared_val;
218 void timed_lock_and_sleep(void *arg, M &sm)
220 data<M> *pdata = static_cast<data<M>*>(arg);
221 boost::posix_time::ptime pt(delay(pdata->m_secs));
222 boost::interprocess::scoped_lock<M>
223 l (sm, boost::interprocess::defer_lock);
224 if (l.timed_lock(pt)){
225 boost::interprocess::ipcdetail::thread_sleep((1000*2*BaseSeconds));
227 pdata->m_value = shared_val;
232 void test_mutex_lock()
241 // Locker one launches, holds the lock for 2*BaseSeconds seconds.
242 boost::interprocess::ipcdetail::OS_thread_t tm1;
243 boost::interprocess::ipcdetail::thread_launch(tm1, thread_adapter<M>(&lock_and_sleep, &d1, mtx));
246 boost::interprocess::ipcdetail::thread_sleep((1000*1*BaseSeconds));
248 // Locker two launches, but it won't hold the lock for 2*BaseSeconds seconds.
249 boost::interprocess::ipcdetail::OS_thread_t tm2;
250 boost::interprocess::ipcdetail::thread_launch(tm2, thread_adapter<M>(&lock_and_sleep, &d2, mtx));
254 boost::interprocess::ipcdetail::thread_join(tm1);
255 boost::interprocess::ipcdetail::thread_sleep((1000*1*BaseSeconds));
256 boost::interprocess::ipcdetail::thread_join(tm2);
258 BOOST_INTERPROCESS_CHECK(d1.m_value == 1);
259 BOOST_INTERPROCESS_CHECK(d2.m_value == 2);
263 void test_mutex_lock_timeout()
269 int wait_time_s = BOOST_INTERPROCESS_TIMEOUT_WHEN_LOCKING_DURATION_MS / 1000;
270 if (wait_time_s == 0 )
273 data<M> d1(1, wait_time_s * 3);
274 data<M> d2(2, wait_time_s * 2);
276 // Locker one launches, and holds the lock for wait_time_s * 2 seconds.
277 boost::interprocess::ipcdetail::OS_thread_t tm1;
278 boost::interprocess::ipcdetail::thread_launch(tm1, thread_adapter<M>(&lock_and_sleep, &d1, mtx));
281 boost::interprocess::ipcdetail::thread_sleep((1000*wait_time_s));
283 // Locker two launches, and attempts to hold the lock for wait_time_s * 2 seconds.
284 boost::interprocess::ipcdetail::OS_thread_t tm2;
285 boost::interprocess::ipcdetail::thread_launch(tm2, thread_adapter<M>(&lock_and_catch_errors, &d2, mtx));
288 boost::interprocess::ipcdetail::thread_join(tm1);
289 boost::interprocess::ipcdetail::thread_sleep((1000*1*BaseSeconds));
290 boost::interprocess::ipcdetail::thread_join(tm2);
292 BOOST_INTERPROCESS_CHECK(d1.m_value == 1);
293 BOOST_INTERPROCESS_CHECK(d2.m_value == -1);
294 BOOST_INTERPROCESS_CHECK(d1.m_error == no_error);
295 BOOST_INTERPROCESS_CHECK(d2.m_error == boost::interprocess::timeout_when_locking_error);
299 void test_mutex_try_lock()
308 // Locker one launches, holds the lock for 2*BaseSeconds seconds.
309 boost::interprocess::ipcdetail::OS_thread_t tm1;
310 boost::interprocess::ipcdetail::thread_launch(tm1, thread_adapter<M>(&try_lock_and_sleep, &d1, mtx));
313 boost::interprocess::ipcdetail::thread_sleep((1000*1*BaseSeconds));
315 // Locker two launches, but it should fail acquiring the lock
316 boost::interprocess::ipcdetail::OS_thread_t tm2;
317 boost::interprocess::ipcdetail::thread_launch(tm2, thread_adapter<M>(&try_lock_and_sleep, &d2, mtx));
320 boost::interprocess::ipcdetail::thread_join(tm1);
321 boost::interprocess::ipcdetail::thread_join(tm2);
323 //Only the first should succeed locking
324 BOOST_INTERPROCESS_CHECK(d1.m_value == 1);
325 BOOST_INTERPROCESS_CHECK(d2.m_value == -1);
329 void test_mutex_timed_lock()
336 data<M> d1(1, 2*BaseSeconds);
337 data<M> d2(2, 2*BaseSeconds);
339 // Locker one launches, holds the lock for 2*BaseSeconds seconds.
340 boost::interprocess::ipcdetail::OS_thread_t tm1;
341 boost::interprocess::ipcdetail::thread_launch(tm1, thread_adapter<M>(&timed_lock_and_sleep, &d1, mtx));
344 boost::interprocess::ipcdetail::thread_sleep((1000*1*BaseSeconds));
346 // Locker two launches, holds the lock for 2*BaseSeconds seconds.
347 boost::interprocess::ipcdetail::OS_thread_t tm2;
348 boost::interprocess::ipcdetail::thread_launch(tm2, thread_adapter<M>(&timed_lock_and_sleep, &d2, mtx));
351 boost::interprocess::ipcdetail::thread_join(tm1);
352 boost::interprocess::ipcdetail::thread_join(tm2);
354 //Both should succeed locking
355 BOOST_INTERPROCESS_CHECK(d1.m_value == 1);
356 BOOST_INTERPROCESS_CHECK(d2.m_value == 2);
359 template <typename M>
360 inline void test_all_lock()
362 //Now generic interprocess_mutex tests
363 std::cout << "test_lock<" << typeid(M).name() << ">" << std::endl;
365 std::cout << "test_trylock<" << typeid(M).name() << ">" << std::endl;
367 std::cout << "test_timedlock<" << typeid(M).name() << ">" << std::endl;
368 test_timedlock<M>()();
371 template <typename M>
372 inline void test_all_recursive_lock()
374 //Now generic interprocess_mutex tests
375 std::cout << "test_recursive_lock<" << typeid(M).name() << ">" << std::endl;
376 test_recursive_lock<M>()();
380 void test_all_mutex()
382 std::cout << "test_mutex_lock<" << typeid(M).name() << ">" << std::endl;
383 test_mutex_lock<M>();
384 std::cout << "test_mutex_try_lock<" << typeid(M).name() << ">" << std::endl;
385 test_mutex_try_lock<M>();
386 std::cout << "test_mutex_timed_lock<" << typeid(M).name() << ">" << std::endl;
387 test_mutex_timed_lock<M>();
390 }}} //namespace boost { namespace interprocess { namespace test {
392 #include <boost/interprocess/detail/config_end.hpp>
394 #endif //BOOST_INTERPROCESS_TEST_MUTEX_TEST_TEMPLATE_HEADER