tests/unit/set2/set_types.h

   1 //$$CDS-header$$
   2
   3 #ifndef _CDSUNIT_SET2_SET_TYPES_H
   4 #define _CDSUNIT_SET2_SET_TYPES_H
   5
   6 #include <cds/urcu/general_instant.h>
   7 #include <cds/urcu/general_buffered.h>
   8 #include <cds/urcu/general_threaded.h>
   9 #include <cds/urcu/signal_buffered.h>
  10 #include <cds/urcu/signal_threaded.h>
  11
  12 #include <cds/container/michael_list_hp.h>
  13 #include <cds/container/michael_list_dhp.h>
  14 #include <cds/container/michael_list_rcu.h>
  15 #include <cds/container/lazy_list_hp.h>
  16 #include <cds/container/lazy_list_dhp.h>
  17 #include <cds/container/lazy_list_rcu.h>
  18
  19 #include <cds/container/michael_set.h>
  20 #include <cds/container/michael_set_rcu.h>
  21
  22 #include <cds/container/split_list_set.h>
  23 #include <cds/container/split_list_set_rcu.h>
  24
  25 #include <cds/container/cuckoo_set.h>
  26
  27 #include <cds/container/skip_list_set_hp.h>
  28 #include <cds/container/skip_list_set_dhp.h>
  29 #include <cds/container/skip_list_set_rcu.h>
  30
  31 #include <cds/container/ellen_bintree_set_rcu.h>
  32 #include <cds/container/ellen_bintree_set_hp.h>
  33 #include <cds/container/ellen_bintree_set_dhp.h>
  34
  35 #include <cds/container/striped_set/std_list.h>
  36 #include <cds/container/striped_set/std_vector.h>
  37 #include <cds/container/striped_set/std_set.h>
  38 #include <cds/container/striped_set/std_hash_set.h>
  39 #include <cds/container/striped_set/boost_unordered_set.h>
  40
  41 #include <boost/version.hpp>
  42 #if BOOST_VERSION >= 104800
  43 #   include <cds/container/striped_set/boost_slist.h>
  44 #   include <cds/container/striped_set/boost_list.h>
  45 #   include <cds/container/striped_set/boost_vector.h>
  46 #   include <cds/container/striped_set/boost_stable_vector.h>
  47 #   include <cds/container/striped_set/boost_set.h>
  48 #   include <cds/container/striped_set/boost_flat_set.h>
  49 #endif
  50 #include <cds/container/striped_set.h>
  51
  52 #include <cds/lock/spinlock.h>
  53 #include <boost/functional/hash/hash.hpp>
  54
  55 #include "cppunit/cppunit_mini.h"
  56 #include "lock/nolock.h"
  57 #include "set2/std_set.h"
  58 #include "set2/std_hash_set.h"
  59 #include "michael_alloc.h"
  60 #include "print_cuckoo_stat.h"
  61 #include "print_split_list_stat.h"
  62 #include "print_skip_list_stat.h"
  63 #include "print_ellenbintree_stat.h"
  64 #include "ellen_bintree_update_desc_pool.h"
  65
  66 namespace set2 {
  67     namespace cc = cds::container;
  68     namespace co = cds::opt;
  69
  70     typedef cds::urcu::gc< cds::urcu::general_instant<> >   rcu_gpi;
  71     typedef cds::urcu::gc< cds::urcu::general_buffered<> >  rcu_gpb;
  72     typedef cds::urcu::gc< cds::urcu::general_threaded<> >  rcu_gpt;
  73 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
  74     typedef cds::urcu::gc< cds::urcu::signal_buffered<> >  rcu_shb;
  75     typedef cds::urcu::gc< cds::urcu::signal_threaded<> >  rcu_sht;
  76 #endif
  77
  78     template <typename V, typename Traits>
  79     class CuckooSet : public cc::CuckooSet< V, Traits >
  80     {
  81     public:
  82         typedef cc::CuckooSet< V, Traits > cuckoo_base_class;
  83
  84     public:
  85         CuckooSet( size_t nCapacity, size_t nLoadFactor )
  86             : cuckoo_base_class( nCapacity / (nLoadFactor * 16), (unsigned int)4 )
  87         {}
  88
  89         template <typename Q, typename Pred>
  90         bool erase_with( Q const& key, Pred pred )
  91         {
  92             return cuckoo_base_class::erase_with( key, typename std::conditional< cuckoo_base_class::c_isSorted, Pred, typename Pred::equal_to>::type() );
  93         }
  94     };
  95
  96     template <typename Key>
  97     struct cmp {
  98         int operator ()(Key const& k1, Key const& k2) const
  99         {
 100             if ( std::less<Key>( k1, k2 ) )
 101                 return -1;
 102             return std::less<Key>( k2, k1 ) ? 1 : 0;
 103         }
 104     };
 105
 106 #define CDSUNIT_INT_COMPARE(t)  template <> struct cmp<t> { int operator()( t k1, t k2 ){ return (int)(k1 - k2); } }
 107     CDSUNIT_INT_COMPARE(char);
 108     CDSUNIT_INT_COMPARE(unsigned char);
 109     CDSUNIT_INT_COMPARE(int);
 110     CDSUNIT_INT_COMPARE(unsigned int);
 111     CDSUNIT_INT_COMPARE(long);
 112     CDSUNIT_INT_COMPARE(unsigned long);
 113     CDSUNIT_INT_COMPARE(long long);
 114     CDSUNIT_INT_COMPARE(unsigned long long);
 115 #undef CDSUNIT_INT_COMPARE
 116
 117     template <>
 118     struct cmp<std::string>
 119     {
 120         int operator()(std::string const& s1, std::string const& s2)
 121         {
 122             return s1.compare( s2 );
 123         }
 124         int operator()(std::string const& s1, char const * s2)
 125         {
 126             return s1.compare( s2 );
 127         }
 128         int operator()(char const * s1, std::string const& s2)
 129         {
 130             return -s2.compare( s1 );
 131         }
 132     };
 133
 134     template <typename Key, typename Value>
 135     struct SetTypes {
 136
 137         typedef Key     key_type;
 138         typedef Value   value_type;
 139
 140         struct key_val {
 141             key_type    key;
 142             value_type  val;
 143
 144             /*explicit*/ key_val( key_type const& k ): key(k), val() {}
 145             key_val( key_type const& k, value_type const& v ): key(k), val(v) {}
 146
 147             template <typename K>
 148             /*explicit*/ key_val( K const& k ): key(k) {}
 149
 150             template <typename K, typename T>
 151             key_val( K const& k, T const& v ): key(k), val(v) {}
 152         };
 153
 154         typedef co::v::hash<key_type>   key_hash;
 155         typedef std::less<key_type>     key_less;
 156         typedef cmp<key_type>           key_compare;
 157
 158         struct less {
 159             bool operator()( key_val const& k1, key_val const& k2 ) const
 160             {
 161                 return key_less()( k1.key, k2.key );
 162             }
 163             bool operator()( key_type const& k1, key_val const& k2 ) const
 164             {
 165                 return key_less()( k1, k2.key );
 166             }
 167             bool operator()( key_val const& k1, key_type const& k2 ) const
 168             {
 169                 return key_less()( k1.key, k2 );
 170             }
 171         };
 172
 173         struct compare {
 174             int operator()( key_val const& k1, key_val const& k2 ) const
 175             {
 176                 return key_compare()( k1.key, k2.key );
 177             }
 178             int operator()( key_type const& k1, key_val const& k2 ) const
 179             {
 180                 return key_compare()( k1, k2.key );
 181             }
 182             int operator()( key_val const& k1, key_type const& k2 ) const
 183             {
 184                 return key_compare()( k1.key, k2 );
 185             }
 186         };
 187
 188         struct equal_to {
 189             bool operator()( key_val const& k1, key_val const& k2 ) const
 190             {
 191                 return key_compare()( k1.key, k2.key ) == 0;
 192             }
 193             bool operator()( key_type const& k1, key_val const& k2 ) const
 194             {
 195                 return key_compare()( k1, k2.key ) == 0;
 196             }
 197             bool operator()( key_val const& k1, key_type const& k2 ) const
 198             {
 199                 return key_compare()( k1.key, k2 ) == 0;
 200             }
 201         };
 202
 203
 204         struct hash: public key_hash
 205         {
 206             size_t operator()( key_val const& v ) const
 207             {
 208                 return key_hash::operator()( v.key );
 209             }
 210             size_t operator()( key_type const& key ) const
 211             {
 212                 return key_hash::operator()( key );
 213             }
 214             template <typename Q>
 215             size_t operator()( Q const& k ) const
 216             {
 217                 return key_hash::operator()( k );
 218             }
 219         };
 220
 221         struct hash2: public hash
 222         {
 223             size_t operator()( key_val const& k ) const
 224             {
 225                 size_t seed = ~hash::operator ()( k );
 226                 boost::hash_combine( seed, k.key );
 227                 return seed;
 228             }
 229             size_t operator()( key_type const& k ) const
 230             {
 231                 size_t seed = ~hash::operator ()( k );
 232                 boost::hash_combine( seed, k );
 233                 return seed;
 234             }
 235             template <typename Q>
 236             size_t operator()( Q const& k ) const
 237             {
 238                 return key_hash::operator()( k );
 239             }
 240         };
 241
 242         // ***************************************************************************
 243         // MichaelList
 244
 245         struct traits_MichaelList_cmp_stdAlloc:
 246             public cc::michael_list::make_traits<
 247                 co::compare< compare >
 248             >::type
 249         {};
 250         typedef cc::MichaelList< cds::gc::HP,  key_val, traits_MichaelList_cmp_stdAlloc > MichaelList_HP_cmp_stdAlloc;
 251         typedef cc::MichaelList< cds::gc::DHP, key_val, traits_MichaelList_cmp_stdAlloc > MichaelList_DHP_cmp_stdAlloc;
 252         typedef cc::MichaelList< rcu_gpi, key_val, traits_MichaelList_cmp_stdAlloc > MichaelList_RCU_GPI_cmp_stdAlloc;
 253         typedef cc::MichaelList< rcu_gpb, key_val, traits_MichaelList_cmp_stdAlloc > MichaelList_RCU_GPB_cmp_stdAlloc;
 254         typedef cc::MichaelList< rcu_gpt, key_val, traits_MichaelList_cmp_stdAlloc > MichaelList_RCU_GPT_cmp_stdAlloc;
 255 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 256         typedef cc::MichaelList< rcu_shb, key_val, traits_MichaelList_cmp_stdAlloc > MichaelList_RCU_SHB_cmp_stdAlloc;
 257         typedef cc::MichaelList< rcu_sht, key_val, traits_MichaelList_cmp_stdAlloc > MichaelList_RCU_SHT_cmp_stdAlloc;
 258 #endif
 259
 260         struct traits_MichaelList_cmp_stdAlloc_seqcst : public traits_MichaelList_cmp_stdAlloc
 261         {
 262             typedef co::v::sequential_consistent memory_model;
 263         };
 264         typedef cc::MichaelList< cds::gc::HP,  key_val, traits_MichaelList_cmp_stdAlloc_seqcst > MichaelList_HP_cmp_stdAlloc_seqcst;
 265         typedef cc::MichaelList< cds::gc::DHP, key_val, traits_MichaelList_cmp_stdAlloc_seqcst > MichaelList_DHP_cmp_stdAlloc_seqcst;
 266         typedef cc::MichaelList< rcu_gpi, key_val, traits_MichaelList_cmp_stdAlloc_seqcst > MichaelList_RCU_GPI_cmp_stdAlloc_seqcst;
 267         typedef cc::MichaelList< rcu_gpb, key_val, traits_MichaelList_cmp_stdAlloc_seqcst > MichaelList_RCU_GPB_cmp_stdAlloc_seqcst;
 268         typedef cc::MichaelList< rcu_gpt, key_val, traits_MichaelList_cmp_stdAlloc_seqcst > MichaelList_RCU_GPT_cmp_stdAlloc_seqcst;
 269 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 270         typedef cc::MichaelList< rcu_shb, key_val, traits_MichaelList_cmp_stdAlloc_seqcst > MichaelList_RCU_SHB_cmp_stdAlloc_seqcst;
 271         typedef cc::MichaelList< rcu_sht, key_val, traits_MichaelList_cmp_stdAlloc_seqcst > MichaelList_RCU_SHT_cmp_stdAlloc_seqcst;
 272 #endif
 273
 274         struct traits_MichaelList_less_stdAlloc :
 275             public cc::michael_list::make_traits<
 276                 co::less< less >
 277             >::type
 278         {};
 279         typedef cc::MichaelList< cds::gc::HP,  key_val, traits_MichaelList_less_stdAlloc > MichaelList_HP_less_stdAlloc;
 280         typedef cc::MichaelList< cds::gc::DHP, key_val, traits_MichaelList_less_stdAlloc > MichaelList_DHP_less_stdAlloc;
 281         typedef cc::MichaelList< rcu_gpi, key_val, traits_MichaelList_less_stdAlloc > MichaelList_RCU_GPI_less_stdAlloc;
 282         typedef cc::MichaelList< rcu_gpb, key_val, traits_MichaelList_less_stdAlloc > MichaelList_RCU_GPB_less_stdAlloc;
 283         typedef cc::MichaelList< rcu_gpt, key_val, traits_MichaelList_less_stdAlloc > MichaelList_RCU_GPT_less_stdAlloc;
 284 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 285         typedef cc::MichaelList< rcu_shb, key_val, traits_MichaelList_less_stdAlloc > MichaelList_RCU_SHB_less_stdAlloc;
 286         typedef cc::MichaelList< rcu_sht, key_val, traits_MichaelList_less_stdAlloc > MichaelList_RCU_SHT_less_stdAlloc;
 287 #endif
 288
 289         struct traits_MichaelList_less_stdAlloc_seqcst :
 290             public cc::michael_list::make_traits<
 291                 co::less< less >
 292                 ,co::memory_model< co::v::sequential_consistent >
 293             >::type
 294         {};
 295         typedef cc::MichaelList< cds::gc::HP,  key_val, traits_MichaelList_less_stdAlloc_seqcst > MichaelList_HP_less_stdAlloc_seqcst;
 296         typedef cc::MichaelList< cds::gc::DHP, key_val, traits_MichaelList_less_stdAlloc_seqcst > MichaelList_DHP_less_stdAlloc_seqcst;
 297         typedef cc::MichaelList< rcu_gpi, key_val, traits_MichaelList_less_stdAlloc_seqcst > MichaelList_RCU_GPI_less_stdAlloc_seqcst;
 298         typedef cc::MichaelList< rcu_gpb, key_val, traits_MichaelList_less_stdAlloc_seqcst > MichaelList_RCU_GPB_less_stdAlloc_seqcst;
 299         typedef cc::MichaelList< rcu_gpt, key_val, traits_MichaelList_less_stdAlloc_seqcst > MichaelList_RCU_GPT_less_stdAlloc_seqcst;
 300 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 301         typedef cc::MichaelList< rcu_shb, key_val, traits_MichaelList_less_stdAlloc_seqcst > MichaelList_RCU_SHB_less_stdAlloc_seqcst;
 302         typedef cc::MichaelList< rcu_sht, key_val, traits_MichaelList_less_stdAlloc_seqcst > MichaelList_RCU_SHT_less_stdAlloc_seqcst;
 303 #endif
 304
 305         struct traits_MichaelList_cmp_michaelAlloc :
 306             public cc::michael_list::make_traits<
 307                 co::compare< compare >,
 308                 co::allocator< memory::MichaelAllocator<int> >
 309             >::type
 310         {};
 311         typedef cc::MichaelList< cds::gc::HP,  key_val, traits_MichaelList_cmp_michaelAlloc > MichaelList_HP_cmp_michaelAlloc;
 312         typedef cc::MichaelList< cds::gc::DHP, key_val, traits_MichaelList_cmp_michaelAlloc > MichaelList_DHP_cmp_michaelAlloc;
 313         typedef cc::MichaelList< rcu_gpi, key_val, traits_MichaelList_cmp_michaelAlloc > MichaelList_RCU_GPI_cmp_michaelAlloc;
 314         typedef cc::MichaelList< rcu_gpb, key_val, traits_MichaelList_cmp_michaelAlloc > MichaelList_RCU_GPB_cmp_michaelAlloc;
 315         typedef cc::MichaelList< rcu_gpt, key_val, traits_MichaelList_cmp_michaelAlloc > MichaelList_RCU_GPT_cmp_michaelAlloc;
 316 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 317         typedef cc::MichaelList< rcu_shb, key_val, traits_MichaelList_cmp_michaelAlloc > MichaelList_RCU_SHB_cmp_michaelAlloc;
 318         typedef cc::MichaelList< rcu_sht, key_val, traits_MichaelList_cmp_michaelAlloc > MichaelList_RCU_SHT_cmp_michaelAlloc;
 319 #endif
 320
 321         struct traits_MichaelList_less_michaelAlloc :
 322             public cc::michael_list::make_traits<
 323                 co::less< less >,
 324                 co::allocator< memory::MichaelAllocator<int> >
 325             >::type
 326         {};
 327         typedef cc::MichaelList< cds::gc::HP,  key_val, traits_MichaelList_less_michaelAlloc > MichaelList_HP_less_michaelAlloc;
 328         typedef cc::MichaelList< cds::gc::DHP, key_val, traits_MichaelList_less_michaelAlloc > MichaelList_DHP_less_michaelAlloc;
 329         typedef cc::MichaelList< rcu_gpi, key_val, traits_MichaelList_less_michaelAlloc > MichaelList_RCU_GPI_less_michaelAlloc;
 330         typedef cc::MichaelList< rcu_gpb, key_val, traits_MichaelList_less_michaelAlloc > MichaelList_RCU_GPB_less_michaelAlloc;
 331         typedef cc::MichaelList< rcu_gpt, key_val, traits_MichaelList_less_michaelAlloc > MichaelList_RCU_GPT_less_michaelAlloc;
 332 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 333         typedef cc::MichaelList< rcu_shb, key_val, traits_MichaelList_less_michaelAlloc > MichaelList_RCU_SHB_less_michaelAlloc;
 334         typedef cc::MichaelList< rcu_sht, key_val, traits_MichaelList_less_michaelAlloc > MichaelList_RCU_SHT_less_michaelAlloc;
 335 #endif
 336
 337         // ***************************************************************************
 338         // MichaelHashSet based on MichaelList
 339
 340         struct traits_MichaelSet_stdAlloc :
 341             public cc::michael_set::make_traits<
 342                 co::hash< hash >
 343             >::type
 344         {};
 345         typedef cc::MichaelHashSet< cds::gc::HP,  MichaelList_HP_cmp_stdAlloc,  traits_MichaelSet_stdAlloc > MichaelSet_HP_cmp_stdAlloc;
 346         typedef cc::MichaelHashSet< cds::gc::DHP, MichaelList_DHP_cmp_stdAlloc, traits_MichaelSet_stdAlloc > MichaelSet_DHP_cmp_stdAlloc;
 347         typedef cc::MichaelHashSet< rcu_gpi, MichaelList_RCU_GPI_cmp_stdAlloc, traits_MichaelSet_stdAlloc > MichaelSet_RCU_GPI_cmp_stdAlloc;
 348         typedef cc::MichaelHashSet< rcu_gpb, MichaelList_RCU_GPB_cmp_stdAlloc, traits_MichaelSet_stdAlloc > MichaelSet_RCU_GPB_cmp_stdAlloc;
 349         typedef cc::MichaelHashSet< rcu_gpt, MichaelList_RCU_GPT_cmp_stdAlloc, traits_MichaelSet_stdAlloc > MichaelSet_RCU_GPT_cmp_stdAlloc;
 350 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 351         typedef cc::MichaelHashSet< rcu_shb, MichaelList_RCU_SHB_cmp_stdAlloc, traits_MichaelSet_stdAlloc > MichaelSet_RCU_SHB_cmp_stdAlloc;
 352         typedef cc::MichaelHashSet< rcu_sht, MichaelList_RCU_SHT_cmp_stdAlloc, traits_MichaelSet_stdAlloc > MichaelSet_RCU_SHT_cmp_stdAlloc;
 353 #endif
 354
 355         typedef cc::MichaelHashSet< cds::gc::HP, MichaelList_HP_less_stdAlloc, traits_MichaelSet_stdAlloc > MichaelSet_HP_less_stdAlloc;
 356         typedef cc::MichaelHashSet< cds::gc::DHP, MichaelList_DHP_less_stdAlloc, traits_MichaelSet_stdAlloc > MichaelSet_DHP_less_stdAlloc;
 357         typedef cc::MichaelHashSet< rcu_gpi, MichaelList_RCU_GPI_less_stdAlloc, traits_MichaelSet_stdAlloc > MichaelSet_RCU_GPI_less_stdAlloc;
 358         typedef cc::MichaelHashSet< rcu_gpb, MichaelList_RCU_GPB_less_stdAlloc, traits_MichaelSet_stdAlloc > MichaelSet_RCU_GPB_less_stdAlloc;
 359         typedef cc::MichaelHashSet< rcu_gpt, MichaelList_RCU_GPT_less_stdAlloc, traits_MichaelSet_stdAlloc > MichaelSet_RCU_GPT_less_stdAlloc;
 360 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 361         typedef cc::MichaelHashSet< rcu_shb, MichaelList_RCU_SHB_less_stdAlloc, traits_MichaelSet_stdAlloc > MichaelSet_RCU_SHB_less_stdAlloc;
 362         typedef cc::MichaelHashSet< rcu_sht, MichaelList_RCU_SHT_less_stdAlloc, traits_MichaelSet_stdAlloc > MichaelSet_RCU_SHT_less_stdAlloc;
 363 #endif
 364
 365         typedef cc::MichaelHashSet< cds::gc::HP, MichaelList_HP_less_stdAlloc_seqcst, traits_MichaelSet_stdAlloc > MichaelSet_HP_less_stdAlloc_seqcst;
 366         typedef cc::MichaelHashSet< cds::gc::DHP, MichaelList_DHP_less_stdAlloc_seqcst, traits_MichaelSet_stdAlloc > MichaelSet_DHP_less_stdAlloc_seqcst;
 367         typedef cc::MichaelHashSet< rcu_gpi, MichaelList_RCU_GPI_less_stdAlloc_seqcst, traits_MichaelSet_stdAlloc > MichaelSet_RCU_GPI_less_stdAlloc_seqcst;
 368         typedef cc::MichaelHashSet< rcu_gpb, MichaelList_RCU_GPB_less_stdAlloc_seqcst, traits_MichaelSet_stdAlloc > MichaelSet_RCU_GPB_less_stdAlloc_seqcst;
 369         typedef cc::MichaelHashSet< rcu_gpt, MichaelList_RCU_GPT_less_stdAlloc_seqcst, traits_MichaelSet_stdAlloc > MichaelSet_RCU_GPT_less_stdAlloc_seqcst;
 370 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 371         typedef cc::MichaelHashSet< rcu_shb, MichaelList_RCU_SHB_less_stdAlloc_seqcst, traits_MichaelSet_stdAlloc > MichaelSet_RCU_SHB_less_stdAlloc_seqcst;
 372         typedef cc::MichaelHashSet< rcu_sht, MichaelList_RCU_SHT_less_stdAlloc_seqcst, traits_MichaelSet_stdAlloc > MichaelSet_RCU_SHT_less_stdAlloc_seqcst;
 373 #endif
 374
 375         struct traits_MichaelSet_michaelAlloc :
 376             public cc::michael_set::make_traits<
 377                 co::hash< hash >,
 378                 co::allocator< memory::MichaelAllocator<int> >
 379             >::type
 380         {};
 381         typedef cc::MichaelHashSet< cds::gc::HP,  MichaelList_HP_cmp_michaelAlloc,  traits_MichaelSet_michaelAlloc > MichaelSet_HP_cmp_michaelAlloc;
 382         typedef cc::MichaelHashSet< cds::gc::DHP, MichaelList_DHP_cmp_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelSet_DHP_cmp_michaelAlloc;
 383         typedef cc::MichaelHashSet< rcu_gpi, MichaelList_RCU_GPI_cmp_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelSet_RCU_GPI_cmp_michaelAlloc;
 384         typedef cc::MichaelHashSet< rcu_gpb, MichaelList_RCU_GPB_cmp_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelSet_RCU_GPB_cmp_michaelAlloc;
 385         typedef cc::MichaelHashSet< rcu_gpt, MichaelList_RCU_GPT_cmp_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelSet_RCU_GPT_cmp_michaelAlloc;
 386 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 387         typedef cc::MichaelHashSet< rcu_shb, MichaelList_RCU_SHB_cmp_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelSet_RCU_SHB_cmp_michaelAlloc;
 388         typedef cc::MichaelHashSet< rcu_sht, MichaelList_RCU_SHT_cmp_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelSet_RCU_SHT_cmp_michaelAlloc;
 389 #endif
 390
 391         typedef cc::MichaelHashSet< cds::gc::HP, MichaelList_HP_less_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelSet_HP_less_michaelAlloc;
 392         typedef cc::MichaelHashSet< cds::gc::DHP, MichaelList_DHP_less_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelSet_DHP_less_michaelAlloc;
 393         typedef cc::MichaelHashSet< rcu_gpi, MichaelList_RCU_GPI_less_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelSet_RCU_GPI_less_michaelAlloc;
 394         typedef cc::MichaelHashSet< rcu_gpb, MichaelList_RCU_GPB_less_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelSet_RCU_GPB_less_michaelAlloc;
 395         typedef cc::MichaelHashSet< rcu_gpt, MichaelList_RCU_GPT_less_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelSet_RCU_GPT_less_michaelAlloc;
 396 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 397         typedef cc::MichaelHashSet< rcu_shb, MichaelList_RCU_SHB_less_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelSet_RCU_SHB_less_michaelAlloc;
 398         typedef cc::MichaelHashSet< rcu_sht, MichaelList_RCU_SHT_less_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelSet_RCU_SHT_less_michaelAlloc;
 399 #endif
 400
 401
 402         // ***************************************************************************
 403         // LazyList
 404
 405         struct traits_LazyList_cmp_stdAlloc :
 406             public cc::lazy_list::make_traits<
 407                 co::compare< compare >
 408             >::type
 409         {};
 410         typedef cc::LazyList< cds::gc::HP,  key_val, traits_LazyList_cmp_stdAlloc > LazyList_HP_cmp_stdAlloc;
 411         typedef cc::LazyList< cds::gc::DHP, key_val, traits_LazyList_cmp_stdAlloc > LazyList_DHP_cmp_stdAlloc;
 412         typedef cc::LazyList< rcu_gpi, key_val, traits_LazyList_cmp_stdAlloc > LazyList_RCU_GPI_cmp_stdAlloc;
 413         typedef cc::LazyList< rcu_gpb, key_val, traits_LazyList_cmp_stdAlloc > LazyList_RCU_GPB_cmp_stdAlloc;
 414         typedef cc::LazyList< rcu_gpt, key_val, traits_LazyList_cmp_stdAlloc > LazyList_RCU_GPT_cmp_stdAlloc;
 415 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 416         typedef cc::LazyList< rcu_shb, key_val, traits_LazyList_cmp_stdAlloc > LazyList_RCU_SHB_cmp_stdAlloc;
 417         typedef cc::LazyList< rcu_sht, key_val, traits_LazyList_cmp_stdAlloc > LazyList_RCU_SHT_cmp_stdAlloc;
 418 #endif
 419         struct traits_LazyList_cmp_stdAlloc_seqcst :
 420             public cc::lazy_list::make_traits<
 421                 co::compare< compare >
 422                 ,co::memory_model< co::v::sequential_consistent >
 423             >::type
 424         {};
 425         typedef cc::LazyList< cds::gc::HP, key_val,  traits_LazyList_cmp_stdAlloc_seqcst > LazyList_HP_cmp_stdAlloc_seqcst;
 426         typedef cc::LazyList< cds::gc::DHP, key_val, traits_LazyList_cmp_stdAlloc_seqcst > LazyList_DHP_cmp_stdAlloc_seqcst;
 427         typedef cc::LazyList< rcu_gpi, key_val, traits_LazyList_cmp_stdAlloc_seqcst > LazyList_RCU_GPI_cmp_stdAlloc_seqcst;
 428         typedef cc::LazyList< rcu_gpb, key_val, traits_LazyList_cmp_stdAlloc_seqcst > LazyList_RCU_GPB_cmp_stdAlloc_seqcst;
 429         typedef cc::LazyList< rcu_gpt, key_val, traits_LazyList_cmp_stdAlloc_seqcst > LazyList_RCU_GPT_cmp_stdAlloc_seqcst;
 430 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 431         typedef cc::LazyList< rcu_shb, key_val, traits_LazyList_cmp_stdAlloc_seqcst > LazyList_RCU_SHB_cmp_stdAlloc_seqcst;
 432         typedef cc::LazyList< rcu_sht, key_val, traits_LazyList_cmp_stdAlloc_seqcst > LazyList_RCU_SHT_cmp_stdAlloc_seqcst;
 433 #endif
 434         struct traits_LazyList_cmp_michaelAlloc :
 435             public cc::lazy_list::make_traits<
 436                 co::compare< compare >,
 437                 co::allocator< memory::MichaelAllocator<int> >
 438             >::type
 439         {};
 440         typedef cc::LazyList< cds::gc::HP,  key_val, traits_LazyList_cmp_michaelAlloc > LazyList_HP_cmp_michaelAlloc;
 441         typedef cc::LazyList< cds::gc::DHP, key_val, traits_LazyList_cmp_michaelAlloc > LazyList_DHP_cmp_michaelAlloc;
 442         typedef cc::LazyList< rcu_gpi, key_val, traits_LazyList_cmp_michaelAlloc > LazyList_RCU_GPI_cmp_michaelAlloc;
 443         typedef cc::LazyList< rcu_gpb, key_val, traits_LazyList_cmp_michaelAlloc > LazyList_RCU_GPB_cmp_michaelAlloc;
 444         typedef cc::LazyList< rcu_gpt, key_val, traits_LazyList_cmp_michaelAlloc > LazyList_RCU_GPT_cmp_michaelAlloc;
 445 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 446         typedef cc::LazyList< rcu_shb, key_val, traits_LazyList_cmp_michaelAlloc > LazyList_RCU_SHB_cmp_michaelAlloc;
 447         typedef cc::LazyList< rcu_sht, key_val, traits_LazyList_cmp_michaelAlloc > LazyList_RCU_SHT_cmp_michaelAlloc;
 448 #endif
 449
 450         struct traits_LazyList_less_stdAlloc:
 451             public cc::lazy_list::make_traits<
 452                 co::less< less >
 453             >::type
 454         {};
 455         typedef cc::LazyList< cds::gc::HP,  key_val, traits_LazyList_less_stdAlloc > LazyList_HP_less_stdAlloc;
 456         typedef cc::LazyList< cds::gc::DHP, key_val, traits_LazyList_less_stdAlloc > LazyList_DHP_less_stdAlloc;
 457         typedef cc::LazyList< rcu_gpi, key_val, traits_LazyList_less_stdAlloc > LazyList_RCU_GPI_less_stdAlloc;
 458         typedef cc::LazyList< rcu_gpb, key_val, traits_LazyList_less_stdAlloc > LazyList_RCU_GPB_less_stdAlloc;
 459         typedef cc::LazyList< rcu_gpt, key_val, traits_LazyList_less_stdAlloc > LazyList_RCU_GPT_less_stdAlloc;
 460 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 461         typedef cc::LazyList< rcu_shb, key_val, traits_LazyList_less_stdAlloc > LazyList_RCU_SHB_less_stdAlloc;
 462         typedef cc::LazyList< rcu_sht, key_val, traits_LazyList_less_stdAlloc > LazyList_RCU_SHT_less_stdAlloc;
 463 #endif
 464
 465         struct traits_LazyList_less_stdAlloc_seqcst :
 466             public cc::lazy_list::make_traits<
 467                 co::less< less >
 468                 ,co::memory_model< co::v::sequential_consistent >
 469             >::type
 470         {};
 471         typedef cc::LazyList< cds::gc::HP, key_val,  traits_LazyList_less_stdAlloc_seqcst > LazyList_HP_less_stdAlloc_seqcst;
 472         typedef cc::LazyList< cds::gc::DHP, key_val, traits_LazyList_less_stdAlloc_seqcst > LazyList_DHP_less_stdAlloc_seqcst;
 473         typedef cc::LazyList< rcu_gpi, key_val, traits_LazyList_less_stdAlloc_seqcst > LazyList_RCU_GPI_less_stdAlloc_seqcst;
 474         typedef cc::LazyList< rcu_gpb, key_val, traits_LazyList_less_stdAlloc_seqcst > LazyList_RCU_GPB_less_stdAlloc_seqcst;
 475         typedef cc::LazyList< rcu_gpt, key_val, traits_LazyList_less_stdAlloc_seqcst > LazyList_RCU_GPT_less_stdAlloc_seqcst;
 476 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 477         typedef cc::LazyList< rcu_shb, key_val, traits_LazyList_less_stdAlloc_seqcst > LazyList_RCU_SHB_less_stdAlloc_seqcst;
 478         typedef cc::LazyList< rcu_sht, key_val, traits_LazyList_less_stdAlloc_seqcst > LazyList_RCU_SHT_less_stdAlloc_seqcst;
 479 #endif
 480
 481         struct traits_LazyList_less_michaelAlloc :
 482             public cc::lazy_list::make_traits<
 483                 co::less< less >,
 484                 co::allocator< memory::MichaelAllocator<int> >
 485             >::type
 486         {};
 487         typedef cc::LazyList< cds::gc::HP,  key_val, traits_LazyList_less_michaelAlloc > LazyList_HP_less_michaelAlloc;
 488         typedef cc::LazyList< cds::gc::DHP, key_val, traits_LazyList_less_michaelAlloc > LazyList_DHP_less_michaelAlloc;
 489         typedef cc::LazyList< rcu_gpi, key_val, traits_LazyList_less_michaelAlloc > LazyList_RCU_GPI_less_michaelAlloc;
 490         typedef cc::LazyList< rcu_gpb, key_val, traits_LazyList_less_michaelAlloc > LazyList_RCU_GPB_less_michaelAlloc;
 491         typedef cc::LazyList< rcu_gpt, key_val, traits_LazyList_less_michaelAlloc > LazyList_RCU_GPT_less_michaelAlloc;
 492 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 493         typedef cc::LazyList< rcu_shb, key_val, traits_LazyList_less_michaelAlloc > LazyList_RCU_SHB_less_michaelAlloc;
 494         typedef cc::LazyList< rcu_sht, key_val, traits_LazyList_less_michaelAlloc > LazyList_RCU_SHT_less_michaelAlloc;
 495 #endif
 496
 497         // ***************************************************************************
 498         // MichaelHashSet based on LazyList
 499
 500         typedef cc::MichaelHashSet< cds::gc::HP, LazyList_HP_cmp_stdAlloc, traits_MichaelSet_stdAlloc > MichaelSet_Lazy_HP_cmp_stdAlloc;
 501         typedef cc::MichaelHashSet< cds::gc::DHP, LazyList_DHP_cmp_stdAlloc, traits_MichaelSet_stdAlloc > MichaelSet_Lazy_DHP_cmp_stdAlloc;
 502         typedef cc::MichaelHashSet< rcu_gpi, LazyList_RCU_GPI_cmp_stdAlloc, traits_MichaelSet_stdAlloc > MichaelSet_Lazy_RCU_GPI_cmp_stdAlloc;
 503         typedef cc::MichaelHashSet< rcu_gpb, LazyList_RCU_GPB_cmp_stdAlloc, traits_MichaelSet_stdAlloc > MichaelSet_Lazy_RCU_GPB_cmp_stdAlloc;
 504         typedef cc::MichaelHashSet< rcu_gpt, LazyList_RCU_GPT_cmp_stdAlloc, traits_MichaelSet_stdAlloc > MichaelSet_Lazy_RCU_GPT_cmp_stdAlloc;
 505 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 506         typedef cc::MichaelHashSet< rcu_shb, LazyList_RCU_SHB_cmp_stdAlloc, traits_MichaelSet_stdAlloc > MichaelSet_Lazy_RCU_SHB_cmp_stdAlloc;
 507         typedef cc::MichaelHashSet< rcu_sht, LazyList_RCU_SHT_cmp_stdAlloc, traits_MichaelSet_stdAlloc > MichaelSet_Lazy_RCU_SHT_cmp_stdAlloc;
 508 #endif
 509
 510         typedef cc::MichaelHashSet< cds::gc::HP, LazyList_HP_less_stdAlloc, traits_MichaelSet_stdAlloc > MichaelSet_Lazy_HP_less_stdAlloc;
 511         typedef cc::MichaelHashSet< cds::gc::DHP, LazyList_DHP_less_stdAlloc, traits_MichaelSet_stdAlloc > MichaelSet_Lazy_DHP_less_stdAlloc;
 512         typedef cc::MichaelHashSet< rcu_gpi, LazyList_RCU_GPI_less_stdAlloc, traits_MichaelSet_stdAlloc > MichaelSet_Lazy_RCU_GPI_less_stdAlloc;
 513         typedef cc::MichaelHashSet< rcu_gpb, LazyList_RCU_GPB_less_stdAlloc, traits_MichaelSet_stdAlloc > MichaelSet_Lazy_RCU_GPB_less_stdAlloc;
 514         typedef cc::MichaelHashSet< rcu_gpt, LazyList_RCU_GPT_less_stdAlloc, traits_MichaelSet_stdAlloc > MichaelSet_Lazy_RCU_GPT_less_stdAlloc;
 515 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 516         typedef cc::MichaelHashSet< rcu_shb, LazyList_RCU_SHB_less_stdAlloc, traits_MichaelSet_stdAlloc > MichaelSet_Lazy_RCU_SHB_less_stdAlloc;
 517         typedef cc::MichaelHashSet< rcu_sht, LazyList_RCU_SHT_less_stdAlloc, traits_MichaelSet_stdAlloc > MichaelSet_Lazy_RCU_SHT_less_stdAlloc;
 518 #endif
 519
 520         typedef cc::MichaelHashSet< cds::gc::HP, LazyList_HP_less_stdAlloc_seqcst, traits_MichaelSet_stdAlloc > MichaelSet_Lazy_HP_less_stdAlloc_seqcst;
 521         typedef cc::MichaelHashSet< cds::gc::DHP, LazyList_DHP_less_stdAlloc_seqcst, traits_MichaelSet_stdAlloc > MichaelSet_Lazy_DHP_less_stdAlloc_seqcst;
 522         typedef cc::MichaelHashSet< rcu_gpi, LazyList_RCU_GPI_less_stdAlloc_seqcst, traits_MichaelSet_stdAlloc > MichaelSet_Lazy_RCU_GPI_less_stdAlloc_seqcst;
 523         typedef cc::MichaelHashSet< rcu_gpb, LazyList_RCU_GPB_less_stdAlloc_seqcst, traits_MichaelSet_stdAlloc > MichaelSet_Lazy_RCU_GPB_less_stdAlloc_seqcst;
 524         typedef cc::MichaelHashSet< rcu_gpt, LazyList_RCU_GPT_less_stdAlloc_seqcst, traits_MichaelSet_stdAlloc > MichaelSet_Lazy_RCU_GPT_less_stdAlloc_seqcst;
 525 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 526         typedef cc::MichaelHashSet< rcu_shb, LazyList_RCU_SHB_less_stdAlloc_seqcst, traits_MichaelSet_stdAlloc > MichaelSet_Lazy_RCU_SHB_less_stdAlloc_seqcst;
 527         typedef cc::MichaelHashSet< rcu_sht, LazyList_RCU_SHT_less_stdAlloc_seqcst, traits_MichaelSet_stdAlloc > MichaelSet_Lazy_RCU_SHT_less_stdAlloc_seqcst;
 528 #endif
 529
 530         typedef cc::MichaelHashSet< cds::gc::HP, LazyList_HP_cmp_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelSet_Lazy_HP_cmp_michaelAlloc;
 531         typedef cc::MichaelHashSet< cds::gc::DHP, LazyList_DHP_cmp_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelSet_Lazy_DHP_cmp_michaelAlloc;
 532         typedef cc::MichaelHashSet< rcu_gpi, LazyList_RCU_GPI_cmp_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelSet_Lazy_RCU_GPI_cmp_michaelAlloc;
 533         typedef cc::MichaelHashSet< rcu_gpb, LazyList_RCU_GPB_cmp_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelSet_Lazy_RCU_GPB_cmp_michaelAlloc;
 534         typedef cc::MichaelHashSet< rcu_gpt, LazyList_RCU_GPT_cmp_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelSet_Lazy_RCU_GPT_cmp_michaelAlloc;
 535 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 536         typedef cc::MichaelHashSet< rcu_shb, LazyList_RCU_SHB_cmp_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelSet_Lazy_RCU_SHB_cmp_michaelAlloc;
 537         typedef cc::MichaelHashSet< rcu_sht, LazyList_RCU_SHT_cmp_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelSet_Lazy_RCU_SHT_cmp_michaelAlloc;
 538 #endif
 539
 540         typedef cc::MichaelHashSet< cds::gc::HP, LazyList_HP_less_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelSet_Lazy_HP_less_michaelAlloc;
 541         typedef cc::MichaelHashSet< cds::gc::DHP, LazyList_DHP_less_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelSet_Lazy_DHP_less_michaelAlloc;
 542         typedef cc::MichaelHashSet< rcu_gpi, LazyList_RCU_GPI_less_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelSet_Lazy_RCU_GPI_less_michaelAlloc;
 543         typedef cc::MichaelHashSet< rcu_gpb, LazyList_RCU_GPB_less_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelSet_Lazy_RCU_GPB_less_michaelAlloc;
 544         typedef cc::MichaelHashSet< rcu_gpt, LazyList_RCU_GPT_less_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelSet_Lazy_RCU_GPT_less_michaelAlloc;
 545 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 546         typedef cc::MichaelHashSet< rcu_shb, LazyList_RCU_SHB_less_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelSet_Lazy_RCU_SHB_less_michaelAlloc;
 547         typedef cc::MichaelHashSet< rcu_sht, LazyList_RCU_SHT_less_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelSet_Lazy_RCU_SHT_less_michaelAlloc;
 548 #endif
 549
 550         // ***************************************************************************
 551         // SplitListSet based on MichaelList
 552
 553         struct traits_SplitList_Michael_dyn_cmp :
 554             public cc::split_list::make_traits<
 555                 cc::split_list::ordered_list<cc::michael_list_tag>
 556                 ,co::hash< hash >
 557                 ,cc::split_list::ordered_list_traits<
 558                     typename cc::michael_list::make_traits<
 559                         co::compare< compare >
 560                     >::type
 561                 >
 562             >::type
 563         {};
 564         typedef cc::SplitListSet< cds::gc::HP,  key_val, traits_SplitList_Michael_dyn_cmp > SplitList_Michael_HP_dyn_cmp;
 565         typedef cc::SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Michael_dyn_cmp > SplitList_Michael_DHP_dyn_cmp;
 566         typedef cc::SplitListSet< rcu_gpi, key_val, traits_SplitList_Michael_dyn_cmp > SplitList_Michael_RCU_GPI_dyn_cmp;
 567         typedef cc::SplitListSet< rcu_gpb, key_val, traits_SplitList_Michael_dyn_cmp > SplitList_Michael_RCU_GPB_dyn_cmp;
 568         typedef cc::SplitListSet< rcu_gpt, key_val, traits_SplitList_Michael_dyn_cmp > SplitList_Michael_RCU_GPT_dyn_cmp;
 569 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 570         typedef cc::SplitListSet< rcu_shb, key_val, traits_SplitList_Michael_dyn_cmp > SplitList_Michael_RCU_SHB_dyn_cmp;
 571         typedef cc::SplitListSet< rcu_sht, key_val, traits_SplitList_Michael_dyn_cmp > SplitList_Michael_RCU_SHT_dyn_cmp;
 572 #endif
 573
 574         struct traits_SplitList_Michael_dyn_cmp_stat :
 575             public cc::split_list::make_traits<
 576                 cc::split_list::ordered_list<cc::michael_list_tag>
 577                 ,co::hash< hash >
 578                 ,co::stat< cc::split_list::stat<> >
 579                 ,cc::split_list::ordered_list_traits<
 580                     typename cc::michael_list::make_traits<
 581                         co::compare< compare >
 582                     >::type
 583                 >
 584             >::type
 585         {};
 586         typedef cc::SplitListSet< cds::gc::HP, key_val, traits_SplitList_Michael_dyn_cmp_stat > SplitList_Michael_HP_dyn_cmp_stat;
 587         typedef cc::SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Michael_dyn_cmp_stat > SplitList_Michael_DHP_dyn_cmp_stat;
 588         typedef cc::SplitListSet< rcu_gpi, key_val, traits_SplitList_Michael_dyn_cmp_stat > SplitList_Michael_RCU_GPI_dyn_cmp_stat;
 589         typedef cc::SplitListSet< rcu_gpb, key_val, traits_SplitList_Michael_dyn_cmp_stat > SplitList_Michael_RCU_GPB_dyn_cmp_stat;
 590         typedef cc::SplitListSet< rcu_gpt, key_val, traits_SplitList_Michael_dyn_cmp_stat > SplitList_Michael_RCU_GPT_dyn_cmp_stat;
 591 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 592         typedef cc::SplitListSet< rcu_shb, key_val, traits_SplitList_Michael_dyn_cmp_stat > SplitList_Michael_RCU_SHB_dyn_cmp_stat;
 593         typedef cc::SplitListSet< rcu_sht, key_val, traits_SplitList_Michael_dyn_cmp_stat > SplitList_Michael_RCU_SHT_dyn_cmp_stat;
 594 #endif
 595
 596         struct traits_SplitList_Michael_dyn_cmp_seqcst :
 597             public cc::split_list::make_traits<
 598                 cc::split_list::ordered_list<cc::michael_list_tag>
 599                 ,co::hash< hash >
 600                 ,co::memory_model< co::v::sequential_consistent >
 601                 ,cc::split_list::ordered_list_traits<
 602                     typename cc::michael_list::make_traits<
 603                         co::compare< compare >
 604                         ,co::memory_model< co::v::sequential_consistent >
 605                     >::type
 606                 >
 607             >::type
 608         {};
 609         typedef cc::SplitListSet< cds::gc::HP,  key_val, traits_SplitList_Michael_dyn_cmp_seqcst > SplitList_Michael_HP_dyn_cmp_seqcst;
 610         typedef cc::SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Michael_dyn_cmp_seqcst > SplitList_Michael_DHP_dyn_cmp_seqcst;
 611         typedef cc::SplitListSet< rcu_gpi, key_val, traits_SplitList_Michael_dyn_cmp_seqcst > SplitList_Michael_RCU_GPI_dyn_cmp_seqcst;
 612         typedef cc::SplitListSet< rcu_gpb, key_val, traits_SplitList_Michael_dyn_cmp_seqcst > SplitList_Michael_RCU_GPB_dyn_cmp_seqcst;
 613         typedef cc::SplitListSet< rcu_gpt, key_val, traits_SplitList_Michael_dyn_cmp_seqcst > SplitList_Michael_RCU_GPT_dyn_cmp_seqcst;
 614 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 615         typedef cc::SplitListSet< rcu_shb, key_val, traits_SplitList_Michael_dyn_cmp_seqcst > SplitList_Michael_RCU_SHB_dyn_cmp_seqcst;
 616         typedef cc::SplitListSet< rcu_sht, key_val, traits_SplitList_Michael_dyn_cmp_seqcst > SplitList_Michael_RCU_SHT_dyn_cmp_seqcst;
 617 #endif
 618
 619         struct traits_SplitList_Michael_st_cmp :
 620             public cc::split_list::make_traits<
 621                 cc::split_list::ordered_list<cc::michael_list_tag>
 622                 ,cc::split_list::dynamic_bucket_table< false >
 623                 ,co::hash< hash >
 624                 ,cc::split_list::ordered_list_traits<
 625                     typename cc::michael_list::make_traits<
 626                         co::compare< compare >
 627                     >::type
 628                 >
 629             >::type
 630         {};
 631         typedef cc::SplitListSet< cds::gc::HP,  key_val, traits_SplitList_Michael_st_cmp > SplitList_Michael_HP_st_cmp;
 632         typedef cc::SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Michael_st_cmp > SplitList_Michael_DHP_st_cmp;
 633         typedef cc::SplitListSet< rcu_gpi, key_val, traits_SplitList_Michael_st_cmp > SplitList_Michael_RCU_GPI_st_cmp;
 634         typedef cc::SplitListSet< rcu_gpb, key_val, traits_SplitList_Michael_st_cmp > SplitList_Michael_RCU_GPB_st_cmp;
 635         typedef cc::SplitListSet< rcu_gpt, key_val, traits_SplitList_Michael_st_cmp > SplitList_Michael_RCU_GPT_st_cmp;
 636 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 637         typedef cc::SplitListSet< rcu_shb, key_val, traits_SplitList_Michael_st_cmp > SplitList_Michael_RCU_SHB_st_cmp;
 638         typedef cc::SplitListSet< rcu_sht, key_val, traits_SplitList_Michael_st_cmp > SplitList_Michael_RCU_SHT_st_cmp;
 639 #endif
 640
 641         struct traits_SplitList_Michael_st_cmp_seqcst :
 642             public cc::split_list::make_traits<
 643                 cc::split_list::ordered_list<cc::michael_list_tag>
 644                 ,co::hash< hash >
 645                 ,cc::split_list::dynamic_bucket_table< false >
 646                 ,co::memory_model< co::v::sequential_consistent >
 647                 ,cc::split_list::ordered_list_traits<
 648                     typename cc::michael_list::make_traits<
 649                         co::compare< compare >
 650                         ,co::memory_model< co::v::sequential_consistent >
 651                     >::type
 652                 >
 653             >::type
 654         {};
 655         typedef cc::SplitListSet< cds::gc::HP,  key_val, traits_SplitList_Michael_st_cmp_seqcst> SplitList_Michael_HP_st_cmp_seqcst;
 656         typedef cc::SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Michael_st_cmp_seqcst> SplitList_Michael_DHP_st_cmp_seqcst;
 657         typedef cc::SplitListSet< rcu_gpi, key_val, traits_SplitList_Michael_st_cmp_seqcst> SplitList_Michael_RCU_GPI_st_cmp_seqcst;
 658         typedef cc::SplitListSet< rcu_gpb, key_val, traits_SplitList_Michael_st_cmp_seqcst> SplitList_Michael_RCU_GPB_st_cmp_seqcst;
 659         typedef cc::SplitListSet< rcu_gpt, key_val, traits_SplitList_Michael_st_cmp_seqcst> SplitList_Michael_RCU_GPT_st_cmp_seqcst;
 660 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 661         typedef cc::SplitListSet< rcu_shb, key_val, traits_SplitList_Michael_st_cmp_seqcst> SplitList_Michael_RCU_SHB_st_cmp_seqcst;
 662         typedef cc::SplitListSet< rcu_sht, key_val, traits_SplitList_Michael_st_cmp_seqcst> SplitList_Michael_RCU_SHT_st_cmp_seqcst;
 663 #endif
 664
 665         //HP + less
 666         struct traits_SplitList_Michael_dyn_less :
 667             public cc::split_list::make_traits<
 668                 cc::split_list::ordered_list<cc::michael_list_tag>
 669                 ,co::hash< hash >
 670                 ,cc::split_list::ordered_list_traits<
 671                     typename cc::michael_list::make_traits<
 672                         co::less< less >
 673                     >::type
 674                 >
 675             >::type
 676         {};
 677         typedef cc::SplitListSet< cds::gc::HP,  key_val, traits_SplitList_Michael_dyn_less > SplitList_Michael_HP_dyn_less;
 678         typedef cc::SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Michael_dyn_less > SplitList_Michael_DHP_dyn_less;
 679         typedef cc::SplitListSet< rcu_gpi, key_val, traits_SplitList_Michael_dyn_less > SplitList_Michael_RCU_GPI_dyn_less;
 680         typedef cc::SplitListSet< rcu_gpb, key_val, traits_SplitList_Michael_dyn_less > SplitList_Michael_RCU_GPB_dyn_less;
 681         typedef cc::SplitListSet< rcu_gpt, key_val, traits_SplitList_Michael_dyn_less > SplitList_Michael_RCU_GPT_dyn_less;
 682 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 683         typedef cc::SplitListSet< rcu_shb, key_val, traits_SplitList_Michael_dyn_less > SplitList_Michael_RCU_SHB_dyn_less;
 684         typedef cc::SplitListSet< rcu_sht, key_val, traits_SplitList_Michael_dyn_less > SplitList_Michael_RCU_SHT_dyn_less;
 685 #endif
 686
 687         struct traits_SplitList_Michael_dyn_less_seqcst :
 688             public cc::split_list::make_traits<
 689                 cc::split_list::ordered_list<cc::michael_list_tag>
 690                 ,co::hash< hash >
 691                 ,co::memory_model< co::v::sequential_consistent >
 692                 ,cc::split_list::ordered_list_traits<
 693                     typename cc::michael_list::make_traits<
 694                         co::less< less >
 695                         ,co::memory_model< co::v::sequential_consistent >
 696                     >::type
 697                 >
 698             >::type
 699         {};
 700         typedef cc::SplitListSet< cds::gc::HP, key_val,  traits_SplitList_Michael_dyn_less_seqcst > SplitList_Michael_HP_dyn_less_seqcst;
 701         typedef cc::SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Michael_dyn_less_seqcst > SplitList_Michael_DHP_dyn_less_seqcst;
 702         typedef cc::SplitListSet< rcu_gpi, key_val, traits_SplitList_Michael_dyn_less_seqcst > SplitList_Michael_RCU_GPI_dyn_less_seqcst;
 703         typedef cc::SplitListSet< rcu_gpb, key_val, traits_SplitList_Michael_dyn_less_seqcst > SplitList_Michael_RCU_GPB_dyn_less_seqcst;
 704         typedef cc::SplitListSet< rcu_gpt, key_val, traits_SplitList_Michael_dyn_less_seqcst > SplitList_Michael_RCU_GPT_dyn_less_seqcst;
 705 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 706         typedef cc::SplitListSet< rcu_shb, key_val, traits_SplitList_Michael_dyn_less_seqcst > SplitList_Michael_RCU_SHB_dyn_less_seqcst;
 707         typedef cc::SplitListSet< rcu_sht, key_val, traits_SplitList_Michael_dyn_less_seqcst > SplitList_Michael_RCU_SHT_dyn_less_seqcst;
 708 #endif
 709
 710         struct traits_SplitList_Michael_st_less :
 711             public cc::split_list::make_traits<
 712                 cc::split_list::ordered_list<cc::michael_list_tag>
 713                 ,cc::split_list::dynamic_bucket_table< false >
 714                 ,co::hash< hash >
 715                 ,cc::split_list::ordered_list_traits<
 716                     typename cc::michael_list::make_traits<
 717                         co::less< less >
 718                     >::type
 719                 >
 720             >::type
 721         {};
 722         typedef cc::SplitListSet< cds::gc::HP,  key_val, traits_SplitList_Michael_st_less > SplitList_Michael_HP_st_less;
 723         typedef cc::SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Michael_st_less > SplitList_Michael_DHP_st_less;
 724         typedef cc::SplitListSet< rcu_gpi, key_val, traits_SplitList_Michael_st_less > SplitList_Michael_RCU_GPI_st_less;
 725         typedef cc::SplitListSet< rcu_gpb, key_val, traits_SplitList_Michael_st_less > SplitList_Michael_RCU_GPB_st_less;
 726         typedef cc::SplitListSet< rcu_gpt, key_val, traits_SplitList_Michael_st_less > SplitList_Michael_RCU_GPT_st_less;
 727 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 728         typedef cc::SplitListSet< rcu_shb, key_val, traits_SplitList_Michael_st_less > SplitList_Michael_RCU_SHB_st_less;
 729         typedef cc::SplitListSet< rcu_sht, key_val, traits_SplitList_Michael_st_less > SplitList_Michael_RCU_SHT_st_less;
 730 #endif
 731
 732         struct traits_SplitList_Michael_st_less_stat :
 733             public cc::split_list::make_traits<
 734                 cc::split_list::ordered_list<cc::michael_list_tag>
 735                 ,cc::split_list::dynamic_bucket_table< false >
 736                 ,co::hash< hash >
 737                 ,co::stat< cc::split_list::stat<>>
 738                 ,cc::split_list::ordered_list_traits<
 739                     typename cc::michael_list::make_traits<
 740                         co::less< less >
 741                     >::type
 742                 >
 743             >::type
 744         {};
 745         typedef cc::SplitListSet< cds::gc::HP,  key_val, traits_SplitList_Michael_st_less_stat > SplitList_Michael_HP_st_less_stat;
 746         typedef cc::SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Michael_st_less_stat > SplitList_Michael_DHP_st_less_stat;
 747         typedef cc::SplitListSet< rcu_gpi, key_val, traits_SplitList_Michael_st_less_stat > SplitList_Michael_RCU_GPI_st_less_stat;
 748         typedef cc::SplitListSet< rcu_gpb, key_val, traits_SplitList_Michael_st_less_stat > SplitList_Michael_RCU_GPB_st_less_stat;
 749         typedef cc::SplitListSet< rcu_gpt, key_val, traits_SplitList_Michael_st_less_stat > SplitList_Michael_RCU_GPT_st_less_stat;
 750 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 751         typedef cc::SplitListSet< rcu_shb, key_val, traits_SplitList_Michael_st_less_stat > SplitList_Michael_RCU_SHB_st_less_stat;
 752         typedef cc::SplitListSet< rcu_sht, key_val, traits_SplitList_Michael_st_less_stat > SplitList_Michael_RCU_SHT_st_less_stat;
 753 #endif
 754
 755         struct traits_SplitList_Michael_st_less_seqcst :
 756             public cc::split_list::make_traits<
 757                 cc::split_list::ordered_list<cc::michael_list_tag>
 758                 ,co::hash< hash >
 759                 ,cc::split_list::dynamic_bucket_table< false >
 760                 ,co::memory_model< co::v::sequential_consistent >
 761                 ,cc::split_list::ordered_list_traits<
 762                     typename cc::michael_list::make_traits<
 763                         co::less< less >
 764                         ,co::memory_model< co::v::sequential_consistent >
 765                     >::type
 766                 >
 767             >::type
 768         {};
 769         typedef cc::SplitListSet< cds::gc::HP,  key_val, traits_SplitList_Michael_st_less_seqcst > SplitList_Michael_HP_st_less_seqcst;
 770         typedef cc::SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Michael_st_less_seqcst > SplitList_Michael_DHP_st_less_seqcst;
 771         typedef cc::SplitListSet< rcu_gpi, key_val, traits_SplitList_Michael_st_less_seqcst > SplitList_Michael_RCU_GPI_st_less_seqcst;
 772         typedef cc::SplitListSet< rcu_gpb, key_val, traits_SplitList_Michael_st_less_seqcst > SplitList_Michael_RCU_GPB_st_less_seqcst;
 773         typedef cc::SplitListSet< rcu_gpt, key_val, traits_SplitList_Michael_st_less_seqcst > SplitList_Michael_RCU_GPT_st_less_seqcst;
 774 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 775         typedef cc::SplitListSet< rcu_shb, key_val, traits_SplitList_Michael_st_less_seqcst > SplitList_Michael_RCU_SHB_st_less_seqcst;
 776         typedef cc::SplitListSet< rcu_sht, key_val, traits_SplitList_Michael_st_less_seqcst > SplitList_Michael_RCU_SHT_st_less_seqcst;
 777 #endif
 778
 779         // ***************************************************************************
 780         // SplitListSet based on LazyList
 781
 782         struct traits_SplitList_Lazy_dyn_cmp :
 783             public cc::split_list::make_traits<
 784                 cc::split_list::ordered_list<cc::lazy_list_tag>
 785                 ,co::hash< hash >
 786                 ,cc::split_list::ordered_list_traits<
 787                     typename cc::lazy_list::make_traits<
 788                         co::compare< compare >
 789                     >::type
 790                 >
 791             >::type
 792         {};
 793         typedef cc::SplitListSet< cds::gc::HP, key_val, traits_SplitList_Lazy_dyn_cmp > SplitList_Lazy_HP_dyn_cmp;
 794         typedef cc::SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Lazy_dyn_cmp > SplitList_Lazy_DHP_dyn_cmp;
 795         typedef cc::SplitListSet< rcu_gpi, key_val, traits_SplitList_Lazy_dyn_cmp > SplitList_Lazy_RCU_GPI_dyn_cmp;
 796         typedef cc::SplitListSet< rcu_gpb, key_val, traits_SplitList_Lazy_dyn_cmp > SplitList_Lazy_RCU_GPB_dyn_cmp;
 797         typedef cc::SplitListSet< rcu_gpt, key_val, traits_SplitList_Lazy_dyn_cmp > SplitList_Lazy_RCU_GPT_dyn_cmp;
 798 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 799         typedef cc::SplitListSet< rcu_shb, key_val, traits_SplitList_Lazy_dyn_cmp > SplitList_Lazy_RCU_SHB_dyn_cmp;
 800         typedef cc::SplitListSet< rcu_sht, key_val, traits_SplitList_Lazy_dyn_cmp > SplitList_Lazy_RCU_SHT_dyn_cmp;
 801 #endif
 802
 803         struct traits_SplitList_Lazy_dyn_cmp_stat : public traits_SplitList_Lazy_dyn_cmp
 804         {
 805             typedef cc::split_list::stat<> stat;
 806         };
 807         typedef cc::SplitListSet< cds::gc::HP, key_val, traits_SplitList_Lazy_dyn_cmp_stat > SplitList_Lazy_HP_dyn_cmp_stat;
 808         typedef cc::SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Lazy_dyn_cmp_stat > SplitList_Lazy_DHP_dyn_cmp_stat;
 809         typedef cc::SplitListSet< rcu_gpi, key_val, traits_SplitList_Lazy_dyn_cmp_stat > SplitList_Lazy_RCU_GPI_dyn_cmp_stat;
 810         typedef cc::SplitListSet< rcu_gpb, key_val, traits_SplitList_Lazy_dyn_cmp_stat > SplitList_Lazy_RCU_GPB_dyn_cmp_stat;
 811         typedef cc::SplitListSet< rcu_gpt, key_val, traits_SplitList_Lazy_dyn_cmp_stat > SplitList_Lazy_RCU_GPT_dyn_cmp_stat;
 812 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 813         typedef cc::SplitListSet< rcu_shb, key_val, traits_SplitList_Lazy_dyn_cmp > SplitList_Lazy_RCU_SHB_dyn_cmp_stat;
 814         typedef cc::SplitListSet< rcu_sht, key_val, traits_SplitList_Lazy_dyn_cmp > SplitList_Lazy_RCU_SHT_dyn_cmp_stat;
 815 #endif
 816
 817         struct traits_SplitList_Lazy_dyn_cmp_seqcst :
 818             public cc::split_list::make_traits<
 819                 cc::split_list::ordered_list<cc::lazy_list_tag>
 820                 ,co::hash< hash >
 821                 ,co::memory_model< co::v::sequential_consistent >
 822                 ,cc::split_list::ordered_list_traits<
 823                     typename cc::lazy_list::make_traits<
 824                         co::compare< compare >
 825                         ,co::memory_model< co::v::sequential_consistent >
 826                     >::type
 827                 >
 828             >::type
 829         {};
 830         typedef cc::SplitListSet< cds::gc::HP, key_val, traits_SplitList_Lazy_dyn_cmp_seqcst > SplitList_Lazy_HP_dyn_cmp_seqcst;
 831         typedef cc::SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Lazy_dyn_cmp_seqcst > SplitList_Lazy_DHP_dyn_cmp_seqcst;
 832         typedef cc::SplitListSet< rcu_gpi, key_val, traits_SplitList_Lazy_dyn_cmp_seqcst > SplitList_Lazy_RCU_GPI_dyn_cmp_seqcst;
 833         typedef cc::SplitListSet< rcu_gpb, key_val, traits_SplitList_Lazy_dyn_cmp_seqcst > SplitList_Lazy_RCU_GPB_dyn_cmp_seqcst;
 834         typedef cc::SplitListSet< rcu_gpt, key_val, traits_SplitList_Lazy_dyn_cmp_seqcst > SplitList_Lazy_RCU_GPT_dyn_cmp_seqcst;
 835 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 836         typedef cc::SplitListSet< rcu_shb, key_val, traits_SplitList_Lazy_dyn_cmp_seqcst > SplitList_Lazy_RCU_SHB_dyn_cmp_seqcst;
 837         typedef cc::SplitListSet< rcu_sht, key_val, traits_SplitList_Lazy_dyn_cmp_seqcst > SplitList_Lazy_RCU_SHT_dyn_cmp_seqcst;
 838 #endif
 839
 840         struct traits_SplitList_Lazy_st_cmp :
 841             public cc::split_list::make_traits<
 842                 cc::split_list::ordered_list<cc::lazy_list_tag>
 843                 ,cc::split_list::dynamic_bucket_table< false >
 844                 ,co::hash< hash >
 845                 ,cc::split_list::ordered_list_traits<
 846                     typename cc::lazy_list::make_traits<
 847                         co::compare< compare >
 848                     >::type
 849                 >
 850             >::type
 851         {};
 852         typedef cc::SplitListSet< cds::gc::HP, key_val, traits_SplitList_Lazy_st_cmp > SplitList_Lazy_HP_st_cmp;
 853         typedef cc::SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Lazy_st_cmp > SplitList_Lazy_DHP_st_cmp;
 854         typedef cc::SplitListSet< rcu_gpi, key_val, traits_SplitList_Lazy_st_cmp > SplitList_Lazy_RCU_GPI_st_cmp;
 855         typedef cc::SplitListSet< rcu_gpb, key_val, traits_SplitList_Lazy_st_cmp > SplitList_Lazy_RCU_GPB_st_cmp;
 856         typedef cc::SplitListSet< rcu_gpt, key_val, traits_SplitList_Lazy_st_cmp > SplitList_Lazy_RCU_GPT_st_cmp;
 857 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 858         typedef cc::SplitListSet< rcu_shb, key_val, traits_SplitList_Lazy_st_cmp > SplitList_Lazy_RCU_SHB_st_cmp;
 859         typedef cc::SplitListSet< rcu_sht, key_val, traits_SplitList_Lazy_st_cmp > SplitList_Lazy_RCU_SHT_st_cmp;
 860 #endif
 861
 862         struct traits_SplitList_Lazy_st_cmp_seqcst :
 863             public cc::split_list::make_traits<
 864                 cc::split_list::ordered_list<cc::lazy_list_tag>
 865                 ,co::hash< hash >
 866                 ,cc::split_list::dynamic_bucket_table< false >
 867                 ,co::memory_model< co::v::sequential_consistent >
 868                 ,cc::split_list::ordered_list_traits<
 869                     typename cc::lazy_list::make_traits<
 870                         co::compare< compare >
 871                         ,co::memory_model< co::v::sequential_consistent >
 872                     >::type
 873                 >
 874             >::type
 875         {};
 876         typedef cc::SplitListSet< cds::gc::HP, key_val, traits_SplitList_Lazy_st_cmp_seqcst > SplitList_Lazy_HP_st_cmp_seqcst;
 877         typedef cc::SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Lazy_st_cmp_seqcst > SplitList_Lazy_DHP_st_cmp_seqcst;
 878         typedef cc::SplitListSet< rcu_gpi, key_val, traits_SplitList_Lazy_st_cmp_seqcst > SplitList_Lazy_RCU_GPI_st_cmp_seqcst;
 879         typedef cc::SplitListSet< rcu_gpb, key_val, traits_SplitList_Lazy_st_cmp_seqcst > SplitList_Lazy_RCU_GPB_st_cmp_seqcst;
 880         typedef cc::SplitListSet< rcu_gpt, key_val, traits_SplitList_Lazy_st_cmp_seqcst > SplitList_Lazy_RCU_GPT_st_cmp_seqcst;
 881 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 882         typedef cc::SplitListSet< rcu_shb, key_val, traits_SplitList_Lazy_st_cmp_seqcst > SplitList_Lazy_RCU_SHB_st_cmp_seqcst;
 883         typedef cc::SplitListSet< rcu_sht, key_val, traits_SplitList_Lazy_st_cmp_seqcst > SplitList_Lazy_RCU_SHT_st_cmp_seqcst;
 884 #endif
 885
 886         struct traits_SplitList_Lazy_dyn_less :
 887             public cc::split_list::make_traits<
 888                 cc::split_list::ordered_list<cc::lazy_list_tag>
 889                 ,co::hash< hash >
 890                 ,cc::split_list::ordered_list_traits<
 891                     typename cc::lazy_list::make_traits<
 892                         co::less< less >
 893                     >::type
 894                 >
 895             >::type
 896         {};
 897         typedef cc::SplitListSet< cds::gc::HP, key_val, traits_SplitList_Lazy_dyn_less > SplitList_Lazy_HP_dyn_less;
 898         typedef cc::SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Lazy_dyn_less > SplitList_Lazy_DHP_dyn_less;
 899         typedef cc::SplitListSet< rcu_gpi, key_val, traits_SplitList_Lazy_dyn_less > SplitList_Lazy_RCU_GPI_dyn_less;
 900         typedef cc::SplitListSet< rcu_gpb, key_val, traits_SplitList_Lazy_dyn_less > SplitList_Lazy_RCU_GPB_dyn_less;
 901         typedef cc::SplitListSet< rcu_gpt, key_val, traits_SplitList_Lazy_dyn_less > SplitList_Lazy_RCU_GPT_dyn_less;
 902 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 903         typedef cc::SplitListSet< rcu_shb, key_val, traits_SplitList_Lazy_dyn_less > SplitList_Lazy_RCU_SHB_dyn_less;
 904         typedef cc::SplitListSet< rcu_sht, key_val, traits_SplitList_Lazy_dyn_less > SplitList_Lazy_RCU_SHT_dyn_less;
 905 #endif
 906
 907         struct traits_SplitList_Lazy_dyn_less_seqcst :
 908             public cc::split_list::make_traits<
 909                 cc::split_list::ordered_list<cc::lazy_list_tag>
 910                 ,co::hash< hash >
 911                 ,co::memory_model< co::v::sequential_consistent >
 912                 ,cc::split_list::ordered_list_traits<
 913                     typename cc::lazy_list::make_traits<
 914                         co::less< less >
 915                         ,co::memory_model< co::v::sequential_consistent >
 916                     >::type
 917                 >
 918             >::type
 919         {};
 920         typedef cc::SplitListSet< cds::gc::HP, key_val, traits_SplitList_Lazy_dyn_less_seqcst > SplitList_Lazy_HP_dyn_less_seqcst;
 921         typedef cc::SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Lazy_dyn_less_seqcst > SplitList_Lazy_DHP_dyn_less_seqcst;
 922         typedef cc::SplitListSet< rcu_gpi, key_val, traits_SplitList_Lazy_dyn_less_seqcst > SplitList_Lazy_RCU_GPI_dyn_less_seqcst;
 923         typedef cc::SplitListSet< rcu_gpb, key_val, traits_SplitList_Lazy_dyn_less_seqcst > SplitList_Lazy_RCU_GPB_dyn_less_seqcst;
 924         typedef cc::SplitListSet< rcu_gpt, key_val, traits_SplitList_Lazy_dyn_less_seqcst > SplitList_Lazy_RCU_GPT_dyn_less_seqcst;
 925 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 926         typedef cc::SplitListSet< rcu_shb, key_val, traits_SplitList_Lazy_dyn_less_seqcst > SplitList_Lazy_RCU_SHB_dyn_less_seqcst;
 927         typedef cc::SplitListSet< rcu_sht, key_val, traits_SplitList_Lazy_dyn_less_seqcst > SplitList_Lazy_RCU_SHT_dyn_less_seqcst;
 928 #endif
 929
 930         struct traits_SplitList_Lazy_st_less :
 931             public cc::split_list::make_traits<
 932                 cc::split_list::ordered_list<cc::lazy_list_tag>
 933                 ,cc::split_list::dynamic_bucket_table< false >
 934                 ,co::hash< hash >
 935                 ,cc::split_list::ordered_list_traits<
 936                     typename cc::lazy_list::make_traits<
 937                         co::less< less >
 938                     >::type
 939                 >
 940             >::type
 941         {};
 942         typedef cc::SplitListSet< cds::gc::HP, key_val, traits_SplitList_Lazy_st_less > SplitList_Lazy_HP_st_less;
 943         typedef cc::SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Lazy_st_less > SplitList_Lazy_DHP_st_less;
 944         typedef cc::SplitListSet< rcu_gpi, key_val, traits_SplitList_Lazy_st_less > SplitList_Lazy_RCU_GPI_st_less;
 945         typedef cc::SplitListSet< rcu_gpb, key_val, traits_SplitList_Lazy_st_less > SplitList_Lazy_RCU_GPB_st_less;
 946         typedef cc::SplitListSet< rcu_gpt, key_val, traits_SplitList_Lazy_st_less > SplitList_Lazy_RCU_GPT_st_less;
 947 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 948         typedef cc::SplitListSet< rcu_shb, key_val, traits_SplitList_Lazy_st_less > SplitList_Lazy_RCU_SHB_st_less;
 949         typedef cc::SplitListSet< rcu_sht, key_val, traits_SplitList_Lazy_st_less > SplitList_Lazy_RCU_SHT_st_less;
 950 #endif
 951
 952         struct traits_SplitList_Lazy_st_less_seqcst :
 953             public cc::split_list::make_traits<
 954                 cc::split_list::ordered_list<cc::lazy_list_tag>
 955                 ,co::hash< hash >
 956                 ,cc::split_list::dynamic_bucket_table< false >
 957                 ,co::memory_model< co::v::sequential_consistent >
 958                 ,cc::split_list::ordered_list_traits<
 959                     typename cc::lazy_list::make_traits<
 960                         co::less< less >
 961                         ,co::memory_model< co::v::sequential_consistent >
 962                     >::type
 963                 >
 964             >::type
 965         {};
 966         typedef cc::SplitListSet< cds::gc::HP, key_val, traits_SplitList_Lazy_st_less_seqcst > SplitList_Lazy_HP_st_less_seqcst;
 967         typedef cc::SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Lazy_st_less_seqcst > SplitList_Lazy_DHP_st_less_seqcst;
 968         typedef cc::SplitListSet< rcu_gpi, key_val, traits_SplitList_Lazy_st_less_seqcst > SplitList_Lazy_RCU_GPI_st_less_seqcst;
 969         typedef cc::SplitListSet< rcu_gpb, key_val, traits_SplitList_Lazy_st_less_seqcst > SplitList_Lazy_RCU_GPB_st_less_seqcst;
 970         typedef cc::SplitListSet< rcu_gpt, key_val, traits_SplitList_Lazy_st_less_seqcst > SplitList_Lazy_RCU_GPT_st_less_seqcst;
 971 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 972         typedef cc::SplitListSet< rcu_shb, key_val, traits_SplitList_Lazy_st_less_seqcst > SplitList_Lazy_RCU_SHB_st_less_seqcst;
 973         typedef cc::SplitListSet< rcu_sht, key_val, traits_SplitList_Lazy_st_less_seqcst > SplitList_Lazy_RCU_SHT_st_less_seqcst;
 974 #endif
 975
 976         struct traits_SplitList_Lazy_st_less_stat : public traits_SplitList_Lazy_st_less
 977         {
 978             typedef cc::split_list::stat<> stat;
 979         };
 980         typedef cc::SplitListSet< cds::gc::HP, key_val, traits_SplitList_Lazy_st_less_stat > SplitList_Lazy_HP_st_less_stat;
 981         typedef cc::SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Lazy_st_less_stat > SplitList_Lazy_DHP_st_less_stat;
 982         typedef cc::SplitListSet< rcu_gpi, key_val, traits_SplitList_Lazy_st_less_stat > SplitList_Lazy_RCU_GPI_st_less_stat;
 983         typedef cc::SplitListSet< rcu_gpb, key_val, traits_SplitList_Lazy_st_less_stat > SplitList_Lazy_RCU_GPB_st_less_stat;
 984         typedef cc::SplitListSet< rcu_gpt, key_val, traits_SplitList_Lazy_st_less_stat > SplitList_Lazy_RCU_GPT_st_less_stat;
 985 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 986         typedef cc::SplitListSet< rcu_shb, key_val, traits_SplitList_Lazy_st_less_stat > SplitList_Lazy_RCU_SHB_st_less_stat;
 987         typedef cc::SplitListSet< rcu_sht, key_val, traits_SplitList_Lazy_st_less_stat > SplitList_Lazy_RCU_SHT_st_less_stat;
 988 #endif
 989
 990
 991         // ***************************************************************************
 992         // StripedSet
 993
 994         // for sequential containers
 995         template <class BucketEntry, typename... Options>
 996         class StripedHashSet_seq:
 997             public cc::StripedSet< BucketEntry,
 998                 co::mutex_policy< cc::striped_set::striping<> >
 999                 ,co::resizing_policy<cc::striped_set::load_factor_resizing<0> >
1000                 , Options...
1001             >
1002         {
1003             typedef cc::StripedSet< BucketEntry,
1004                 co::mutex_policy< cc::striped_set::striping<> >
1005                 ,co::resizing_policy<cc::striped_set::load_factor_resizing<0> >
1006                 , Options...
1007             > base_class;
1008             typedef typename base_class::resizing_policy resizing_policy_t;
1009
1010             resizing_policy_t   m_placeHolder;
1011         public:
1012             StripedHashSet_seq( size_t nCapacity, size_t nLoadFactor )
1013                 : base_class( nCapacity / nLoadFactor / 16, *(new(&m_placeHolder) resizing_policy_t( nLoadFactor )) )
1014             {}
1015
1016             template <typename Q, typename Less>
1017             bool erase_with( Q const& v, Less pred )
1018             {
1019                 return base_class::erase( v );
1020             }
1021         };
1022
1023         // for non-sequential ordered containers
1024         template <class BucketEntry, typename... Options>
1025         class StripedHashSet_ord:
1026             public cc::StripedSet< BucketEntry,
1027                 co::resizing_policy<cc::striped_set::load_factor_resizing<0> >
1028                 ,co::mutex_policy< cc::striped_set::striping<> >
1029                 , Options...
1030             >
1031         {
1032             typedef cc::StripedSet< BucketEntry,
1033                co::resizing_policy<cc::striped_set::load_factor_resizing<0> >
1034                 ,co::mutex_policy< cc::striped_set::striping<> >
1035                 , Options...
1036             > base_class;
1037             typedef typename base_class::resizing_policy resizing_policy_t;
1038
1039             resizing_policy_t   m_placeHolder;
1040         public:
1041             StripedHashSet_ord( size_t nCapacity, size_t nLoadFactor )
1042                 : base_class( 0, *(new(&m_placeHolder) resizing_policy_t( nLoadFactor * 1024 )) )
1043             {}
1044
1045             template <typename Q, typename Less>
1046             bool erase_with( Q const& v, Less pred )
1047             {
1048                 return base_class::erase( v );
1049             }
1050         };
1051
1052         typedef StripedHashSet_seq<
1053             std::list< key_val >
1054             , co::hash< hash2 >
1055             , co::less< less >
1056         > StripedSet_list;
1057
1058         typedef StripedHashSet_seq<
1059             std::vector< key_val >
1060             , co::hash< hash2 >
1061             , co::less< less >
1062         > StripedSet_vector;
1063
1064 #if BOOST_VERSION >= 104800
1065         typedef StripedHashSet_seq<
1066             boost::container::slist< key_val >
1067             , co::hash< hash2 >
1068             , co::less< less >
1069         > StripedSet_boost_slist;
1070
1071         typedef StripedHashSet_seq<
1072             boost::container::list< key_val >
1073             , co::hash< hash2 >
1074             , co::less< less >
1075         > StripedSet_boost_list;
1076
1077         typedef StripedHashSet_seq<
1078             boost::container::vector< key_val >
1079             , co::hash< hash2 >
1080             , co::less< less >
1081         > StripedSet_boost_vector;
1082
1083         typedef StripedHashSet_seq<
1084             boost::container::stable_vector< key_val >
1085             , co::hash< hash2 >
1086             , co::less< less >
1087         > StripedSet_boost_stable_vector;
1088 #endif
1089
1090         typedef StripedHashSet_ord<
1091             std::set< key_val, less >
1092             , co::hash< hash2 >
1093         > StripedSet_set;
1094
1095         typedef StripedHashSet_ord<
1096             std::unordered_set< key_val, hash, equal_to >
1097             , co::hash< hash2 >
1098         > StripedSet_hashset;
1099
1100 #if BOOST_VERSION >= 104800
1101         typedef StripedHashSet_ord<
1102             boost::container::set< key_val, less >
1103             , co::hash< hash2 >
1104         > StripedSet_boost_set;
1105
1106         typedef StripedHashSet_ord<
1107             boost::container::flat_set< key_val, less >
1108             , co::hash< hash2 >
1109         > StripedSet_boost_flat_set;
1110 #endif
1111
1112         typedef StripedHashSet_ord<
1113             boost::unordered_set< key_val, hash, equal_to >
1114             , co::hash< hash2 >
1115         > StripedSet_boost_unordered_set;
1116
1117
1118
1119         // ***************************************************************************
1120         // RefinableSet
1121
1122         // for sequential containers
1123         template <class BucketEntry, typename... Options>
1124         class RefinableHashSet_seq:
1125             public cc::StripedSet< BucketEntry,
1126             co::mutex_policy< cc::striped_set::refinable<> >
1127             ,co::resizing_policy<cc::striped_set::load_factor_resizing<0> >
1128             , Options...
1129             >
1130         {
1131             typedef cc::StripedSet< BucketEntry,
1132                 co::mutex_policy< cc::striped_set::refinable<> >
1133                 ,co::resizing_policy<cc::striped_set::load_factor_resizing<0> >
1134                 , Options...
1135             > base_class;
1136             typedef typename base_class::resizing_policy resizing_policy_t;
1137
1138             resizing_policy_t   m_placeHolder;
1139         public:
1140             RefinableHashSet_seq( size_t nCapacity, size_t nLoadFactor )
1141                 : base_class( nCapacity / nLoadFactor / 16, *(new(&m_placeHolder) resizing_policy_t( nLoadFactor )) )
1142             {}
1143
1144             template <typename Q, typename Less>
1145             bool erase_with( Q const& v, Less pred )
1146             {
1147                 return base_class::erase( v );
1148             }
1149         };
1150
1151         // for non-sequential ordered containers
1152         template <class BucketEntry, typename... Options>
1153         class RefinableHashSet_ord:
1154             public cc::StripedSet< BucketEntry,
1155                 co::resizing_policy<cc::striped_set::load_factor_resizing<0> >
1156                 ,co::mutex_policy< cc::striped_set::refinable<> >
1157                 , Options...
1158             >
1159         {
1160             typedef cc::StripedSet< BucketEntry,
1161                 co::resizing_policy<cc::striped_set::load_factor_resizing<0> >
1162                 ,co::mutex_policy< cc::striped_set::refinable<> >
1163                 , Options...
1164             > base_class;
1165             typedef typename base_class::resizing_policy resizing_policy_t;
1166
1167             resizing_policy_t   m_placeHolder;
1168         public:
1169             RefinableHashSet_ord( size_t nCapacity, size_t nLoadFactor )
1170                 : base_class( 0, *(new(&m_placeHolder) resizing_policy_t( nLoadFactor * 1024 )) )
1171             {}
1172
1173             template <typename Q, typename Less>
1174             bool erase_with( Q const& v, Less pred )
1175             {
1176                 return base_class::erase( v );
1177             }
1178         };
1179
1180         typedef RefinableHashSet_seq<
1181             std::list< key_val >
1182             , co::hash< hash2 >
1183             , co::less< less >
1184         > RefinableSet_list;
1185
1186         typedef RefinableHashSet_seq<
1187             std::vector< key_val >
1188             , co::hash< hash2 >
1189             , co::less< less >
1190         > RefinableSet_vector;
1191
1192 #if BOOST_VERSION >= 104800
1193         typedef RefinableHashSet_seq<
1194             boost::container::slist< key_val >
1195             , co::hash< hash2 >
1196             , co::less< less >
1197         > RefinableSet_boost_slist;
1198
1199         typedef RefinableHashSet_seq<
1200             boost::container::list< key_val >
1201             , co::hash< hash2 >
1202             , co::less< less >
1203         > RefinableSet_boost_list;
1204
1205         typedef RefinableHashSet_seq<
1206             boost::container::vector< key_val >
1207             , co::hash< hash2 >
1208             , co::less< less >
1209         > RefinableSet_boost_vector;
1210
1211         typedef RefinableHashSet_seq<
1212             boost::container::stable_vector< key_val >
1213             , co::hash< hash2 >
1214             , co::less< less >
1215         > RefinableSet_boost_stable_vector;
1216 #endif
1217
1218         typedef RefinableHashSet_ord<
1219             std::set< key_val, less >
1220             , co::hash< hash2 >
1221         > RefinableSet_set;
1222
1223         typedef RefinableHashSet_ord<
1224             std::unordered_set< key_val, hash, equal_to >
1225             , co::hash< hash2 >
1226         > RefinableSet_hashset;
1227
1228 #if BOOST_VERSION >= 104800
1229         typedef RefinableHashSet_ord<
1230             boost::container::set< key_val, less >
1231             , co::hash< hash2 >
1232         > RefinableSet_boost_set;
1233
1234         typedef RefinableHashSet_ord<
1235             boost::container::flat_set< key_val, less >
1236             , co::hash< hash2 >
1237         > RefinableSet_boost_flat_set;
1238 #endif
1239
1240         typedef RefinableHashSet_ord<
1241             boost::unordered_set< key_val, hash, equal_to >
1242             , co::hash< hash2 >
1243         > RefinableSet_boost_unordered_set;
1244
1245         // ***************************************************************************
1246         // CuckooSet
1247
1248         template <typename Traits>
1249         struct traits_CuckooStripedSet : public Traits
1250         {
1251             typedef cc::cuckoo::striping<> mutex_policy;
1252         };
1253         template <typename Traits>
1254         struct traits_CuckooRefinableSet : public Traits
1255         {
1256             typedef cc::cuckoo::refinable<> mutex_policy;
1257         };
1258
1259         struct traits_CuckooSet_list_unord :
1260             public cc::cuckoo::make_traits <
1261                 cc::cuckoo::probeset_type< cc::cuckoo::list >
1262                 , co::equal_to< equal_to >
1263                 , co::hash< std::tuple< hash, hash2 > >
1264             > ::type
1265         {};
1266         typedef CuckooSet< key_val, traits_CuckooStripedSet<traits_CuckooSet_list_unord>> CuckooStripedSet_list_unord;
1267         typedef CuckooSet< key_val, traits_CuckooRefinableSet<traits_CuckooSet_list_unord>> CuckooRefinableSet_list_unord;
1268
1269         struct traits_CuckooSet_list_unord_stat : public traits_CuckooSet_list_unord
1270         {
1271             typedef cc::cuckoo::stat stat;
1272         };
1273         typedef CuckooSet< key_val, traits_CuckooStripedSet<traits_CuckooSet_list_unord_stat>> CuckooStripedSet_list_unord_stat;
1274         typedef CuckooSet< key_val, traits_CuckooRefinableSet<traits_CuckooSet_list_unord_stat>> CuckooRefinableSet_list_unord_stat;
1275
1276         struct traits_CuckooSet_list_unord_storehash : public traits_CuckooSet_list_unord
1277         {
1278             static CDS_CONSTEXPR const bool store_hash = true;
1279         };
1280         typedef CuckooSet< key_val, traits_CuckooStripedSet<traits_CuckooSet_list_unord_storehash>> CuckooStripedSet_list_unord_storehash;
1281         typedef CuckooSet< key_val, traits_CuckooRefinableSet<traits_CuckooSet_list_unord_storehash>> CuckooRefinableSet_list_unord_storehash;
1282
1283         struct traits_CuckooSet_list_ord :
1284             public cc::cuckoo::make_traits <
1285                 cc::cuckoo::probeset_type< cc::cuckoo::list >
1286                 , co::compare< compare >
1287                 , co::hash< std::tuple< hash, hash2 > >
1288             > ::type
1289         {};
1290         typedef CuckooSet< key_val, traits_CuckooStripedSet<traits_CuckooSet_list_ord>> CuckooStripedSet_list_ord;
1291         typedef CuckooSet< key_val, traits_CuckooRefinableSet<traits_CuckooSet_list_ord>> CuckooRefinableSet_list_ord;
1292
1293         struct traits_CuckooSet_list_ord_stat : public traits_CuckooSet_list_ord
1294         {
1295             typedef cc::cuckoo::stat stat;
1296         };
1297         typedef CuckooSet< key_val, traits_CuckooStripedSet<traits_CuckooSet_list_ord_stat>> CuckooStripedSet_list_ord_stat;
1298         typedef CuckooSet< key_val, traits_CuckooRefinableSet<traits_CuckooSet_list_ord_stat>> CuckooRefinableSet_list_ord_stat;
1299
1300         struct traits_CuckooSet_list_ord_storehash : public traits_CuckooSet_list_ord
1301         {
1302             static CDS_CONSTEXPR const bool store_hash = true;
1303         };
1304         typedef CuckooSet< key_val, traits_CuckooStripedSet<traits_CuckooSet_list_ord_storehash>> CuckooStripedSet_list_ord_storehash;
1305         typedef CuckooSet< key_val, traits_CuckooRefinableSet<traits_CuckooSet_list_ord_storehash>> CuckooRefinableSet_list_ord_storehash;
1306
1307
1308         struct traits_CuckooSet_vector_unord :
1309             public cc::cuckoo::make_traits <
1310                 cc::cuckoo::probeset_type< cc::cuckoo::vector<4> >
1311                 , co::equal_to< equal_to >
1312                 , co::hash< std::tuple< hash, hash2 > >
1313             > ::type
1314         {};
1315         typedef CuckooSet< key_val, traits_CuckooStripedSet<traits_CuckooSet_vector_unord>> CuckooStripedSet_vector_unord;
1316         typedef CuckooSet< key_val, traits_CuckooRefinableSet<traits_CuckooSet_vector_unord>> CuckooRefinableSet_vector_unord;
1317
1318         struct traits_CuckooSet_vector_unord_stat : public traits_CuckooSet_vector_unord
1319         {
1320             typedef cc::cuckoo::stat stat;
1321         };
1322         typedef CuckooSet< key_val, traits_CuckooStripedSet<traits_CuckooSet_vector_unord_stat>> CuckooStripedSet_vector_unord_stat;
1323         typedef CuckooSet< key_val, traits_CuckooRefinableSet<traits_CuckooSet_vector_unord_stat>> CuckooRefinableSet_vector_unord_stat;
1324
1325         struct traits_CuckooSet_vector_unord_storehash : public traits_CuckooSet_vector_unord
1326         {
1327             static CDS_CONSTEXPR const bool store_hash = true;
1328         };
1329         typedef CuckooSet< key_val, traits_CuckooStripedSet<traits_CuckooSet_vector_unord_storehash>> CuckooStripedSet_vector_unord_storehash;
1330         typedef CuckooSet< key_val, traits_CuckooRefinableSet<traits_CuckooSet_vector_unord_storehash>> CuckooRefinableSet_vector_unord_storehash;
1331
1332         struct traits_CuckooSet_vector_ord :
1333             public cc::cuckoo::make_traits <
1334                 cc::cuckoo::probeset_type< cc::cuckoo::vector<4> >
1335                 , co::compare< compare >
1336                 , co::hash< std::tuple< hash, hash2 > >
1337             > ::type
1338         {};
1339         typedef CuckooSet< key_val, traits_CuckooStripedSet<traits_CuckooSet_vector_ord>> CuckooStripedSet_vector_ord;
1340         typedef CuckooSet< key_val, traits_CuckooRefinableSet<traits_CuckooSet_vector_ord>> CuckooRefinableSet_vector_ord;
1341
1342         struct traits_CuckooSet_vector_ord_stat : public traits_CuckooSet_vector_ord
1343         {
1344             typedef cc::cuckoo::stat stat;
1345         };
1346         typedef CuckooSet< key_val, traits_CuckooStripedSet<traits_CuckooSet_vector_ord_stat>> CuckooStripedSet_vector_ord_stat;
1347         typedef CuckooSet< key_val, traits_CuckooRefinableSet<traits_CuckooSet_vector_ord_stat>> CuckooRefinableSet_vector_ord_stat;
1348
1349         struct traits_CuckooSet_vector_ord_storehash : public traits_CuckooSet_vector_ord
1350         {
1351             static CDS_CONSTEXPR const bool store_hash = true;
1352         };
1353         typedef CuckooSet< key_val, traits_CuckooStripedSet<traits_CuckooSet_vector_ord_storehash>> CuckooStripedSet_vector_ord_storehash;
1354         typedef CuckooSet< key_val, traits_CuckooRefinableSet<traits_CuckooSet_vector_ord_storehash>> CuckooRefinableSet_vector_ord_storehash;
1355
1356
1357         // ***************************************************************************
1358         // SkipListSet
1359
1360         class traits_SkipListSet_less_pascal: public cc::skip_list::make_traits <
1361                 co::less< less >
1362                 ,cc::skip_list::random_level_generator< cc::skip_list::turbo_pascal >
1363                 ,co::item_counter< cds::atomicity::item_counter >
1364             >::type
1365         {};
1366         typedef cc::SkipListSet< cds::gc::HP, key_val, traits_SkipListSet_less_pascal > SkipListSet_hp_less_pascal;
1367         typedef cc::SkipListSet< cds::gc::DHP, key_val, traits_SkipListSet_less_pascal > SkipListSet_dhp_less_pascal;
1368         typedef cc::SkipListSet< rcu_gpi, key_val, traits_SkipListSet_less_pascal > SkipListSet_rcu_gpi_less_pascal;
1369         typedef cc::SkipListSet< rcu_gpb, key_val, traits_SkipListSet_less_pascal > SkipListSet_rcu_gpb_less_pascal;
1370         typedef cc::SkipListSet< rcu_gpt, key_val, traits_SkipListSet_less_pascal > SkipListSet_rcu_gpt_less_pascal;
1371 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
1372         typedef cc::SkipListSet< rcu_shb, key_val, traits_SkipListSet_less_pascal > SkipListSet_rcu_shb_less_pascal;
1373         typedef cc::SkipListSet< rcu_sht, key_val, traits_SkipListSet_less_pascal > SkipListSet_rcu_sht_less_pascal;
1374 #endif
1375
1376         class traits_SkipListSet_less_pascal_seqcst: public cc::skip_list::make_traits <
1377                 co::less< less >
1378                 ,cc::skip_list::random_level_generator< cc::skip_list::turbo_pascal >
1379                 ,co::memory_model< co::v::sequential_consistent >
1380                 ,co::item_counter< cds::atomicity::item_counter >
1381             >::type
1382         {};
1383         typedef cc::SkipListSet< cds::gc::HP, key_val, traits_SkipListSet_less_pascal_seqcst > SkipListSet_hp_less_pascal_seqcst;
1384         typedef cc::SkipListSet< cds::gc::DHP, key_val, traits_SkipListSet_less_pascal_seqcst > SkipListSet_dhp_less_pascal_seqcst;
1385         typedef cc::SkipListSet< rcu_gpi, key_val, traits_SkipListSet_less_pascal_seqcst > SkipListSet_rcu_gpi_less_pascal_seqcst;
1386         typedef cc::SkipListSet< rcu_gpb, key_val, traits_SkipListSet_less_pascal_seqcst > SkipListSet_rcu_gpb_less_pascal_seqcst;
1387         typedef cc::SkipListSet< rcu_gpt, key_val, traits_SkipListSet_less_pascal_seqcst > SkipListSet_rcu_gpt_less_pascal_seqcst;
1388 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
1389         typedef cc::SkipListSet< rcu_shb, key_val, traits_SkipListSet_less_pascal_seqcst > SkipListSet_rcu_shb_less_pascal_seqcst;
1390         typedef cc::SkipListSet< rcu_sht, key_val, traits_SkipListSet_less_pascal_seqcst > SkipListSet_rcu_sht_less_pascal_seqcst;
1391 #endif
1392
1393         class traits_SkipListSet_less_pascal_stat: public cc::skip_list::make_traits <
1394                 co::less< less >
1395                 ,cc::skip_list::random_level_generator< cc::skip_list::turbo_pascal >
1396                 ,co::stat< cc::skip_list::stat<> >
1397                 ,co::item_counter< cds::atomicity::item_counter >
1398             >::type
1399         {};
1400         typedef cc::SkipListSet< cds::gc::HP, key_val, traits_SkipListSet_less_pascal_stat > SkipListSet_hp_less_pascal_stat;
1401         typedef cc::SkipListSet< cds::gc::DHP, key_val, traits_SkipListSet_less_pascal_stat > SkipListSet_dhp_less_pascal_stat;
1402         typedef cc::SkipListSet< rcu_gpi, key_val, traits_SkipListSet_less_pascal_stat > SkipListSet_rcu_gpi_less_pascal_stat;
1403         typedef cc::SkipListSet< rcu_gpb, key_val, traits_SkipListSet_less_pascal_stat > SkipListSet_rcu_gpb_less_pascal_stat;
1404         typedef cc::SkipListSet< rcu_gpt, key_val, traits_SkipListSet_less_pascal_stat > SkipListSet_rcu_gpt_less_pascal_stat;
1405 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
1406         typedef cc::SkipListSet< rcu_shb, key_val, traits_SkipListSet_less_pascal_stat > SkipListSet_rcu_shb_less_pascal_stat;
1407         typedef cc::SkipListSet< rcu_sht, key_val, traits_SkipListSet_less_pascal_stat > SkipListSet_rcu_sht_less_pascal_stat;
1408 #endif
1409
1410         class traits_SkipListSet_cmp_pascal: public cc::skip_list::make_traits <
1411             co::compare< compare >
1412             ,cc::skip_list::random_level_generator< cc::skip_list::turbo_pascal >
1413             ,co::item_counter< cds::atomicity::item_counter >
1414         >::type
1415         {};
1416         typedef cc::SkipListSet< cds::gc::HP, key_val, traits_SkipListSet_cmp_pascal > SkipListSet_hp_cmp_pascal;
1417         typedef cc::SkipListSet< cds::gc::DHP, key_val, traits_SkipListSet_cmp_pascal > SkipListSet_dhp_cmp_pascal;
1418         typedef cc::SkipListSet< rcu_gpi, key_val, traits_SkipListSet_cmp_pascal > SkipListSet_rcu_gpi_cmp_pascal;
1419         typedef cc::SkipListSet< rcu_gpb, key_val, traits_SkipListSet_cmp_pascal > SkipListSet_rcu_gpb_cmp_pascal;
1420         typedef cc::SkipListSet< rcu_gpt, key_val, traits_SkipListSet_cmp_pascal > SkipListSet_rcu_gpt_cmp_pascal;
1421 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
1422         typedef cc::SkipListSet< rcu_shb, key_val, traits_SkipListSet_cmp_pascal > SkipListSet_rcu_shb_cmp_pascal;
1423         typedef cc::SkipListSet< rcu_sht, key_val, traits_SkipListSet_cmp_pascal > SkipListSet_rcu_sht_cmp_pascal;
1424 #endif
1425
1426         class traits_SkipListSet_cmp_pascal_stat: public cc::skip_list::make_traits <
1427             co::compare< compare >
1428             ,cc::skip_list::random_level_generator< cc::skip_list::turbo_pascal >
1429             ,co::stat< cc::skip_list::stat<> >
1430             ,co::item_counter< cds::atomicity::item_counter >
1431         >::type
1432         {};
1433         typedef cc::SkipListSet< cds::gc::HP, key_val, traits_SkipListSet_cmp_pascal_stat > SkipListSet_hp_cmp_pascal_stat;
1434         typedef cc::SkipListSet< cds::gc::DHP, key_val, traits_SkipListSet_cmp_pascal_stat > SkipListSet_dhp_cmp_pascal_stat;
1435         typedef cc::SkipListSet< rcu_gpi, key_val, traits_SkipListSet_cmp_pascal_stat > SkipListSet_rcu_gpi_cmp_pascal_stat;
1436         typedef cc::SkipListSet< rcu_gpb, key_val, traits_SkipListSet_cmp_pascal_stat > SkipListSet_rcu_gpb_cmp_pascal_stat;
1437         typedef cc::SkipListSet< rcu_gpt, key_val, traits_SkipListSet_cmp_pascal_stat > SkipListSet_rcu_gpt_cmp_pascal_stat;
1438 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
1439         typedef cc::SkipListSet< rcu_shb, key_val, traits_SkipListSet_cmp_pascal_stat > SkipListSet_rcu_shb_cmp_pascal_stat;
1440         typedef cc::SkipListSet< rcu_sht, key_val, traits_SkipListSet_cmp_pascal_stat > SkipListSet_rcu_sht_cmp_pascal_stat;
1441 #endif
1442
1443         class traits_SkipListSet_less_xorshift: public cc::skip_list::make_traits <
1444             co::less< less >
1445             ,cc::skip_list::random_level_generator< cc::skip_list::xorshift >
1446             ,co::item_counter< cds::atomicity::item_counter >
1447         >::type
1448         {};
1449         typedef cc::SkipListSet< cds::gc::HP, key_val, traits_SkipListSet_less_xorshift > SkipListSet_hp_less_xorshift;
1450         typedef cc::SkipListSet< cds::gc::DHP, key_val, traits_SkipListSet_less_xorshift > SkipListSet_dhp_less_xorshift;
1451         typedef cc::SkipListSet< rcu_gpi, key_val, traits_SkipListSet_less_xorshift > SkipListSet_rcu_gpi_less_xorshift;
1452         typedef cc::SkipListSet< rcu_gpb, key_val, traits_SkipListSet_less_xorshift > SkipListSet_rcu_gpb_less_xorshift;
1453         typedef cc::SkipListSet< rcu_gpt, key_val, traits_SkipListSet_less_xorshift > SkipListSet_rcu_gpt_less_xorshift;
1454 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
1455         typedef cc::SkipListSet< rcu_shb, key_val, traits_SkipListSet_less_xorshift > SkipListSet_rcu_shb_less_xorshift;
1456         typedef cc::SkipListSet< rcu_sht, key_val, traits_SkipListSet_less_xorshift > SkipListSet_rcu_sht_less_xorshift;
1457 #endif
1458
1459         class traits_SkipListSet_less_xorshift_stat: public cc::skip_list::make_traits <
1460             co::less< less >
1461             ,cc::skip_list::random_level_generator< cc::skip_list::xorshift >
1462             ,co::stat< cc::skip_list::stat<> >
1463             ,co::item_counter< cds::atomicity::item_counter >
1464         >::type
1465         {};
1466         typedef cc::SkipListSet< cds::gc::HP, key_val, traits_SkipListSet_less_xorshift_stat > SkipListSet_hp_less_xorshift_stat;
1467         typedef cc::SkipListSet< cds::gc::DHP, key_val, traits_SkipListSet_less_xorshift_stat > SkipListSet_dhp_less_xorshift_stat;
1468         typedef cc::SkipListSet< rcu_gpi, key_val, traits_SkipListSet_less_xorshift_stat > SkipListSet_rcu_gpi_less_xorshift_stat;
1469         typedef cc::SkipListSet< rcu_gpb, key_val, traits_SkipListSet_less_xorshift_stat > SkipListSet_rcu_gpb_less_xorshift_stat;
1470         typedef cc::SkipListSet< rcu_gpt, key_val, traits_SkipListSet_less_xorshift_stat > SkipListSet_rcu_gpt_less_xorshift_stat;
1471 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
1472         typedef cc::SkipListSet< rcu_shb, key_val, traits_SkipListSet_less_xorshift_stat > SkipListSet_rcu_shb_less_xorshift_stat;
1473         typedef cc::SkipListSet< rcu_sht, key_val, traits_SkipListSet_less_xorshift_stat > SkipListSet_rcu_sht_less_xorshift_stat;
1474 #endif
1475
1476         class traits_SkipListSet_cmp_xorshift: public cc::skip_list::make_traits <
1477             co::compare< compare >
1478             ,cc::skip_list::random_level_generator< cc::skip_list::xorshift >
1479             ,co::item_counter< cds::atomicity::item_counter >
1480         >::type
1481         {};
1482         typedef cc::SkipListSet< cds::gc::HP, key_val, traits_SkipListSet_cmp_xorshift > SkipListSet_hp_cmp_xorshift;
1483         typedef cc::SkipListSet< cds::gc::DHP, key_val, traits_SkipListSet_cmp_xorshift > SkipListSet_dhp_cmp_xorshift;
1484         typedef cc::SkipListSet< rcu_gpi, key_val, traits_SkipListSet_cmp_xorshift > SkipListSet_rcu_gpi_cmp_xorshift;
1485         typedef cc::SkipListSet< rcu_gpb, key_val, traits_SkipListSet_cmp_xorshift > SkipListSet_rcu_gpb_cmp_xorshift;
1486         typedef cc::SkipListSet< rcu_gpt, key_val, traits_SkipListSet_cmp_xorshift > SkipListSet_rcu_gpt_cmp_xorshift;
1487 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
1488         typedef cc::SkipListSet< rcu_shb, key_val, traits_SkipListSet_cmp_xorshift > SkipListSet_rcu_shb_cmp_xorshift;
1489         typedef cc::SkipListSet< rcu_sht, key_val, traits_SkipListSet_cmp_xorshift > SkipListSet_rcu_sht_cmp_xorshift;
1490 #endif
1491
1492         class traits_SkipListSet_cmp_xorshift_stat: public cc::skip_list::make_traits <
1493             co::compare< compare >
1494             ,cc::skip_list::random_level_generator< cc::skip_list::xorshift >
1495             ,co::stat< cc::skip_list::stat<> >
1496             ,co::item_counter< cds::atomicity::item_counter >
1497         >::type
1498         {};
1499         typedef cc::SkipListSet< cds::gc::HP, key_val, traits_SkipListSet_cmp_xorshift_stat > SkipListSet_hp_cmp_xorshift_stat;
1500         typedef cc::SkipListSet< cds::gc::DHP, key_val, traits_SkipListSet_cmp_xorshift_stat > SkipListSet_dhp_cmp_xorshift_stat;
1501         typedef cc::SkipListSet< rcu_gpi, key_val, traits_SkipListSet_cmp_xorshift_stat > SkipListSet_rcu_gpi_cmp_xorshift_stat;
1502         typedef cc::SkipListSet< rcu_gpb, key_val, traits_SkipListSet_cmp_xorshift_stat > SkipListSet_rcu_gpb_cmp_xorshift_stat;
1503         typedef cc::SkipListSet< rcu_gpt, key_val, traits_SkipListSet_cmp_xorshift_stat > SkipListSet_rcu_gpt_cmp_xorshift_stat;
1504 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
1505         typedef cc::SkipListSet< rcu_shb, key_val, traits_SkipListSet_cmp_xorshift_stat > SkipListSet_rcu_shb_cmp_xorshift_stat;
1506         typedef cc::SkipListSet< rcu_sht, key_val, traits_SkipListSet_cmp_xorshift_stat > SkipListSet_rcu_sht_cmp_xorshift_stat;
1507 #endif
1508
1509
1510         // ***************************************************************************
1511         // EllenBinTreeSet
1512         struct ellen_bintree_props {
1513             struct key_extractor {
1514                 void operator()( key_type& dest, key_val const& src ) const
1515                 {
1516                     dest = src.key;
1517                 }
1518             };
1519
1520             struct less {
1521                 bool operator()( key_val const& v1, key_val const& v2 ) const
1522                 {
1523                     return key_less()( v1.key, v2.key );
1524                 }
1525                 bool operator()( key_type const& k, key_val const& v ) const
1526                 {
1527                     return key_less()( k, v.key );
1528                 }
1529                 bool operator()( key_val const& v, key_type const& k ) const
1530                 {
1531                     return key_less()( v.key, k );
1532                 }
1533                 bool operator()( key_type const& k1, key_type const& k2 ) const
1534                 {
1535                     return key_less()( k1, k2 );
1536                 }
1537             };
1538
1539             struct hp_gc {
1540                 typedef cc::ellen_bintree::node<cds::gc::HP, key_val>               leaf_node;
1541                 typedef cc::ellen_bintree::internal_node< key_type, leaf_node >     internal_node;
1542                 typedef cc::ellen_bintree::update_desc< leaf_node, internal_node >  update_desc;
1543             };
1544
1545             struct dhp_gc {
1546                 typedef cc::ellen_bintree::node<cds::gc::DHP, key_val>              leaf_node;
1547                 typedef cc::ellen_bintree::internal_node< key_type, leaf_node >     internal_node;
1548                 typedef cc::ellen_bintree::update_desc< leaf_node, internal_node >  update_desc;
1549             };
1550
1551             struct gpi {
1552                 typedef cc::ellen_bintree::node<rcu_gpi, key_val>                   leaf_node;
1553                 typedef cc::ellen_bintree::internal_node< key_type, leaf_node >     internal_node;
1554                 typedef cc::ellen_bintree::update_desc< leaf_node, internal_node >  update_desc;
1555             };
1556             struct gpb {
1557                 typedef cc::ellen_bintree::node<rcu_gpb, key_val>                   leaf_node;
1558                 typedef cc::ellen_bintree::internal_node< key_type, leaf_node >     internal_node;
1559                 typedef cc::ellen_bintree::update_desc< leaf_node, internal_node >  update_desc;
1560             };
1561             struct gpt {
1562                 typedef cc::ellen_bintree::node<rcu_gpt, key_val>                   leaf_node;
1563                 typedef cc::ellen_bintree::internal_node< key_type, leaf_node >     internal_node;
1564                 typedef cc::ellen_bintree::update_desc< leaf_node, internal_node >  update_desc;
1565             };
1566 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
1567             struct shb {
1568                 typedef cc::ellen_bintree::node<rcu_shb, key_val>                   leaf_node;
1569                 typedef cc::ellen_bintree::internal_node< key_type, leaf_node >     internal_node;
1570                 typedef cc::ellen_bintree::update_desc< leaf_node, internal_node >  update_desc;
1571             };
1572             struct sht {
1573                 typedef cc::ellen_bintree::node<rcu_sht, key_val>                   leaf_node;
1574                 typedef cc::ellen_bintree::internal_node< key_type, leaf_node >     internal_node;
1575                 typedef cc::ellen_bintree::update_desc< leaf_node, internal_node >  update_desc;
1576             };
1577 #endif
1578         };
1579
1580         struct traits_EllenBinTreeSet: public cc::ellen_bintree::make_set_traits<
1581             cc::ellen_bintree::key_extractor< typename ellen_bintree_props::key_extractor >
1582             ,co::less< typename ellen_bintree_props::less >
1583             ,co::node_allocator< ellen_bintree_pool::internal_node_allocator< int > >
1584         >::type
1585         {};
1586
1587         struct traits_EllenBinTreeSet_hp : public traits_EllenBinTreeSet
1588         {
1589             typedef cds::memory::pool_allocator< typename ellen_bintree_props::hp_gc::update_desc, ellen_bintree_pool::update_desc_pool_accessor > update_desc_allocator;
1590         };
1591         typedef cc::EllenBinTreeSet< cds::gc::HP, key_type, key_val, traits_EllenBinTreeSet_hp > EllenBinTreeSet_hp;
1592
1593         struct traits_EllenBinTreeSet_dhp : public traits_EllenBinTreeSet
1594         {
1595             typedef cds::memory::pool_allocator< typename ellen_bintree_props::dhp_gc::update_desc, ellen_bintree_pool::update_desc_pool_accessor > update_desc_allocator;
1596         };
1597         typedef cc::EllenBinTreeSet< cds::gc::DHP, key_type, key_val, traits_EllenBinTreeSet_dhp > EllenBinTreeSet_dhp;
1598
1599         struct traits_EllenBinTreeSet_gpi : public traits_EllenBinTreeSet
1600         {
1601             typedef cds::memory::pool_allocator< typename ellen_bintree_props::gpi::update_desc, ellen_bintree_pool::update_desc_pool_accessor > update_desc_allocator;
1602         };
1603         typedef cc::EllenBinTreeSet< rcu_gpi, key_type, key_val, traits_EllenBinTreeSet_gpi > EllenBinTreeSet_rcu_gpi;
1604
1605         struct traits_EllenBinTreeSet_gpb : public traits_EllenBinTreeSet
1606         {
1607             typedef cds::memory::pool_allocator< typename ellen_bintree_props::gpb::update_desc, ellen_bintree_pool::update_desc_pool_accessor > update_desc_allocator;
1608         };
1609         typedef cc::EllenBinTreeSet< rcu_gpb, key_type, key_val, traits_EllenBinTreeSet_gpb > EllenBinTreeSet_rcu_gpb;
1610
1611         struct traits_EllenBinTreeSet_gpt : public traits_EllenBinTreeSet
1612         {
1613             typedef cds::memory::pool_allocator< typename ellen_bintree_props::gpt::update_desc, ellen_bintree_pool::update_desc_pool_accessor > update_desc_allocator;
1614         };
1615         typedef cc::EllenBinTreeSet< rcu_gpt, key_type, key_val, traits_EllenBinTreeSet_gpt > EllenBinTreeSet_rcu_gpt;
1616
1617 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
1618         struct traits_EllenBinTreeSet_shb : public traits_EllenBinTreeSet
1619         {
1620             typedef cds::memory::pool_allocator< typename ellen_bintree_props::shb::update_desc, ellen_bintree_pool::update_desc_pool_accessor > update_desc_allocator;
1621         };
1622         typedef cc::EllenBinTreeSet< rcu_shb, key_type, key_val, traits_EllenBinTreeSet_shb > EllenBinTreeSet_rcu_shb;
1623
1624         struct traits_EllenBinTreeSet_sht : public traits_EllenBinTreeSet
1625         {
1626             typedef cds::memory::pool_allocator< typename ellen_bintree_props::sht::update_desc, ellen_bintree_pool::update_desc_pool_accessor > update_desc_allocator;
1627         };
1628         typedef cc::EllenBinTreeSet< rcu_sht, key_type, key_val, traits_EllenBinTreeSet_sht > EllenBinTreeSet_rcu_sht;
1629 #endif
1630
1631         //
1632         struct traits_EllenBinTreeSet_yield : public traits_EllenBinTreeSet
1633         {
1634             typedef cds::backoff::yield back_off;
1635         };
1636
1637         struct traits_EllenBinTreeSet_yield_hp : public traits_EllenBinTreeSet_yield
1638         {
1639             typedef cds::memory::pool_allocator< typename ellen_bintree_props::hp_gc::update_desc, ellen_bintree_pool::update_desc_pool_accessor > update_desc_allocator;
1640         };
1641         typedef cc::EllenBinTreeSet< cds::gc::HP, key_type, key_val, traits_EllenBinTreeSet_yield_hp > EllenBinTreeSet_yield_hp;
1642
1643         struct traits_EllenBinTreeSet_yield_dhp : public traits_EllenBinTreeSet_yield
1644         {
1645             typedef cds::memory::pool_allocator< typename ellen_bintree_props::dhp_gc::update_desc, ellen_bintree_pool::update_desc_pool_accessor > update_desc_allocator;
1646         };
1647         typedef cc::EllenBinTreeSet< cds::gc::DHP, key_type, key_val, traits_EllenBinTreeSet_yield_dhp > EllenBinTreeSet_yield_dhp;
1648
1649
1650         struct traits_EllenBinTreeSet_yield_gpb : public traits_EllenBinTreeSet_yield
1651         {
1652             typedef cds::memory::pool_allocator< typename ellen_bintree_props::gpb::update_desc, ellen_bintree_pool::update_desc_pool_accessor > update_desc_allocator;
1653         };
1654         typedef cc::EllenBinTreeSet< rcu_gpb, key_type, key_val, traits_EllenBinTreeSet_yield_gpb > EllenBinTreeSet_yield_rcu_gpb;
1655
1656
1657         struct traits_EllenBinTreeSet_stat: public cc::ellen_bintree::make_set_traits<
1658             cc::ellen_bintree::key_extractor< typename ellen_bintree_props::key_extractor >
1659             ,co::less< typename ellen_bintree_props::less >
1660             ,co::node_allocator< ellen_bintree_pool::internal_node_allocator< int > >
1661             ,co::stat< cc::ellen_bintree::stat<> >
1662         >::type
1663         {};
1664
1665         struct traits_EllenBinTreeSet_stat_hp : public traits_EllenBinTreeSet_stat
1666         {
1667             typedef cds::memory::pool_allocator< typename ellen_bintree_props::hp_gc::update_desc, ellen_bintree_pool::update_desc_pool_accessor > update_desc_allocator;
1668         };
1669         typedef cc::EllenBinTreeSet< cds::gc::HP, key_type, key_val, traits_EllenBinTreeSet_stat_hp > EllenBinTreeSet_hp_stat;
1670
1671         struct traits_EllenBinTreeSet_stat_dhp : public traits_EllenBinTreeSet_stat
1672         {
1673             typedef cds::memory::pool_allocator< typename ellen_bintree_props::dhp_gc::update_desc, ellen_bintree_pool::update_desc_pool_accessor > update_desc_allocator;
1674         };
1675         typedef cc::EllenBinTreeSet< cds::gc::DHP, key_type, key_val, traits_EllenBinTreeSet_stat_dhp > EllenBinTreeSet_dhp_stat;
1676
1677         struct traits_EllenBinTreeSet_stat_gpi : public traits_EllenBinTreeSet_stat
1678         {
1679             typedef cds::memory::pool_allocator< typename ellen_bintree_props::gpi::update_desc, ellen_bintree_pool::update_desc_pool_accessor > update_desc_allocator;
1680         };
1681         typedef cc::EllenBinTreeSet< rcu_gpi, key_type, key_val, traits_EllenBinTreeSet_stat_gpi > EllenBinTreeSet_rcu_gpi_stat;
1682
1683         struct traits_EllenBinTreeSet_stat_gpb : public traits_EllenBinTreeSet_stat
1684         {
1685             typedef cds::memory::pool_allocator< typename ellen_bintree_props::gpb::update_desc, ellen_bintree_pool::update_desc_pool_accessor > update_desc_allocator;
1686         };
1687         typedef cc::EllenBinTreeSet< rcu_gpb, key_type, key_val, traits_EllenBinTreeSet_stat_gpb > EllenBinTreeSet_rcu_gpb_stat;
1688
1689         struct traits_EllenBinTreeSet_stat_gpt : public traits_EllenBinTreeSet_stat
1690         {
1691             typedef cds::memory::pool_allocator< typename ellen_bintree_props::gpt::update_desc, ellen_bintree_pool::update_desc_pool_accessor > update_desc_allocator;
1692         };
1693         typedef cc::EllenBinTreeSet< rcu_gpt, key_type, key_val, traits_EllenBinTreeSet_stat_gpt > EllenBinTreeSet_rcu_gpt_stat;
1694
1695 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
1696         struct traits_EllenBinTreeSet_stat_shb : public traits_EllenBinTreeSet_stat
1697         {
1698             typedef cds::memory::pool_allocator< typename ellen_bintree_props::shb::update_desc, ellen_bintree_pool::update_desc_pool_accessor > update_desc_allocator;
1699         };
1700         typedef cc::EllenBinTreeSet< rcu_shb, key_type, key_val, traits_EllenBinTreeSet_stat_shb > EllenBinTreeSet_rcu_shb_stat;
1701
1702         struct traits_EllenBinTreeSet_stat_sht : public traits_EllenBinTreeSet_stat
1703         {
1704             typedef cds::memory::pool_allocator< typename ellen_bintree_props::sht::update_desc, ellen_bintree_pool::update_desc_pool_accessor > update_desc_allocator;
1705         };
1706         typedef cc::EllenBinTreeSet< rcu_sht, key_type, key_val, traits_EllenBinTreeSet_stat_sht > EllenBinTreeSet_rcu_sht_stat;
1707 #endif
1708
1709         // ***************************************************************************
1710         // Standard implementations
1711
1712         typedef StdSet< key_val, less, cds::SpinLock >                  StdSet_Spin;
1713         typedef StdSet< key_val, less, lock::NoLock>                    StdSet_NoLock;
1714
1715         typedef StdHashSet< key_val, hash, less, equal_to, cds::SpinLock >    StdHashSet_Spin;
1716         typedef StdHashSet< key_val, hash, less, equal_to, lock::NoLock >     StdHashSet_NoLock;
1717
1718     };
1719
1720
1721     // *************************************************
1722     // print_stat
1723     // *************************************************
1724
1725     template <typename Set>
1726     static inline void print_stat( Set const& s )
1727     {}
1728
1729     template <typename GC, typename T, typename Traits>
1730     static inline void print_stat( cc::SplitListSet<GC, T, Traits> const& s )
1731     {
1732         CPPUNIT_MSG( s.statistics() );
1733     }
1734
1735     template <typename GC, typename T, typename Traits>
1736     static inline void print_stat( cc::SkipListSet<GC, T, Traits> const& s )
1737     {
1738         CPPUNIT_MSG( s.statistics() );
1739     }
1740
1741     template <typename GC, typename Key, typename T, typename Traits>
1742     static inline void print_stat( cc::EllenBinTreeSet<GC, Key, T, Traits> const& s )
1743     {
1744         CPPUNIT_MSG( s.statistics() );
1745     }
1746
1747     template <typename T, typename Traits >
1748     static inline void print_stat( cc::CuckooSet< T, Traits > const& s )
1749     {
1750         CPPUNIT_MSG( s.statistics() << s.mutex_policy_statistics() );
1751     }
1752
1753     template <typename V, typename Traits>
1754     static inline void print_stat( CuckooSet< V, Traits > const& s )
1755     {
1756         typedef CuckooSet< V, Traits > set_type;
1757         print_stat( static_cast<typename set_type::cuckoo_base_class const&>(s) );
1758     }
1759
1760
1761     //*******************************************************
1762     // additional_check
1763     //*******************************************************
1764
1765     template <typename Set>
1766     static inline void additional_check( Set& set )
1767     {}
1768
1769     template <typename Set>
1770     static inline void additional_cleanup( Set& set )
1771     {}
1772
1773     namespace ellen_bintree_check {
1774         static inline void check_stat( cds::intrusive::ellen_bintree::empty_stat const& s )
1775         {
1776             // Not true for threaded RCU
1777             /*
1778             CPPUNIT_CHECK_CURRENT_EX( ellen_bintree_pool::internal_node_counter::m_nAlloc.get() == ellen_bintree_pool::internal_node_counter::m_nFree.get(),
1779                 "m_nAlloc=" << ellen_bintree_pool::internal_node_counter::m_nAlloc.get()
1780                 << ", m_nFree=" << ellen_bintree_pool::internal_node_counter::m_nFree.get()
1781                 );
1782             */
1783         }
1784
1785         static inline void check_stat( cds::intrusive::ellen_bintree::stat<> const& stat )
1786         {
1787             CPPUNIT_CHECK_CURRENT( stat.m_nInternalNodeCreated == stat.m_nInternalNodeDeleted );
1788             CPPUNIT_CHECK_CURRENT( stat.m_nUpdateDescCreated == stat.m_nUpdateDescDeleted );
1789             //CPPUNIT_CHECK_CURRENT( ellen_bintree_pool::internal_node_counter::m_nAlloc.get() == ellen_bintree_pool::internal_node_counter::m_nFree.get() );
1790             CPPUNIT_CHECK_CURRENT( ellen_bintree_pool::internal_node_counter::m_nAlloc.get() == stat.m_nInternalNodeCreated );
1791             // true if RCU is not threaded
1792             //CPPUNIT_CHECK_CURRENT( stat.m_nInternalNodeDeleted == ellen_bintree_pool::internal_node_counter::m_nFree.get() );
1793         }
1794     }   // namespace ellen_bintree_check
1795
1796     template <typename GC, typename Key, typename T, typename Traits>
1797     static inline void additional_check( cc::EllenBinTreeSet<GC, Key, T, Traits>& s )
1798     {
1799         GC::force_dispose();
1800         ellen_bintree_check::check_stat( s.statistics() );
1801     }
1802
1803     template <typename GC, typename Key, typename T, typename Traits>
1804     static inline void additional_cleanup( cc::EllenBinTreeSet<GC, Key, T, Traits>& s )
1805     {
1806         ellen_bintree_pool::internal_node_counter::reset();
1807     }
1808
1809 }   // namespace set2
1810
1811 #endif // ifndef _CDSUNIT_SET2_SET_TYPES_H