test_generic_locks.cpp 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578
  1. // (C) Copyright 2008 Anthony Williams
  2. // Distributed under the Boost Software License, Version 1.0. (See
  3. // accompanying file LICENSE_1_0.txt or copy at
  4. // http://www.boost.org/LICENSE_1_0.txt)
  5. #define BOOST_THREAD_VERSION 2
  6. #define BOOST_TEST_MODULE Boost.Threads: generic locks test suite
  7. #include <boost/test/unit_test.hpp>
  8. #include <boost/thread/mutex.hpp>
  9. #include <boost/thread/thread_only.hpp>
  10. #include <boost/thread/locks.hpp>
  11. #include <boost/thread/condition_variable.hpp>
  12. #include <iterator>
  13. #include <cstddef>
  14. BOOST_AUTO_TEST_CASE(test_lock_two_uncontended)
  15. {
  16. boost::mutex m1,m2;
  17. boost::unique_lock<boost::mutex> l1(m1,boost::defer_lock),
  18. l2(m2,boost::defer_lock);
  19. BOOST_CHECK(!l1.owns_lock());
  20. BOOST_CHECK(!l2.owns_lock());
  21. boost::lock(l1,l2);
  22. BOOST_CHECK(l1.owns_lock());
  23. BOOST_CHECK(l2.owns_lock());
  24. }
  25. struct wait_data
  26. {
  27. boost::mutex m;
  28. bool flag;
  29. boost::condition_variable cond;
  30. wait_data():
  31. flag(false)
  32. {}
  33. void wait()
  34. {
  35. boost::unique_lock<boost::mutex> l(m);
  36. while(!flag)
  37. {
  38. cond.wait(l);
  39. }
  40. }
  41. template<typename Duration>
  42. bool timed_wait(Duration d)
  43. {
  44. boost::system_time const target=boost::get_system_time()+d;
  45. boost::unique_lock<boost::mutex> l(m);
  46. while(!flag)
  47. {
  48. if(!cond.timed_wait(l,target))
  49. {
  50. return flag;
  51. }
  52. }
  53. return true;
  54. }
  55. void signal()
  56. {
  57. boost::unique_lock<boost::mutex> l(m);
  58. flag=true;
  59. cond.notify_all();
  60. }
  61. };
  62. void lock_mutexes_slowly(boost::mutex* m1,boost::mutex* m2,wait_data* locked,wait_data* quit)
  63. {
  64. boost::lock_guard<boost::mutex> l1(*m1);
  65. boost::this_thread::sleep(boost::posix_time::milliseconds(500));
  66. boost::lock_guard<boost::mutex> l2(*m2);
  67. locked->signal();
  68. quit->wait();
  69. }
  70. void lock_pair(boost::mutex* m1,boost::mutex* m2)
  71. {
  72. boost::lock(*m1,*m2);
  73. boost::unique_lock<boost::mutex> l1(*m1,boost::adopt_lock),
  74. l2(*m2,boost::adopt_lock);
  75. }
  76. BOOST_AUTO_TEST_CASE(test_lock_two_other_thread_locks_in_order)
  77. {
  78. boost::mutex m1,m2;
  79. wait_data locked;
  80. wait_data release;
  81. boost::thread t(lock_mutexes_slowly,&m1,&m2,&locked,&release);
  82. boost::this_thread::sleep(boost::posix_time::milliseconds(10));
  83. boost::thread t2(lock_pair,&m1,&m2);
  84. BOOST_CHECK(locked.timed_wait(boost::posix_time::seconds(1)));
  85. release.signal();
  86. BOOST_CHECK(t2.timed_join(boost::posix_time::seconds(1)));
  87. t.join();
  88. }
  89. BOOST_AUTO_TEST_CASE(test_lock_two_other_thread_locks_in_opposite_order)
  90. {
  91. boost::mutex m1,m2;
  92. wait_data locked;
  93. wait_data release;
  94. boost::thread t(lock_mutexes_slowly,&m1,&m2,&locked,&release);
  95. boost::this_thread::sleep(boost::posix_time::milliseconds(10));
  96. boost::thread t2(lock_pair,&m2,&m1);
  97. BOOST_CHECK(locked.timed_wait(boost::posix_time::seconds(1)));
  98. release.signal();
  99. BOOST_CHECK(t2.timed_join(boost::posix_time::seconds(1)));
  100. t.join();
  101. }
  102. BOOST_AUTO_TEST_CASE(test_lock_five_uncontended)
  103. {
  104. boost::mutex m1,m2,m3,m4,m5;
  105. boost::unique_lock<boost::mutex> l1(m1,boost::defer_lock),
  106. l2(m2,boost::defer_lock),
  107. l3(m3,boost::defer_lock),
  108. l4(m4,boost::defer_lock),
  109. l5(m5,boost::defer_lock);
  110. BOOST_CHECK(!l1.owns_lock());
  111. BOOST_CHECK(!l2.owns_lock());
  112. BOOST_CHECK(!l3.owns_lock());
  113. BOOST_CHECK(!l4.owns_lock());
  114. BOOST_CHECK(!l5.owns_lock());
  115. boost::lock(l1,l2,l3,l4,l5);
  116. BOOST_CHECK(l1.owns_lock());
  117. BOOST_CHECK(l2.owns_lock());
  118. BOOST_CHECK(l3.owns_lock());
  119. BOOST_CHECK(l4.owns_lock());
  120. BOOST_CHECK(l5.owns_lock());
  121. }
  122. void lock_five_mutexes_slowly(boost::mutex* m1,boost::mutex* m2,boost::mutex* m3,boost::mutex* m4,boost::mutex* m5,
  123. wait_data* locked,wait_data* quit)
  124. {
  125. boost::lock_guard<boost::mutex> l1(*m1);
  126. boost::this_thread::sleep(boost::posix_time::milliseconds(500));
  127. boost::lock_guard<boost::mutex> l2(*m2);
  128. boost::this_thread::sleep(boost::posix_time::milliseconds(500));
  129. boost::lock_guard<boost::mutex> l3(*m3);
  130. boost::this_thread::sleep(boost::posix_time::milliseconds(500));
  131. boost::lock_guard<boost::mutex> l4(*m4);
  132. boost::this_thread::sleep(boost::posix_time::milliseconds(500));
  133. boost::lock_guard<boost::mutex> l5(*m5);
  134. locked->signal();
  135. quit->wait();
  136. }
  137. void lock_five(boost::mutex* m1,boost::mutex* m2,boost::mutex* m3,boost::mutex* m4,boost::mutex* m5)
  138. {
  139. boost::lock(*m1,*m2,*m3,*m4,*m5);
  140. m1->unlock();
  141. m2->unlock();
  142. m3->unlock();
  143. m4->unlock();
  144. m5->unlock();
  145. }
  146. BOOST_AUTO_TEST_CASE(test_lock_five_other_thread_locks_in_order)
  147. {
  148. boost::mutex m1,m2,m3,m4,m5;
  149. wait_data locked;
  150. wait_data release;
  151. boost::thread t(lock_five_mutexes_slowly,&m1,&m2,&m3,&m4,&m5,&locked,&release);
  152. boost::this_thread::sleep(boost::posix_time::milliseconds(10));
  153. boost::thread t2(lock_five,&m1,&m2,&m3,&m4,&m5);
  154. BOOST_CHECK(locked.timed_wait(boost::posix_time::seconds(3)));
  155. release.signal();
  156. BOOST_CHECK(t2.timed_join(boost::posix_time::seconds(3)));
  157. t.join();
  158. }
  159. BOOST_AUTO_TEST_CASE(test_lock_five_other_thread_locks_in_different_order)
  160. {
  161. boost::mutex m1,m2,m3,m4,m5;
  162. wait_data locked;
  163. wait_data release;
  164. boost::thread t(lock_five_mutexes_slowly,&m1,&m2,&m3,&m4,&m5,&locked,&release);
  165. boost::this_thread::sleep(boost::posix_time::milliseconds(10));
  166. boost::thread t2(lock_five,&m5,&m1,&m4,&m2,&m3);
  167. BOOST_CHECK(locked.timed_wait(boost::posix_time::seconds(3)));
  168. release.signal();
  169. BOOST_CHECK(t2.timed_join(boost::posix_time::seconds(3)));
  170. t.join();
  171. }
  172. void lock_n(boost::mutex* mutexes,unsigned count)
  173. {
  174. boost::lock(mutexes,mutexes+count);
  175. for(unsigned i=0;i<count;++i)
  176. {
  177. mutexes[i].unlock();
  178. }
  179. }
  180. BOOST_AUTO_TEST_CASE(test_lock_ten_other_thread_locks_in_different_order)
  181. {
  182. unsigned const num_mutexes=10;
  183. boost::mutex mutexes[num_mutexes];
  184. wait_data locked;
  185. wait_data release;
  186. boost::thread t(lock_five_mutexes_slowly,&mutexes[6],&mutexes[3],&mutexes[8],&mutexes[0],&mutexes[2],&locked,&release);
  187. boost::this_thread::sleep(boost::posix_time::milliseconds(10));
  188. boost::thread t2(lock_n,mutexes,num_mutexes);
  189. BOOST_CHECK(locked.timed_wait(boost::posix_time::seconds(3)));
  190. release.signal();
  191. BOOST_CHECK(t2.timed_join(boost::posix_time::seconds(3)));
  192. t.join();
  193. }
  194. struct dummy_mutex
  195. {
  196. bool is_locked;
  197. dummy_mutex():
  198. is_locked(false)
  199. {}
  200. void lock()
  201. {
  202. is_locked=true;
  203. }
  204. bool try_lock()
  205. {
  206. if(is_locked)
  207. {
  208. return false;
  209. }
  210. is_locked=true;
  211. return true;
  212. }
  213. void unlock()
  214. {
  215. is_locked=false;
  216. }
  217. };
  218. namespace boost
  219. {
  220. template<>
  221. struct is_mutex_type<dummy_mutex>
  222. {
  223. BOOST_STATIC_CONSTANT(bool, value = true);
  224. };
  225. }
  226. BOOST_AUTO_TEST_CASE(test_lock_five_in_range)
  227. {
  228. unsigned const num_mutexes=5;
  229. dummy_mutex mutexes[num_mutexes];
  230. boost::lock(mutexes,mutexes+num_mutexes);
  231. for(unsigned i=0;i<num_mutexes;++i)
  232. {
  233. BOOST_CHECK(mutexes[i].is_locked);
  234. }
  235. }
  236. class dummy_iterator
  237. {
  238. private:
  239. dummy_mutex* p;
  240. public:
  241. typedef std::forward_iterator_tag iterator_category;
  242. typedef dummy_mutex value_type;
  243. typedef std::ptrdiff_t difference_type;
  244. typedef dummy_mutex* pointer;
  245. typedef dummy_mutex& reference;
  246. explicit dummy_iterator(dummy_mutex* p_):
  247. p(p_)
  248. {}
  249. bool operator==(dummy_iterator const& other) const
  250. {
  251. return p==other.p;
  252. }
  253. bool operator!=(dummy_iterator const& other) const
  254. {
  255. return p!=other.p;
  256. }
  257. bool operator<(dummy_iterator const& other) const
  258. {
  259. return p<other.p;
  260. }
  261. dummy_mutex& operator*() const
  262. {
  263. return *p;
  264. }
  265. dummy_mutex* operator->() const
  266. {
  267. return p;
  268. }
  269. dummy_iterator operator++(int)
  270. {
  271. dummy_iterator temp(*this);
  272. ++p;
  273. return temp;
  274. }
  275. dummy_iterator& operator++()
  276. {
  277. ++p;
  278. return *this;
  279. }
  280. };
  281. BOOST_AUTO_TEST_CASE(test_lock_five_in_range_custom_iterator)
  282. {
  283. unsigned const num_mutexes=5;
  284. dummy_mutex mutexes[num_mutexes];
  285. boost::lock(dummy_iterator(mutexes),dummy_iterator(mutexes+num_mutexes));
  286. for(unsigned i=0;i<num_mutexes;++i)
  287. {
  288. BOOST_CHECK(mutexes[i].is_locked);
  289. }
  290. }
  291. class dummy_mutex2:
  292. public dummy_mutex
  293. {};
  294. BOOST_AUTO_TEST_CASE(test_lock_ten_in_range_inherited_mutex)
  295. {
  296. unsigned const num_mutexes=10;
  297. dummy_mutex2 mutexes[num_mutexes];
  298. boost::lock(mutexes,mutexes+num_mutexes);
  299. for(unsigned i=0;i<num_mutexes;++i)
  300. {
  301. BOOST_CHECK(mutexes[i].is_locked);
  302. }
  303. }
  304. BOOST_AUTO_TEST_CASE(test_try_lock_two_uncontended)
  305. {
  306. dummy_mutex m1,m2;
  307. int const res=boost::try_lock(m1,m2);
  308. BOOST_CHECK(res==-1);
  309. BOOST_CHECK(m1.is_locked);
  310. BOOST_CHECK(m2.is_locked);
  311. }
  312. BOOST_AUTO_TEST_CASE(test_try_lock_two_first_locked)
  313. {
  314. dummy_mutex m1,m2;
  315. m1.lock();
  316. boost::unique_lock<dummy_mutex> l1(m1,boost::defer_lock),
  317. l2(m2,boost::defer_lock);
  318. int const res=boost::try_lock(l1,l2);
  319. BOOST_CHECK(res==0);
  320. BOOST_CHECK(m1.is_locked);
  321. BOOST_CHECK(!m2.is_locked);
  322. BOOST_CHECK(!l1.owns_lock());
  323. BOOST_CHECK(!l2.owns_lock());
  324. }
  325. BOOST_AUTO_TEST_CASE(test_try_lock_two_second_locked)
  326. {
  327. dummy_mutex m1,m2;
  328. m2.lock();
  329. boost::unique_lock<dummy_mutex> l1(m1,boost::defer_lock),
  330. l2(m2,boost::defer_lock);
  331. int const res=boost::try_lock(l1,l2);
  332. BOOST_CHECK(res==1);
  333. BOOST_CHECK(!m1.is_locked);
  334. BOOST_CHECK(m2.is_locked);
  335. BOOST_CHECK(!l1.owns_lock());
  336. BOOST_CHECK(!l2.owns_lock());
  337. }
  338. BOOST_AUTO_TEST_CASE(test_try_lock_three)
  339. {
  340. int const num_mutexes=3;
  341. for(int i=-1;i<num_mutexes;++i)
  342. {
  343. dummy_mutex mutexes[num_mutexes];
  344. if(i>=0)
  345. {
  346. mutexes[i].lock();
  347. }
  348. boost::unique_lock<dummy_mutex> l1(mutexes[0],boost::defer_lock),
  349. l2(mutexes[1],boost::defer_lock),
  350. l3(mutexes[2],boost::defer_lock);
  351. int const res=boost::try_lock(l1,l2,l3);
  352. BOOST_CHECK(res==i);
  353. for(int j=0;j<num_mutexes;++j)
  354. {
  355. if((i==j) || (i==-1))
  356. {
  357. BOOST_CHECK(mutexes[j].is_locked);
  358. }
  359. else
  360. {
  361. BOOST_CHECK(!mutexes[j].is_locked);
  362. }
  363. }
  364. if(i==-1)
  365. {
  366. BOOST_CHECK(l1.owns_lock());
  367. BOOST_CHECK(l2.owns_lock());
  368. BOOST_CHECK(l3.owns_lock());
  369. }
  370. else
  371. {
  372. BOOST_CHECK(!l1.owns_lock());
  373. BOOST_CHECK(!l2.owns_lock());
  374. BOOST_CHECK(!l3.owns_lock());
  375. }
  376. }
  377. }
  378. BOOST_AUTO_TEST_CASE(test_try_lock_four)
  379. {
  380. int const num_mutexes=4;
  381. for(int i=-1;i<num_mutexes;++i)
  382. {
  383. dummy_mutex mutexes[num_mutexes];
  384. if(i>=0)
  385. {
  386. mutexes[i].lock();
  387. }
  388. boost::unique_lock<dummy_mutex> l1(mutexes[0],boost::defer_lock),
  389. l2(mutexes[1],boost::defer_lock),
  390. l3(mutexes[2],boost::defer_lock),
  391. l4(mutexes[3],boost::defer_lock);
  392. int const res=boost::try_lock(l1,l2,l3,l4);
  393. BOOST_CHECK(res==i);
  394. for(int j=0;j<num_mutexes;++j)
  395. {
  396. if((i==j) || (i==-1))
  397. {
  398. BOOST_CHECK(mutexes[j].is_locked);
  399. }
  400. else
  401. {
  402. BOOST_CHECK(!mutexes[j].is_locked);
  403. }
  404. }
  405. if(i==-1)
  406. {
  407. BOOST_CHECK(l1.owns_lock());
  408. BOOST_CHECK(l2.owns_lock());
  409. BOOST_CHECK(l3.owns_lock());
  410. BOOST_CHECK(l4.owns_lock());
  411. }
  412. else
  413. {
  414. BOOST_CHECK(!l1.owns_lock());
  415. BOOST_CHECK(!l2.owns_lock());
  416. BOOST_CHECK(!l3.owns_lock());
  417. BOOST_CHECK(!l4.owns_lock());
  418. }
  419. }
  420. }
  421. BOOST_AUTO_TEST_CASE(test_try_lock_five)
  422. {
  423. int const num_mutexes=5;
  424. for(int i=-1;i<num_mutexes;++i)
  425. {
  426. dummy_mutex mutexes[num_mutexes];
  427. if(i>=0)
  428. {
  429. mutexes[i].lock();
  430. }
  431. boost::unique_lock<dummy_mutex> l1(mutexes[0],boost::defer_lock),
  432. l2(mutexes[1],boost::defer_lock),
  433. l3(mutexes[2],boost::defer_lock),
  434. l4(mutexes[3],boost::defer_lock),
  435. l5(mutexes[4],boost::defer_lock);
  436. int const res=boost::try_lock(l1,l2,l3,l4,l5);
  437. BOOST_CHECK(res==i);
  438. for(int j=0;j<num_mutexes;++j)
  439. {
  440. if((i==j) || (i==-1))
  441. {
  442. BOOST_CHECK(mutexes[j].is_locked);
  443. }
  444. else
  445. {
  446. BOOST_CHECK(!mutexes[j].is_locked);
  447. }
  448. }
  449. if(i==-1)
  450. {
  451. BOOST_CHECK(l1.owns_lock());
  452. BOOST_CHECK(l2.owns_lock());
  453. BOOST_CHECK(l3.owns_lock());
  454. BOOST_CHECK(l4.owns_lock());
  455. BOOST_CHECK(l5.owns_lock());
  456. }
  457. else
  458. {
  459. BOOST_CHECK(!l1.owns_lock());
  460. BOOST_CHECK(!l2.owns_lock());
  461. BOOST_CHECK(!l3.owns_lock());
  462. BOOST_CHECK(!l4.owns_lock());
  463. BOOST_CHECK(!l5.owns_lock());
  464. }
  465. }
  466. }