test_condition_variable_any_post.cpp 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501
  1. // Copyright Oliver Kowalke 2013.
  2. // Distributed under the Boost Software License, Version 1.0.
  3. // (See accompanying file LICENSE_1_0.txt or copy at
  4. // http://www.boost.org/LICENSE_1_0.txt)
  5. //
  6. // This test is based on the tests of Boost.Thread
  7. #include <chrono>
  8. #include <cstdlib>
  9. #include <cstdio>
  10. #include <iostream>
  11. #include <map>
  12. #include <stdexcept>
  13. #include <vector>
  14. #include <boost/test/unit_test.hpp>
  15. #include <boost/fiber/all.hpp>
  16. typedef std::chrono::nanoseconds ns;
  17. typedef std::chrono::milliseconds ms;
  18. int value1 = 0;
  19. inline
  20. std::chrono::system_clock::time_point delay(int secs, int msecs=0, int /*nsecs*/=0) {
  21. std::chrono::system_clock::time_point t = std::chrono::system_clock::now();
  22. t += std::chrono::seconds( secs);
  23. t += std::chrono::milliseconds( msecs);
  24. //t += std::chrono::nanoseconds( nsecs);
  25. return t;
  26. }
  27. struct condition_test_data {
  28. condition_test_data() : notified(0), awoken(0) { }
  29. boost::fibers::mutex mutex;
  30. boost::fibers::condition_variable_any cond;
  31. int notified;
  32. int awoken;
  33. };
  34. void condition_test_fiber(condition_test_data* data) {
  35. try {
  36. data->mutex.lock();
  37. while (!(data->notified > 0))
  38. data->cond.wait(data->mutex);
  39. data->awoken++;
  40. } catch ( ... ) {
  41. }
  42. data->mutex.unlock();
  43. }
  44. struct cond_predicate {
  45. cond_predicate(int& var, int val) : _var(var), _val(val) { }
  46. bool operator()() { return _var == _val; }
  47. int& _var;
  48. int _val;
  49. private:
  50. void operator=(cond_predicate&);
  51. };
  52. void notify_one_fn( boost::fibers::condition_variable_any & cond) {
  53. cond.notify_one();
  54. }
  55. void notify_all_fn( boost::fibers::condition_variable_any & cond) {
  56. cond.notify_all();
  57. }
  58. void wait_fn(
  59. boost::fibers::mutex & mtx,
  60. boost::fibers::condition_variable_any & cond) {
  61. mtx.lock();
  62. cond.wait( mtx);
  63. ++value1;
  64. mtx.unlock();
  65. }
  66. void test_one_waiter_notify_one() {
  67. value1 = 0;
  68. boost::fibers::mutex mtx;
  69. boost::fibers::condition_variable_any cond;
  70. boost::fibers::fiber f1(
  71. boost::fibers::launch::post,
  72. wait_fn,
  73. std::ref( mtx),
  74. std::ref( cond) );
  75. BOOST_CHECK_EQUAL( 0, value1);
  76. boost::fibers::fiber f2(
  77. boost::fibers::launch::post,
  78. notify_one_fn,
  79. std::ref( cond) );
  80. BOOST_CHECK_EQUAL( 0, value1);
  81. f1.join();
  82. f2.join();
  83. BOOST_CHECK_EQUAL( 1, value1);
  84. }
  85. void test_two_waiter_notify_one() {
  86. value1 = 0;
  87. boost::fibers::mutex mtx;
  88. boost::fibers::condition_variable_any cond;
  89. boost::fibers::fiber f1(
  90. boost::fibers::launch::post,
  91. wait_fn,
  92. std::ref( mtx),
  93. std::ref( cond) );
  94. BOOST_CHECK_EQUAL( 0, value1);
  95. boost::fibers::fiber f2(
  96. boost::fibers::launch::post,
  97. wait_fn,
  98. std::ref( mtx),
  99. std::ref( cond) );
  100. BOOST_CHECK_EQUAL( 0, value1);
  101. boost::fibers::fiber f3(
  102. boost::fibers::launch::post,
  103. notify_one_fn,
  104. std::ref( cond) );
  105. BOOST_CHECK_EQUAL( 0, value1);
  106. boost::fibers::fiber f4(
  107. boost::fibers::launch::post,
  108. notify_one_fn,
  109. std::ref( cond) );
  110. BOOST_CHECK_EQUAL( 0, value1);
  111. f1.join();
  112. f2.join();
  113. f3.join();
  114. f4.join();
  115. BOOST_CHECK_EQUAL( 2, value1);
  116. }
  117. void test_two_waiter_notify_all() {
  118. value1 = 0;
  119. boost::fibers::mutex mtx;
  120. boost::fibers::condition_variable_any cond;
  121. boost::fibers::fiber f1(
  122. boost::fibers::launch::post,
  123. wait_fn,
  124. std::ref( mtx),
  125. std::ref( cond) );
  126. BOOST_CHECK_EQUAL( 0, value1);
  127. boost::fibers::fiber f2(
  128. boost::fibers::launch::post,
  129. wait_fn,
  130. std::ref( mtx),
  131. std::ref( cond) );
  132. BOOST_CHECK_EQUAL( 0, value1);
  133. boost::fibers::fiber f3(
  134. boost::fibers::launch::post,
  135. notify_all_fn,
  136. std::ref( cond) );
  137. BOOST_CHECK_EQUAL( 0, value1);
  138. boost::fibers::fiber f4(
  139. boost::fibers::launch::post,
  140. wait_fn,
  141. std::ref( mtx),
  142. std::ref( cond) );
  143. BOOST_CHECK_EQUAL( 0, value1);
  144. boost::fibers::fiber f5(
  145. boost::fibers::launch::post,
  146. notify_all_fn,
  147. std::ref( cond) );
  148. BOOST_CHECK_EQUAL( 0, value1);
  149. f1.join();
  150. f2.join();
  151. f3.join();
  152. f4.join();
  153. f5.join();
  154. BOOST_CHECK_EQUAL( 3, value1);
  155. }
  156. int test1 = 0;
  157. int test2 = 0;
  158. int runs = 0;
  159. void fn1( boost::fibers::mutex & m, boost::fibers::condition_variable_any & cv) {
  160. m.lock();
  161. BOOST_CHECK(test2 == 0);
  162. test1 = 1;
  163. cv.notify_one();
  164. while (test2 == 0) {
  165. cv.wait(m);
  166. }
  167. BOOST_CHECK(test2 != 0);
  168. m.unlock();
  169. }
  170. void fn2( boost::fibers::mutex & m, boost::fibers::condition_variable_any & cv) {
  171. m.lock();
  172. BOOST_CHECK(test2 == 0);
  173. test1 = 1;
  174. cv.notify_one();
  175. std::chrono::system_clock::time_point t0 = std::chrono::system_clock::now();
  176. std::chrono::system_clock::time_point t = t0 + ms(250);
  177. int count=0;
  178. while (test2 == 0 && cv.wait_until(m, t) == boost::fibers::cv_status::no_timeout)
  179. count++;
  180. std::chrono::system_clock::time_point t1 = std::chrono::system_clock::now();
  181. if (runs == 0) {
  182. BOOST_CHECK(t1 - t0 < ms(250));
  183. BOOST_CHECK(test2 != 0);
  184. } else {
  185. BOOST_CHECK(t1 - t0 - ms(250) < ms(count*250+100+1000));
  186. BOOST_CHECK(test2 == 0);
  187. }
  188. ++runs;
  189. m.unlock();
  190. }
  191. class Pred {
  192. int & i_;
  193. public:
  194. explicit Pred(int& i) :
  195. i_(i)
  196. {}
  197. bool operator()()
  198. { return i_ != 0; }
  199. };
  200. void fn3( boost::fibers::mutex & m, boost::fibers::condition_variable_any & cv) {
  201. m.lock();
  202. BOOST_CHECK(test2 == 0);
  203. test1 = 1;
  204. cv.notify_one();
  205. std::chrono::steady_clock::time_point t0 = std::chrono::steady_clock::now();
  206. std::chrono::steady_clock::time_point t = t0 + ms(250);
  207. bool r = cv.wait_until(m, t, Pred(test2));
  208. std::chrono::steady_clock::time_point t1 = std::chrono::steady_clock::now();
  209. if (runs == 0) {
  210. BOOST_CHECK(t1 - t0 < ms(250));
  211. BOOST_CHECK(test2 != 0);
  212. BOOST_CHECK(r);
  213. } else {
  214. BOOST_CHECK(t1 - t0 - ms(250) < ms(250+100));
  215. BOOST_CHECK(test2 == 0);
  216. BOOST_CHECK(!r);
  217. }
  218. ++runs;
  219. m.unlock();
  220. }
  221. void fn4( boost::fibers::mutex & m, boost::fibers::condition_variable_any & cv) {
  222. m.lock();
  223. BOOST_CHECK(test2 == 0);
  224. test1 = 1;
  225. cv.notify_one();
  226. std::chrono::steady_clock::time_point t0 = std::chrono::steady_clock::now();
  227. int count=0;
  228. while (test2 == 0 && cv.wait_for(m, ms(250)) == boost::fibers::cv_status::no_timeout)
  229. count++;
  230. std::chrono::steady_clock::time_point t1 = std::chrono::steady_clock::now();
  231. if (runs == 0) {
  232. BOOST_CHECK(t1 - t0 < ms(250));
  233. BOOST_CHECK(test2 != 0);
  234. } else {
  235. BOOST_CHECK(t1 - t0 - ms(250) < ms(count*250+100+1000));
  236. BOOST_CHECK(test2 == 0);
  237. }
  238. ++runs;
  239. m.unlock();
  240. }
  241. void fn5( boost::fibers::mutex & m, boost::fibers::condition_variable_any & cv) {
  242. m.lock();
  243. BOOST_CHECK(test2 == 0);
  244. test1 = 1;
  245. cv.notify_one();
  246. std::chrono::steady_clock::time_point t0 = std::chrono::steady_clock::now();
  247. int count=0;
  248. cv.wait_for(m, ms(250), Pred(test2));
  249. count++;
  250. std::chrono::steady_clock::time_point t1 = std::chrono::steady_clock::now();
  251. if (runs == 0) {
  252. BOOST_CHECK(t1 - t0 < ms(250+1000));
  253. BOOST_CHECK(test2 != 0);
  254. } else {
  255. BOOST_CHECK(t1 - t0 - ms(250) < ms(count*250+100));
  256. BOOST_CHECK(test2 == 0);
  257. }
  258. ++runs;
  259. m.unlock();
  260. }
  261. void do_test_condition_wait() {
  262. test1 = 0;
  263. test2 = 0;
  264. runs = 0;
  265. boost::fibers::mutex m;
  266. boost::fibers::condition_variable_any cv;
  267. m.lock();
  268. boost::fibers::fiber f( boost::fibers::launch::post, & fn1, std::ref( m), std::ref( cv) );
  269. BOOST_CHECK(test1 == 0);
  270. while (test1 == 0)
  271. cv.wait(m);
  272. BOOST_CHECK(test1 != 0);
  273. test2 = 1;
  274. m.unlock();
  275. cv.notify_one();
  276. f.join();
  277. }
  278. void test_condition_wait() {
  279. boost::fibers::fiber( boost::fibers::launch::post, & do_test_condition_wait).join();
  280. do_test_condition_wait();
  281. }
  282. void do_test_condition_wait_until() {
  283. test1 = 0;
  284. test2 = 0;
  285. runs = 0;
  286. boost::fibers::mutex m;
  287. boost::fibers::condition_variable_any cv;
  288. {
  289. m.lock();
  290. boost::fibers::fiber f( boost::fibers::launch::post, & fn2, std::ref( m), std::ref( cv) );
  291. BOOST_CHECK(test1 == 0);
  292. while (test1 == 0)
  293. cv.wait(m);
  294. BOOST_CHECK(test1 != 0);
  295. test2 = 1;
  296. m.unlock();
  297. cv.notify_one();
  298. f.join();
  299. }
  300. test1 = 0;
  301. test2 = 0;
  302. {
  303. m.lock();
  304. boost::fibers::fiber f( boost::fibers::launch::post, & fn2, std::ref( m), std::ref( cv) );
  305. BOOST_CHECK(test1 == 0);
  306. while (test1 == 0)
  307. cv.wait(m);
  308. BOOST_CHECK(test1 != 0);
  309. m.unlock();
  310. f.join();
  311. }
  312. }
  313. void test_condition_wait_until() {
  314. boost::fibers::fiber( boost::fibers::launch::post, & do_test_condition_wait_until).join();
  315. do_test_condition_wait_until();
  316. }
  317. void do_test_condition_wait_until_pred() {
  318. test1 = 0;
  319. test2 = 0;
  320. runs = 0;
  321. boost::fibers::mutex m;
  322. boost::fibers::condition_variable_any cv;
  323. {
  324. m.lock();
  325. boost::fibers::fiber f( boost::fibers::launch::post, & fn3, std::ref( m), std::ref( cv) );
  326. BOOST_CHECK(test1 == 0);
  327. while (test1 == 0)
  328. cv.wait(m);
  329. BOOST_CHECK(test1 != 0);
  330. test2 = 1;
  331. m.unlock();
  332. cv.notify_one();
  333. f.join();
  334. }
  335. test1 = 0;
  336. test2 = 0;
  337. {
  338. m.lock();
  339. boost::fibers::fiber f( boost::fibers::launch::post, & fn3, std::ref( m), std::ref( cv) );
  340. BOOST_CHECK(test1 == 0);
  341. while (test1 == 0)
  342. cv.wait(m);
  343. BOOST_CHECK(test1 != 0);
  344. m.unlock();
  345. f.join();
  346. }
  347. }
  348. void test_condition_wait_until_pred() {
  349. boost::fibers::fiber( boost::fibers::launch::post, & do_test_condition_wait_until_pred).join();
  350. do_test_condition_wait_until_pred();
  351. }
  352. void do_test_condition_wait_for() {
  353. test1 = 0;
  354. test2 = 0;
  355. runs = 0;
  356. boost::fibers::mutex m;
  357. boost::fibers::condition_variable_any cv;
  358. {
  359. m.lock();
  360. boost::fibers::fiber f( boost::fibers::launch::post, & fn4, std::ref( m), std::ref( cv) );
  361. BOOST_CHECK(test1 == 0);
  362. while (test1 == 0)
  363. cv.wait(m);
  364. BOOST_CHECK(test1 != 0);
  365. test2 = 1;
  366. m.unlock();
  367. cv.notify_one();
  368. f.join();
  369. }
  370. test1 = 0;
  371. test2 = 0;
  372. {
  373. m.lock();
  374. boost::fibers::fiber f( boost::fibers::launch::post, & fn4, std::ref( m), std::ref( cv) );
  375. BOOST_CHECK(test1 == 0);
  376. while (test1 == 0)
  377. cv.wait(m);
  378. BOOST_CHECK(test1 != 0);
  379. m.unlock();
  380. f.join();
  381. }
  382. }
  383. void test_condition_wait_for() {
  384. boost::fibers::fiber( boost::fibers::launch::post, & do_test_condition_wait_for).join();
  385. do_test_condition_wait_for();
  386. }
  387. void do_test_condition_wait_for_pred() {
  388. test1 = 0;
  389. test2 = 0;
  390. runs = 0;
  391. boost::fibers::mutex m;
  392. boost::fibers::condition_variable_any cv;
  393. {
  394. m.lock();
  395. boost::fibers::fiber f( boost::fibers::launch::post, & fn5, std::ref( m), std::ref( cv) );
  396. BOOST_CHECK(test1 == 0);
  397. while (test1 == 0)
  398. cv.wait(m);
  399. BOOST_CHECK(test1 != 0);
  400. test2 = 1;
  401. m.unlock();
  402. cv.notify_one();
  403. f.join();
  404. }
  405. test1 = 0;
  406. test2 = 0;
  407. {
  408. m.lock();
  409. boost::fibers::fiber f( boost::fibers::launch::post, & fn5, std::ref( m), std::ref( cv) );
  410. BOOST_CHECK(test1 == 0);
  411. while (test1 == 0)
  412. cv.wait(m);
  413. BOOST_CHECK(test1 != 0);
  414. m.unlock();
  415. f.join();
  416. }
  417. }
  418. void test_condition_wait_for_pred() {
  419. boost::fibers::fiber( boost::fibers::launch::post, & do_test_condition_wait_for_pred).join();
  420. do_test_condition_wait_for_pred();
  421. }
  422. boost::unit_test::test_suite * init_unit_test_suite( int, char* []) {
  423. boost::unit_test::test_suite * test =
  424. BOOST_TEST_SUITE("Boost.Fiber: condition_variable_any test suite");
  425. test->add( BOOST_TEST_CASE( & test_one_waiter_notify_one) );
  426. test->add( BOOST_TEST_CASE( & test_two_waiter_notify_one) );
  427. test->add( BOOST_TEST_CASE( & test_two_waiter_notify_all) );
  428. test->add( BOOST_TEST_CASE( & test_condition_wait) );
  429. test->add( BOOST_TEST_CASE( & test_condition_wait_until) );
  430. test->add( BOOST_TEST_CASE( & test_condition_wait_until_pred) );
  431. test->add( BOOST_TEST_CASE( & test_condition_wait_for) );
  432. test->add( BOOST_TEST_CASE( & test_condition_wait_for_pred) );
  433. return test;
  434. }