3 #include "cppunit/cppunit_proxy.h"
4 #include <cds/intrusive/details/michael_list_base.h>
7 namespace ci = cds::intrusive;
8 namespace co = cds::opt;
10 class IntrusiveMichaelListHeaderTest: public CppUnitMini::TestCase
16 int nEnsureExistsCall;
23 , nEnsureExistsCall(0)
34 stat& operator =(const stat& s)
36 memcpy( this, &s, sizeof(s));
41 template <typename GC>
42 struct base_int_item: public ci::michael_list::node< GC >
52 base_int_item(int key, int val)
58 base_int_item(const base_int_item& v )
64 const int& key() const
70 template <typename GC>
71 struct member_int_item
76 ci::michael_list::node< GC > hMember;
83 member_int_item(int key, int val)
89 member_int_item(const member_int_item& v )
95 const int& key() const
101 template <typename T>
104 bool operator ()(const T& v1, const T& v2 ) const
106 return v1.key() < v2.key();
109 template <typename Q>
110 bool operator ()(const T& v1, const Q& v2 ) const
112 return v1.key() < v2;
115 template <typename Q>
116 bool operator ()(const Q& v1, const T& v2 ) const
118 return v1 < v2.key();
131 template <typename T, typename Q>
132 bool operator()( T const& i1, Q const& i2) const
134 return i1.nKey < i2.nKey;
138 template <typename T>
140 int operator ()(const T& v1, const T& v2 ) const
142 if ( v1.key() < v2.key() )
144 return v1.key() > v2.key() ? 1 : 0;
147 template <typename Q>
148 int operator ()(const T& v1, const Q& v2 ) const
152 return v1.key() > v2 ? 1 : 0;
155 template <typename Q>
156 int operator ()(const Q& v1, const T& v2 ) const
160 return v1 > v2.key() ? 1 : 0;
164 struct faked_disposer
166 template <typename T>
167 void operator ()( T * p )
169 ++p->s.nDisposeCount;
173 struct ensure_functor
175 template <typename T>
176 void operator ()(bool bNew, T& item, T& val )
179 ++item.s.nEnsureNewCall;
181 ++item.s.nEnsureExistsCall;
187 template <typename T, typename Q>
188 void operator ()( T& item, Q& val )
196 template <typename T>
197 void operator()( T const& item )
203 template <class OrdList>
204 void test_int_common()
206 typedef typename OrdList::value_type value_type;
208 value_type v1( 10, 50 );
209 value_type v2( 5, 25 );
210 value_type v3( 20, 100 );
213 CPPUNIT_ASSERT( l.empty() );
215 CPPUNIT_ASSERT( l.insert( v1 )) ; // true
216 CPPUNIT_ASSERT( l.find( v1.key() ));
218 CPPUNIT_ASSERT( v1.s.nFindCall == 0 );
219 CPPUNIT_ASSERT( l.find( v1.key(), find_functor() ));
220 CPPUNIT_ASSERT( v1.s.nFindCall == 1 );
222 CPPUNIT_ASSERT( !l.find( v2.key() ));
223 CPPUNIT_ASSERT( !l.find_with( v3.key(), less<value_type>() ));
224 CPPUNIT_ASSERT( !l.empty() );
226 CPPUNIT_ASSERT( !l.insert( v1 )) ; // assertion "is_empty" is not raised since pNext is nullptr
230 CPPUNIT_ASSERT( !l.insert( v )) ; // false
233 std::pair<bool, bool> ret = l.ensure( v2, ensure_functor() );
234 CPPUNIT_ASSERT( ret.first );
235 CPPUNIT_ASSERT( ret.second );
236 CPPUNIT_ASSERT( v2.s.nEnsureNewCall == 1 );
237 CPPUNIT_ASSERT( v2.s.nEnsureExistsCall == 0 );
239 //CPPUNIT_ASSERT( !l.insert( v2 )) ; // assertion "is_empty"
241 CPPUNIT_ASSERT( l.find_with( v1.key(), less<value_type>() )) ; // true
243 CPPUNIT_ASSERT( v1.s.nFindCall == 1 );
244 CPPUNIT_ASSERT( l.find_with( v1.key(), less<value_type>(), find_functor() ));
245 CPPUNIT_ASSERT( v1.s.nFindCall == 2 );
247 CPPUNIT_ASSERT( l.find( v2.key() ));
249 CPPUNIT_ASSERT( v2.s.nFindCall == 0 );
250 CPPUNIT_ASSERT( l.find( v2.key(), find_functor() ));
251 CPPUNIT_ASSERT( v2.s.nFindCall == 1 );
253 CPPUNIT_ASSERT( !l.find( v3.key() ));
256 CPPUNIT_ASSERT( v2.s.nEnsureExistsCall == 0 );
257 CPPUNIT_ASSERT( v2.s.nEnsureNewCall == 1 );
260 ret = l.ensure( v, ensure_functor() );
262 CPPUNIT_ASSERT( ret.first );
263 CPPUNIT_ASSERT( !ret.second );
264 CPPUNIT_ASSERT( v2.s.nEnsureExistsCall == 1 );
265 CPPUNIT_ASSERT( v2.s.nEnsureNewCall == 1 );
266 CPPUNIT_ASSERT( v.s.nEnsureExistsCall == 0 );
267 CPPUNIT_ASSERT( v.s.nEnsureNewCall == 0 );
270 CPPUNIT_ASSERT( !l.empty() );
272 CPPUNIT_ASSERT( l.insert( v3 )) ; // true
273 CPPUNIT_ASSERT( l.find( v3.key() ));
275 CPPUNIT_ASSERT( v3.s.nFindCall == 0 );
276 CPPUNIT_ASSERT( l.find( v3.key(), find_functor() ));
277 CPPUNIT_ASSERT( v3.s.nFindCall == 1 );
279 CPPUNIT_ASSERT( l.unlink( v2 ) );
280 CPPUNIT_ASSERT( l.find( v1.key() )) ; // true
281 CPPUNIT_ASSERT( !l.find( v2.key() )) ; // true
282 CPPUNIT_ASSERT( l.find( v3.key() )) ; // true
283 CPPUNIT_ASSERT( !l.empty() );
284 CPPUNIT_ASSERT( !l.unlink( v2 ) );
287 // v1 key is in the list but v NODE is not in the list
289 CPPUNIT_ASSERT( !l.unlink( v ) );
292 CPPUNIT_ASSERT( l.unlink( v1 ) );
293 CPPUNIT_ASSERT( !l.unlink( v1 ) );
294 CPPUNIT_ASSERT( !l.find( v1.key() ));
295 CPPUNIT_ASSERT( !l.find( v2.key() ));
296 CPPUNIT_ASSERT( l.find( v3.key() ));
297 CPPUNIT_ASSERT( !l.empty() );
298 CPPUNIT_ASSERT( !l.unlink( v1 ) );
299 CPPUNIT_ASSERT( !l.unlink( v2 ) );
301 CPPUNIT_ASSERT( l.unlink( v3 ) );
302 CPPUNIT_ASSERT( !l.find_with( v1.key(), less<value_type>() ));
303 CPPUNIT_ASSERT( !l.find_with( v2.key(), less<value_type>(), find_functor() ));
304 CPPUNIT_ASSERT( !l.find( v3.key(), find_functor() ));
305 CPPUNIT_ASSERT( l.empty() );
306 CPPUNIT_ASSERT( !l.unlink( v1 ) );
307 CPPUNIT_ASSERT( !l.unlink( v2 ) );
308 CPPUNIT_ASSERT( !l.unlink( v3 ) );
310 // Apply retired pointer to clean links
311 OrdList::gc::force_dispose();
314 ret = l.ensure( v3, ensure_functor() );
315 CPPUNIT_ASSERT( ret.first );
316 CPPUNIT_ASSERT( ret.second );
317 CPPUNIT_ASSERT( v3.s.nEnsureNewCall == s.nEnsureNewCall + 1);
318 CPPUNIT_ASSERT( v3.s.nEnsureExistsCall == s.nEnsureExistsCall );
319 CPPUNIT_ASSERT( !l.empty() );
322 ret = l.ensure( v2, ensure_functor() );
323 CPPUNIT_ASSERT( ret.first );
324 CPPUNIT_ASSERT( ret.second );
325 CPPUNIT_ASSERT( v2.s.nEnsureNewCall == s.nEnsureNewCall + 1);
326 CPPUNIT_ASSERT( v2.s.nEnsureExistsCall == s.nEnsureExistsCall );
327 CPPUNIT_ASSERT( !l.empty() );
330 ret = l.ensure( v1, ensure_functor() );
331 CPPUNIT_ASSERT( ret.first );
332 CPPUNIT_ASSERT( ret.second );
333 CPPUNIT_ASSERT( v1.s.nEnsureNewCall == s.nEnsureNewCall + 1);
334 CPPUNIT_ASSERT( v1.s.nEnsureExistsCall == s.nEnsureExistsCall );
335 CPPUNIT_ASSERT( !l.empty() );
338 CPPUNIT_ASSERT( v1.s.nEraseCall == 0 );
339 CPPUNIT_ASSERT( l.erase( v1.key(), erase_functor()) );
340 CPPUNIT_ASSERT( v1.s.nEraseCall == 1 );
341 //CPPUNIT_ASSERT( v1.s.nDisposeCount == 0 );
342 CPPUNIT_ASSERT( !l.empty() );
344 CPPUNIT_ASSERT( l.erase_with( v2.key(), less<value_type>() ) );
345 CPPUNIT_ASSERT( !l.erase( v2.key()));
346 //CPPUNIT_ASSERT( v2.s.nDisposeCount == 0 );
347 CPPUNIT_ASSERT( !l.empty() );
349 CPPUNIT_ASSERT( v2.s.nEraseCall == 0 );
350 CPPUNIT_ASSERT( !l.erase( v2, erase_functor() ));
351 CPPUNIT_ASSERT( v2.s.nEraseCall == 0 );
352 CPPUNIT_ASSERT( !l.erase( v1 ));
353 //CPPUNIT_ASSERT( v2.s.nDisposeCount == 0 );
354 CPPUNIT_ASSERT( !l.empty() );
356 CPPUNIT_ASSERT( v3.s.nEraseCall == 0 );
357 CPPUNIT_ASSERT( l.erase_with( v3, less<value_type>(), erase_functor() ));
358 CPPUNIT_ASSERT( v3.s.nEraseCall == 1 );
359 //CPPUNIT_ASSERT( v3.s.nDisposeCount == 0 );
360 CPPUNIT_ASSERT( l.empty() );
362 // Apply retired pointer to clean links
363 OrdList::gc::force_dispose();
366 CPPUNIT_ASSERT( l.insert( v1 ));
367 CPPUNIT_ASSERT( l.insert( v3 ));
368 CPPUNIT_ASSERT( !l.empty() );
369 CPPUNIT_ASSERT( !l.unlink( v2 ));
370 CPPUNIT_ASSERT( l.unlink( v1 ));
371 CPPUNIT_ASSERT( !l.unlink( v1 ));
372 CPPUNIT_ASSERT( l.unlink( v3 ));
373 CPPUNIT_ASSERT( !l.unlink( v3 ));
374 CPPUNIT_ASSERT( l.empty() );
376 // Apply retired pointer
377 OrdList::gc::force_dispose();
378 CPPUNIT_ASSERT( v1.s.nDisposeCount == 3 );
379 CPPUNIT_ASSERT( v2.s.nDisposeCount == 2 );
380 CPPUNIT_ASSERT( v3.s.nDisposeCount == 3 );
382 // Destructor test (call disposer)
383 CPPUNIT_ASSERT( l.insert( v1 ));
384 CPPUNIT_ASSERT( l.insert( v3 ));
385 CPPUNIT_ASSERT( l.insert( v2 ));
390 typename OrdList::iterator it = l.begin();
391 typename OrdList::const_iterator cit = l.cbegin();
392 CPPUNIT_ASSERT( it != l.end() );
393 CPPUNIT_ASSERT( it != l.cend() );
394 CPPUNIT_ASSERT( cit != l.end() );
395 CPPUNIT_ASSERT( cit != l.cend() );
396 CPPUNIT_ASSERT( cit == it );
398 CPPUNIT_ASSERT( it->nKey == v2.nKey );
399 CPPUNIT_ASSERT( it->nVal == v2.nVal );
400 CPPUNIT_ASSERT( ++it != l.end() );
401 CPPUNIT_ASSERT( it->nKey == v1.nKey );
402 CPPUNIT_ASSERT( it->nVal == v1.nVal );
403 CPPUNIT_ASSERT( ++it != l.end() );
404 CPPUNIT_ASSERT( it->nKey == v3.nKey );
405 CPPUNIT_ASSERT( it->nVal == v3.nVal );
406 CPPUNIT_ASSERT( ++it == l.end() );
411 typename OrdList::const_iterator it = l.cbegin();
412 CPPUNIT_ASSERT( it != l.cend() );
413 CPPUNIT_ASSERT( it->nKey == v2.nKey );
414 CPPUNIT_ASSERT( it->nVal == v2.nVal );
415 CPPUNIT_ASSERT( ++it != l.cend() );
416 CPPUNIT_ASSERT( it->nKey == v1.nKey );
417 CPPUNIT_ASSERT( it->nVal == v1.nVal );
418 CPPUNIT_ASSERT( ++it != l.cend() );
419 CPPUNIT_ASSERT( it->nKey == v3.nKey );
420 CPPUNIT_ASSERT( it->nVal == v3.nVal );
421 CPPUNIT_ASSERT( ++it == l.cend() );
426 OrdList const & lref = l;
427 typename OrdList::const_iterator it = lref.begin();
428 CPPUNIT_ASSERT( it != l.end() );
429 CPPUNIT_ASSERT( it->nKey == v2.nKey );
430 CPPUNIT_ASSERT( it->nVal == v2.nVal );
431 CPPUNIT_ASSERT( ++it != lref.end() );
432 CPPUNIT_ASSERT( it->nKey == v1.nKey );
433 CPPUNIT_ASSERT( it->nVal == v1.nVal );
434 CPPUNIT_ASSERT( ++it != l.end() );
435 CPPUNIT_ASSERT( it->nKey == v3.nKey );
436 CPPUNIT_ASSERT( it->nVal == v3.nVal );
437 CPPUNIT_ASSERT( ++it == l.end() );
441 // Apply retired pointer
442 OrdList::gc::force_dispose();
444 CPPUNIT_ASSERT( v1.s.nDisposeCount == 4 );
445 CPPUNIT_ASSERT( v2.s.nDisposeCount == 3 );
446 CPPUNIT_ASSERT( v3.s.nDisposeCount == 4 );
449 template <class OrdList>
452 test_int_common<OrdList>();
455 typename OrdList::guarded_ptr gp;
457 static int const nLimit = 20;
458 typename OrdList::value_type arrItem[nLimit];
463 for (int i = 0; i < nLimit; ++i)
465 std::random_shuffle( a, a + nLimit );
467 for (int i = 0; i < nLimit; ++i) {
468 arrItem[i].nKey = a[i];
469 arrItem[i].nVal = a[i] * 2;
473 for ( int i = 0; i < nLimit; ++i )
474 CPPUNIT_ASSERT( l.insert( arrItem[i] ) );
476 for ( int i=0; i < nLimit; ++i ) {
477 CPPUNIT_ASSERT( l.get( gp, arrItem[i].nKey ));
478 CPPUNIT_ASSERT( !gp.empty());
479 CPPUNIT_ASSERT( gp->nKey == arrItem[i].nKey );
480 CPPUNIT_ASSERT( gp->nVal == arrItem[i].nVal );
483 CPPUNIT_ASSERT( l.extract( gp, arrItem[i].nKey ));
484 CPPUNIT_ASSERT( !gp.empty());
485 CPPUNIT_ASSERT( gp->nKey == arrItem[i].nKey );
486 CPPUNIT_ASSERT( gp->nVal == arrItem[i].nVal );
489 CPPUNIT_ASSERT( !l.get( gp, arrItem[i].nKey ));
490 CPPUNIT_ASSERT( gp.empty());
491 CPPUNIT_ASSERT( !l.extract( gp, arrItem[i].nKey ));
492 CPPUNIT_ASSERT( gp.empty());
494 CPPUNIT_ASSERT( l.empty() );
495 CPPUNIT_ASSERT( !l.get( gp, nLimit/2 ));
496 CPPUNIT_ASSERT( gp.empty());
497 CPPUNIT_ASSERT( !l.extract( gp, nLimit/2 ));
498 CPPUNIT_ASSERT( gp.empty());
500 // Apply retired pointer
501 OrdList::gc::force_dispose();
503 // extract_with/get_with
504 for ( int i = 0; i < nLimit; ++i )
505 CPPUNIT_ASSERT( l.insert( arrItem[i] ) );
507 for ( int i=0; i < nLimit; ++i ) {
508 other_item itm( arrItem[i].nKey );
509 CPPUNIT_ASSERT( l.get_with( gp, itm, other_less() ));
510 CPPUNIT_ASSERT( !gp.empty());
511 CPPUNIT_ASSERT( gp->nKey == arrItem[i].nKey );
512 CPPUNIT_ASSERT( gp->nVal == arrItem[i].nVal );
515 CPPUNIT_ASSERT( l.extract_with( gp, itm, other_less() ));
516 CPPUNIT_ASSERT( !gp.empty());
517 CPPUNIT_ASSERT( gp->nKey == arrItem[i].nKey );
518 CPPUNIT_ASSERT( gp->nVal == arrItem[i].nVal );
521 CPPUNIT_ASSERT( !l.get_with( gp, itm, other_less() ));
522 CPPUNIT_ASSERT( gp.empty());
523 CPPUNIT_ASSERT( !l.extract_with( gp, itm, other_less() ));
524 CPPUNIT_ASSERT( gp.empty());
526 CPPUNIT_ASSERT( l.empty() );
527 CPPUNIT_ASSERT( !l.get_with( gp, other_item(nLimit/2), other_less() ));
528 CPPUNIT_ASSERT( gp.empty());
529 CPPUNIT_ASSERT( !l.extract_with( gp, other_item(nLimit/2), other_less() ));
530 CPPUNIT_ASSERT( gp.empty());
532 // Apply retired pointer
533 OrdList::gc::force_dispose();
535 for ( int i=0; i < nLimit; i++ ) {
536 CPPUNIT_ASSERT( arrItem[i].s.nDisposeCount == 2 );
541 template <class OrdList>
544 test_int_common<OrdList>();
547 static int const nLimit = 20;
548 typename OrdList::value_type arrItem[nLimit];
550 typedef typename OrdList::rcu_lock rcu_lock;
551 typedef typename OrdList::value_type value_type;
552 typedef typename OrdList::gc rcu_type;
556 for (int i = 0; i < nLimit; ++i)
558 std::random_shuffle( a, a + nLimit );
560 for (int i = 0; i < nLimit; ++i) {
561 arrItem[i].nKey = a[i];
562 arrItem[i].nVal = a[i] * 2;
566 for ( int i = 0; i < nLimit; ++i )
567 CPPUNIT_ASSERT( l.insert( arrItem[i] ) );
569 typename OrdList::exempt_ptr ep;
571 for ( int i = 0; i < nLimit; ++i ) {
574 value_type * pGet = l.get( a[i] );
575 CPPUNIT_ASSERT( pGet != nullptr );
576 CPPUNIT_CHECK( pGet->nKey == a[i] );
577 CPPUNIT_CHECK( pGet->nVal == a[i] * 2 );
579 ep = l.extract( a[i] );
580 CPPUNIT_ASSERT( ep );
581 CPPUNIT_ASSERT( !ep.empty() );
582 CPPUNIT_CHECK( ep->nKey == a[i] );
583 CPPUNIT_CHECK( (*ep).nVal == a[i] * 2 );
588 CPPUNIT_CHECK( l.get( a[i] ) == nullptr );
589 CPPUNIT_CHECK( !l.extract( a[i] ));
590 CPPUNIT_CHECK( ep.empty() );
593 CPPUNIT_ASSERT( l.empty() );
597 CPPUNIT_CHECK( l.get( a[0] ) == nullptr );
598 ep = l.extract( a[0] );
599 CPPUNIT_CHECK( !ep );
600 CPPUNIT_CHECK( ep.empty() );
602 // Apply retired pointer
603 OrdList::gc::force_dispose();
605 // extract_with/get_with
606 for ( int i = 0; i < nLimit; ++i ) {
607 CPPUNIT_ASSERT( l.insert( arrItem[i] ) );
610 for ( int i = 0; i < nLimit; ++i ) {
611 other_item itm( a[i] );
614 value_type * pGet = l.get_with( itm, other_less() );
615 CPPUNIT_ASSERT( pGet != nullptr );
616 CPPUNIT_CHECK( pGet->nKey == a[i] );
617 CPPUNIT_CHECK( pGet->nVal == a[i] * 2 );
619 ep = l.extract_with( itm, other_less() );
620 CPPUNIT_ASSERT( ep );
621 CPPUNIT_ASSERT( !ep.empty() );
622 CPPUNIT_CHECK( ep->nKey == a[i] );
623 CPPUNIT_CHECK( ep->nVal == a[i] * 2 );
628 CPPUNIT_CHECK( l.get_with( itm, other_less() ) == nullptr );
629 ep = l.extract_with( itm, other_less() );
630 CPPUNIT_CHECK( !ep );
631 CPPUNIT_CHECK( ep.empty() );
634 CPPUNIT_ASSERT( l.empty() );
638 CPPUNIT_CHECK( l.get_with( other_item( 0 ), other_less() ) == nullptr );
639 CPPUNIT_CHECK( !l.extract_with( other_item(0), other_less() ));
640 CPPUNIT_CHECK( ep.empty() );
642 // Apply retired pointer
643 OrdList::gc::force_dispose();
647 template <class OrdList>
650 typedef typename OrdList::value_type value_type;
652 value_type v1( 10, 50 );
653 value_type v2( 5, 25 );
654 value_type v3( 20, 100 );
657 CPPUNIT_ASSERT( l.empty() );
659 CPPUNIT_ASSERT( l.insert( v1 )) ; // true
660 CPPUNIT_ASSERT( l.find( v1.key() ) == &v1 );
662 CPPUNIT_ASSERT( v1.s.nFindCall == 0 );
663 CPPUNIT_ASSERT( l.find( v1.key(), find_functor() ));
664 CPPUNIT_ASSERT( v1.s.nFindCall == 1 );
666 CPPUNIT_ASSERT( l.find_with( v2.key(), less<value_type>() ) == nullptr );
667 CPPUNIT_ASSERT( !l.find_with( v3.key(), less<value_type>(), find_functor() ));
668 CPPUNIT_ASSERT( !l.empty() );
670 CPPUNIT_ASSERT( !l.insert( v1 )) ; // assertion "is_empty" is not raised since pNext is nullptr
674 CPPUNIT_ASSERT( !l.insert( v )) ; // false
677 std::pair<bool, bool> ret = l.ensure( v2, ensure_functor() );
678 CPPUNIT_ASSERT( ret.first );
679 CPPUNIT_ASSERT( ret.second );
680 CPPUNIT_ASSERT( v2.s.nEnsureNewCall == 1 );
681 CPPUNIT_ASSERT( v2.s.nEnsureExistsCall == 0 );
683 //CPPUNIT_ASSERT( !l.insert( v2 )) ; // assertion "is_empty"
685 CPPUNIT_ASSERT( l.find( v1.key() ) == &v1 ) ; // true
687 CPPUNIT_ASSERT( v1.s.nFindCall == 1 );
688 CPPUNIT_ASSERT( l.find( v1.key(), find_functor() ));
689 CPPUNIT_ASSERT( v1.s.nFindCall == 2 );
691 CPPUNIT_ASSERT( l.find( v2.key() ) == &v2 );
693 CPPUNIT_ASSERT( v2.s.nFindCall == 0 );
694 CPPUNIT_ASSERT( l.find( v2.key(), find_functor() ));
695 CPPUNIT_ASSERT( v2.s.nFindCall == 1 );
697 CPPUNIT_ASSERT( !l.find( v3.key() ));
701 ret = l.ensure( v, ensure_functor() );
703 CPPUNIT_ASSERT( ret.first );
704 CPPUNIT_ASSERT( !ret.second );
705 CPPUNIT_ASSERT( v2.s.nEnsureExistsCall == 1 );
706 CPPUNIT_ASSERT( v.s.nEnsureExistsCall == 0 && v.s.nEnsureNewCall == 0 );
709 CPPUNIT_ASSERT( !l.empty() );
711 CPPUNIT_ASSERT( l.insert( v3 )) ; // true
712 CPPUNIT_ASSERT( l.find( v3.key() ) == &v3 );
714 CPPUNIT_ASSERT( v3.s.nFindCall == 0 );
715 CPPUNIT_ASSERT( l.find( v3.key(), find_functor() ));
716 CPPUNIT_ASSERT( v3.s.nFindCall == 1 );
719 typename OrdList::iterator it = l.begin();
720 typename OrdList::const_iterator cit = l.cbegin();
721 CPPUNIT_ASSERT( it != l.end() );
722 CPPUNIT_ASSERT( it != l.cend() );
723 CPPUNIT_ASSERT( cit != l.end() );
724 CPPUNIT_ASSERT( cit != l.cend() );
725 CPPUNIT_ASSERT( cit == it );
727 CPPUNIT_ASSERT( it->nKey == v2.nKey );
728 CPPUNIT_ASSERT( it->nVal == v2.nVal );
729 CPPUNIT_ASSERT( ++it != l.end() );
730 CPPUNIT_ASSERT( it->nKey == v1.nKey );
731 CPPUNIT_ASSERT( it->nVal == v1.nVal );
732 CPPUNIT_ASSERT( it++ != l.end() );
733 CPPUNIT_ASSERT( it->nKey == v3.nKey );
734 CPPUNIT_ASSERT( it->nVal == v3.nVal );
735 CPPUNIT_ASSERT( it++ != l.end() );
736 CPPUNIT_ASSERT( it == l.end() );
740 OrdList const & lref = l;
741 typename OrdList::const_iterator it = lref.begin();
742 CPPUNIT_ASSERT( it != l.end() );
743 CPPUNIT_ASSERT( it->nKey == v2.nKey );
744 CPPUNIT_ASSERT( it->nVal == v2.nVal );
745 CPPUNIT_ASSERT( ++it != lref.end() );
746 CPPUNIT_ASSERT( it->nKey == v1.nKey );
747 CPPUNIT_ASSERT( it->nVal == v1.nVal );
748 CPPUNIT_ASSERT( it++ != l.end() );
749 CPPUNIT_ASSERT( it->nKey == v3.nKey );
750 CPPUNIT_ASSERT( it->nVal == v3.nVal );
751 CPPUNIT_ASSERT( it++ != lref.end() );
752 CPPUNIT_ASSERT( it == l.end() );
756 // Disposer called on list destruction
757 CPPUNIT_ASSERT( v1.s.nDisposeCount == 1 );
758 CPPUNIT_ASSERT( v2.s.nDisposeCount == 1 );
759 CPPUNIT_ASSERT( v3.s.nDisposeCount == 1 );
765 void HP_base_cmpmix();
767 void HP_member_cmp();
768 void HP_member_less();
769 void HP_member_cmpmix();
773 void DHP_base_less();
774 void DHP_base_cmpmix();
776 void DHP_member_cmp();
777 void DHP_member_less();
778 void DHP_member_cmpmix();
779 void DHP_member_ic();
781 void RCU_GPI_base_cmp();
782 void RCU_GPI_base_less();
783 void RCU_GPI_base_cmpmix();
784 void RCU_GPI_base_ic();
785 void RCU_GPI_member_cmp();
786 void RCU_GPI_member_less();
787 void RCU_GPI_member_cmpmix();
788 void RCU_GPI_member_ic();
790 void RCU_GPB_base_cmp();
791 void RCU_GPB_base_less();
792 void RCU_GPB_base_cmpmix();
793 void RCU_GPB_base_ic();
794 void RCU_GPB_member_cmp();
795 void RCU_GPB_member_less();
796 void RCU_GPB_member_cmpmix();
797 void RCU_GPB_member_ic();
799 void RCU_GPT_base_cmp();
800 void RCU_GPT_base_less();
801 void RCU_GPT_base_cmpmix();
802 void RCU_GPT_base_ic();
803 void RCU_GPT_member_cmp();
804 void RCU_GPT_member_less();
805 void RCU_GPT_member_cmpmix();
806 void RCU_GPT_member_ic();
808 void RCU_SHB_base_cmp();
809 void RCU_SHB_base_less();
810 void RCU_SHB_base_cmpmix();
811 void RCU_SHB_base_ic();
812 void RCU_SHB_member_cmp();
813 void RCU_SHB_member_less();
814 void RCU_SHB_member_cmpmix();
815 void RCU_SHB_member_ic();
817 void RCU_SHT_base_cmp();
818 void RCU_SHT_base_less();
819 void RCU_SHT_base_cmpmix();
820 void RCU_SHT_base_ic();
821 void RCU_SHT_member_cmp();
822 void RCU_SHT_member_less();
823 void RCU_SHT_member_cmpmix();
824 void RCU_SHT_member_ic();
826 void nogc_base_cmp();
827 void nogc_base_less();
828 void nogc_base_cmpmix();
830 void nogc_member_cmp();
831 void nogc_member_less();
832 void nogc_member_cmpmix();
833 void nogc_member_ic();
836 CPPUNIT_TEST_SUITE(IntrusiveMichaelListHeaderTest)
837 CPPUNIT_TEST(HP_base_cmp)
838 CPPUNIT_TEST(HP_base_less)
839 CPPUNIT_TEST(HP_base_cmpmix)
840 CPPUNIT_TEST(HP_base_ic)
841 CPPUNIT_TEST(HP_member_cmp)
842 CPPUNIT_TEST(HP_member_less)
843 CPPUNIT_TEST(HP_member_cmpmix)
844 CPPUNIT_TEST(HP_member_ic)
846 CPPUNIT_TEST(DHP_base_cmp)
847 CPPUNIT_TEST(DHP_base_less)
848 CPPUNIT_TEST(DHP_base_cmpmix)
849 CPPUNIT_TEST(DHP_base_ic)
850 CPPUNIT_TEST(DHP_member_cmp)
851 CPPUNIT_TEST(DHP_member_less)
852 CPPUNIT_TEST(DHP_member_cmpmix)
853 CPPUNIT_TEST(DHP_member_ic)
855 CPPUNIT_TEST(RCU_GPI_base_cmp)
856 CPPUNIT_TEST(RCU_GPI_base_less)
857 CPPUNIT_TEST(RCU_GPI_base_cmpmix)
858 CPPUNIT_TEST(RCU_GPI_base_ic)
859 CPPUNIT_TEST(RCU_GPI_member_cmp)
860 CPPUNIT_TEST(RCU_GPI_member_less)
861 CPPUNIT_TEST(RCU_GPI_member_cmpmix)
862 CPPUNIT_TEST(RCU_GPI_member_ic)
864 CPPUNIT_TEST(RCU_GPB_base_cmp)
865 CPPUNIT_TEST(RCU_GPB_base_less)
866 CPPUNIT_TEST(RCU_GPB_base_cmpmix)
867 CPPUNIT_TEST(RCU_GPB_base_ic)
868 CPPUNIT_TEST(RCU_GPB_member_cmp)
869 CPPUNIT_TEST(RCU_GPB_member_less)
870 CPPUNIT_TEST(RCU_GPB_member_cmpmix)
871 CPPUNIT_TEST(RCU_GPB_member_ic)
873 CPPUNIT_TEST(RCU_GPT_base_cmp)
874 CPPUNIT_TEST(RCU_GPT_base_less)
875 CPPUNIT_TEST(RCU_GPT_base_cmpmix)
876 CPPUNIT_TEST(RCU_GPT_base_ic)
877 CPPUNIT_TEST(RCU_GPT_member_cmp)
878 CPPUNIT_TEST(RCU_GPT_member_less)
879 CPPUNIT_TEST(RCU_GPT_member_cmpmix)
880 CPPUNIT_TEST(RCU_GPT_member_ic)
882 CPPUNIT_TEST(nogc_base_cmp)
883 CPPUNIT_TEST(nogc_base_less)
884 CPPUNIT_TEST(nogc_base_cmpmix)
885 CPPUNIT_TEST(nogc_base_ic)
886 CPPUNIT_TEST(nogc_member_cmp)
887 CPPUNIT_TEST(nogc_member_less)
888 CPPUNIT_TEST(nogc_member_cmpmix)
889 CPPUNIT_TEST(nogc_member_ic)
891 CPPUNIT_TEST_SUITE_END()
893 } // namespace ordlist