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 CPPUNIT_ASSERT( it != l.end() );
392 CPPUNIT_ASSERT( it->nKey == v2.nKey );
393 CPPUNIT_ASSERT( it->nVal == v2.nVal );
394 CPPUNIT_ASSERT( ++it != l.end() );
395 CPPUNIT_ASSERT( it->nKey == v1.nKey );
396 CPPUNIT_ASSERT( it->nVal == v1.nVal );
397 CPPUNIT_ASSERT( ++it != l.end() );
398 CPPUNIT_ASSERT( it->nKey == v3.nKey );
399 CPPUNIT_ASSERT( it->nVal == v3.nVal );
400 CPPUNIT_ASSERT( ++it == l.end() );
405 typename OrdList::const_iterator it = l.cbegin();
406 CPPUNIT_ASSERT( it != l.cend() );
407 CPPUNIT_ASSERT( it->nKey == v2.nKey );
408 CPPUNIT_ASSERT( it->nVal == v2.nVal );
409 CPPUNIT_ASSERT( ++it != l.cend() );
410 CPPUNIT_ASSERT( it->nKey == v1.nKey );
411 CPPUNIT_ASSERT( it->nVal == v1.nVal );
412 CPPUNIT_ASSERT( ++it != l.cend() );
413 CPPUNIT_ASSERT( it->nKey == v3.nKey );
414 CPPUNIT_ASSERT( it->nVal == v3.nVal );
415 CPPUNIT_ASSERT( ++it == l.cend() );
420 OrdList const & lref = l;
421 typename OrdList::const_iterator it = lref.begin();
422 CPPUNIT_ASSERT( it != l.end() );
423 CPPUNIT_ASSERT( it->nKey == v2.nKey );
424 CPPUNIT_ASSERT( it->nVal == v2.nVal );
425 CPPUNIT_ASSERT( ++it != lref.end() );
426 CPPUNIT_ASSERT( it->nKey == v1.nKey );
427 CPPUNIT_ASSERT( it->nVal == v1.nVal );
428 CPPUNIT_ASSERT( ++it != l.end() );
429 CPPUNIT_ASSERT( it->nKey == v3.nKey );
430 CPPUNIT_ASSERT( it->nVal == v3.nVal );
431 CPPUNIT_ASSERT( ++it == l.end() );
435 // Apply retired pointer
436 OrdList::gc::force_dispose();
438 CPPUNIT_ASSERT( v1.s.nDisposeCount == 4 );
439 CPPUNIT_ASSERT( v2.s.nDisposeCount == 3 );
440 CPPUNIT_ASSERT( v3.s.nDisposeCount == 4 );
443 template <class OrdList>
446 test_int_common<OrdList>();
449 typename OrdList::guarded_ptr gp;
451 static int const nLimit = 20;
452 typename OrdList::value_type arrItem[nLimit];
457 for (int i = 0; i < nLimit; ++i)
459 std::random_shuffle( a, a + nLimit );
461 for (int i = 0; i < nLimit; ++i) {
462 arrItem[i].nKey = a[i];
463 arrItem[i].nVal = a[i] * 2;
467 for ( int i = 0; i < nLimit; ++i )
468 CPPUNIT_ASSERT( l.insert( arrItem[i] ) );
470 for ( int i=0; i < nLimit; ++i ) {
471 CPPUNIT_ASSERT( l.get( gp, arrItem[i].nKey ));
472 CPPUNIT_ASSERT( !gp.empty());
473 CPPUNIT_ASSERT( gp->nKey == arrItem[i].nKey );
474 CPPUNIT_ASSERT( gp->nVal == arrItem[i].nVal );
477 CPPUNIT_ASSERT( l.extract( 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.get( gp, arrItem[i].nKey ));
484 CPPUNIT_ASSERT( gp.empty());
485 CPPUNIT_ASSERT( !l.extract( gp, arrItem[i].nKey ));
486 CPPUNIT_ASSERT( gp.empty());
488 CPPUNIT_ASSERT( l.empty() );
489 CPPUNIT_ASSERT( !l.get( gp, nLimit/2 ));
490 CPPUNIT_ASSERT( gp.empty());
491 CPPUNIT_ASSERT( !l.extract( gp, nLimit/2 ));
492 CPPUNIT_ASSERT( gp.empty());
494 // Apply retired pointer
495 OrdList::gc::force_dispose();
497 // extract_with/get_with
498 for ( int i = 0; i < nLimit; ++i )
499 CPPUNIT_ASSERT( l.insert( arrItem[i] ) );
501 for ( int i=0; i < nLimit; ++i ) {
502 other_item itm( arrItem[i].nKey );
503 CPPUNIT_ASSERT( l.get_with( gp, itm, other_less() ));
504 CPPUNIT_ASSERT( !gp.empty());
505 CPPUNIT_ASSERT( gp->nKey == arrItem[i].nKey );
506 CPPUNIT_ASSERT( gp->nVal == arrItem[i].nVal );
509 CPPUNIT_ASSERT( l.extract_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.get_with( gp, itm, other_less() ));
516 CPPUNIT_ASSERT( gp.empty());
517 CPPUNIT_ASSERT( !l.extract_with( gp, itm, other_less() ));
518 CPPUNIT_ASSERT( gp.empty());
520 CPPUNIT_ASSERT( l.empty() );
521 CPPUNIT_ASSERT( !l.get_with( gp, other_item(nLimit/2), other_less() ));
522 CPPUNIT_ASSERT( gp.empty());
523 CPPUNIT_ASSERT( !l.extract_with( gp, other_item(nLimit/2), other_less() ));
524 CPPUNIT_ASSERT( gp.empty());
526 // Apply retired pointer
527 OrdList::gc::force_dispose();
529 for ( int i=0; i < nLimit; i++ ) {
530 CPPUNIT_ASSERT( arrItem[i].s.nDisposeCount == 2 );
535 template <class OrdList>
538 test_int_common<OrdList>();
541 static int const nLimit = 20;
542 typename OrdList::value_type arrItem[nLimit];
544 typedef typename OrdList::rcu_lock rcu_lock;
545 typedef typename OrdList::value_type value_type;
546 typedef typename OrdList::gc rcu_type;
550 for (int i = 0; i < nLimit; ++i)
552 std::random_shuffle( a, a + nLimit );
554 for (int i = 0; i < nLimit; ++i) {
555 arrItem[i].nKey = a[i];
556 arrItem[i].nVal = a[i] * 2;
560 for ( int i = 0; i < nLimit; ++i )
561 CPPUNIT_ASSERT( l.insert( arrItem[i] ) );
563 typename OrdList::exempt_ptr ep;
565 for ( int i = 0; i < nLimit; ++i ) {
568 value_type * pGet = l.get( a[i] );
569 CPPUNIT_ASSERT( pGet != nullptr );
570 CPPUNIT_CHECK( pGet->nKey == a[i] );
571 CPPUNIT_CHECK( pGet->nVal == a[i] * 2 );
573 CPPUNIT_ASSERT( l.extract( ep, a[i] ));
574 CPPUNIT_ASSERT( !ep.empty() );
575 CPPUNIT_CHECK( ep->nKey == a[i] );
576 CPPUNIT_CHECK( (*ep).nVal == a[i] * 2 );
581 CPPUNIT_CHECK( l.get( a[i] ) == nullptr );
582 CPPUNIT_CHECK( !l.extract( ep, a[i] ));
583 CPPUNIT_CHECK( ep.empty() );
586 CPPUNIT_ASSERT( l.empty() );
590 CPPUNIT_CHECK( l.get( a[0] ) == nullptr );
591 CPPUNIT_CHECK( !l.extract( ep, a[0] ) );
592 CPPUNIT_CHECK( ep.empty() );
594 // Apply retired pointer
595 OrdList::gc::force_dispose();
597 // extract_with/get_with
598 for ( int i = 0; i < nLimit; ++i ) {
599 CPPUNIT_ASSERT( l.insert( arrItem[i] ) );
602 for ( int i = 0; i < nLimit; ++i ) {
603 other_item itm( a[i] );
606 value_type * pGet = l.get_with( itm, other_less() );
607 CPPUNIT_ASSERT( pGet != nullptr );
608 CPPUNIT_CHECK( pGet->nKey == a[i] );
609 CPPUNIT_CHECK( pGet->nVal == a[i] * 2 );
611 CPPUNIT_ASSERT( l.extract_with( ep, itm, other_less() ));
612 CPPUNIT_ASSERT( !ep.empty() );
613 CPPUNIT_CHECK( ep->nKey == a[i] );
614 CPPUNIT_CHECK( ep->nVal == a[i] * 2 );
619 CPPUNIT_CHECK( l.get_with( itm, other_less() ) == nullptr );
620 CPPUNIT_CHECK( !l.extract_with( ep, itm, other_less() ));
621 CPPUNIT_CHECK( ep.empty() );
624 CPPUNIT_ASSERT( l.empty() );
628 CPPUNIT_CHECK( l.get_with( other_item( 0 ), other_less() ) == nullptr );
629 CPPUNIT_CHECK( !l.extract_with( ep, other_item(0), other_less() ));
630 CPPUNIT_CHECK( ep.empty() );
632 // Apply retired pointer
633 OrdList::gc::force_dispose();
637 template <class OrdList>
640 typedef typename OrdList::value_type value_type;
642 value_type v1( 10, 50 );
643 value_type v2( 5, 25 );
644 value_type v3( 20, 100 );
647 CPPUNIT_ASSERT( l.empty() );
649 CPPUNIT_ASSERT( l.insert( v1 )) ; // true
650 CPPUNIT_ASSERT( l.find( v1.key() ) == &v1 );
652 CPPUNIT_ASSERT( v1.s.nFindCall == 0 );
653 CPPUNIT_ASSERT( l.find( v1.key(), find_functor() ));
654 CPPUNIT_ASSERT( v1.s.nFindCall == 1 );
656 CPPUNIT_ASSERT( l.find_with( v2.key(), less<value_type>() ) == nullptr );
657 CPPUNIT_ASSERT( !l.find_with( v3.key(), less<value_type>(), find_functor() ));
658 CPPUNIT_ASSERT( !l.empty() );
660 CPPUNIT_ASSERT( !l.insert( v1 )) ; // assertion "is_empty" is not raised since pNext is nullptr
664 CPPUNIT_ASSERT( !l.insert( v )) ; // false
667 std::pair<bool, bool> ret = l.ensure( v2, ensure_functor() );
668 CPPUNIT_ASSERT( ret.first );
669 CPPUNIT_ASSERT( ret.second );
670 CPPUNIT_ASSERT( v2.s.nEnsureNewCall == 1 );
671 CPPUNIT_ASSERT( v2.s.nEnsureExistsCall == 0 );
673 //CPPUNIT_ASSERT( !l.insert( v2 )) ; // assertion "is_empty"
675 CPPUNIT_ASSERT( l.find( v1.key() ) == &v1 ) ; // true
677 CPPUNIT_ASSERT( v1.s.nFindCall == 1 );
678 CPPUNIT_ASSERT( l.find( v1.key(), find_functor() ));
679 CPPUNIT_ASSERT( v1.s.nFindCall == 2 );
681 CPPUNIT_ASSERT( l.find( v2.key() ) == &v2 );
683 CPPUNIT_ASSERT( v2.s.nFindCall == 0 );
684 CPPUNIT_ASSERT( l.find( v2.key(), find_functor() ));
685 CPPUNIT_ASSERT( v2.s.nFindCall == 1 );
687 CPPUNIT_ASSERT( !l.find( v3.key() ));
691 ret = l.ensure( v, ensure_functor() );
693 CPPUNIT_ASSERT( ret.first );
694 CPPUNIT_ASSERT( !ret.second );
695 CPPUNIT_ASSERT( v2.s.nEnsureExistsCall == 1 );
696 CPPUNIT_ASSERT( v.s.nEnsureExistsCall == 0 && v.s.nEnsureNewCall == 0 );
699 CPPUNIT_ASSERT( !l.empty() );
701 CPPUNIT_ASSERT( l.insert( v3 )) ; // true
702 CPPUNIT_ASSERT( l.find( v3.key() ) == &v3 );
704 CPPUNIT_ASSERT( v3.s.nFindCall == 0 );
705 CPPUNIT_ASSERT( l.find( v3.key(), find_functor() ));
706 CPPUNIT_ASSERT( v3.s.nFindCall == 1 );
709 typename OrdList::iterator it = l.begin();
710 CPPUNIT_ASSERT( it != l.end() );
711 CPPUNIT_ASSERT( it->nKey == v2.nKey );
712 CPPUNIT_ASSERT( it->nVal == v2.nVal );
713 CPPUNIT_ASSERT( ++it != l.end() );
714 CPPUNIT_ASSERT( it->nKey == v1.nKey );
715 CPPUNIT_ASSERT( it->nVal == v1.nVal );
716 CPPUNIT_ASSERT( it++ != l.end() );
717 CPPUNIT_ASSERT( it->nKey == v3.nKey );
718 CPPUNIT_ASSERT( it->nVal == v3.nVal );
719 CPPUNIT_ASSERT( it++ != l.end() );
720 CPPUNIT_ASSERT( it == l.end() );
724 OrdList const & lref = l;
725 typename OrdList::const_iterator it = lref.begin();
726 CPPUNIT_ASSERT( it != l.end() );
727 CPPUNIT_ASSERT( it->nKey == v2.nKey );
728 CPPUNIT_ASSERT( it->nVal == v2.nVal );
729 CPPUNIT_ASSERT( ++it != lref.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++ != lref.end() );
736 CPPUNIT_ASSERT( it == l.end() );
740 // Disposer called on list destruction
741 CPPUNIT_ASSERT( v1.s.nDisposeCount == 1 );
742 CPPUNIT_ASSERT( v2.s.nDisposeCount == 1 );
743 CPPUNIT_ASSERT( v3.s.nDisposeCount == 1 );
749 void HP_base_cmpmix();
751 void HP_member_cmp();
752 void HP_member_less();
753 void HP_member_cmpmix();
757 void DHP_base_less();
758 void DHP_base_cmpmix();
760 void DHP_member_cmp();
761 void DHP_member_less();
762 void DHP_member_cmpmix();
763 void DHP_member_ic();
765 void RCU_GPI_base_cmp();
766 void RCU_GPI_base_less();
767 void RCU_GPI_base_cmpmix();
768 void RCU_GPI_base_ic();
769 void RCU_GPI_member_cmp();
770 void RCU_GPI_member_less();
771 void RCU_GPI_member_cmpmix();
772 void RCU_GPI_member_ic();
774 void RCU_GPB_base_cmp();
775 void RCU_GPB_base_less();
776 void RCU_GPB_base_cmpmix();
777 void RCU_GPB_base_ic();
778 void RCU_GPB_member_cmp();
779 void RCU_GPB_member_less();
780 void RCU_GPB_member_cmpmix();
781 void RCU_GPB_member_ic();
783 void RCU_GPT_base_cmp();
784 void RCU_GPT_base_less();
785 void RCU_GPT_base_cmpmix();
786 void RCU_GPT_base_ic();
787 void RCU_GPT_member_cmp();
788 void RCU_GPT_member_less();
789 void RCU_GPT_member_cmpmix();
790 void RCU_GPT_member_ic();
792 void RCU_SHB_base_cmp();
793 void RCU_SHB_base_less();
794 void RCU_SHB_base_cmpmix();
795 void RCU_SHB_base_ic();
796 void RCU_SHB_member_cmp();
797 void RCU_SHB_member_less();
798 void RCU_SHB_member_cmpmix();
799 void RCU_SHB_member_ic();
801 void RCU_SHT_base_cmp();
802 void RCU_SHT_base_less();
803 void RCU_SHT_base_cmpmix();
804 void RCU_SHT_base_ic();
805 void RCU_SHT_member_cmp();
806 void RCU_SHT_member_less();
807 void RCU_SHT_member_cmpmix();
808 void RCU_SHT_member_ic();
810 void nogc_base_cmp();
811 void nogc_base_less();
812 void nogc_base_cmpmix();
814 void nogc_member_cmp();
815 void nogc_member_less();
816 void nogc_member_cmpmix();
817 void nogc_member_ic();
820 CPPUNIT_TEST_SUITE(IntrusiveMichaelListHeaderTest)
821 CPPUNIT_TEST(HP_base_cmp)
822 CPPUNIT_TEST(HP_base_less)
823 CPPUNIT_TEST(HP_base_cmpmix)
824 CPPUNIT_TEST(HP_base_ic)
825 CPPUNIT_TEST(HP_member_cmp)
826 CPPUNIT_TEST(HP_member_less)
827 CPPUNIT_TEST(HP_member_cmpmix)
828 CPPUNIT_TEST(HP_member_ic)
830 CPPUNIT_TEST(DHP_base_cmp)
831 CPPUNIT_TEST(DHP_base_less)
832 CPPUNIT_TEST(DHP_base_cmpmix)
833 CPPUNIT_TEST(DHP_base_ic)
834 CPPUNIT_TEST(DHP_member_cmp)
835 CPPUNIT_TEST(DHP_member_less)
836 CPPUNIT_TEST(DHP_member_cmpmix)
837 CPPUNIT_TEST(DHP_member_ic)
839 CPPUNIT_TEST(RCU_GPI_base_cmp)
840 CPPUNIT_TEST(RCU_GPI_base_less)
841 CPPUNIT_TEST(RCU_GPI_base_cmpmix)
842 CPPUNIT_TEST(RCU_GPI_base_ic)
843 CPPUNIT_TEST(RCU_GPI_member_cmp)
844 CPPUNIT_TEST(RCU_GPI_member_less)
845 CPPUNIT_TEST(RCU_GPI_member_cmpmix)
846 CPPUNIT_TEST(RCU_GPI_member_ic)
848 CPPUNIT_TEST(RCU_GPB_base_cmp)
849 CPPUNIT_TEST(RCU_GPB_base_less)
850 CPPUNIT_TEST(RCU_GPB_base_cmpmix)
851 CPPUNIT_TEST(RCU_GPB_base_ic)
852 CPPUNIT_TEST(RCU_GPB_member_cmp)
853 CPPUNIT_TEST(RCU_GPB_member_less)
854 CPPUNIT_TEST(RCU_GPB_member_cmpmix)
855 CPPUNIT_TEST(RCU_GPB_member_ic)
857 CPPUNIT_TEST(RCU_GPT_base_cmp)
858 CPPUNIT_TEST(RCU_GPT_base_less)
859 CPPUNIT_TEST(RCU_GPT_base_cmpmix)
860 CPPUNIT_TEST(RCU_GPT_base_ic)
861 CPPUNIT_TEST(RCU_GPT_member_cmp)
862 CPPUNIT_TEST(RCU_GPT_member_less)
863 CPPUNIT_TEST(RCU_GPT_member_cmpmix)
864 CPPUNIT_TEST(RCU_GPT_member_ic)
866 CPPUNIT_TEST(nogc_base_cmp)
867 CPPUNIT_TEST(nogc_base_less)
868 CPPUNIT_TEST(nogc_base_cmpmix)
869 CPPUNIT_TEST(nogc_base_ic)
870 CPPUNIT_TEST(nogc_member_cmp)
871 CPPUNIT_TEST(nogc_member_less)
872 CPPUNIT_TEST(nogc_member_cmpmix)
873 CPPUNIT_TEST(nogc_member_ic)
875 CPPUNIT_TEST_SUITE_END()
877 } // namespace ordlist