tests/unit/map2/map_types.h

   1 //$$CDS-header$$
   2
   3 #ifndef _CDSUNIT_MAP2_MAP_TYPES_H
   4 #define _CDSUNIT_MAP2_MAP_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_kvlist_hp.h>
  13 #include <cds/container/michael_kvlist_dhp.h>
  14 #include <cds/container/michael_kvlist_rcu.h>
  15 #include <cds/container/michael_kvlist_nogc.h>
  16
  17 #include <cds/container/lazy_kvlist_hp.h>
  18 #include <cds/container/lazy_kvlist_dhp.h>
  19 #include <cds/container/lazy_kvlist_rcu.h>
  20 #include <cds/container/lazy_kvlist_nogc.h>
  21
  22 #include <cds/container/michael_map.h>
  23 #include <cds/container/michael_map_rcu.h>
  24 #include <cds/container/michael_map_nogc.h>
  25
  26 #include <cds/container/split_list_map.h>
  27 #include <cds/container/split_list_map_rcu.h>
  28 #include <cds/container/split_list_map_nogc.h>
  29
  30 #include <cds/container/striped_map/std_list.h>
  31 #include <cds/container/striped_map/std_map.h>
  32 #include <cds/container/striped_map/std_hash_map.h>
  33 #include <cds/container/cuckoo_map.h>
  34
  35 #include <cds/container/skip_list_map_hp.h>
  36 #include <cds/container/skip_list_map_dhp.h>
  37 #include <cds/container/skip_list_map_rcu.h>
  38 #include <cds/container/skip_list_map_nogc.h>
  39
  40 #include <cds/container/ellen_bintree_map_rcu.h>
  41 #include <cds/container/ellen_bintree_map_hp.h>
  42 #include <cds/container/ellen_bintree_map_dhp.h>
  43
  44 #include <boost/version.hpp>
  45 #if BOOST_VERSION >= 104800
  46 #   include <cds/container/striped_map/boost_list.h>
  47 #   include <cds/container/striped_map/boost_slist.h>
  48 #   include <cds/container/striped_map/boost_map.h>
  49 #   include <cds/container/striped_map/boost_flat_map.h>
  50 #endif
  51 #include <cds/container/striped_map/boost_unordered_map.h>
  52 #include <cds/container/striped_map.h>
  53
  54 #include <cds/lock/spinlock.h>
  55
  56 #include "cppunit/cppunit_mini.h"
  57 #include "lock/nolock.h"
  58 #include "map2/std_map.h"
  59 #include "map2/std_hash_map.h"
  60 #include "michael_alloc.h"
  61 #include "print_cuckoo_stat.h"
  62 #include "print_split_list_stat.h"
  63 #include "print_skip_list_stat.h"
  64 #include "print_ellenbintree_stat.h"
  65 #include "ellen_bintree_update_desc_pool.h"
  66
  67 namespace map2 {
  68     namespace cc = cds::container;
  69     namespace co = cds::opt;
  70
  71     typedef cds::urcu::gc< cds::urcu::general_instant<> >   rcu_gpi;
  72     typedef cds::urcu::gc< cds::urcu::general_buffered<> >  rcu_gpb;
  73     typedef cds::urcu::gc< cds::urcu::general_threaded<> >  rcu_gpt;
  74 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
  75     typedef cds::urcu::gc< cds::urcu::signal_buffered<> >  rcu_shb;
  76     typedef cds::urcu::gc< cds::urcu::signal_threaded<> >  rcu_sht;
  77 #endif
  78
  79     template <typename Key>
  80     struct cmp {
  81         int operator ()(Key const& k1, Key const& k2) const
  82         {
  83             if ( std::less<Key>( k1, k2 ) )
  84                 return -1;
  85             return std::less<Key>( k2, k1 ) ? 1 : 0;
  86         }
  87     };
  88
  89 #define CDSUNIT_INT_COMPARE(t)  template <> struct cmp<t> { int operator()( t k1, t k2 ){ return (int)(k1 - k2); } }
  90     CDSUNIT_INT_COMPARE(char);
  91     CDSUNIT_INT_COMPARE(unsigned char);
  92     CDSUNIT_INT_COMPARE(int);
  93     CDSUNIT_INT_COMPARE(unsigned int);
  94     CDSUNIT_INT_COMPARE(long);
  95     CDSUNIT_INT_COMPARE(unsigned long);
  96     CDSUNIT_INT_COMPARE(long long);
  97     CDSUNIT_INT_COMPARE(unsigned long long);
  98 #undef CDSUNIT_INT_COMPARE
  99
 100     template <>
 101     struct cmp<std::string>
 102     {
 103         int operator()(std::string const& s1, std::string const& s2)
 104         {
 105             return s1.compare( s2 );
 106         }
 107         int operator()(std::string const& s1, char const * s2)
 108         {
 109             return s1.compare( s2 );
 110         }
 111         int operator()(char const * s1, std::string const& s2)
 112         {
 113             return -s2.compare( s1 );
 114         }
 115     };
 116
 117     template <typename K, typename V, typename... Options>
 118     class CuckooStripedMap:
 119         public cc::CuckooMap< K, V,
 120             typename cc::cuckoo::make_traits<
 121                 co::mutex_policy< cc::cuckoo::striping<> >
 122                 ,Options...
 123             >::type
 124         >
 125     {
 126     public:
 127         typedef typename cc::cuckoo::make_traits<
 128             co::mutex_policy< cc::cuckoo::striping<> >
 129             ,Options...
 130         >::type cuckoo_traits;
 131
 132         typedef cc::CuckooMap< K, V, cuckoo_traits > cuckoo_base_class;
 133
 134     public:
 135         CuckooStripedMap( size_t nCapacity, size_t nLoadFactor )
 136             : cuckoo_base_class( nCapacity / (nLoadFactor * 16), (unsigned int) 4 )
 137         {}
 138
 139         template <typename Q, typename Pred>
 140         bool erase_with( Q const& key, Pred pred )
 141         {
 142             return cuckoo_base_class::erase_with( key, typename std::conditional< cuckoo_base_class::c_isSorted, Pred, typename Pred::equal_to>::type() );
 143         }
 144     };
 145
 146     template <typename K, typename V, typename... Options>
 147     class CuckooRefinableMap:
 148         public cc::CuckooMap< K, V,
 149             typename cc::cuckoo::make_traits<
 150                 co::mutex_policy< cc::cuckoo::refinable<> >
 151                 ,Options...
 152             >::type
 153         >
 154     {
 155     public:
 156         typedef typename cc::cuckoo::make_traits<
 157             co::mutex_policy< cc::cuckoo::refinable<> >
 158             ,Options...
 159         >::type cuckoo_traits;
 160
 161         typedef cc::CuckooMap< K, V, cuckoo_traits > cuckoo_base_class;
 162
 163     public:
 164         CuckooRefinableMap( size_t nCapacity, size_t nLoadFactor )
 165             : cuckoo_base_class( nCapacity / (nLoadFactor * 16), (unsigned int) 4 )
 166         {}
 167
 168         template <typename Q, typename Pred>
 169         bool erase_with( Q const& key, Pred pred )
 170         {
 171             return cuckoo_base_class::erase_with( key, typename std::conditional< cuckoo_base_class::c_isSorted, Pred, typename Pred::equal_to>::type() );
 172         }
 173     };
 174
 175     template <typename Key, typename Value>
 176     struct MapTypes {
 177         typedef co::v::hash<Key>    key_hash;
 178         typedef std::less<Key>      less;
 179         typedef cmp<Key>            compare;
 180
 181         struct equal_to {
 182             bool operator()( Key const& k1, Key const& k2 ) const
 183             {
 184                 return compare()( k1, k2 ) == 0;
 185             }
 186         };
 187
 188         struct hash: public key_hash
 189         {
 190             size_t operator()( Key const& k ) const
 191             {
 192                 return key_hash::operator()( k );
 193             }
 194             template <typename Q>
 195             size_t operator()( Q const& k ) const
 196             {
 197                 return key_hash::operator()( k );
 198             }
 199         };
 200
 201         struct hash2: public key_hash
 202         {
 203             size_t operator()( Key const& k ) const
 204             {
 205                 size_t seed = ~key_hash::operator ()( k );
 206                 boost::hash_combine( seed, k );
 207                 return seed;
 208             }
 209             template <typename Q>
 210             size_t operator()( Q const& k ) const
 211             {
 212                 size_t seed = ~key_hash::operator()( k );
 213                 boost::hash_combine( seed, k );
 214                 return seed;
 215             }
 216         };
 217
 218         // ***************************************************************************
 219         // MichaelKVList
 220
 221         struct traits_MichaelList_cmp_stdAlloc :
 222             public cc::michael_list::make_traits<
 223                 co::compare< compare >
 224             >::type
 225         {};
 226         typedef cc::MichaelKVList< cds::gc::HP,  Key, Value, traits_MichaelList_cmp_stdAlloc > MichaelList_HP_cmp_stdAlloc;
 227         typedef cc::MichaelKVList< cds::gc::DHP, Key, Value, traits_MichaelList_cmp_stdAlloc > MichaelList_DHP_cmp_stdAlloc;
 228         typedef cc::MichaelKVList< cds::gc::nogc, Key, Value, traits_MichaelList_cmp_stdAlloc > MichaelList_NOGC_cmp_stdAlloc;
 229         typedef cc::MichaelKVList< rcu_gpi, Key, Value, traits_MichaelList_cmp_stdAlloc > MichaelList_RCU_GPI_cmp_stdAlloc;
 230         typedef cc::MichaelKVList< rcu_gpb, Key, Value, traits_MichaelList_cmp_stdAlloc > MichaelList_RCU_GPB_cmp_stdAlloc;
 231         typedef cc::MichaelKVList< rcu_gpt, Key, Value, traits_MichaelList_cmp_stdAlloc > MichaelList_RCU_GPT_cmp_stdAlloc;
 232 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 233         typedef cc::MichaelKVList< rcu_shb, Key, Value, traits_MichaelList_cmp_stdAlloc > MichaelList_RCU_SHB_cmp_stdAlloc;
 234         typedef cc::MichaelKVList< rcu_sht, Key, Value, traits_MichaelList_cmp_stdAlloc > MichaelList_RCU_SHT_cmp_stdAlloc;
 235 #endif
 236
 237         struct traits_MichaelList_cmp_stdAlloc_seqcst :
 238             public cc::michael_list::make_traits<
 239                 co::compare< compare >
 240                 ,co::memory_model< co::v::sequential_consistent >
 241             >::type
 242         {};
 243         typedef cc::MichaelKVList< cds::gc::HP,  Key, Value, traits_MichaelList_cmp_stdAlloc_seqcst > MichaelList_HP_cmp_stdAlloc_seqcst;
 244         typedef cc::MichaelKVList< cds::gc::DHP, Key, Value, traits_MichaelList_cmp_stdAlloc_seqcst > MichaelList_DHP_cmp_stdAlloc_seqcst;
 245         typedef cc::MichaelKVList< cds::gc::nogc, Key, Value, traits_MichaelList_cmp_stdAlloc_seqcst > MichaelList_NOGC_cmp_stdAlloc_seqcst;
 246         typedef cc::MichaelKVList< rcu_gpi, Key, Value, traits_MichaelList_cmp_stdAlloc_seqcst > MichaelList_RCU_GPI_cmp_stdAlloc_seqcst;
 247         typedef cc::MichaelKVList< rcu_gpb, Key, Value, traits_MichaelList_cmp_stdAlloc_seqcst > MichaelList_RCU_GPB_cmp_stdAlloc_seqcst;
 248         typedef cc::MichaelKVList< rcu_gpt, Key, Value, traits_MichaelList_cmp_stdAlloc_seqcst > MichaelList_RCU_GPT_cmp_stdAlloc_seqcst;
 249 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 250         typedef cc::MichaelKVList< rcu_shb, Key, Value, traits_MichaelList_cmp_stdAlloc_seqcst > MichaelList_RCU_SHB_cmp_stdAlloc_seqcst;
 251         typedef cc::MichaelKVList< rcu_sht, Key, Value, traits_MichaelList_cmp_stdAlloc_seqcst > MichaelList_RCU_SHT_cmp_stdAlloc_seqcst;
 252 #endif
 253
 254         struct traits_MichaelList_cmp_michaelAlloc :
 255             public cc::michael_list::make_traits<
 256                 co::compare< compare >,
 257                 co::allocator< memory::MichaelAllocator<int> >
 258             >::type
 259         {};
 260         typedef cc::MichaelKVList< cds::gc::HP,  Key, Value, traits_MichaelList_cmp_michaelAlloc > MichaelList_HP_cmp_michaelAlloc;
 261         typedef cc::MichaelKVList< cds::gc::DHP, Key, Value, traits_MichaelList_cmp_michaelAlloc > MichaelList_DHP_cmp_michaelAlloc;
 262         typedef cc::MichaelKVList< cds::gc::nogc, Key, Value, traits_MichaelList_cmp_michaelAlloc > MichaelList_NOGC_cmp_michaelAlloc;
 263         typedef cc::MichaelKVList< rcu_gpi, Key, Value, traits_MichaelList_cmp_michaelAlloc > MichaelList_RCU_GPI_cmp_michaelAlloc;
 264         typedef cc::MichaelKVList< rcu_gpb, Key, Value, traits_MichaelList_cmp_michaelAlloc > MichaelList_RCU_GPB_cmp_michaelAlloc;
 265         typedef cc::MichaelKVList< rcu_gpt, Key, Value, traits_MichaelList_cmp_michaelAlloc > MichaelList_RCU_GPT_cmp_michaelAlloc;
 266 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 267         typedef cc::MichaelKVList< rcu_shb, Key, Value, traits_MichaelList_cmp_michaelAlloc > MichaelList_RCU_SHB_cmp_michaelAlloc;
 268         typedef cc::MichaelKVList< rcu_sht, Key, Value, traits_MichaelList_cmp_michaelAlloc > MichaelList_RCU_SHT_cmp_michaelAlloc;
 269 #endif
 270
 271         struct traits_MichaelList_less_stdAlloc :
 272             public cc::michael_list::make_traits<
 273                 co::less< less >
 274             >::type
 275         {};
 276         typedef cc::MichaelKVList< cds::gc::HP,  Key, Value, traits_MichaelList_less_stdAlloc > MichaelList_HP_less_stdAlloc;
 277         typedef cc::MichaelKVList< cds::gc::DHP, Key, Value, traits_MichaelList_less_stdAlloc > MichaelList_DHP_less_stdAlloc;
 278         typedef cc::MichaelKVList< cds::gc::nogc, Key, Value, traits_MichaelList_less_stdAlloc > MichaelList_NOGC_less_stdAlloc;
 279         typedef cc::MichaelKVList< rcu_gpi, Key, Value, traits_MichaelList_less_stdAlloc > MichaelList_RCU_GPI_less_stdAlloc;
 280         typedef cc::MichaelKVList< rcu_gpb, Key, Value, traits_MichaelList_less_stdAlloc > MichaelList_RCU_GPB_less_stdAlloc;
 281         typedef cc::MichaelKVList< rcu_gpt, Key, Value, traits_MichaelList_less_stdAlloc > MichaelList_RCU_GPT_less_stdAlloc;
 282 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 283         typedef cc::MichaelKVList< rcu_shb, Key, Value, traits_MichaelList_less_stdAlloc > MichaelList_RCU_SHB_less_stdAlloc;
 284         typedef cc::MichaelKVList< rcu_sht, Key, Value, traits_MichaelList_less_stdAlloc > MichaelList_RCU_SHT_less_stdAlloc;
 285 #endif
 286
 287         struct traits_MichaelList_less_stdAlloc_seqcst :
 288             public cc::michael_list::make_traits<
 289                 co::less< less >
 290                 ,co::memory_model< co::v::sequential_consistent >
 291             >::type
 292         {};
 293         typedef cc::MichaelKVList< cds::gc::HP,  Key, Value, traits_MichaelList_less_stdAlloc_seqcst > MichaelList_HP_less_stdAlloc_seqcst;
 294         typedef cc::MichaelKVList< cds::gc::DHP, Key, Value, traits_MichaelList_less_stdAlloc_seqcst > MichaelList_DHP_less_stdAlloc_seqcst;
 295         typedef cc::MichaelKVList< cds::gc::nogc, Key, Value, traits_MichaelList_less_stdAlloc_seqcst > MichaelList_NOGC_less_stdAlloc_seqcst;
 296         typedef cc::MichaelKVList< rcu_gpi, Key, Value, traits_MichaelList_less_stdAlloc_seqcst > MichaelList_RCU_GPI_less_stdAlloc_seqcst;
 297         typedef cc::MichaelKVList< rcu_gpb, Key, Value, traits_MichaelList_less_stdAlloc_seqcst > MichaelList_RCU_GPB_less_stdAlloc_seqcst;
 298         typedef cc::MichaelKVList< rcu_gpt, Key, Value, traits_MichaelList_less_stdAlloc_seqcst > MichaelList_RCU_GPT_less_stdAlloc_seqcst;
 299 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 300         typedef cc::MichaelKVList< rcu_shb, Key, Value, traits_MichaelList_less_stdAlloc_seqcst > MichaelList_RCU_SHB_less_stdAlloc_seqcst;
 301         typedef cc::MichaelKVList< rcu_sht, Key, Value, traits_MichaelList_less_stdAlloc_seqcst > MichaelList_RCU_SHT_less_stdAlloc_seqcst;
 302 #endif
 303
 304         struct traits_MichaelList_less_michaelAlloc :
 305             public cc::michael_list::make_traits<
 306                 co::less< less >,
 307                 co::allocator< memory::MichaelAllocator<int> >
 308             >::type
 309         {};
 310         typedef cc::MichaelKVList< cds::gc::HP,  Key, Value, traits_MichaelList_less_michaelAlloc > MichaelList_HP_less_michaelAlloc;
 311         typedef cc::MichaelKVList< cds::gc::DHP, Key, Value, traits_MichaelList_less_michaelAlloc > MichaelList_DHP_less_michaelAlloc;
 312         typedef cc::MichaelKVList< cds::gc::nogc, Key, Value, traits_MichaelList_less_michaelAlloc > MichaelList_NOGC_less_michaelAlloc;
 313         typedef cc::MichaelKVList< rcu_gpi, Key, Value, traits_MichaelList_less_michaelAlloc > MichaelList_RCU_GPI_less_michaelAlloc;
 314         typedef cc::MichaelKVList< rcu_gpb, Key, Value, traits_MichaelList_less_michaelAlloc > MichaelList_RCU_GPB_less_michaelAlloc;
 315         typedef cc::MichaelKVList< rcu_gpt, Key, Value, traits_MichaelList_less_michaelAlloc > MichaelList_RCU_GPT_less_michaelAlloc;
 316 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 317         typedef cc::MichaelKVList< rcu_shb, Key, Value, traits_MichaelList_less_michaelAlloc > MichaelList_RCU_SHB_less_michaelAlloc;
 318         typedef cc::MichaelKVList< rcu_sht, Key, Value, traits_MichaelList_less_michaelAlloc > MichaelList_RCU_SHT_less_michaelAlloc;
 319 #endif
 320
 321         template <typename Base>
 322         class NogcMapWrapper: public Base
 323         {
 324             typedef Base    base_class;
 325         public:
 326             NogcMapWrapper( size_t nMaxItemCount, size_t nLoadFactor )
 327                 : base_class( nMaxItemCount, nLoadFactor )
 328             {}
 329
 330             template <typename K>
 331             bool insert( K const& key )
 332             {
 333                 return base_class::insert( key ) != base_class::end();
 334             }
 335
 336             template <typename K, typename V>
 337             bool insert( K const& key, V const& val )
 338             {
 339                 return base_class::insert( key, val ) != base_class::end();
 340             }
 341
 342             template <typename K, typename Func>
 343             bool insert_key( K const& key, Func func )
 344             {
 345                 return base_class::insert_key( key, func ) != base_class::end();
 346             }
 347
 348             template <typename K>
 349             bool find( K const& key )
 350             {
 351                 return base_class::find( key ) != base_class::end();
 352             }
 353
 354             void clear()
 355             {
 356                 base_class::clear();
 357             }
 358         };
 359
 360         template <typename Base>
 361         class NogcMapWrapper_dctor: public Base
 362         {
 363             typedef Base    base_class;
 364         public:
 365             NogcMapWrapper_dctor()
 366             {}
 367
 368             template <typename K>
 369             bool insert( K const& key )
 370             {
 371                 return base_class::insert( key ) != base_class::end();
 372             }
 373
 374             template <typename K, typename V>
 375             bool insert( K const& key, V const& val )
 376             {
 377                 return base_class::insert( key, val ) != base_class::end();
 378             }
 379
 380             template <typename K, typename Func>
 381             bool insert_key( K const& key, Func func )
 382             {
 383                 return base_class::insert_key( key, func ) != base_class::end();
 384             }
 385
 386             template <typename K>
 387             bool find( K const& key )
 388             {
 389                 return base_class::find( key ) != base_class::end();
 390             }
 391         };
 392
 393         // SplitListMap<gc::nogc> has no clear() method
 394         template <typename Base>
 395         class NogcSplitMapWrapper: public Base
 396         {
 397             typedef Base    base_class;
 398         public:
 399             NogcSplitMapWrapper( size_t nMaxItemCount, size_t nLoadFactor )
 400                 : base_class( nMaxItemCount, nLoadFactor )
 401             {}
 402
 403             template <typename K>
 404             bool insert( K const& key )
 405             {
 406                 return base_class::insert( key ) != base_class::end();
 407             }
 408
 409             template <typename K, typename V>
 410             bool insert( K const& key, V const& val )
 411             {
 412                 return base_class::insert( key, val ) != base_class::end();
 413             }
 414
 415             template <typename K, typename Func>
 416             bool insert_key( K const& key, Func func )
 417             {
 418                 return base_class::insert_key( key, func ) != base_class::end();
 419             }
 420
 421             template <typename K>
 422             bool find( K const& key )
 423             {
 424                 return base_class::find( key ) != base_class::end();
 425             }
 426
 427             void clear()
 428             {}
 429         };
 430
 431
 432         // ***************************************************************************
 433         // MichaelHashMap based on MichaelKVList
 434
 435         struct traits_MichaelMap_hash :
 436             public cc::michael_map::make_traits<
 437                 co::hash< hash >
 438             >::type
 439         {};
 440         typedef cc::MichaelHashMap< cds::gc::HP,  MichaelList_HP_cmp_stdAlloc,  traits_MichaelMap_hash > MichaelMap_HP_cmp_stdAlloc;
 441         typedef cc::MichaelHashMap< cds::gc::DHP, MichaelList_DHP_cmp_stdAlloc, traits_MichaelMap_hash > MichaelMap_DHP_cmp_stdAlloc;
 442         typedef cc::MichaelHashMap< cds::gc::nogc, MichaelList_NOGC_cmp_stdAlloc, traits_MichaelMap_hash > MichaelMap_NOGC_cmp_stdAlloc;
 443         typedef cc::MichaelHashMap< rcu_gpi, MichaelList_RCU_GPI_cmp_stdAlloc, traits_MichaelMap_hash > MichaelMap_RCU_GPI_cmp_stdAlloc;
 444         typedef cc::MichaelHashMap< rcu_gpb, MichaelList_RCU_GPB_cmp_stdAlloc, traits_MichaelMap_hash > MichaelMap_RCU_GPB_cmp_stdAlloc;
 445         typedef cc::MichaelHashMap< rcu_gpt, MichaelList_RCU_GPT_cmp_stdAlloc, traits_MichaelMap_hash > MichaelMap_RCU_GPT_cmp_stdAlloc;
 446 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 447         typedef cc::MichaelHashMap< rcu_shb, MichaelList_RCU_SHB_cmp_stdAlloc, traits_MichaelMap_hash > MichaelMap_RCU_SHB_cmp_stdAlloc;
 448         typedef cc::MichaelHashMap< rcu_sht, MichaelList_RCU_SHT_cmp_stdAlloc, traits_MichaelMap_hash > MichaelMap_RCU_SHT_cmp_stdAlloc;
 449 #endif
 450
 451         typedef cc::MichaelHashMap< cds::gc::HP, MichaelList_HP_less_stdAlloc, traits_MichaelMap_hash > MichaelMap_HP_less_stdAlloc;
 452         typedef cc::MichaelHashMap< cds::gc::DHP, MichaelList_DHP_less_stdAlloc, traits_MichaelMap_hash > MichaelMap_DHP_less_stdAlloc;
 453         typedef cc::MichaelHashMap< cds::gc::nogc, MichaelList_NOGC_less_stdAlloc, traits_MichaelMap_hash > MichaelMap_NOGC_less_stdAlloc;
 454         typedef cc::MichaelHashMap< rcu_gpi, MichaelList_RCU_GPI_less_stdAlloc, traits_MichaelMap_hash > MichaelMap_RCU_GPI_less_stdAlloc;
 455         typedef cc::MichaelHashMap< rcu_gpb, MichaelList_RCU_GPB_less_stdAlloc, traits_MichaelMap_hash > MichaelMap_RCU_GPB_less_stdAlloc;
 456         typedef cc::MichaelHashMap< rcu_gpt, MichaelList_RCU_GPT_less_stdAlloc, traits_MichaelMap_hash > MichaelMap_RCU_GPT_less_stdAlloc;
 457 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 458         typedef cc::MichaelHashMap< rcu_shb, MichaelList_RCU_SHB_less_stdAlloc, traits_MichaelMap_hash > MichaelMap_RCU_SHB_less_stdAlloc;
 459         typedef cc::MichaelHashMap< rcu_sht, MichaelList_RCU_SHT_less_stdAlloc, traits_MichaelMap_hash > MichaelMap_RCU_SHT_less_stdAlloc;
 460 #endif
 461
 462         typedef cc::MichaelHashMap< cds::gc::HP, MichaelList_HP_cmp_stdAlloc_seqcst, traits_MichaelMap_hash > MichaelMap_HP_cmp_stdAlloc_seqcst;
 463         typedef cc::MichaelHashMap< cds::gc::DHP, MichaelList_DHP_cmp_stdAlloc_seqcst, traits_MichaelMap_hash > MichaelMap_DHP_cmp_stdAlloc_seqcst;
 464         typedef cc::MichaelHashMap< cds::gc::nogc, MichaelList_NOGC_cmp_stdAlloc_seqcst, traits_MichaelMap_hash > MichaelMap_NOGC_cmp_stdAlloc_seqcst;
 465         typedef cc::MichaelHashMap< rcu_gpi, MichaelList_RCU_GPI_cmp_stdAlloc_seqcst, traits_MichaelMap_hash > MichaelMap_RCU_GPI_cmp_stdAlloc_seqcst;
 466         typedef cc::MichaelHashMap< rcu_gpb, MichaelList_RCU_GPB_cmp_stdAlloc_seqcst, traits_MichaelMap_hash > MichaelMap_RCU_GPB_cmp_stdAlloc_seqcst;
 467         typedef cc::MichaelHashMap< rcu_gpt, MichaelList_RCU_GPT_cmp_stdAlloc_seqcst, traits_MichaelMap_hash > MichaelMap_RCU_GPT_cmp_stdAlloc_seqcst;
 468 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 469         typedef cc::MichaelHashMap< rcu_shb, MichaelList_RCU_SHB_cmp_stdAlloc_seqcst, traits_MichaelMap_hash > MichaelMap_RCU_SHB_cmp_stdAlloc_seqcst;
 470         typedef cc::MichaelHashMap< rcu_sht, MichaelList_RCU_SHT_cmp_stdAlloc_seqcst, traits_MichaelMap_hash > MichaelMap_RCU_SHT_cmp_stdAlloc_seqcst;
 471 #endif
 472
 473         typedef cc::MichaelHashMap< cds::gc::HP, MichaelList_HP_less_stdAlloc_seqcst, traits_MichaelMap_hash > MichaelMap_HP_less_stdAlloc_seqcst;
 474         typedef cc::MichaelHashMap< cds::gc::DHP, MichaelList_DHP_less_stdAlloc_seqcst, traits_MichaelMap_hash > MichaelMap_DHP_less_stdAlloc_seqcst;
 475         typedef cc::MichaelHashMap< cds::gc::nogc, MichaelList_NOGC_less_stdAlloc_seqcst, traits_MichaelMap_hash > MichaelMap_NOGC_less_stdAlloc_seqcst;
 476         typedef cc::MichaelHashMap< rcu_gpi, MichaelList_RCU_GPI_less_stdAlloc_seqcst, traits_MichaelMap_hash > MichaelMap_RCU_GPI_less_stdAlloc_seqcst;
 477         typedef cc::MichaelHashMap< rcu_gpb, MichaelList_RCU_GPB_less_stdAlloc_seqcst, traits_MichaelMap_hash > MichaelMap_RCU_GPB_less_stdAlloc_seqcst;
 478         typedef cc::MichaelHashMap< rcu_gpt, MichaelList_RCU_GPT_less_stdAlloc_seqcst, traits_MichaelMap_hash > MichaelMap_RCU_GPT_less_stdAlloc_seqcst;
 479 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 480         typedef cc::MichaelHashMap< rcu_shb, MichaelList_RCU_SHB_less_stdAlloc_seqcst, traits_MichaelMap_hash > MichaelMap_RCU_SHB_less_stdAlloc_seqcst;
 481         typedef cc::MichaelHashMap< rcu_sht, MichaelList_RCU_SHT_less_stdAlloc_seqcst, traits_MichaelMap_hash > MichaelMap_RCU_SHT_less_stdAlloc_seqcst;
 482 #endif
 483
 484         struct traits_MichaelSet_michaelAlloc :
 485             public traits_MichaelMap_hash
 486         {
 487             typedef memory::MichaelAllocator<int> allocator;
 488         };
 489         typedef cc::MichaelHashMap< cds::gc::HP, MichaelList_HP_cmp_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelMap_HP_cmp_michaelAlloc;
 490         typedef cc::MichaelHashMap< cds::gc::DHP, MichaelList_DHP_cmp_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelMap_DHP_cmp_michaelAlloc;
 491         typedef cc::MichaelHashMap< cds::gc::nogc, MichaelList_NOGC_cmp_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelMap_NOGC_cmp_michaelAlloc;
 492         typedef cc::MichaelHashMap< rcu_gpi, MichaelList_RCU_GPI_cmp_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelMap_RCU_GPI_cmp_michaelAlloc;
 493         typedef cc::MichaelHashMap< rcu_gpb, MichaelList_RCU_GPB_cmp_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelMap_RCU_GPB_cmp_michaelAlloc;
 494         typedef cc::MichaelHashMap< rcu_gpt, MichaelList_RCU_GPT_cmp_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelMap_RCU_GPT_cmp_michaelAlloc;
 495 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 496         typedef cc::MichaelHashMap< rcu_shb, MichaelList_RCU_SHB_cmp_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelMap_RCU_SHB_cmp_michaelAlloc;
 497         typedef cc::MichaelHashMap< rcu_sht, MichaelList_RCU_SHT_cmp_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelMap_RCU_SHT_cmp_michaelAlloc;
 498 #endif
 499         typedef cc::MichaelHashMap< cds::gc::HP, MichaelList_HP_less_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelMap_HP_less_michaelAlloc;
 500         typedef cc::MichaelHashMap< cds::gc::DHP, MichaelList_DHP_less_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelMap_DHP_less_michaelAlloc;
 501         typedef cc::MichaelHashMap< cds::gc::nogc, MichaelList_NOGC_less_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelMap_NOGC_less_michaelAlloc;
 502         typedef cc::MichaelHashMap< rcu_gpi, MichaelList_RCU_GPI_less_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelMap_RCU_GPI_less_michaelAlloc;
 503         typedef cc::MichaelHashMap< rcu_gpb, MichaelList_RCU_GPB_less_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelMap_RCU_GPB_less_michaelAlloc;
 504         typedef cc::MichaelHashMap< rcu_gpt, MichaelList_RCU_GPT_less_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelMap_RCU_GPT_less_michaelAlloc;
 505 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 506         typedef cc::MichaelHashMap< rcu_shb, MichaelList_RCU_SHB_less_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelMap_RCU_SHB_less_michaelAlloc;
 507         typedef cc::MichaelHashMap< rcu_sht, MichaelList_RCU_SHT_less_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelMap_RCU_SHT_less_michaelAlloc;
 508 #endif
 509
 510         // ***************************************************************************
 511         // LazyKVList
 512
 513         struct traits_LazyList_cmp_stdAlloc :
 514             public cc::lazy_list::make_traits<
 515                 co::compare< compare >
 516             >::type
 517         {};
 518         typedef cc::LazyKVList< cds::gc::HP, Key, Value, traits_LazyList_cmp_stdAlloc > LazyList_HP_cmp_stdAlloc;
 519         typedef cc::LazyKVList< cds::gc::DHP, Key, Value, traits_LazyList_cmp_stdAlloc > LazyList_DHP_cmp_stdAlloc;
 520         typedef cc::LazyKVList< cds::gc::nogc, Key, Value, traits_LazyList_cmp_stdAlloc > LazyList_NOGC_cmp_stdAlloc;
 521         typedef cc::LazyKVList< rcu_gpi, Key, Value, traits_LazyList_cmp_stdAlloc > LazyList_RCU_GPI_cmp_stdAlloc;
 522         typedef cc::LazyKVList< rcu_gpb, Key, Value, traits_LazyList_cmp_stdAlloc > LazyList_RCU_GPB_cmp_stdAlloc;
 523         typedef cc::LazyKVList< rcu_gpt, Key, Value, traits_LazyList_cmp_stdAlloc > LazyList_RCU_GPT_cmp_stdAlloc;
 524 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 525         typedef cc::LazyKVList< rcu_shb, Key, Value, traits_LazyList_cmp_stdAlloc > LazyList_RCU_SHB_cmp_stdAlloc;
 526         typedef cc::LazyKVList< rcu_sht, Key, Value, traits_LazyList_cmp_stdAlloc > LazyList_RCU_SHT_cmp_stdAlloc;
 527 #endif
 528
 529         struct traits_LazyList_cmp_stdAlloc_seqcst :
 530             public cc::lazy_list::make_traits<
 531                 co::compare< compare >
 532                 ,co::memory_model< co::v::sequential_consistent >
 533             >::type
 534         {};
 535         typedef cc::LazyKVList< cds::gc::HP, Key, Value, traits_LazyList_cmp_stdAlloc_seqcst > LazyList_HP_cmp_stdAlloc_seqcst;
 536         typedef cc::LazyKVList< cds::gc::DHP, Key, Value, traits_LazyList_cmp_stdAlloc_seqcst > LazyList_DHP_cmp_stdAlloc_seqcst;
 537         typedef cc::LazyKVList< cds::gc::nogc, Key, Value, traits_LazyList_cmp_stdAlloc_seqcst > LazyList_NOGC_cmp_stdAlloc_seqcst;
 538         typedef cc::LazyKVList< rcu_gpi, Key, Value, traits_LazyList_cmp_stdAlloc_seqcst > LazyList_RCU_GPI_cmp_stdAlloc_seqcst;
 539         typedef cc::LazyKVList< rcu_gpb, Key, Value, traits_LazyList_cmp_stdAlloc_seqcst > LazyList_RCU_GPB_cmp_stdAlloc_seqcst;
 540         typedef cc::LazyKVList< rcu_gpt, Key, Value, traits_LazyList_cmp_stdAlloc_seqcst > LazyList_RCU_GPT_cmp_stdAlloc_seqcst;
 541 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 542         typedef cc::LazyKVList< rcu_shb, Key, Value, traits_LazyList_cmp_stdAlloc_seqcst > LazyList_RCU_SHB_cmp_stdAlloc_seqcst;
 543         typedef cc::LazyKVList< rcu_sht, Key, Value, traits_LazyList_cmp_stdAlloc_seqcst > LazyList_RCU_SHT_cmp_stdAlloc_seqcst;
 544 #endif
 545
 546         struct traits_LazyList_cmp_michaelAlloc :
 547             public cc::lazy_list::make_traits<
 548                 co::compare< compare >,
 549                 co::allocator< memory::MichaelAllocator<int> >
 550             >::type
 551         {};
 552         typedef cc::LazyKVList< cds::gc::HP, Key, Value, traits_LazyList_cmp_michaelAlloc > LazyList_HP_cmp_michaelAlloc;
 553         typedef cc::LazyKVList< cds::gc::DHP, Key, Value, traits_LazyList_cmp_michaelAlloc > LazyList_DHP_cmp_michaelAlloc;
 554         typedef cc::LazyKVList< cds::gc::nogc, Key, Value, traits_LazyList_cmp_michaelAlloc > LazyList_NOGC_cmp_michaelAlloc;
 555         typedef cc::LazyKVList< rcu_gpi, Key, Value, traits_LazyList_cmp_michaelAlloc > LazyList_RCU_GPI_cmp_michaelAlloc;
 556         typedef cc::LazyKVList< rcu_gpb, Key, Value, traits_LazyList_cmp_michaelAlloc > LazyList_RCU_GPB_cmp_michaelAlloc;
 557         typedef cc::LazyKVList< rcu_gpt, Key, Value, traits_LazyList_cmp_michaelAlloc > LazyList_RCU_GPT_cmp_michaelAlloc;
 558 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 559         typedef cc::LazyKVList< rcu_shb, Key, Value, traits_LazyList_cmp_michaelAlloc > LazyList_RCU_SHB_cmp_michaelAlloc;
 560         typedef cc::LazyKVList< rcu_sht, Key, Value, traits_LazyList_cmp_michaelAlloc > LazyList_RCU_SHT_cmp_michaelAlloc;
 561 #endif
 562         struct traits_LazyList_less_stdAlloc :
 563             public cc::lazy_list::make_traits<
 564                 co::less< less >
 565             >::type
 566         {};
 567         typedef cc::LazyKVList< cds::gc::HP, Key, Value, traits_LazyList_less_stdAlloc > LazyList_HP_less_stdAlloc;
 568         typedef cc::LazyKVList< cds::gc::DHP, Key, Value, traits_LazyList_less_stdAlloc > LazyList_DHP_less_stdAlloc;
 569         typedef cc::LazyKVList< cds::gc::nogc, Key, Value, traits_LazyList_less_stdAlloc > LazyList_NOGC_less_stdAlloc;
 570         typedef cc::LazyKVList< rcu_gpi, Key, Value, traits_LazyList_less_stdAlloc > LazyList_RCU_GPI_less_stdAlloc;
 571         typedef cc::LazyKVList< rcu_gpb, Key, Value, traits_LazyList_less_stdAlloc > LazyList_RCU_GPB_less_stdAlloc;
 572         typedef cc::LazyKVList< rcu_gpt, Key, Value, traits_LazyList_less_stdAlloc > LazyList_RCU_GPT_less_stdAlloc;
 573 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 574         typedef cc::LazyKVList< rcu_shb, Key, Value, traits_LazyList_less_stdAlloc > LazyList_RCU_SHB_less_stdAlloc;
 575         typedef cc::LazyKVList< rcu_sht, Key, Value, traits_LazyList_less_stdAlloc > LazyList_RCU_SHT_less_stdAlloc;
 576 #endif
 577
 578         struct traits_LazyList_less_stdAlloc_seqcst :
 579             public cc::lazy_list::make_traits<
 580                 co::less< less >
 581                 ,co::memory_model< co::v::sequential_consistent >
 582             >::type
 583         {};
 584         typedef cc::LazyKVList< cds::gc::HP, Key, Value, traits_LazyList_less_stdAlloc_seqcst > LazyList_HP_less_stdAlloc_seqcst;
 585         typedef cc::LazyKVList< cds::gc::DHP, Key, Value, traits_LazyList_less_stdAlloc_seqcst > LazyList_DHP_less_stdAlloc_seqcst;
 586         typedef cc::LazyKVList< cds::gc::nogc, Key, Value, traits_LazyList_less_stdAlloc_seqcst > LazyList_NOGC_less_stdAlloc_seqcst;
 587         typedef cc::LazyKVList< rcu_gpi, Key, Value, traits_LazyList_less_stdAlloc_seqcst > LazyList_RCU_GPI_less_stdAlloc_seqcst;
 588         typedef cc::LazyKVList< rcu_gpb, Key, Value, traits_LazyList_less_stdAlloc_seqcst > LazyList_RCU_GPB_less_stdAlloc_seqcst;
 589         typedef cc::LazyKVList< rcu_gpt, Key, Value, traits_LazyList_less_stdAlloc_seqcst > LazyList_RCU_GPT_less_stdAlloc_seqcst;
 590 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 591         typedef cc::LazyKVList< rcu_shb, Key, Value, traits_LazyList_less_stdAlloc_seqcst > LazyList_RCU_SHB_less_stdAlloc_seqcst;
 592         typedef cc::LazyKVList< rcu_sht, Key, Value, traits_LazyList_less_stdAlloc_seqcst > LazyList_RCU_SHT_less_stdAlloc_seqcst;
 593 #endif
 594
 595         struct traits_LazyList_less_michaelAlloc :
 596             public cc::lazy_list::make_traits<
 597                 co::less< less >,
 598                 co::allocator< memory::MichaelAllocator<int> >
 599             >::type
 600         {};
 601         typedef cc::LazyKVList< cds::gc::HP, Key, Value, traits_LazyList_less_michaelAlloc > LazyList_HP_less_michaelAlloc;
 602         typedef cc::LazyKVList< cds::gc::DHP, Key, Value, traits_LazyList_less_michaelAlloc > LazyList_DHP_less_michaelAlloc;
 603         typedef cc::LazyKVList< cds::gc::nogc, Key, Value, traits_LazyList_less_michaelAlloc > LazyList_NOGC_less_michaelAlloc;
 604         typedef cc::LazyKVList< rcu_gpi, Key, Value, traits_LazyList_less_michaelAlloc > LazyList_RCU_GPI_less_michaelAlloc;
 605         typedef cc::LazyKVList< rcu_gpb, Key, Value, traits_LazyList_less_michaelAlloc > LazyList_RCU_GPB_less_michaelAlloc;
 606         typedef cc::LazyKVList< rcu_gpt, Key, Value, traits_LazyList_less_michaelAlloc > LazyList_RCU_GPT_less_michaelAlloc;
 607 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 608         typedef cc::LazyKVList< rcu_shb, Key, Value, traits_LazyList_less_michaelAlloc > LazyList_RCU_SHB_less_michaelAlloc;
 609         typedef cc::LazyKVList< rcu_sht, Key, Value, traits_LazyList_less_michaelAlloc > LazyList_RCU_SHT_less_michaelAlloc;
 610 #endif
 611
 612         // ***************************************************************************
 613         // MichaelHashMap based on LazyKVList
 614         typedef cc::MichaelHashMap< cds::gc::HP, LazyList_HP_cmp_stdAlloc, traits_MichaelMap_hash > MichaelMap_Lazy_HP_cmp_stdAlloc;
 615         typedef cc::MichaelHashMap< cds::gc::DHP, LazyList_DHP_cmp_stdAlloc, traits_MichaelMap_hash > MichaelMap_Lazy_DHP_cmp_stdAlloc;
 616         typedef cc::MichaelHashMap< cds::gc::nogc, LazyList_NOGC_cmp_stdAlloc, traits_MichaelMap_hash > MichaelMap_Lazy_NOGC_cmp_stdAlloc;
 617         typedef cc::MichaelHashMap< rcu_gpi, LazyList_RCU_GPI_cmp_stdAlloc, traits_MichaelMap_hash > MichaelMap_Lazy_RCU_GPI_cmp_stdAlloc;
 618         typedef cc::MichaelHashMap< rcu_gpb, LazyList_RCU_GPB_cmp_stdAlloc, traits_MichaelMap_hash > MichaelMap_Lazy_RCU_GPB_cmp_stdAlloc;
 619         typedef cc::MichaelHashMap< rcu_gpt, LazyList_RCU_GPT_cmp_stdAlloc, traits_MichaelMap_hash > MichaelMap_Lazy_RCU_GPT_cmp_stdAlloc;
 620 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 621         typedef cc::MichaelHashMap< rcu_shb, LazyList_RCU_SHB_cmp_stdAlloc, traits_MichaelMap_hash > MichaelMap_Lazy_RCU_SHB_cmp_stdAlloc;
 622         typedef cc::MichaelHashMap< rcu_sht, LazyList_RCU_SHT_cmp_stdAlloc, traits_MichaelMap_hash > MichaelMap_Lazy_RCU_SHT_cmp_stdAlloc;
 623 #endif
 624
 625         typedef cc::MichaelHashMap< cds::gc::HP, LazyList_HP_less_stdAlloc, traits_MichaelMap_hash > MichaelMap_Lazy_HP_less_stdAlloc;
 626         typedef cc::MichaelHashMap< cds::gc::DHP, LazyList_DHP_less_stdAlloc, traits_MichaelMap_hash > MichaelMap_Lazy_DHP_less_stdAlloc;
 627         typedef cc::MichaelHashMap< cds::gc::nogc, LazyList_NOGC_less_stdAlloc, traits_MichaelMap_hash > MichaelMap_Lazy_NOGC_less_stdAlloc;
 628         typedef cc::MichaelHashMap< rcu_gpi, LazyList_RCU_GPI_less_stdAlloc, traits_MichaelMap_hash > MichaelMap_Lazy_RCU_GPI_less_stdAlloc;
 629         typedef cc::MichaelHashMap< rcu_gpb, LazyList_RCU_GPB_less_stdAlloc, traits_MichaelMap_hash > MichaelMap_Lazy_RCU_GPB_less_stdAlloc;
 630         typedef cc::MichaelHashMap< rcu_gpt, LazyList_RCU_GPT_less_stdAlloc, traits_MichaelMap_hash > MichaelMap_Lazy_RCU_GPT_less_stdAlloc;
 631 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 632         typedef cc::MichaelHashMap< rcu_shb, LazyList_RCU_SHB_less_stdAlloc, traits_MichaelMap_hash > MichaelMap_Lazy_RCU_SHB_less_stdAlloc;
 633         typedef cc::MichaelHashMap< rcu_sht, LazyList_RCU_SHT_less_stdAlloc, traits_MichaelMap_hash > MichaelMap_Lazy_RCU_SHT_less_stdAlloc;
 634 #endif
 635
 636         typedef cc::MichaelHashMap< cds::gc::HP, LazyList_HP_cmp_stdAlloc_seqcst, traits_MichaelMap_hash > MichaelMap_Lazy_HP_cmp_stdAlloc_seqcst;
 637         typedef cc::MichaelHashMap< cds::gc::DHP, LazyList_DHP_cmp_stdAlloc_seqcst, traits_MichaelMap_hash > MichaelMap_Lazy_DHP_cmp_stdAlloc_seqcst;
 638         typedef cc::MichaelHashMap< cds::gc::nogc, LazyList_NOGC_cmp_stdAlloc_seqcst, traits_MichaelMap_hash > MichaelMap_Lazy_NOGC_cmp_stdAlloc_seqcst;
 639         typedef cc::MichaelHashMap< rcu_gpi, LazyList_RCU_GPI_cmp_stdAlloc_seqcst, traits_MichaelMap_hash > MichaelMap_Lazy_RCU_GPI_cmp_stdAlloc_seqcst;
 640         typedef cc::MichaelHashMap< rcu_gpb, LazyList_RCU_GPB_cmp_stdAlloc_seqcst, traits_MichaelMap_hash > MichaelMap_Lazy_RCU_GPB_cmp_stdAlloc_seqcst;
 641         typedef cc::MichaelHashMap< rcu_gpt, LazyList_RCU_GPT_cmp_stdAlloc_seqcst, traits_MichaelMap_hash > MichaelMap_Lazy_RCU_GPT_cmp_stdAlloc_seqcst;
 642 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 643         typedef cc::MichaelHashMap< rcu_shb, LazyList_RCU_SHB_cmp_stdAlloc_seqcst, traits_MichaelMap_hash > MichaelMap_Lazy_RCU_SHB_cmp_stdAlloc_seqcst;
 644         typedef cc::MichaelHashMap< rcu_sht, LazyList_RCU_SHT_cmp_stdAlloc_seqcst, traits_MichaelMap_hash > MichaelMap_Lazy_RCU_SHT_cmp_stdAlloc_seqcst;
 645 #endif
 646
 647         typedef cc::MichaelHashMap< cds::gc::HP, LazyList_HP_less_stdAlloc_seqcst, traits_MichaelMap_hash > MichaelMap_Lazy_HP_less_stdAlloc_seqcst;
 648         typedef cc::MichaelHashMap< cds::gc::DHP, LazyList_DHP_less_stdAlloc_seqcst, traits_MichaelMap_hash > MichaelMap_Lazy_DHP_less_stdAlloc_seqcst;
 649         typedef cc::MichaelHashMap< cds::gc::nogc, LazyList_NOGC_less_stdAlloc_seqcst, traits_MichaelMap_hash > MichaelMap_Lazy_NOGC_less_stdAlloc_seqcst;
 650         typedef cc::MichaelHashMap< rcu_gpi, LazyList_RCU_GPI_less_stdAlloc_seqcst, traits_MichaelMap_hash > MichaelMap_Lazy_RCU_GPI_less_stdAlloc_seqcst;
 651         typedef cc::MichaelHashMap< rcu_gpb, LazyList_RCU_GPB_less_stdAlloc_seqcst, traits_MichaelMap_hash > MichaelMap_Lazy_RCU_GPB_less_stdAlloc_seqcst;
 652         typedef cc::MichaelHashMap< rcu_gpt, LazyList_RCU_GPT_less_stdAlloc_seqcst, traits_MichaelMap_hash > MichaelMap_Lazy_RCU_GPT_less_stdAlloc_seqcst;
 653 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 654         typedef cc::MichaelHashMap< rcu_shb, LazyList_RCU_SHB_less_stdAlloc_seqcst, traits_MichaelMap_hash > MichaelMap_Lazy_RCU_SHB_less_stdAlloc_seqcst;
 655         typedef cc::MichaelHashMap< rcu_sht, LazyList_RCU_SHT_less_stdAlloc_seqcst, traits_MichaelMap_hash > MichaelMap_Lazy_RCU_SHT_less_stdAlloc_seqcst;
 656 #endif
 657
 658         typedef cc::MichaelHashMap< cds::gc::HP, LazyList_HP_cmp_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelMap_Lazy_HP_cmp_michaelAlloc;
 659         typedef cc::MichaelHashMap< cds::gc::DHP, LazyList_DHP_cmp_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelMap_Lazy_DHP_cmp_michaelAlloc;
 660         typedef cc::MichaelHashMap< cds::gc::nogc, LazyList_NOGC_cmp_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelMap_Lazy_NOGC_cmp_michaelAlloc;
 661         typedef cc::MichaelHashMap< rcu_gpi, LazyList_RCU_GPI_cmp_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelMap_Lazy_RCU_GPI_cmp_michaelAlloc;
 662         typedef cc::MichaelHashMap< rcu_gpb, LazyList_RCU_GPB_cmp_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelMap_Lazy_RCU_GPB_cmp_michaelAlloc;
 663         typedef cc::MichaelHashMap< rcu_gpt, LazyList_RCU_GPT_cmp_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelMap_Lazy_RCU_GPT_cmp_michaelAlloc;
 664 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 665         typedef cc::MichaelHashMap< rcu_shb, LazyList_RCU_SHB_cmp_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelMap_Lazy_RCU_SHB_cmp_michaelAlloc;
 666         typedef cc::MichaelHashMap< rcu_sht, LazyList_RCU_SHT_cmp_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelMap_Lazy_RCU_SHT_cmp_michaelAlloc;
 667 #endif
 668         typedef cc::MichaelHashMap< cds::gc::HP, LazyList_HP_less_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelMap_Lazy_HP_less_michaelAlloc;
 669         typedef cc::MichaelHashMap< cds::gc::DHP, LazyList_DHP_less_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelMap_Lazy_DHP_less_michaelAlloc;
 670         typedef cc::MichaelHashMap< cds::gc::nogc, LazyList_NOGC_less_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelMap_Lazy_NOGC_less_michaelAlloc;
 671         typedef cc::MichaelHashMap< rcu_gpi, LazyList_RCU_GPI_less_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelMap_Lazy_RCU_GPI_less_michaelAlloc;
 672         typedef cc::MichaelHashMap< rcu_gpb, LazyList_RCU_GPB_less_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelMap_Lazy_RCU_GPB_less_michaelAlloc;
 673         typedef cc::MichaelHashMap< rcu_gpt, LazyList_RCU_GPT_less_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelMap_Lazy_RCU_GPT_less_michaelAlloc;
 674 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 675         typedef cc::MichaelHashMap< rcu_shb, LazyList_RCU_SHB_less_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelMap_Lazy_RCU_SHB_less_michaelAlloc;
 676         typedef cc::MichaelHashMap< rcu_sht, LazyList_RCU_SHT_less_michaelAlloc, traits_MichaelSet_michaelAlloc > MichaelMap_Lazy_RCU_SHT_less_michaelAlloc;
 677 #endif
 678
 679         // ***************************************************************************
 680         // SplitListMap based on MichaelList
 681
 682         // HP
 683         struct traits_SplitList_Michael_dyn_cmp: public cc::split_list::make_traits<
 684                 cc::split_list::ordered_list<cc::michael_list_tag>
 685                 ,co::hash< hash >
 686                 ,cc::split_list::ordered_list_traits<
 687                     typename cc::michael_list::make_traits<
 688                         co::compare< compare >
 689                     >::type
 690                 >
 691             >::type
 692         {};
 693         typedef cc::SplitListMap< cds::gc::HP, Key, Value, traits_SplitList_Michael_dyn_cmp > SplitList_Michael_HP_dyn_cmp;
 694         typedef cc::SplitListMap< cds::gc::DHP, Key, Value, traits_SplitList_Michael_dyn_cmp > SplitList_Michael_DHP_dyn_cmp;
 695         typedef NogcSplitMapWrapper< cc::SplitListMap< cds::gc::nogc, Key, Value, traits_SplitList_Michael_dyn_cmp >> SplitList_Michael_NOGC_dyn_cmp;
 696         typedef cc::SplitListMap< rcu_gpi, Key, Value, traits_SplitList_Michael_dyn_cmp > SplitList_Michael_RCU_GPI_dyn_cmp;
 697         typedef cc::SplitListMap< rcu_gpb, Key, Value, traits_SplitList_Michael_dyn_cmp > SplitList_Michael_RCU_GPB_dyn_cmp;
 698         typedef cc::SplitListMap< rcu_gpt, Key, Value, traits_SplitList_Michael_dyn_cmp > SplitList_Michael_RCU_GPT_dyn_cmp;
 699 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 700         typedef cc::SplitListMap< rcu_shb, Key, Value, traits_SplitList_Michael_dyn_cmp > SplitList_Michael_RCU_SHB_dyn_cmp;
 701         typedef cc::SplitListMap< rcu_sht, Key, Value, traits_SplitList_Michael_dyn_cmp > SplitList_Michael_RCU_SHT_dyn_cmp;
 702 #endif
 703
 704         struct traits_SplitList_Michael_dyn_cmp_stat : public traits_SplitList_Michael_dyn_cmp
 705         {
 706             typedef cc::split_list::stat<> stat;
 707         };
 708         typedef cc::SplitListMap< cds::gc::HP, Key, Value, traits_SplitList_Michael_dyn_cmp_stat > SplitList_Michael_HP_dyn_cmp_stat;
 709         typedef cc::SplitListMap< cds::gc::DHP, Key, Value, traits_SplitList_Michael_dyn_cmp_stat > SplitList_Michael_DHP_dyn_cmp_stat;
 710         typedef NogcSplitMapWrapper< cc::SplitListMap< cds::gc::nogc, Key, Value, traits_SplitList_Michael_dyn_cmp_stat >> SplitList_Michael_NOGC_dyn_cmp_stat;
 711         typedef cc::SplitListMap< rcu_gpi, Key, Value, traits_SplitList_Michael_dyn_cmp_stat > SplitList_Michael_RCU_GPI_dyn_cmp_stat;
 712         typedef cc::SplitListMap< rcu_gpb, Key, Value, traits_SplitList_Michael_dyn_cmp_stat > SplitList_Michael_RCU_GPB_dyn_cmp_stat;
 713         typedef cc::SplitListMap< rcu_gpt, Key, Value, traits_SplitList_Michael_dyn_cmp_stat > SplitList_Michael_RCU_GPT_dyn_cmp_stat;
 714 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 715         typedef cc::SplitListMap< rcu_shb, Key, Value, traits_SplitList_Michael_dyn_cmp_stat > SplitList_Michael_RCU_SHB_dyn_cmp_stat;
 716         typedef cc::SplitListMap< rcu_sht, Key, Value, traits_SplitList_Michael_dyn_cmp_stat > SplitList_Michael_RCU_SHT_dyn_cmp_stat;
 717 #endif
 718
 719         struct traits_SplitList_Michael_dyn_cmp_seqcst: public cc::split_list::make_traits<
 720                 cc::split_list::ordered_list<cc::michael_list_tag>
 721                 ,co::hash< hash >
 722                 ,co::memory_model< co::v::sequential_consistent >
 723                 ,cc::split_list::ordered_list_traits<
 724                     typename cc::michael_list::make_traits<
 725                         co::compare< compare >
 726                         ,co::memory_model< co::v::sequential_consistent >
 727                     >::type
 728                 >
 729             >::type
 730         {};
 731         typedef cc::SplitListMap< cds::gc::HP, Key, Value, traits_SplitList_Michael_dyn_cmp_seqcst > SplitList_Michael_HP_dyn_cmp_seqcst;
 732         typedef cc::SplitListMap< cds::gc::DHP, Key, Value, traits_SplitList_Michael_dyn_cmp_seqcst > SplitList_Michael_DHP_dyn_cmp_seqcst;
 733         typedef NogcSplitMapWrapper< cc::SplitListMap< cds::gc::nogc, Key, Value, traits_SplitList_Michael_dyn_cmp_seqcst >> SplitList_Michael_NOGC_dyn_cmp_seqcst;
 734         typedef cc::SplitListMap< rcu_gpi, Key, Value, traits_SplitList_Michael_dyn_cmp_seqcst > SplitList_Michael_RCU_GPI_dyn_cmp_seqcst;
 735         typedef cc::SplitListMap< rcu_gpb, Key, Value, traits_SplitList_Michael_dyn_cmp_seqcst > SplitList_Michael_RCU_GPB_dyn_cmp_seqcst;
 736         typedef cc::SplitListMap< rcu_gpt, Key, Value, traits_SplitList_Michael_dyn_cmp_seqcst > SplitList_Michael_RCU_GPT_dyn_cmp_seqcst;
 737 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 738         typedef cc::SplitListMap< rcu_shb, Key, Value, traits_SplitList_Michael_dyn_cmp_seqcst > SplitList_Michael_RCU_SHB_dyn_cmp_seqcst;
 739         typedef cc::SplitListMap< rcu_sht, Key, Value, traits_SplitList_Michael_dyn_cmp_seqcst > SplitList_Michael_RCU_SHT_dyn_cmp_seqcst;
 740 #endif
 741
 742         struct traits_SplitList_Michael_st_cmp: public cc::split_list::make_traits<
 743                 cc::split_list::ordered_list<cc::michael_list_tag>
 744                 ,cc::split_list::dynamic_bucket_table< false >
 745                 ,co::hash< hash >
 746                 ,cc::split_list::ordered_list_traits<
 747                     typename cc::michael_list::make_traits<
 748                         co::compare< compare >
 749                     >::type
 750                 >
 751             >::type
 752         {};
 753         typedef cc::SplitListMap< cds::gc::HP, Key, Value, traits_SplitList_Michael_st_cmp > SplitList_Michael_HP_st_cmp;
 754         typedef cc::SplitListMap< cds::gc::DHP, Key, Value, traits_SplitList_Michael_st_cmp > SplitList_Michael_DHP_st_cmp;
 755         typedef NogcSplitMapWrapper< cc::SplitListMap< cds::gc::nogc, Key, Value, traits_SplitList_Michael_st_cmp >> SplitList_Michael_NOGC_st_cmp;
 756         typedef cc::SplitListMap< rcu_gpi, Key, Value, traits_SplitList_Michael_st_cmp > SplitList_Michael_RCU_GPI_st_cmp;
 757         typedef cc::SplitListMap< rcu_gpb, Key, Value, traits_SplitList_Michael_st_cmp > SplitList_Michael_RCU_GPB_st_cmp;
 758         typedef cc::SplitListMap< rcu_gpt, Key, Value, traits_SplitList_Michael_st_cmp > SplitList_Michael_RCU_GPT_st_cmp;
 759 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 760         typedef cc::SplitListMap< rcu_shb, Key, Value, traits_SplitList_Michael_st_cmp > SplitList_Michael_RCU_SHB_st_cmp;
 761         typedef cc::SplitListMap< rcu_sht, Key, Value, traits_SplitList_Michael_st_cmp > SplitList_Michael_RCU_SHT_st_cmp;
 762 #endif
 763
 764         struct traits_SplitList_Michael_st_cmp_seqcst: public cc::split_list::make_traits<
 765                 cc::split_list::ordered_list<cc::michael_list_tag>
 766                 ,co::hash< hash >
 767                 ,cc::split_list::dynamic_bucket_table< false >
 768                 ,co::memory_model< co::v::sequential_consistent >
 769                 ,cc::split_list::ordered_list_traits<
 770                     typename cc::michael_list::make_traits<
 771                         co::compare< compare >
 772                         ,co::memory_model< co::v::sequential_consistent >
 773                     >::type
 774                 >
 775             >::type
 776         {};
 777         typedef cc::SplitListMap< cds::gc::HP, Key, Value, traits_SplitList_Michael_st_cmp_seqcst > SplitList_Michael_HP_st_cmp_seqcst;
 778         typedef cc::SplitListMap< cds::gc::DHP, Key, Value, traits_SplitList_Michael_st_cmp_seqcst > SplitList_Michael_DHP_st_cmp_seqcst;
 779         typedef NogcSplitMapWrapper< cc::SplitListMap< cds::gc::nogc, Key, Value, traits_SplitList_Michael_st_cmp_seqcst >> SplitList_Michael_NOGC_st_cmp_seqcst;
 780         typedef cc::SplitListMap< rcu_gpi, Key, Value, traits_SplitList_Michael_st_cmp_seqcst > SplitList_Michael_RCU_GPI_st_cmp_seqcst;
 781         typedef cc::SplitListMap< rcu_gpb, Key, Value, traits_SplitList_Michael_st_cmp_seqcst > SplitList_Michael_RCU_GPB_st_cmp_seqcst;
 782         typedef cc::SplitListMap< rcu_gpt, Key, Value, traits_SplitList_Michael_st_cmp_seqcst > SplitList_Michael_RCU_GPT_st_cmp_seqcst;
 783 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 784         typedef cc::SplitListMap< rcu_shb, Key, Value, traits_SplitList_Michael_st_cmp_seqcst > SplitList_Michael_RCU_SHB_st_cmp_seqcst;
 785         typedef cc::SplitListMap< rcu_sht, Key, Value, traits_SplitList_Michael_st_cmp_seqcst > SplitList_Michael_RCU_SHT_st_cmp_seqcst;
 786 #endif
 787
 788         //HP + less
 789         struct traits_SplitList_Michael_dyn_less: public cc::split_list::make_traits<
 790                 cc::split_list::ordered_list<cc::michael_list_tag>
 791                 ,co::hash< hash >
 792                 ,cc::split_list::ordered_list_traits<
 793                     typename cc::michael_list::make_traits<
 794                         co::less< less >
 795                     >::type
 796                 >
 797             >::type
 798         {};
 799         typedef cc::SplitListMap< cds::gc::HP, Key, Value, traits_SplitList_Michael_dyn_less > SplitList_Michael_HP_dyn_less;
 800         typedef cc::SplitListMap< cds::gc::DHP, Key, Value, traits_SplitList_Michael_dyn_less > SplitList_Michael_DHP_dyn_less;
 801         typedef NogcSplitMapWrapper< cc::SplitListMap< cds::gc::nogc, Key, Value, traits_SplitList_Michael_dyn_less >> SplitList_Michael_NOGC_dyn_less;
 802         typedef cc::SplitListMap< rcu_gpi, Key, Value, traits_SplitList_Michael_dyn_less > SplitList_Michael_RCU_GPI_dyn_less;
 803         typedef cc::SplitListMap< rcu_gpb, Key, Value, traits_SplitList_Michael_dyn_less > SplitList_Michael_RCU_GPB_dyn_less;
 804         typedef cc::SplitListMap< rcu_gpt, Key, Value, traits_SplitList_Michael_dyn_less > SplitList_Michael_RCU_GPT_dyn_less;
 805 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 806         typedef cc::SplitListMap< rcu_shb, Key, Value, traits_SplitList_Michael_dyn_less > SplitList_Michael_RCU_SHB_dyn_less;
 807         typedef cc::SplitListMap< rcu_sht, Key, Value, traits_SplitList_Michael_dyn_less > SplitList_Michael_RCU_SHT_dyn_less;
 808 #endif
 809
 810
 811         struct traits_SplitList_Michael_dyn_less_seqcst: public cc::split_list::make_traits<
 812                 cc::split_list::ordered_list<cc::michael_list_tag>
 813                 ,co::hash< hash >
 814                 ,co::memory_model< co::v::sequential_consistent >
 815                 ,cc::split_list::ordered_list_traits<
 816                     typename cc::michael_list::make_traits<
 817                         co::less< less >
 818                         ,co::memory_model< co::v::sequential_consistent >
 819                     >::type
 820                 >
 821             >::type
 822         {};
 823         typedef cc::SplitListMap< cds::gc::HP, Key, Value, traits_SplitList_Michael_dyn_less_seqcst > SplitList_Michael_HP_dyn_less_seqcst;
 824         typedef cc::SplitListMap< cds::gc::DHP, Key, Value, traits_SplitList_Michael_dyn_less_seqcst > SplitList_Michael_DHP_dyn_less_seqcst;
 825         typedef NogcSplitMapWrapper< cc::SplitListMap< cds::gc::nogc, Key, Value, traits_SplitList_Michael_dyn_less_seqcst >> SplitList_Michael_NOGC_dyn_less_seqcst;
 826         typedef cc::SplitListMap< rcu_gpi, Key, Value, traits_SplitList_Michael_dyn_less_seqcst > SplitList_Michael_RCU_GPI_dyn_less_seqcst;
 827         typedef cc::SplitListMap< rcu_gpb, Key, Value, traits_SplitList_Michael_dyn_less_seqcst > SplitList_Michael_RCU_GPB_dyn_less_seqcst;
 828         typedef cc::SplitListMap< rcu_gpt, Key, Value, traits_SplitList_Michael_dyn_less_seqcst > SplitList_Michael_RCU_GPT_dyn_less_seqcst;
 829 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 830         typedef cc::SplitListMap< rcu_shb, Key, Value, traits_SplitList_Michael_dyn_less_seqcst > SplitList_Michael_RCU_SHB_dyn_less_seqcst;
 831         typedef cc::SplitListMap< rcu_sht, Key, Value, traits_SplitList_Michael_dyn_less_seqcst > SplitList_Michael_RCU_SHT_dyn_less_seqcst;
 832 #endif
 833
 834         struct traits_SplitList_Michael_st_less: public cc::split_list::make_traits<
 835                 cc::split_list::ordered_list<cc::michael_list_tag>
 836                 ,cc::split_list::dynamic_bucket_table< false >
 837                 ,co::hash< hash >
 838                 ,cc::split_list::ordered_list_traits<
 839                     typename cc::michael_list::make_traits<
 840                         co::less< less >
 841                     >::type
 842                 >
 843             >::type
 844         {};
 845         typedef cc::SplitListMap< cds::gc::HP, Key, Value, traits_SplitList_Michael_st_less > SplitList_Michael_HP_st_less;
 846         typedef cc::SplitListMap< cds::gc::DHP, Key, Value, traits_SplitList_Michael_st_less > SplitList_Michael_DHP_st_less;
 847         typedef NogcSplitMapWrapper< cc::SplitListMap< cds::gc::nogc, Key, Value, traits_SplitList_Michael_st_less >> SplitList_Michael_NOGC_st_less;
 848         typedef cc::SplitListMap< rcu_gpi, Key, Value, traits_SplitList_Michael_st_less > SplitList_Michael_RCU_GPI_st_less;
 849         typedef cc::SplitListMap< rcu_gpb, Key, Value, traits_SplitList_Michael_st_less > SplitList_Michael_RCU_GPB_st_less;
 850         typedef cc::SplitListMap< rcu_gpt, Key, Value, traits_SplitList_Michael_st_less > SplitList_Michael_RCU_GPT_st_less;
 851 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 852         typedef cc::SplitListMap< rcu_shb, Key, Value, traits_SplitList_Michael_st_less > SplitList_Michael_RCU_SHB_st_less;
 853         typedef cc::SplitListMap< rcu_sht, Key, Value, traits_SplitList_Michael_st_less > SplitList_Michael_RCU_SHT_st_less;
 854 #endif
 855
 856         struct traits_SplitList_Michael_st_less_stat : traits_SplitList_Michael_st_less
 857         {
 858             typedef cc::split_list::stat<> stat;
 859         };
 860         typedef cc::SplitListMap< cds::gc::HP, Key, Value, traits_SplitList_Michael_st_less_stat > SplitList_Michael_HP_st_less_stat;
 861         typedef cc::SplitListMap< cds::gc::DHP, Key, Value, traits_SplitList_Michael_st_less_stat > SplitList_Michael_DHP_st_less_stat;
 862         typedef NogcSplitMapWrapper< cc::SplitListMap< cds::gc::nogc, Key, Value, traits_SplitList_Michael_st_less_stat >> SplitList_Michael_NOGC_st_less_stat;
 863         typedef cc::SplitListMap< rcu_gpi, Key, Value, traits_SplitList_Michael_st_less_stat > SplitList_Michael_RCU_GPI_st_less_stat;
 864         typedef cc::SplitListMap< rcu_gpb, Key, Value, traits_SplitList_Michael_st_less_stat > SplitList_Michael_RCU_GPB_st_less_stat;
 865         typedef cc::SplitListMap< rcu_gpt, Key, Value, traits_SplitList_Michael_st_less_stat > SplitList_Michael_RCU_GPT_st_less_stat;
 866 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 867         typedef cc::SplitListMap< rcu_shb, Key, Value, traits_SplitList_Michael_st_less_stat > SplitList_Michael_RCU_SHB_st_less_stat;
 868         typedef cc::SplitListMap< rcu_sht, Key, Value, traits_SplitList_Michael_st_less_stat > SplitList_Michael_RCU_SHT_st_less_stat;
 869 #endif
 870
 871
 872         class traits_SplitList_Michael_st_less_seqcst: public cc::split_list::make_traits<
 873                 cc::split_list::ordered_list<cc::michael_list_tag>
 874                 ,co::hash< hash >
 875                 ,cc::split_list::dynamic_bucket_table< false >
 876                 ,co::memory_model< co::v::sequential_consistent >
 877                 ,cc::split_list::ordered_list_traits<
 878                     typename cc::michael_list::make_traits<
 879                         co::less< less >
 880                         ,co::memory_model< co::v::sequential_consistent >
 881                     >::type
 882                 >
 883             >::type
 884         {};
 885         typedef cc::SplitListMap< cds::gc::HP, Key, Value, traits_SplitList_Michael_st_less_seqcst > SplitList_Michael_HP_st_less_seqcst;
 886         typedef cc::SplitListMap< cds::gc::DHP, Key, Value, traits_SplitList_Michael_st_less_seqcst > SplitList_Michael_DHP_st_less_seqcst;
 887         typedef NogcSplitMapWrapper< cc::SplitListMap< cds::gc::nogc, Key, Value, traits_SplitList_Michael_st_less_seqcst >> SplitList_Michael_NOGC_st_less_seqcst;
 888         typedef cc::SplitListMap< rcu_gpi, Key, Value, traits_SplitList_Michael_st_less_seqcst > SplitList_Michael_RCU_GPI_st_less_seqcst;
 889         typedef cc::SplitListMap< rcu_gpb, Key, Value, traits_SplitList_Michael_st_less_seqcst > SplitList_Michael_RCU_GPB_st_less_seqcst;
 890         typedef cc::SplitListMap< rcu_gpt, Key, Value, traits_SplitList_Michael_st_less_seqcst > SplitList_Michael_RCU_GPT_st_less_seqcst;
 891 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 892         typedef cc::SplitListMap< rcu_shb, Key, Value, traits_SplitList_Michael_st_less_seqcst > SplitList_Michael_RCU_SHB_st_less_seqcst;
 893         typedef cc::SplitListMap< rcu_sht, Key, Value, traits_SplitList_Michael_st_less_seqcst > SplitList_Michael_RCU_SHT_st_less_seqcst;
 894 #endif
 895
 896
 897         // ***************************************************************************
 898         // SplitListMap based on LazyKVList
 899
 900         struct SplitList_Lazy_dyn_cmp :
 901             public cc::split_list::make_traits<
 902                 cc::split_list::ordered_list<cc::lazy_list_tag>
 903                 ,co::hash< hash >
 904                 ,cc::split_list::ordered_list_traits<
 905                     typename cc::lazy_list::make_traits<
 906                         co::compare< compare >
 907                     >::type
 908                 >
 909             >::type
 910         {};
 911         typedef cc::SplitListMap< cds::gc::HP, Key, Value, SplitList_Lazy_dyn_cmp > SplitList_Lazy_HP_dyn_cmp;
 912         typedef cc::SplitListMap< cds::gc::DHP, Key, Value, SplitList_Lazy_dyn_cmp > SplitList_Lazy_DHP_dyn_cmp;
 913         typedef NogcSplitMapWrapper< cc::SplitListMap< cds::gc::nogc, Key, Value, SplitList_Lazy_dyn_cmp >> SplitList_Lazy_NOGC_dyn_cmp;
 914         typedef cc::SplitListMap< rcu_gpi, Key, Value, SplitList_Lazy_dyn_cmp > SplitList_Lazy_RCU_GPI_dyn_cmp;
 915         typedef cc::SplitListMap< rcu_gpb, Key, Value, SplitList_Lazy_dyn_cmp > SplitList_Lazy_RCU_GPB_dyn_cmp;
 916         typedef cc::SplitListMap< rcu_gpt, Key, Value, SplitList_Lazy_dyn_cmp > SplitList_Lazy_RCU_GPT_dyn_cmp;
 917 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 918         typedef cc::SplitListMap< rcu_shb, Key, Value, SplitList_Lazy_dyn_cmp > SplitList_Lazy_RCU_SHB_dyn_cmp;
 919         typedef cc::SplitListMap< rcu_sht, Key, Value, SplitList_Lazy_dyn_cmp > SplitList_Lazy_RCU_SHT_dyn_cmp;
 920 #endif
 921
 922         struct SplitList_Lazy_dyn_cmp_stat : public SplitList_Lazy_dyn_cmp
 923         {
 924             typedef cc::split_list::stat<> stat;
 925         };
 926         typedef cc::SplitListMap< cds::gc::HP, Key, Value, SplitList_Lazy_dyn_cmp_stat > SplitList_Lazy_HP_dyn_cmp_stat;
 927         typedef cc::SplitListMap< cds::gc::DHP, Key, Value, SplitList_Lazy_dyn_cmp_stat > SplitList_Lazy_DHP_dyn_cmp_stat;
 928         typedef NogcSplitMapWrapper< cc::SplitListMap< cds::gc::nogc, Key, Value, SplitList_Lazy_dyn_cmp_stat >> SplitList_Lazy_NOGC_dyn_cmp_stat;
 929         typedef cc::SplitListMap< rcu_gpi, Key, Value, SplitList_Lazy_dyn_cmp_stat > SplitList_Lazy_RCU_GPI_dyn_cmp_stat;
 930         typedef cc::SplitListMap< rcu_gpb, Key, Value, SplitList_Lazy_dyn_cmp_stat > SplitList_Lazy_RCU_GPB_dyn_cmp_stat;
 931         typedef cc::SplitListMap< rcu_gpt, Key, Value, SplitList_Lazy_dyn_cmp_stat > SplitList_Lazy_RCU_GPT_dyn_cmp_stat;
 932 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 933         typedef cc::SplitListMap< rcu_shb, Key, Value, SplitList_Lazy_dyn_cmp_stat > SplitList_Lazy_RCU_SHB_dyn_cmp_stat;
 934         typedef cc::SplitListMap< rcu_sht, Key, Value, SplitList_Lazy_dyn_cmp_stat > SplitList_Lazy_RCU_SHT_dyn_cmp_stat;
 935 #endif
 936
 937         struct SplitList_Lazy_dyn_cmp_seqcst :
 938             public cc::split_list::make_traits<
 939                 cc::split_list::ordered_list<cc::lazy_list_tag>
 940                 ,co::hash< hash >
 941                 ,co::memory_model< co::v::sequential_consistent >
 942                 ,cc::split_list::ordered_list_traits<
 943                     typename cc::lazy_list::make_traits<
 944                         co::compare< compare >
 945                         ,co::memory_model< co::v::sequential_consistent >
 946                     >::type
 947                 >
 948             >::type
 949         {};
 950         typedef cc::SplitListMap< cds::gc::HP, Key, Value, SplitList_Lazy_dyn_cmp_seqcst > SplitList_Lazy_HP_dyn_cmp_seqcst;
 951         typedef cc::SplitListMap< cds::gc::DHP, Key, Value, SplitList_Lazy_dyn_cmp_seqcst > SplitList_Lazy_DHP_dyn_cmp_seqcst;
 952         typedef NogcSplitMapWrapper< cc::SplitListMap< cds::gc::nogc, Key, Value, SplitList_Lazy_dyn_cmp_seqcst >> SplitList_Lazy_NOGC_dyn_cmp_seqcst;
 953         typedef cc::SplitListMap< rcu_gpi, Key, Value, SplitList_Lazy_dyn_cmp_seqcst > SplitList_Lazy_RCU_GPI_dyn_cmp_seqcst;
 954         typedef cc::SplitListMap< rcu_gpb, Key, Value, SplitList_Lazy_dyn_cmp_seqcst > SplitList_Lazy_RCU_GPB_dyn_cmp_seqcst;
 955         typedef cc::SplitListMap< rcu_gpt, Key, Value, SplitList_Lazy_dyn_cmp_seqcst > SplitList_Lazy_RCU_GPT_dyn_cmp_seqcst;
 956 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 957         typedef cc::SplitListMap< rcu_shb, Key, Value, SplitList_Lazy_dyn_cmp_seqcst > SplitList_Lazy_RCU_SHB_dyn_cmp_seqcst;
 958         typedef cc::SplitListMap< rcu_sht, Key, Value, SplitList_Lazy_dyn_cmp_seqcst > SplitList_Lazy_RCU_SHT_dyn_cmp_seqcst;
 959 #endif
 960
 961         struct SplitList_Lazy_st_cmp :
 962             public cc::split_list::make_traits<
 963                 cc::split_list::ordered_list<cc::lazy_list_tag>
 964                 ,cc::split_list::dynamic_bucket_table< false >
 965                 ,co::hash< hash >
 966                 ,cc::split_list::ordered_list_traits<
 967                     typename cc::lazy_list::make_traits<
 968                         co::compare< compare >
 969                     >::type
 970                 >
 971             >::type
 972         {};
 973         typedef cc::SplitListMap< cds::gc::HP, Key, Value, SplitList_Lazy_st_cmp > SplitList_Lazy_HP_st_cmp;
 974         typedef cc::SplitListMap< cds::gc::DHP, Key, Value, SplitList_Lazy_st_cmp > SplitList_Lazy_DHP_st_cmp;
 975         typedef NogcSplitMapWrapper< cc::SplitListMap< cds::gc::nogc, Key, Value, SplitList_Lazy_st_cmp >> SplitList_Lazy_NOGC_st_cmp;
 976         typedef cc::SplitListMap< rcu_gpi, Key, Value, SplitList_Lazy_st_cmp > SplitList_Lazy_RCU_GPI_st_cmp;
 977         typedef cc::SplitListMap< rcu_gpb, Key, Value, SplitList_Lazy_st_cmp > SplitList_Lazy_RCU_GPB_st_cmp;
 978         typedef cc::SplitListMap< rcu_gpt, Key, Value, SplitList_Lazy_st_cmp > SplitList_Lazy_RCU_GPT_st_cmp;
 979 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 980         typedef cc::SplitListMap< rcu_shb, Key, Value, SplitList_Lazy_st_cmp > SplitList_Lazy_RCU_SHB_st_cmp;
 981         typedef cc::SplitListMap< rcu_sht, Key, Value, SplitList_Lazy_st_cmp > SplitList_Lazy_RCU_SHT_st_cmp;
 982 #endif
 983
 984
 985         struct SplitList_Lazy_st_cmp_seqcst :
 986             public cc::split_list::make_traits<
 987                 cc::split_list::ordered_list<cc::lazy_list_tag>
 988                 ,co::hash< hash >
 989                 ,cc::split_list::dynamic_bucket_table< false >
 990                 ,co::memory_model< co::v::sequential_consistent >
 991                 ,cc::split_list::ordered_list_traits<
 992                     typename cc::lazy_list::make_traits<
 993                         co::compare< compare >
 994                         ,co::memory_model< co::v::sequential_consistent >
 995                     >::type
 996                 >
 997             >::type
 998         {};
 999         typedef cc::SplitListMap< cds::gc::HP, Key, Value, SplitList_Lazy_st_cmp_seqcst> SplitList_Lazy_HP_st_cmp_seqcst;
1000         typedef cc::SplitListMap< cds::gc::DHP, Key, Value, SplitList_Lazy_st_cmp_seqcst> SplitList_Lazy_DHP_st_cmp_seqcst;
1001         typedef NogcSplitMapWrapper< cc::SplitListMap< cds::gc::nogc, Key, Value, SplitList_Lazy_st_cmp_seqcst >> SplitList_Lazy_NOGC_st_cmp_seqcst;
1002         typedef cc::SplitListMap< rcu_gpi, Key, Value, SplitList_Lazy_st_cmp_seqcst> SplitList_Lazy_RCU_GPI_st_cmp_seqcst;
1003         typedef cc::SplitListMap< rcu_gpb, Key, Value, SplitList_Lazy_st_cmp_seqcst> SplitList_Lazy_RCU_GPB_st_cmp_seqcst;
1004         typedef cc::SplitListMap< rcu_gpt, Key, Value, SplitList_Lazy_st_cmp_seqcst> SplitList_Lazy_RCU_GPT_st_cmp_seqcst;
1005 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
1006         typedef cc::SplitListMap< rcu_shb, Key, Value, SplitList_Lazy_st_cmp_seqcst> SplitList_Lazy_RCU_SHB_st_cmp_seqcst;
1007         typedef cc::SplitListMap< rcu_sht, Key, Value, SplitList_Lazy_st_cmp_seqcst> SplitList_Lazy_RCU_SHT_st_cmp_seqcst;
1008 #endif
1009
1010
1011         struct SplitList_Lazy_dyn_less :
1012             public cc::split_list::make_traits<
1013                 cc::split_list::ordered_list<cc::lazy_list_tag>
1014                 ,co::hash< hash >
1015                 ,cc::split_list::ordered_list_traits<
1016                     typename cc::lazy_list::make_traits<
1017                         co::less< less >
1018                     >::type
1019                 >
1020             >::type
1021         {};
1022         typedef cc::SplitListMap< cds::gc::HP, Key, Value, SplitList_Lazy_dyn_less > SplitList_Lazy_HP_dyn_less;
1023         typedef cc::SplitListMap< cds::gc::DHP, Key, Value, SplitList_Lazy_dyn_less > SplitList_Lazy_DHP_dyn_less;
1024         typedef NogcSplitMapWrapper< cc::SplitListMap< cds::gc::nogc, Key, Value, SplitList_Lazy_dyn_less >> SplitList_Lazy_NOGC_dyn_less;
1025         typedef cc::SplitListMap< rcu_gpi, Key, Value, SplitList_Lazy_dyn_less > SplitList_Lazy_RCU_GPI_dyn_less;
1026         typedef cc::SplitListMap< rcu_gpb, Key, Value, SplitList_Lazy_dyn_less > SplitList_Lazy_RCU_GPB_dyn_less;
1027         typedef cc::SplitListMap< rcu_gpt, Key, Value, SplitList_Lazy_dyn_less > SplitList_Lazy_RCU_GPT_dyn_less;
1028 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
1029         typedef cc::SplitListMap< rcu_shb, Key, Value, SplitList_Lazy_dyn_less > SplitList_Lazy_RCU_SHB_dyn_less;
1030         typedef cc::SplitListMap< rcu_sht, Key, Value, SplitList_Lazy_dyn_less > SplitList_Lazy_RCU_SHT_dyn_less;
1031 #endif
1032
1033         struct SplitList_Lazy_dyn_less_seqcst:
1034             public cc::split_list::make_traits<
1035                 cc::split_list::ordered_list<cc::lazy_list_tag>
1036                 ,co::hash< hash >
1037                 ,co::memory_model< co::v::sequential_consistent >
1038                 ,cc::split_list::ordered_list_traits<
1039                     typename cc::lazy_list::make_traits<
1040                         co::less< less >
1041                         ,co::memory_model< co::v::sequential_consistent >
1042                     >::type
1043                 >
1044             >::type
1045         {};
1046         typedef cc::SplitListMap< cds::gc::HP, Key, Value, SplitList_Lazy_dyn_less_seqcst > SplitList_Lazy_HP_dyn_less_seqcst;
1047         typedef cc::SplitListMap< cds::gc::DHP, Key, Value, SplitList_Lazy_dyn_less_seqcst > SplitList_Lazy_DHP_dyn_less_seqcst;
1048         typedef NogcSplitMapWrapper< cc::SplitListMap< cds::gc::nogc, Key, Value, SplitList_Lazy_dyn_less_seqcst >> SplitList_Lazy_NOGC_dyn_less_seqcst;
1049         typedef cc::SplitListMap< rcu_gpi, Key, Value, SplitList_Lazy_dyn_less_seqcst > SplitList_Lazy_RCU_GPI_dyn_less_seqcst;
1050         typedef cc::SplitListMap< rcu_gpb, Key, Value, SplitList_Lazy_dyn_less_seqcst > SplitList_Lazy_RCU_GPB_dyn_less_seqcst;
1051         typedef cc::SplitListMap< rcu_gpt, Key, Value, SplitList_Lazy_dyn_less_seqcst > SplitList_Lazy_RCU_GPT_dyn_less_seqcst;
1052 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
1053         typedef cc::SplitListMap< rcu_shb, Key, Value, SplitList_Lazy_dyn_less_seqcst > SplitList_Lazy_RCU_SHB_dyn_less_seqcst;
1054         typedef cc::SplitListMap< rcu_sht, Key, Value, SplitList_Lazy_dyn_less_seqcst > SplitList_Lazy_RCU_SHT_dyn_less_seqcst;
1055 #endif
1056
1057         struct SplitList_Lazy_st_less :
1058             public cc::split_list::make_traits<
1059                 cc::split_list::ordered_list<cc::lazy_list_tag>
1060                 ,cc::split_list::dynamic_bucket_table< false >
1061                 ,co::hash< hash >
1062                 ,cc::split_list::ordered_list_traits<
1063                     typename cc::lazy_list::make_traits<
1064                         co::less< less >
1065                     >::type
1066                 >
1067             >::type
1068         {};
1069         typedef cc::SplitListMap< cds::gc::HP, Key, Value, SplitList_Lazy_st_less > SplitList_Lazy_HP_st_less;
1070         typedef cc::SplitListMap< cds::gc::DHP, Key, Value, SplitList_Lazy_st_less > SplitList_Lazy_DHP_st_less;
1071         typedef NogcSplitMapWrapper< cc::SplitListMap< cds::gc::nogc, Key, Value, SplitList_Lazy_st_less >> SplitList_Lazy_NOGC_st_less;
1072         typedef cc::SplitListMap< rcu_gpi, Key, Value, SplitList_Lazy_st_less > SplitList_Lazy_RCU_GPI_st_less;
1073         typedef cc::SplitListMap< rcu_gpb, Key, Value, SplitList_Lazy_st_less > SplitList_Lazy_RCU_GPB_st_less;
1074         typedef cc::SplitListMap< rcu_gpt, Key, Value, SplitList_Lazy_st_less > SplitList_Lazy_RCU_GPT_st_less;
1075 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
1076         typedef cc::SplitListMap< rcu_shb, Key, Value, SplitList_Lazy_st_less > SplitList_Lazy_RCU_SHB_st_less;
1077         typedef cc::SplitListMap< rcu_sht, Key, Value, SplitList_Lazy_st_less > SplitList_Lazy_RCU_SHT_st_less;
1078 #endif
1079
1080         struct SplitList_Lazy_st_less_stat : public SplitList_Lazy_st_less
1081         {
1082             typedef cc::split_list::stat<> stat;
1083         };
1084         typedef cc::SplitListMap< cds::gc::HP, Key, Value, SplitList_Lazy_st_less_stat > SplitList_Lazy_HP_st_less_stat;
1085         typedef cc::SplitListMap< cds::gc::DHP, Key, Value, SplitList_Lazy_st_less_stat > SplitList_Lazy_DHP_st_less_stat;
1086         typedef NogcSplitMapWrapper< cc::SplitListMap< cds::gc::nogc, Key, Value, SplitList_Lazy_st_less_stat >> SplitList_Lazy_NOGC_st_less_stat;
1087         typedef cc::SplitListMap< rcu_gpi, Key, Value, SplitList_Lazy_st_less_stat > SplitList_Lazy_RCU_GPI_st_less_stat;
1088         typedef cc::SplitListMap< rcu_gpb, Key, Value, SplitList_Lazy_st_less_stat > SplitList_Lazy_RCU_GPB_st_less_stat;
1089         typedef cc::SplitListMap< rcu_gpt, Key, Value, SplitList_Lazy_st_less_stat > SplitList_Lazy_RCU_GPT_st_less_stat;
1090 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
1091         typedef cc::SplitListMap< rcu_shb, Key, Value, SplitList_Lazy_st_less_stat > SplitList_Lazy_RCU_SHB_st_less_stat;
1092         typedef cc::SplitListMap< rcu_sht, Key, Value, SplitList_Lazy_st_less_stat > SplitList_Lazy_RCU_SHT_st_less_stat;
1093 #endif
1094
1095         struct SplitList_Lazy_st_less_seqcst :
1096             public cc::split_list::make_traits<
1097                 cc::split_list::ordered_list<cc::lazy_list_tag>
1098                 ,co::hash< hash >
1099                 ,cc::split_list::dynamic_bucket_table< false >
1100                 ,co::memory_model< co::v::sequential_consistent >
1101                 ,cc::split_list::ordered_list_traits<
1102                     typename cc::lazy_list::make_traits<
1103                         co::less< less >
1104                         ,co::memory_model< co::v::sequential_consistent >
1105                     >::type
1106                 >
1107             >::type
1108         {};
1109         typedef cc::SplitListMap< cds::gc::HP, Key, Value, SplitList_Lazy_st_less_seqcst > SplitList_Lazy_HP_st_less_seqcst;
1110         typedef cc::SplitListMap< cds::gc::DHP, Key, Value, SplitList_Lazy_st_less_seqcst > SplitList_Lazy_DHP_st_less_seqcst;
1111         typedef NogcSplitMapWrapper< cc::SplitListMap< cds::gc::nogc, Key, Value, SplitList_Lazy_st_less_seqcst >> SplitList_Lazy_NOGC_st_less_seqcst;
1112         typedef cc::SplitListMap< rcu_gpi, Key, Value, SplitList_Lazy_st_less_seqcst > SplitList_Lazy_RCU_GPI_st_less_seqcst;
1113         typedef cc::SplitListMap< rcu_gpb, Key, Value, SplitList_Lazy_st_less_seqcst > SplitList_Lazy_RCU_GPB_st_less_seqcst;
1114         typedef cc::SplitListMap< rcu_gpt, Key, Value, SplitList_Lazy_st_less_seqcst > SplitList_Lazy_RCU_GPT_st_less_seqcst;
1115 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
1116         typedef cc::SplitListMap< rcu_shb, Key, Value, SplitList_Lazy_st_less_seqcst > SplitList_Lazy_RCU_SHB_st_less_seqcst;
1117         typedef cc::SplitListMap< rcu_sht, Key, Value, SplitList_Lazy_st_less_seqcst > SplitList_Lazy_RCU_SHT_st_less_seqcst;
1118 #endif
1119
1120
1121
1122         // ***************************************************************************
1123         // StripedHashMap
1124
1125         // for sequential containers
1126         template <class BucketEntry, typename... Options>
1127         class StripedHashMap_seq:
1128             public cc::StripedMap< BucketEntry,
1129                 co::mutex_policy< cc::striped_set::striping<> >
1130                 ,co::resizing_policy<cc::striped_set::load_factor_resizing<0> >
1131                 , Options...
1132             >
1133         {
1134             typedef cc::StripedMap< BucketEntry,
1135                 co::mutex_policy< cc::striped_set::striping<> >
1136                 ,co::resizing_policy<cc::striped_set::load_factor_resizing<0> >
1137                 , Options...
1138             > base_class;
1139             typedef typename base_class::resizing_policy resizing_policy_t;
1140
1141             resizing_policy_t   m_placeHolder;
1142         public:
1143             StripedHashMap_seq( size_t nCapacity, size_t nLoadFactor )
1144                 : base_class( nCapacity / nLoadFactor / 16, *(new(&m_placeHolder) resizing_policy_t( nLoadFactor )) )
1145             {}
1146         };
1147
1148         // for non-sequential ordered containers
1149         template <class BucketEntry, typename... Options>
1150         class StripedHashMap_ord:
1151             public cc::StripedMap< BucketEntry,
1152                 co::resizing_policy<cc::striped_set::load_factor_resizing<0> >
1153                 ,co::mutex_policy< cc::striped_set::striping<> >
1154                 , Options...
1155             >
1156         {
1157             typedef cc::StripedMap< BucketEntry,
1158                co::resizing_policy<cc::striped_set::load_factor_resizing<0> >
1159                 ,co::mutex_policy< cc::striped_set::striping<> >
1160                 , Options...
1161             > base_class;
1162             typedef typename base_class::resizing_policy resizing_policy_t;
1163
1164             resizing_policy_t   m_placeHolder;
1165         public:
1166             StripedHashMap_ord( size_t nCapacity, size_t nLoadFactor )
1167                 : base_class( 0, *(new(&m_placeHolder) resizing_policy_t( nLoadFactor * 1024 )) )
1168             {}
1169         };
1170
1171
1172         typedef StripedHashMap_seq<
1173             std::list< std::pair< Key const, Value > >
1174             , co::hash< hash2 >
1175             , co::less< less >
1176         > StripedMap_list;
1177
1178 #if (CDS_COMPILER == CDS_COMPILER_MSVC || (CDS_COMPILER == CDS_COMPILER_INTEL && CDS_OS_INTERFACE == CDS_OSI_WINDOWS)) && _MSC_VER < 1600
1179         typedef StripedHashMap_ord<
1180             stdext::hash_map< Key, Value, stdext::hash_compare<Key, less > >
1181             , co::hash< hash2 >
1182         > StripedMap_hashmap;
1183 #else
1184         typedef StripedHashMap_ord<
1185             std::unordered_map< Key, Value, hash, equal_to >
1186             , co::hash< hash2 >
1187         > StripedMap_hashmap;
1188 #endif
1189
1190         typedef StripedHashMap_ord<
1191             std::map< Key, Value, less >
1192             , co::hash< hash2 >
1193         > StripedMap_map;
1194
1195         typedef StripedHashMap_ord<
1196             boost::unordered_map< Key, Value, hash, equal_to >
1197             , co::hash< hash2 >
1198         > StripedMap_boost_unordered_map;
1199
1200 #if BOOST_VERSION >= 104800
1201         typedef StripedHashMap_seq<
1202             boost::container::slist< std::pair< Key const, Value > >
1203             , co::hash< hash2 >
1204             , co::less< less >
1205         > StripedMap_slist;
1206
1207         typedef StripedHashMap_seq<
1208             boost::container::list< std::pair< Key const, Value > >
1209             , co::hash< hash2 >
1210             , co::less< less >
1211         > StripedMap_boost_list;
1212
1213         typedef StripedHashMap_ord<
1214             boost::container::map< Key, Value, less >
1215             , co::hash< hash2 >
1216         > StripedMap_boost_map;
1217
1218 //#   ifdef CDS_UNIT_MAP_TYPES_ENABLE_BOOST_FLAT_CONTAINERS
1219         typedef StripedHashMap_ord<
1220             boost::container::flat_map< Key, Value, less >
1221             , co::hash< hash2 >
1222         > StripedMap_boost_flat_map;
1223 //#   endif
1224 #endif  // BOOST_VERSION >= 104800
1225
1226         // ***************************************************************************
1227         // RefinableHashMap
1228
1229         // for sequential containers
1230         template <class BucketEntry, typename... Options>
1231         class RefinableHashMap_seq:
1232             public cc::StripedMap< BucketEntry,
1233                 co::resizing_policy<cc::striped_set::load_factor_resizing<0> >
1234                 ,co::mutex_policy< cc::striped_set::refinable<> >
1235                 , Options...
1236             >
1237         {
1238             typedef cc::StripedMap< BucketEntry,
1239                co::resizing_policy<cc::striped_set::load_factor_resizing<0> >
1240                 ,co::mutex_policy< cc::striped_set::refinable<> >
1241                 , Options...
1242             > base_class;
1243             typedef typename base_class::resizing_policy resizing_policy_t;
1244
1245             resizing_policy_t   m_placeHolder;
1246         public:
1247             RefinableHashMap_seq( size_t nCapacity, size_t nLoadFactor )
1248                 : base_class( nCapacity / nLoadFactor / 16, *(new(&m_placeHolder) resizing_policy_t( nLoadFactor )) )
1249             {}
1250         };
1251
1252         // for non-sequential ordered containers
1253         template <class BucketEntry, typename... Options>
1254         class RefinableHashMap_ord:
1255             public cc::StripedMap< BucketEntry,
1256                 co::resizing_policy<cc::striped_set::load_factor_resizing<0> >
1257                 ,co::mutex_policy< cc::striped_set::refinable<> >
1258                 , Options...
1259             >
1260         {
1261             typedef cc::StripedMap< BucketEntry,
1262                co::resizing_policy<cc::striped_set::load_factor_resizing<0> >
1263                 ,co::mutex_policy< cc::striped_set::refinable<> >
1264                 , Options...
1265             > base_class;
1266             typedef typename base_class::resizing_policy resizing_policy_t;
1267
1268             resizing_policy_t   m_placeHolder;
1269         public:
1270             RefinableHashMap_ord( size_t nCapacity, size_t nLoadFactor )
1271                 : base_class( 0, *(new(&m_placeHolder) resizing_policy_t( nLoadFactor * 1024 )) )
1272             {}
1273         };
1274
1275
1276         typedef RefinableHashMap_seq<
1277             std::list< std::pair< Key const, Value > >
1278             , co::hash< hash2 >
1279             , co::less< less >
1280         > RefinableMap_list;
1281
1282 #if BOOST_VERSION >= 104800
1283         typedef RefinableHashMap_seq<
1284             boost::container::slist< std::pair< Key const, Value > >
1285             , co::hash< hash2 >
1286             , co::less< less >
1287         > RefinableMap_slist;
1288 #endif
1289
1290         typedef RefinableHashMap_ord<
1291             std::map< Key, Value, less >
1292             , co::hash< hash2 >
1293         > RefinableMap_map;
1294
1295         typedef RefinableHashMap_ord<
1296             std::unordered_map< Key, Value, hash, equal_to >
1297             , co::hash< hash2 >
1298         > RefinableMap_hashmap;
1299
1300         typedef RefinableHashMap_ord<
1301             boost::unordered_map< Key, Value, hash, equal_to >
1302             , co::hash< hash2 >
1303         > RefinableMap_boost_unordered_map;
1304
1305 #if BOOST_VERSION >= 104800
1306         typedef RefinableHashMap_seq<
1307             boost::container::list< std::pair< Key const, Value > >
1308             , co::hash< hash2 >
1309             , co::less< less >
1310         > RefinableMap_boost_list;
1311
1312         typedef RefinableHashMap_ord<
1313             boost::container::map< Key, Value, less >
1314             , co::hash< hash2 >
1315         > RefinableMap_boost_map;
1316
1317         typedef RefinableHashMap_ord<
1318             boost::container::flat_map< Key, Value, less >
1319             , co::hash< hash2 >
1320         > RefinableMap_boost_flat_map;
1321 #endif // #if BOOST_VERSION >= 104800
1322
1323
1324         // ***************************************************************************
1325         // CuckooMap
1326
1327         typedef CuckooStripedMap< Key, Value,
1328             cc::cuckoo::probeset_type< cc::cuckoo::list >
1329             ,co::equal_to< equal_to >
1330             ,co::hash< std::tuple< hash, hash2 > >
1331         > CuckooStripedMap_list_unord;
1332
1333         typedef CuckooStripedMap< Key, Value,
1334             cc::cuckoo::probeset_type< cc::cuckoo::list >
1335             ,co::equal_to< equal_to >
1336             ,co::hash< std::tuple< hash, hash2 > >
1337             ,co::stat< cc::cuckoo::stat >
1338         > CuckooStripedMap_list_unord_stat;
1339
1340         typedef CuckooStripedMap< Key, Value,
1341             cc::cuckoo::probeset_type< cc::cuckoo::list >
1342             ,co::equal_to< equal_to >
1343             ,co::hash< std::tuple< hash, hash2 > >
1344             ,cc::cuckoo::store_hash< true >
1345         > CuckooStripedMap_list_unord_storehash;
1346
1347         typedef CuckooStripedMap< Key, Value,
1348             cc::cuckoo::probeset_type< cc::cuckoo::list >
1349             ,co::compare< compare >
1350             ,co::hash< std::tuple< hash, hash2 > >
1351         > CuckooStripedMap_list_ord;
1352
1353         typedef CuckooStripedMap< Key, Value,
1354             cc::cuckoo::probeset_type< cc::cuckoo::list >
1355             ,co::compare< compare >
1356             ,co::hash< std::tuple< hash, hash2 > >
1357             ,co::stat< cc::cuckoo::stat >
1358         > CuckooStripedMap_list_ord_stat;
1359
1360         typedef CuckooStripedMap< Key, Value,
1361             cc::cuckoo::probeset_type< cc::cuckoo::list >
1362             ,co::compare< compare >
1363             ,co::hash< std::tuple< hash, hash2 > >
1364             ,cc::cuckoo::store_hash< true >
1365         > CuckooStripedMap_list_ord_storehash;
1366
1367         typedef CuckooStripedMap< Key, Value,
1368             cc::cuckoo::probeset_type< cc::cuckoo::vector<4> >
1369             ,co::equal_to< equal_to >
1370             ,co::hash< std::tuple< hash, hash2 > >
1371         > CuckooStripedMap_vector_unord;
1372
1373         typedef CuckooStripedMap< Key, Value,
1374             cc::cuckoo::probeset_type< cc::cuckoo::vector<4> >
1375             ,co::equal_to< equal_to >
1376             ,co::hash< std::tuple< hash, hash2 > >
1377             ,co::stat< cc::cuckoo::stat >
1378         > CuckooStripedMap_vector_unord_stat;
1379
1380         typedef CuckooStripedMap< Key, Value,
1381             cc::cuckoo::probeset_type< cc::cuckoo::vector<4> >
1382             ,co::equal_to< equal_to >
1383             ,co::hash< std::tuple< hash, hash2 > >
1384             ,cc::cuckoo::store_hash< true >
1385         > CuckooStripedMap_vector_unord_storehash;
1386
1387         typedef CuckooStripedMap< Key, Value,
1388             cc::cuckoo::probeset_type< cc::cuckoo::vector<4> >
1389             ,co::compare< compare >
1390             ,co::hash< std::tuple< hash, hash2 > >
1391         > CuckooStripedMap_vector_ord;
1392
1393         typedef CuckooStripedMap< Key, Value,
1394             cc::cuckoo::probeset_type< cc::cuckoo::vector<4> >
1395             ,co::compare< compare >
1396             ,co::hash< std::tuple< hash, hash2 > >
1397             ,co::stat< cc::cuckoo::stat >
1398         > CuckooStripedMap_vector_ord_stat;
1399
1400         typedef CuckooStripedMap< Key, Value,
1401             cc::cuckoo::probeset_type< cc::cuckoo::vector<4> >
1402             ,co::compare< compare >
1403             ,co::hash< std::tuple< hash, hash2 > >
1404             ,cc::cuckoo::store_hash< true >
1405         > CuckooStripedMap_vector_ord_storehash;
1406
1407         typedef CuckooRefinableMap< Key, Value,
1408             cc::cuckoo::probeset_type< cc::cuckoo::list >
1409             ,co::equal_to< equal_to >
1410             ,co::hash< std::tuple< hash, hash2 > >
1411         > CuckooRefinableMap_list_unord;
1412
1413         typedef CuckooRefinableMap< Key, Value,
1414             cc::cuckoo::probeset_type< cc::cuckoo::list >
1415             ,co::equal_to< equal_to >
1416             ,co::hash< std::tuple< hash, hash2 > >
1417             ,co::stat< cc::cuckoo::stat >
1418         > CuckooRefinableMap_list_unord_stat;
1419
1420         typedef CuckooRefinableMap< Key, Value,
1421             cc::cuckoo::probeset_type< cc::cuckoo::list >
1422             ,co::equal_to< equal_to >
1423             ,co::hash< std::tuple< hash, hash2 > >
1424             ,cc::cuckoo::store_hash< true >
1425         > CuckooRefinableMap_list_unord_storehash;
1426
1427         typedef CuckooRefinableMap< Key, Value,
1428             cc::cuckoo::probeset_type< cc::cuckoo::list >
1429             ,co::compare< compare >
1430             ,co::hash< std::tuple< hash, hash2 > >
1431         > CuckooRefinableMap_list_ord;
1432
1433         typedef CuckooRefinableMap< Key, Value,
1434             cc::cuckoo::probeset_type< cc::cuckoo::list >
1435             ,co::compare< compare >
1436             ,co::hash< std::tuple< hash, hash2 > >
1437             ,co::stat< cc::cuckoo::stat >
1438         > CuckooRefinableMap_list_ord_stat;
1439
1440         typedef CuckooRefinableMap< Key, Value,
1441             cc::cuckoo::probeset_type< cc::cuckoo::list >
1442             ,co::compare< compare >
1443             ,co::hash< std::tuple< hash, hash2 > >
1444             ,cc::cuckoo::store_hash< true >
1445         > CuckooRefinableMap_list_ord_storehash;
1446
1447         typedef CuckooRefinableMap< Key, Value,
1448             cc::cuckoo::probeset_type< cc::cuckoo::vector<4> >
1449             ,co::equal_to< equal_to >
1450             ,co::hash< std::tuple< hash, hash2 > >
1451         > CuckooRefinableMap_vector_unord;
1452
1453         typedef CuckooRefinableMap< Key, Value,
1454             cc::cuckoo::probeset_type< cc::cuckoo::vector<4> >
1455             ,co::equal_to< equal_to >
1456             ,co::hash< std::tuple< hash, hash2 > >
1457             ,co::stat< cc::cuckoo::stat >
1458         > CuckooRefinableMap_vector_unord_stat;
1459
1460         typedef CuckooRefinableMap< Key, Value,
1461             cc::cuckoo::probeset_type< cc::cuckoo::vector<4> >
1462             ,co::equal_to< equal_to >
1463             ,co::hash< std::tuple< hash, hash2 > >
1464             ,cc::cuckoo::store_hash< true >
1465         > CuckooRefinableMap_vector_unord_storehash;
1466
1467         typedef CuckooRefinableMap< Key, Value,
1468             cc::cuckoo::probeset_type< cc::cuckoo::vector<4> >
1469             ,co::compare< compare >
1470             ,co::hash< std::tuple< hash, hash2 > >
1471         > CuckooRefinableMap_vector_ord;
1472
1473         typedef CuckooRefinableMap< Key, Value,
1474             cc::cuckoo::probeset_type< cc::cuckoo::vector<4> >
1475             ,co::compare< compare >
1476             ,co::hash< std::tuple< hash, hash2 > >
1477             ,co::stat< cc::cuckoo::stat >
1478         > CuckooRefinableMap_vector_ord_stat;
1479
1480         typedef CuckooRefinableMap< Key, Value,
1481             cc::cuckoo::probeset_type< cc::cuckoo::vector<4> >
1482             ,co::compare< compare >
1483             ,co::hash< std::tuple< hash, hash2 > >
1484             ,cc::cuckoo::store_hash< true >
1485         > CuckooRefinableMap_vector_ord_storehash;
1486
1487         // ***************************************************************************
1488         // SkipListMap
1489
1490         class traits_SkipListMap_less_pascal: public cc::skip_list::make_traits <
1491                 co::less< less >
1492                 ,cc::skip_list::random_level_generator< cc::skip_list::turbo_pascal >
1493                 ,co::item_counter< cds::atomicity::item_counter >
1494             >::type
1495         {};
1496         typedef cc::SkipListMap< cds::gc::HP, Key, Value, traits_SkipListMap_less_pascal > SkipListMap_hp_less_pascal;
1497         typedef cc::SkipListMap< cds::gc::DHP, Key, Value, traits_SkipListMap_less_pascal > SkipListMap_dhp_less_pascal;
1498         typedef cc::SkipListMap< rcu_gpi, Key, Value, traits_SkipListMap_less_pascal > SkipListMap_rcu_gpi_less_pascal;
1499         typedef cc::SkipListMap< rcu_gpb, Key, Value, traits_SkipListMap_less_pascal > SkipListMap_rcu_gpb_less_pascal;
1500         typedef cc::SkipListMap< rcu_gpt, Key, Value, traits_SkipListMap_less_pascal > SkipListMap_rcu_gpt_less_pascal;
1501 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
1502         typedef cc::SkipListMap< rcu_shb, Key, Value, traits_SkipListMap_less_pascal > SkipListMap_rcu_shb_less_pascal;
1503         typedef cc::SkipListMap< rcu_sht, Key, Value, traits_SkipListMap_less_pascal > SkipListMap_rcu_sht_less_pascal;
1504 #endif
1505
1506         class traits_SkipListMap_less_pascal_seqcst: public cc::skip_list::make_traits <
1507                 co::less< less >
1508                 ,cc::skip_list::random_level_generator< cc::skip_list::turbo_pascal >
1509                 ,co::memory_model< co::v::sequential_consistent >
1510                 ,co::item_counter< cds::atomicity::item_counter >
1511             >::type
1512         {};
1513         typedef cc::SkipListMap< cds::gc::HP, Key, Value, traits_SkipListMap_less_pascal_seqcst > SkipListMap_hp_less_pascal_seqcst;
1514         typedef cc::SkipListMap< cds::gc::DHP, Key, Value, traits_SkipListMap_less_pascal_seqcst > SkipListMap_dhp_less_pascal_seqcst;
1515         typedef cc::SkipListMap< rcu_gpi, Key, Value, traits_SkipListMap_less_pascal_seqcst > SkipListMap_rcu_gpi_less_pascal_seqcst;
1516         typedef cc::SkipListMap< rcu_gpb, Key, Value, traits_SkipListMap_less_pascal_seqcst > SkipListMap_rcu_gpb_less_pascal_seqcst;
1517         typedef cc::SkipListMap< rcu_gpt, Key, Value, traits_SkipListMap_less_pascal_seqcst > SkipListMap_rcu_gpt_less_pascal_seqcst;
1518 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
1519         typedef cc::SkipListMap< rcu_shb, Key, Value, traits_SkipListMap_less_pascal_seqcst > SkipListMap_rcu_shb_less_pascal_seqcst;
1520         typedef cc::SkipListMap< rcu_sht, Key, Value, traits_SkipListMap_less_pascal_seqcst > SkipListMap_rcu_sht_less_pascal_seqcst;
1521 #endif
1522
1523         class traits_SkipListMap_less_pascal_stat: public cc::skip_list::make_traits <
1524                 co::less< less >
1525                 ,cc::skip_list::random_level_generator< cc::skip_list::turbo_pascal >
1526                 ,co::stat< cc::skip_list::stat<> >
1527                 ,co::item_counter< cds::atomicity::item_counter >
1528             >::type
1529         {};
1530         typedef cc::SkipListMap< cds::gc::HP, Key, Value, traits_SkipListMap_less_pascal_stat > SkipListMap_hp_less_pascal_stat;
1531         typedef cc::SkipListMap< cds::gc::DHP, Key, Value, traits_SkipListMap_less_pascal_stat > SkipListMap_dhp_less_pascal_stat;
1532         typedef cc::SkipListMap< rcu_gpi, Key, Value, traits_SkipListMap_less_pascal_stat > SkipListMap_rcu_gpi_less_pascal_stat;
1533         typedef cc::SkipListMap< rcu_gpb, Key, Value, traits_SkipListMap_less_pascal_stat > SkipListMap_rcu_gpb_less_pascal_stat;
1534         typedef cc::SkipListMap< rcu_gpt, Key, Value, traits_SkipListMap_less_pascal_stat > SkipListMap_rcu_gpt_less_pascal_stat;
1535 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
1536         typedef cc::SkipListMap< rcu_shb, Key, Value, traits_SkipListMap_less_pascal_stat > SkipListMap_rcu_shb_less_pascal_stat;
1537         typedef cc::SkipListMap< rcu_sht, Key, Value, traits_SkipListMap_less_pascal_stat > SkipListMap_rcu_sht_less_pascal_stat;
1538 #endif
1539
1540         class traits_SkipListMap_cmp_pascal: public cc::skip_list::make_traits <
1541                 co::compare< compare >
1542                 ,cc::skip_list::random_level_generator< cc::skip_list::turbo_pascal >
1543                 ,co::item_counter< cds::atomicity::item_counter >
1544             >::type
1545         {};
1546         typedef cc::SkipListMap< cds::gc::HP, Key, Value, traits_SkipListMap_cmp_pascal > SkipListMap_hp_cmp_pascal;
1547         typedef cc::SkipListMap< cds::gc::DHP, Key, Value, traits_SkipListMap_cmp_pascal > SkipListMap_dhp_cmp_pascal;
1548         typedef cc::SkipListMap< rcu_gpi, Key, Value, traits_SkipListMap_cmp_pascal > SkipListMap_rcu_gpi_cmp_pascal;
1549         typedef cc::SkipListMap< rcu_gpb, Key, Value, traits_SkipListMap_cmp_pascal > SkipListMap_rcu_gpb_cmp_pascal;
1550         typedef cc::SkipListMap< rcu_gpt, Key, Value, traits_SkipListMap_cmp_pascal > SkipListMap_rcu_gpt_cmp_pascal;
1551 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
1552         typedef cc::SkipListMap< rcu_shb, Key, Value, traits_SkipListMap_cmp_pascal > SkipListMap_rcu_shb_cmp_pascal;
1553         typedef cc::SkipListMap< rcu_sht, Key, Value, traits_SkipListMap_cmp_pascal > SkipListMap_rcu_sht_cmp_pascal;
1554 #endif
1555
1556         class traits_SkipListMap_cmp_pascal_stat: public cc::skip_list::make_traits <
1557                 co::compare< compare >
1558                 ,cc::skip_list::random_level_generator< cc::skip_list::turbo_pascal >
1559                 ,co::stat< cc::skip_list::stat<> >
1560                 ,co::item_counter< cds::atomicity::item_counter >
1561             >::type
1562         {};
1563         typedef cc::SkipListMap< cds::gc::HP, Key, Value, traits_SkipListMap_cmp_pascal_stat > SkipListMap_hp_cmp_pascal_stat;
1564         typedef cc::SkipListMap< cds::gc::DHP, Key, Value, traits_SkipListMap_cmp_pascal_stat > SkipListMap_dhp_cmp_pascal_stat;
1565         typedef cc::SkipListMap< rcu_gpi, Key, Value, traits_SkipListMap_cmp_pascal_stat > SkipListMap_rcu_gpi_cmp_pascal_stat;
1566         typedef cc::SkipListMap< rcu_gpb, Key, Value, traits_SkipListMap_cmp_pascal_stat > SkipListMap_rcu_gpb_cmp_pascal_stat;
1567         typedef cc::SkipListMap< rcu_gpt, Key, Value, traits_SkipListMap_cmp_pascal_stat > SkipListMap_rcu_gpt_cmp_pascal_stat;
1568 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
1569         typedef cc::SkipListMap< rcu_shb, Key, Value, traits_SkipListMap_cmp_pascal_stat > SkipListMap_rcu_shb_cmp_pascal_stat;
1570         typedef cc::SkipListMap< rcu_sht, Key, Value, traits_SkipListMap_cmp_pascal_stat > SkipListMap_rcu_sht_cmp_pascal_stat;
1571 #endif
1572
1573         class traits_SkipListMap_less_xorshift: public cc::skip_list::make_traits <
1574                 co::less< less >
1575                 ,cc::skip_list::random_level_generator< cc::skip_list::xorshift >
1576                 ,co::item_counter< cds::atomicity::item_counter >
1577             >::type
1578         {};
1579         typedef cc::SkipListMap< cds::gc::HP, Key, Value, traits_SkipListMap_less_xorshift > SkipListMap_hp_less_xorshift;
1580         typedef cc::SkipListMap< cds::gc::DHP, Key, Value, traits_SkipListMap_less_xorshift > SkipListMap_dhp_less_xorshift;
1581         typedef cc::SkipListMap< rcu_gpi, Key, Value, traits_SkipListMap_less_xorshift > SkipListMap_rcu_gpi_less_xorshift;
1582         typedef cc::SkipListMap< rcu_gpb, Key, Value, traits_SkipListMap_less_xorshift > SkipListMap_rcu_gpb_less_xorshift;
1583         typedef cc::SkipListMap< rcu_gpt, Key, Value, traits_SkipListMap_less_xorshift > SkipListMap_rcu_gpt_less_xorshift;
1584 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
1585         typedef cc::SkipListMap< rcu_shb, Key, Value, traits_SkipListMap_less_xorshift > SkipListMap_rcu_shb_less_xorshift;
1586         typedef cc::SkipListMap< rcu_sht, Key, Value, traits_SkipListMap_less_xorshift > SkipListMap_rcu_sht_less_xorshift;
1587 #endif
1588
1589         class traits_SkipListMap_less_xorshift_stat: public cc::skip_list::make_traits <
1590                 co::less< less >
1591                 ,cc::skip_list::random_level_generator< cc::skip_list::xorshift >
1592                 ,co::stat< cc::skip_list::stat<> >
1593                 ,co::item_counter< cds::atomicity::item_counter >
1594             >::type
1595         {};
1596         typedef cc::SkipListMap< cds::gc::HP, Key, Value, traits_SkipListMap_less_xorshift_stat > SkipListMap_hp_less_xorshift_stat;
1597         typedef cc::SkipListMap< cds::gc::DHP, Key, Value, traits_SkipListMap_less_xorshift_stat > SkipListMap_dhp_less_xorshift_stat;
1598         typedef cc::SkipListMap< rcu_gpi, Key, Value, traits_SkipListMap_less_xorshift_stat > SkipListMap_rcu_gpi_less_xorshift_stat;
1599         typedef cc::SkipListMap< rcu_gpb, Key, Value, traits_SkipListMap_less_xorshift_stat > SkipListMap_rcu_gpb_less_xorshift_stat;
1600         typedef cc::SkipListMap< rcu_gpt, Key, Value, traits_SkipListMap_less_xorshift_stat > SkipListMap_rcu_gpt_less_xorshift_stat;
1601 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
1602         typedef cc::SkipListMap< rcu_shb, Key, Value, traits_SkipListMap_less_xorshift_stat > SkipListMap_rcu_shb_less_xorshift_stat;
1603         typedef cc::SkipListMap< rcu_sht, Key, Value, traits_SkipListMap_less_xorshift_stat > SkipListMap_rcu_sht_less_xorshift_stat;
1604 #endif
1605
1606         class traits_SkipListMap_cmp_xorshift: public cc::skip_list::make_traits <
1607                 co::compare< compare >
1608                 ,cc::skip_list::random_level_generator< cc::skip_list::xorshift >
1609                 ,co::item_counter< cds::atomicity::item_counter >
1610             >::type
1611         {};
1612         typedef cc::SkipListMap< cds::gc::HP, Key, Value, traits_SkipListMap_cmp_xorshift > SkipListMap_hp_cmp_xorshift;
1613         typedef cc::SkipListMap< cds::gc::DHP, Key, Value, traits_SkipListMap_cmp_xorshift > SkipListMap_dhp_cmp_xorshift;
1614         typedef cc::SkipListMap< rcu_gpi, Key, Value, traits_SkipListMap_cmp_xorshift > SkipListMap_rcu_gpi_cmp_xorshift;
1615         typedef cc::SkipListMap< rcu_gpb, Key, Value, traits_SkipListMap_cmp_xorshift > SkipListMap_rcu_gpb_cmp_xorshift;
1616         typedef cc::SkipListMap< rcu_gpt, Key, Value, traits_SkipListMap_cmp_xorshift > SkipListMap_rcu_gpt_cmp_xorshift;
1617 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
1618         typedef cc::SkipListMap< rcu_shb, Key, Value, traits_SkipListMap_cmp_xorshift > SkipListMap_rcu_shb_cmp_xorshift;
1619         typedef cc::SkipListMap< rcu_sht, Key, Value, traits_SkipListMap_cmp_xorshift > SkipListMap_rcu_sht_cmp_xorshift;
1620 #endif
1621
1622         class traits_SkipListMap_cmp_xorshift_stat: public cc::skip_list::make_traits <
1623                 co::compare< compare >
1624                 ,cc::skip_list::random_level_generator< cc::skip_list::xorshift >
1625                 ,co::stat< cc::skip_list::stat<> >
1626                 ,co::item_counter< cds::atomicity::item_counter >
1627             >::type
1628         {};
1629         typedef cc::SkipListMap< cds::gc::HP, Key, Value, traits_SkipListMap_cmp_xorshift_stat > SkipListMap_hp_cmp_xorshift_stat;
1630         typedef cc::SkipListMap< cds::gc::DHP, Key, Value, traits_SkipListMap_cmp_xorshift_stat > SkipListMap_dhp_cmp_xorshift_stat;
1631         typedef cc::SkipListMap< rcu_gpi, Key, Value, traits_SkipListMap_cmp_xorshift_stat > SkipListMap_rcu_gpi_cmp_xorshift_stat;
1632         typedef cc::SkipListMap< rcu_gpb, Key, Value, traits_SkipListMap_cmp_xorshift_stat > SkipListMap_rcu_gpb_cmp_xorshift_stat;
1633         typedef cc::SkipListMap< rcu_gpt, Key, Value, traits_SkipListMap_cmp_xorshift_stat > SkipListMap_rcu_gpt_cmp_xorshift_stat;
1634 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
1635         typedef cc::SkipListMap< rcu_shb, Key, Value, traits_SkipListMap_cmp_xorshift_stat > SkipListMap_rcu_shb_cmp_xorshift_stat;
1636         typedef cc::SkipListMap< rcu_sht, Key, Value, traits_SkipListMap_cmp_xorshift_stat > SkipListMap_rcu_sht_cmp_xorshift_stat;
1637 #endif
1638
1639
1640         // ***************************************************************************
1641         // EllenBinTreeMap
1642         struct ellen_bintree_props {
1643             struct hp_gc {
1644                 typedef cc::ellen_bintree::map_node<cds::gc::HP, Key, Value>        leaf_node;
1645                 typedef cc::ellen_bintree::internal_node< Key, leaf_node >          internal_node;
1646                 typedef cc::ellen_bintree::update_desc< leaf_node, internal_node >  update_desc;
1647             };
1648             struct dhp_gc {
1649                 typedef cc::ellen_bintree::map_node<cds::gc::DHP, Key, Value>       leaf_node;
1650                 typedef cc::ellen_bintree::internal_node< Key, leaf_node >          internal_node;
1651                 typedef cc::ellen_bintree::update_desc< leaf_node, internal_node >  update_desc;
1652             };
1653             struct gpi {
1654                 typedef cc::ellen_bintree::map_node<rcu_gpi, Key, Value>            leaf_node;
1655                 typedef cc::ellen_bintree::internal_node< Key, leaf_node >          internal_node;
1656                 typedef cc::ellen_bintree::update_desc< leaf_node, internal_node >  update_desc;
1657             };
1658             struct gpb {
1659                 typedef cc::ellen_bintree::map_node<rcu_gpb, Key, Value>            leaf_node;
1660                 typedef cc::ellen_bintree::internal_node< Key, leaf_node >          internal_node;
1661                 typedef cc::ellen_bintree::update_desc< leaf_node, internal_node >  update_desc;
1662             };
1663             struct gpt {
1664                 typedef cc::ellen_bintree::map_node<rcu_gpt, Key, Value>            leaf_node;
1665                 typedef cc::ellen_bintree::internal_node< Key, leaf_node >          internal_node;
1666                 typedef cc::ellen_bintree::update_desc< leaf_node, internal_node >  update_desc;
1667             };
1668 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
1669             struct shb {
1670                 typedef cc::ellen_bintree::map_node<rcu_shb, Key, Value>            leaf_node;
1671                 typedef cc::ellen_bintree::internal_node< Key, leaf_node >          internal_node;
1672                 typedef cc::ellen_bintree::update_desc< leaf_node, internal_node >  update_desc;
1673             };
1674             struct sht {
1675                 typedef cc::ellen_bintree::map_node<rcu_sht, Key, Value>            leaf_node;
1676                 typedef cc::ellen_bintree::internal_node< Key, leaf_node >          internal_node;
1677                 typedef cc::ellen_bintree::update_desc< leaf_node, internal_node >  update_desc;
1678             };
1679 #endif
1680         };
1681
1682         struct traits_EllenBinTreeMap: public cc::ellen_bintree::make_set_traits<
1683                 co::less< less >
1684                 ,co::node_allocator< ellen_bintree_pool::internal_node_allocator< int > >
1685                 ,co::item_counter< cds::atomicity::item_counter >
1686             >::type
1687         {};
1688         struct traits_EllenBinTreeMap_hp : traits_EllenBinTreeMap {
1689             typedef cds::memory::pool_allocator< typename ellen_bintree_props::hp_gc::update_desc, ellen_bintree_pool::update_desc_pool_accessor > update_desc_allocator;
1690         };
1691         typedef cc::EllenBinTreeMap< cds::gc::HP, Key, Value, traits_EllenBinTreeMap_hp >EllenBinTreeMap_hp;
1692
1693         struct traits_EllenBinTreeMap_dhp : traits_EllenBinTreeMap {
1694             typedef cds::memory::pool_allocator< typename ellen_bintree_props::dhp_gc::update_desc, ellen_bintree_pool::update_desc_pool_accessor > update_desc_allocator;
1695         };
1696         typedef cc::EllenBinTreeMap< cds::gc::DHP, Key, Value, traits_EllenBinTreeMap_dhp >EllenBinTreeMap_dhp;
1697
1698         struct traits_EllenBinTreeMap_gpi : traits_EllenBinTreeMap {
1699             typedef cds::memory::pool_allocator< typename ellen_bintree_props::gpi::update_desc, ellen_bintree_pool::update_desc_pool_accessor > update_desc_allocator;
1700         };
1701         typedef cc::EllenBinTreeMap< rcu_gpi, Key, Value, traits_EllenBinTreeMap_gpi >EllenBinTreeMap_rcu_gpi;
1702
1703         struct traits_EllenBinTreeMap_gpb : traits_EllenBinTreeMap {
1704             typedef cds::memory::pool_allocator< typename ellen_bintree_props::gpb::update_desc, ellen_bintree_pool::update_desc_pool_accessor > update_desc_allocator;
1705         };
1706         typedef cc::EllenBinTreeMap< rcu_gpb, Key, Value, traits_EllenBinTreeMap_gpb >EllenBinTreeMap_rcu_gpb;
1707
1708         struct traits_EllenBinTreeMap_gpt : traits_EllenBinTreeMap {
1709             typedef cds::memory::pool_allocator< typename ellen_bintree_props::gpt::update_desc, ellen_bintree_pool::update_desc_pool_accessor > update_desc_allocator;
1710         };
1711         typedef cc::EllenBinTreeMap< rcu_gpt, Key, Value, traits_EllenBinTreeMap_gpt >EllenBinTreeMap_rcu_gpt;
1712
1713 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
1714         struct traits_EllenBinTreeMap_shb : traits_EllenBinTreeMap {
1715             typedef cds::memory::pool_allocator< typename ellen_bintree_props::shb::update_desc, ellen_bintree_pool::update_desc_pool_accessor > update_desc_allocator;
1716         };
1717         typedef cc::EllenBinTreeMap< rcu_shb, Key, Value, traits_EllenBinTreeMap_shb >EllenBinTreeMap_rcu_shb;
1718
1719         struct traits_EllenBinTreeMap_sht : traits_EllenBinTreeMap {
1720             typedef cds::memory::pool_allocator< typename ellen_bintree_props::sht::update_desc, ellen_bintree_pool::update_desc_pool_accessor > update_desc_allocator;
1721         };
1722         typedef cc::EllenBinTreeMap< rcu_sht, Key, Value, traits_EllenBinTreeMap_sht >EllenBinTreeMap_rcu_sht;
1723 #endif
1724
1725         struct traits_EllenBinTreeMap_stat: public cc::ellen_bintree::make_set_traits<
1726                 co::less< less >
1727                 ,cc::ellen_bintree::update_desc_allocator<
1728                     cds::memory::pool_allocator< typename ellen_bintree_props::hp_gc::update_desc, ellen_bintree_pool::update_desc_pool_accessor >
1729                 >
1730                 ,co::node_allocator< ellen_bintree_pool::internal_node_allocator< int > >
1731                 ,co::stat< cc::ellen_bintree::stat<> >
1732                 ,co::item_counter< cds::atomicity::item_counter >
1733             >::type
1734         {};
1735
1736         struct traits_EllenBinTreeMap_stat_hp : public traits_EllenBinTreeMap_stat
1737         {
1738             typedef cds::memory::pool_allocator< typename ellen_bintree_props::hp_gc::update_desc, ellen_bintree_pool::update_desc_pool_accessor > update_desc_allocator;
1739         };
1740         typedef cc::EllenBinTreeMap< cds::gc::HP, Key, Value, traits_EllenBinTreeMap_stat_hp > EllenBinTreeMap_hp_stat;
1741
1742         struct traits_EllenBinTreeMap_stat_dhp : public traits_EllenBinTreeMap_stat
1743         {
1744             typedef cds::memory::pool_allocator< typename ellen_bintree_props::dhp_gc::update_desc, ellen_bintree_pool::update_desc_pool_accessor > update_desc_allocator;
1745         };
1746         typedef cc::EllenBinTreeMap< cds::gc::HP, Key, Value, traits_EllenBinTreeMap_stat_dhp > EllenBinTreeMap_dhp_stat;
1747
1748         struct traits_EllenBinTreeMap_stat_gpi : public traits_EllenBinTreeMap_stat
1749         {
1750             typedef cds::memory::pool_allocator< typename ellen_bintree_props::gpi::update_desc, ellen_bintree_pool::update_desc_pool_accessor > update_desc_allocator;
1751         };
1752         typedef cc::EllenBinTreeMap< rcu_gpi, Key, Value, traits_EllenBinTreeMap_stat_gpi > EllenBinTreeMap_rcu_gpi_stat;
1753
1754         struct traits_EllenBinTreeMap_stat_gpb : public traits_EllenBinTreeMap_stat
1755         {
1756             typedef cds::memory::pool_allocator< typename ellen_bintree_props::gpb::update_desc, ellen_bintree_pool::update_desc_pool_accessor > update_desc_allocator;
1757         };
1758         typedef cc::EllenBinTreeMap< rcu_gpb, Key, Value, traits_EllenBinTreeMap_stat_gpb > EllenBinTreeMap_rcu_gpb_stat;
1759
1760         struct traits_EllenBinTreeMap_stat_gpt : public traits_EllenBinTreeMap_stat
1761         {
1762             typedef cds::memory::pool_allocator< typename ellen_bintree_props::gpt::update_desc, ellen_bintree_pool::update_desc_pool_accessor > update_desc_allocator;
1763         };
1764         typedef cc::EllenBinTreeMap< rcu_gpt, Key, Value, traits_EllenBinTreeMap_stat_gpt > EllenBinTreeMap_rcu_gpt_stat;
1765
1766 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
1767         struct traits_EllenBinTreeMap_stat_shb : public traits_EllenBinTreeMap_stat
1768         {
1769             typedef cds::memory::pool_allocator< typename ellen_bintree_props::shb::update_desc, ellen_bintree_pool::update_desc_pool_accessor > update_desc_allocator;
1770         };
1771         typedef cc::EllenBinTreeMap< rcu_shb, Key, Value, traits_EllenBinTreeMap_stat_shb > EllenBinTreeMap_rcu_shb_stat;
1772
1773         struct traits_EllenBinTreeMap_stat_sht : public traits_EllenBinTreeMap_stat
1774         {
1775             typedef cds::memory::pool_allocator< typename ellen_bintree_props::sht::update_desc, ellen_bintree_pool::update_desc_pool_accessor > update_desc_allocator;
1776         };
1777         typedef cc::EllenBinTreeMap< rcu_sht, Key, Value, traits_EllenBinTreeMap_stat_sht > EllenBinTreeMap_rcu_sht_stat;
1778 #endif
1779
1780         // ***************************************************************************
1781         // Standard implementations
1782
1783         typedef StdMap< Key, Value, cds::SpinLock >             StdMap_Spin;
1784         typedef StdMap< Key, Value, lock::NoLock>               StdMap_NoLock;
1785
1786         typedef StdHashMap< Key, Value, cds::SpinLock >         StdHashMap_Spin;
1787         typedef StdHashMap< Key, Value, lock::NoLock >          StdHashMap_NoLock;
1788
1789     };
1790
1791     template <typename Map>
1792     static inline void print_stat( Map const& m )
1793     {}
1794
1795     template <typename Map>
1796     static inline void additional_cleanup( Map& m )
1797     {}
1798
1799     template <typename Map>
1800     static inline void additional_check( Map& m )
1801     {}
1802
1803
1804     template <typename K, typename T, typename Traits >
1805     static inline void print_stat( cc::CuckooMap< K, T, Traits > const& m )
1806     {
1807         CPPUNIT_MSG( m.statistics() << m.mutex_policy_statistics() );
1808     }
1809
1810     template <typename GC, typename K, typename T, typename Traits >
1811     static inline void print_stat( cc::SkipListMap< GC, K, T, Traits > const& m )
1812     {
1813         CPPUNIT_MSG( m.statistics() );
1814     }
1815
1816     template <typename GC, typename K, typename T, typename Traits >
1817     static inline void print_stat( cc::SplitListMap< GC, K, T, Traits > const& m )
1818     {
1819         CPPUNIT_MSG( m.statistics() );
1820     }
1821
1822     // EllenBinTreeMap
1823     template <typename GC, typename Key, typename T, typename Traits>
1824     static inline void print_stat( cc::EllenBinTreeMap<GC, Key, T, Traits> const& s )
1825     {
1826         CPPUNIT_MSG( s.statistics() );
1827     }
1828     template <typename GC, typename Key, typename T, typename Traits>
1829     static inline void additional_cleanup( cc::EllenBinTreeMap<GC, Key, T, Traits>& s )
1830     {
1831         ellen_bintree_pool::internal_node_counter::reset();
1832     }
1833     namespace ellen_bintree_check {
1834         static inline void check_stat( cds::intrusive::ellen_bintree::empty_stat const& s )
1835         {
1836             // This check is not valid for thread-based RCU
1837             /*
1838             CPPUNIT_CHECK_CURRENT_EX( ellen_bintree_pool::internal_node_counter::m_nAlloc.get() == ellen_bintree_pool::internal_node_counter::m_nFree.get(),
1839                 "m_nAlloc=" << ellen_bintree_pool::internal_node_counter::m_nAlloc.get()
1840                 << ", m_nFree=" << ellen_bintree_pool::internal_node_counter::m_nFree.get()
1841                 );
1842             */
1843         }
1844
1845         static inline void check_stat( cds::intrusive::ellen_bintree::stat<> const& stat )
1846         {
1847             CPPUNIT_CHECK_CURRENT_EX( stat.m_nInternalNodeCreated == stat.m_nInternalNodeDeleted,
1848                 "m_nInternalNodeCreated=" << stat.m_nInternalNodeCreated
1849                 << " m_nInternalNodeDeleted=" << stat.m_nInternalNodeDeleted );
1850             CPPUNIT_CHECK_CURRENT_EX( stat.m_nUpdateDescCreated == stat.m_nUpdateDescDeleted,
1851                 "m_nUpdateDescCreated=" << stat.m_nUpdateDescCreated
1852                 << " m_nUpdateDescDeleted=" << stat.m_nUpdateDescDeleted );
1853             CPPUNIT_CHECK_CURRENT_EX( ellen_bintree_pool::internal_node_counter::m_nAlloc.get() == stat.m_nInternalNodeCreated,
1854                 "allocated=" << ellen_bintree_pool::internal_node_counter::m_nAlloc.get()
1855                 << "m_nInternalNodeCreated=" << stat.m_nInternalNodeCreated );
1856         }
1857     }   // namespace ellen_bintree_check
1858     template <typename GC, typename Key, typename T, typename Traits>
1859     static inline void additional_check( cc::EllenBinTreeMap<GC, Key, T, Traits>& s )
1860     {
1861         GC::force_dispose();
1862         ellen_bintree_check::check_stat( s.statistics() );
1863     }
1864
1865
1866     template <typename K, typename V, typename... Options>
1867     static inline void print_stat( CuckooStripedMap< K, V, Options... > const& m )
1868     {
1869         typedef CuckooStripedMap< K, V, Options... > map_type;
1870         print_stat( static_cast<typename map_type::cuckoo_base_class const&>(m) );
1871     }
1872
1873     template <typename K, typename V, typename... Options>
1874     static inline void print_stat( CuckooRefinableMap< K, V, Options... > const& m )
1875     {
1876         typedef CuckooRefinableMap< K, V, Options... > map_type;
1877         print_stat( static_cast<typename map_type::cuckoo_base_class const&>(m) );
1878     }
1879
1880 }   // namespace map2
1881
1882 #endif // ifndef _CDSUNIT_MAP2_MAP_TYPES_H