test/stress/set/set_type_split_list.h

   1 /*
   2     This file is a part of libcds - Concurrent Data Structures library
   3
   4     (C) Copyright Maxim Khizhinsky (libcds.dev@gmail.com) 2006-2017
   5
   6     Source code repo: http://github.com/khizmax/libcds/
   7     Download: http://sourceforge.net/projects/libcds/files/
   8
   9     Redistribution and use in source and binary forms, with or without
  10     modification, are permitted provided that the following conditions are met:
  11
  12     * Redistributions of source code must retain the above copyright notice, this
  13       list of conditions and the following disclaimer.
  14
  15     * Redistributions in binary form must reproduce the above copyright notice,
  16       this list of conditions and the following disclaimer in the documentation
  17       and/or other materials provided with the distribution.
  18
  19     THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
  20     AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  21     IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
  22     DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
  23     FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  24     DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
  25     SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
  26     CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
  27     OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  28     OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  29 */
  30
  31 #ifndef CDSUNIT_SET_TYPE_SPLIT_LIST_H
  32 #define CDSUNIT_SET_TYPE_SPLIT_LIST_H
  33
  34 #include "set_type.h"
  35
  36 #include <cds/container/michael_list_hp.h>
  37 #include <cds/container/michael_list_dhp.h>
  38 #include <cds/container/michael_list_rcu.h>
  39 #include <cds/container/lazy_list_hp.h>
  40 #include <cds/container/lazy_list_dhp.h>
  41 #include <cds/container/lazy_list_rcu.h>
  42 #include <cds/container/iterable_list_hp.h>
  43 #include <cds/container/iterable_list_dhp.h>
  44
  45 #include <cds/container/split_list_set.h>
  46 #include <cds/container/split_list_set_rcu.h>
  47
  48 #include <cds_test/stat_splitlist_out.h>
  49 #include <cds_test/stat_michael_list_out.h>
  50 #include <cds_test/stat_lazy_list_out.h>
  51 #include <cds_test/stat_iterable_list_out.h>
  52
  53 namespace set {
  54
  55     template <typename GC, typename T, typename Traits = cc::split_list::traits>
  56     class SplitListSet : public cc::SplitListSet< GC, T, Traits >
  57     {
  58         typedef cc::SplitListSet< GC, T, Traits > base_class;
  59     public:
  60         template <typename Config>
  61         SplitListSet( Config const& cfg )
  62             : base_class( cfg.s_nSetSize, cfg.s_nLoadFactor )
  63         {}
  64
  65         template <typename Iterator>
  66         typename std::enable_if< std::is_same< Iterator, typename base_class::iterator>::value, Iterator>::type
  67         get_begin()
  68         {
  69             return base_class::begin();
  70         }
  71
  72         template <typename Iterator>
  73         typename std::enable_if< std::is_same< Iterator, typename base_class::iterator>::value, Iterator>::type
  74         get_end()
  75         {
  76             return base_class::end();
  77         }
  78
  79         // for testing
  80         static CDS_CONSTEXPR bool const c_bExtractSupported = true;
  81         static CDS_CONSTEXPR bool const c_bLoadFactorDepended = true;
  82         static CDS_CONSTEXPR bool const c_bEraseExactKey = false;
  83     };
  84
  85     struct tag_SplitListSet;
  86
  87     template <typename Key, typename Val>
  88     struct set_type< tag_SplitListSet, Key, Val >: public set_type_base< Key, Val >
  89     {
  90         typedef set_type_base< Key, Val > base_class;
  91         typedef typename base_class::key_val key_val;
  92         typedef typename base_class::compare compare;
  93         typedef typename base_class::less less;
  94         typedef typename base_class::hash hash;
  95
  96         // ***************************************************************************
  97         // SplitListSet based on MichaelList
  98
  99         struct traits_SplitList_Michael_dyn_cmp :
 100             public cc::split_list::make_traits<
 101                 cc::split_list::ordered_list<cc::michael_list_tag>
 102                 ,co::hash< hash >
 103                 ,cc::split_list::ordered_list_traits<
 104                     typename cc::michael_list::make_traits<
 105                         co::compare< compare >
 106                     >::type
 107                 >
 108             >::type
 109         {};
 110         typedef SplitListSet< cds::gc::HP,  key_val, traits_SplitList_Michael_dyn_cmp > SplitList_Michael_HP_dyn_cmp;
 111         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Michael_dyn_cmp > SplitList_Michael_DHP_dyn_cmp;
 112         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Michael_dyn_cmp > SplitList_Michael_RCU_GPI_dyn_cmp;
 113         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Michael_dyn_cmp > SplitList_Michael_RCU_GPB_dyn_cmp;
 114         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Michael_dyn_cmp > SplitList_Michael_RCU_GPT_dyn_cmp;
 115 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 116         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Michael_dyn_cmp > SplitList_Michael_RCU_SHB_dyn_cmp;
 117         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Michael_dyn_cmp > SplitList_Michael_RCU_SHT_dyn_cmp;
 118 #endif
 119
 120         struct traits_SplitList_Michael_dyn_cmp_swar: public traits_SplitList_Michael_dyn_cmp
 121         {
 122             typedef cds::algo::bit_reversal::swar bit_reversal;
 123         };
 124         typedef SplitListSet< cds::gc::HP, key_val, traits_SplitList_Michael_dyn_cmp_swar > SplitList_Michael_HP_dyn_cmp_swar;
 125         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Michael_dyn_cmp_swar > SplitList_Michael_DHP_dyn_cmp_swar;
 126         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Michael_dyn_cmp_swar > SplitList_Michael_RCU_GPI_dyn_cmp_swar;
 127         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Michael_dyn_cmp_swar > SplitList_Michael_RCU_GPB_dyn_cmp_swar;
 128         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Michael_dyn_cmp_swar > SplitList_Michael_RCU_GPT_dyn_cmp_swar;
 129 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 130         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Michael_dyn_cmp_swar > SplitList_Michael_RCU_SHB_dyn_cmp_swar;
 131         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Michael_dyn_cmp_swar > SplitList_Michael_RCU_SHT_dyn_cmp_swar;
 132 #endif
 133
 134         struct traits_SplitList_Michael_dyn_cmp_stat :
 135             public cc::split_list::make_traits<
 136                 cc::split_list::ordered_list<cc::michael_list_tag>
 137                 ,co::hash< hash >
 138                 ,co::stat< cc::split_list::stat<> >
 139                 ,cc::split_list::ordered_list_traits<
 140                     typename cc::michael_list::make_traits<
 141                         co::compare< compare >
 142                         ,co::stat< cc::michael_list::stat<>>
 143                     >::type
 144                 >
 145             >::type
 146         {};
 147         typedef SplitListSet< cds::gc::HP, key_val, traits_SplitList_Michael_dyn_cmp_stat > SplitList_Michael_HP_dyn_cmp_stat;
 148         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Michael_dyn_cmp_stat > SplitList_Michael_DHP_dyn_cmp_stat;
 149         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Michael_dyn_cmp_stat > SplitList_Michael_RCU_GPI_dyn_cmp_stat;
 150         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Michael_dyn_cmp_stat > SplitList_Michael_RCU_GPB_dyn_cmp_stat;
 151         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Michael_dyn_cmp_stat > SplitList_Michael_RCU_GPT_dyn_cmp_stat;
 152 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 153         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Michael_dyn_cmp_stat > SplitList_Michael_RCU_SHB_dyn_cmp_stat;
 154         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Michael_dyn_cmp_stat > SplitList_Michael_RCU_SHT_dyn_cmp_stat;
 155 #endif
 156
 157         struct traits_SplitList_Michael_dyn_cmp_seqcst :
 158             public cc::split_list::make_traits<
 159                 cc::split_list::ordered_list<cc::michael_list_tag>
 160                 ,co::hash< hash >
 161                 ,co::memory_model< co::v::sequential_consistent >
 162                 ,cc::split_list::ordered_list_traits<
 163                     typename cc::michael_list::make_traits<
 164                         co::compare< compare >
 165                         ,co::memory_model< co::v::sequential_consistent >
 166                     >::type
 167                 >
 168             >::type
 169         {};
 170         typedef SplitListSet< cds::gc::HP,  key_val, traits_SplitList_Michael_dyn_cmp_seqcst > SplitList_Michael_HP_dyn_cmp_seqcst;
 171         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Michael_dyn_cmp_seqcst > SplitList_Michael_DHP_dyn_cmp_seqcst;
 172         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Michael_dyn_cmp_seqcst > SplitList_Michael_RCU_GPI_dyn_cmp_seqcst;
 173         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Michael_dyn_cmp_seqcst > SplitList_Michael_RCU_GPB_dyn_cmp_seqcst;
 174         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Michael_dyn_cmp_seqcst > SplitList_Michael_RCU_GPT_dyn_cmp_seqcst;
 175 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 176         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Michael_dyn_cmp_seqcst > SplitList_Michael_RCU_SHB_dyn_cmp_seqcst;
 177         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Michael_dyn_cmp_seqcst > SplitList_Michael_RCU_SHT_dyn_cmp_seqcst;
 178 #endif
 179
 180         struct traits_SplitList_Michael_st_cmp :
 181             public cc::split_list::make_traits<
 182                 cc::split_list::ordered_list<cc::michael_list_tag>
 183                 ,cc::split_list::dynamic_bucket_table< false >
 184                 ,co::hash< hash >
 185                 ,cc::split_list::ordered_list_traits<
 186                     typename cc::michael_list::make_traits<
 187                         co::compare< compare >
 188                     >::type
 189                 >
 190             >::type
 191         {};
 192         typedef SplitListSet< cds::gc::HP,  key_val, traits_SplitList_Michael_st_cmp > SplitList_Michael_HP_st_cmp;
 193         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Michael_st_cmp > SplitList_Michael_DHP_st_cmp;
 194         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Michael_st_cmp > SplitList_Michael_RCU_GPI_st_cmp;
 195         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Michael_st_cmp > SplitList_Michael_RCU_GPB_st_cmp;
 196         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Michael_st_cmp > SplitList_Michael_RCU_GPT_st_cmp;
 197 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 198         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Michael_st_cmp > SplitList_Michael_RCU_SHB_st_cmp;
 199         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Michael_st_cmp > SplitList_Michael_RCU_SHT_st_cmp;
 200 #endif
 201
 202         //HP + less
 203         struct traits_SplitList_Michael_dyn_less :
 204             public cc::split_list::make_traits<
 205                 cc::split_list::ordered_list<cc::michael_list_tag>
 206                 ,co::hash< hash >
 207                 ,cc::split_list::ordered_list_traits<
 208                     typename cc::michael_list::make_traits<
 209                         co::less< less >
 210                     >::type
 211                 >
 212             >::type
 213         {};
 214         typedef SplitListSet< cds::gc::HP,  key_val, traits_SplitList_Michael_dyn_less > SplitList_Michael_HP_dyn_less;
 215         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Michael_dyn_less > SplitList_Michael_DHP_dyn_less;
 216         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Michael_dyn_less > SplitList_Michael_RCU_GPI_dyn_less;
 217         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Michael_dyn_less > SplitList_Michael_RCU_GPB_dyn_less;
 218         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Michael_dyn_less > SplitList_Michael_RCU_GPT_dyn_less;
 219 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 220         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Michael_dyn_less > SplitList_Michael_RCU_SHB_dyn_less;
 221         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Michael_dyn_less > SplitList_Michael_RCU_SHT_dyn_less;
 222 #endif
 223
 224         struct traits_SplitList_Michael_st_less :
 225             public cc::split_list::make_traits<
 226                 cc::split_list::ordered_list<cc::michael_list_tag>
 227                 ,cc::split_list::dynamic_bucket_table< false >
 228                 ,co::hash< hash >
 229                 ,cc::split_list::ordered_list_traits<
 230                     typename cc::michael_list::make_traits<
 231                         co::less< less >
 232                     >::type
 233                 >
 234             >::type
 235         {};
 236         typedef SplitListSet< cds::gc::HP,  key_val, traits_SplitList_Michael_st_less > SplitList_Michael_HP_st_less;
 237         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Michael_st_less > SplitList_Michael_DHP_st_less;
 238         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Michael_st_less > SplitList_Michael_RCU_GPI_st_less;
 239         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Michael_st_less > SplitList_Michael_RCU_GPB_st_less;
 240         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Michael_st_less > SplitList_Michael_RCU_GPT_st_less;
 241 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 242         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Michael_st_less > SplitList_Michael_RCU_SHB_st_less;
 243         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Michael_st_less > SplitList_Michael_RCU_SHT_st_less;
 244 #endif
 245
 246         struct traits_SplitList_Michael_st_less_stat :
 247             public cc::split_list::make_traits<
 248                 cc::split_list::ordered_list<cc::michael_list_tag>
 249                 ,cc::split_list::dynamic_bucket_table< false >
 250                 ,co::hash< hash >
 251                 ,co::stat< cc::split_list::stat<>>
 252                 ,cc::split_list::ordered_list_traits<
 253                     typename cc::michael_list::make_traits<
 254                         co::less< less >
 255                         ,co::stat< cc::michael_list::stat<>>
 256                     >::type
 257                 >
 258             >::type
 259         {};
 260         typedef SplitListSet< cds::gc::HP,  key_val, traits_SplitList_Michael_st_less_stat > SplitList_Michael_HP_st_less_stat;
 261         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Michael_st_less_stat > SplitList_Michael_DHP_st_less_stat;
 262         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Michael_st_less_stat > SplitList_Michael_RCU_GPI_st_less_stat;
 263         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Michael_st_less_stat > SplitList_Michael_RCU_GPB_st_less_stat;
 264         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Michael_st_less_stat > SplitList_Michael_RCU_GPT_st_less_stat;
 265 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 266         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Michael_st_less_stat > SplitList_Michael_RCU_SHB_st_less_stat;
 267         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Michael_st_less_stat > SplitList_Michael_RCU_SHT_st_less_stat;
 268 #endif
 269
 270         // ***************************************************************************
 271         // SplitListSet based on LazyList
 272
 273         struct traits_SplitList_Lazy_dyn_cmp :
 274             public cc::split_list::make_traits<
 275                 cc::split_list::ordered_list<cc::lazy_list_tag>
 276                 ,co::hash< hash >
 277                 ,cc::split_list::ordered_list_traits<
 278                     typename cc::lazy_list::make_traits<
 279                         co::compare< compare >
 280                     >::type
 281                 >
 282             >::type
 283         {};
 284         typedef SplitListSet< cds::gc::HP, key_val, traits_SplitList_Lazy_dyn_cmp > SplitList_Lazy_HP_dyn_cmp;
 285         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Lazy_dyn_cmp > SplitList_Lazy_DHP_dyn_cmp;
 286         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Lazy_dyn_cmp > SplitList_Lazy_RCU_GPI_dyn_cmp;
 287         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Lazy_dyn_cmp > SplitList_Lazy_RCU_GPB_dyn_cmp;
 288         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Lazy_dyn_cmp > SplitList_Lazy_RCU_GPT_dyn_cmp;
 289 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 290         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Lazy_dyn_cmp > SplitList_Lazy_RCU_SHB_dyn_cmp;
 291         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Lazy_dyn_cmp > SplitList_Lazy_RCU_SHT_dyn_cmp;
 292 #endif
 293
 294         struct traits_SplitList_Lazy_dyn_cmp_stat : public traits_SplitList_Lazy_dyn_cmp
 295         {
 296             typedef cc::split_list::stat<> stat;
 297             typedef typename cc::lazy_list::make_traits<
 298                 co::compare< compare >
 299                 , co::stat< cc::lazy_list::stat<>>
 300             >::type ordered_list_traits;
 301         };
 302         typedef SplitListSet< cds::gc::HP, key_val, traits_SplitList_Lazy_dyn_cmp_stat > SplitList_Lazy_HP_dyn_cmp_stat;
 303         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Lazy_dyn_cmp_stat > SplitList_Lazy_DHP_dyn_cmp_stat;
 304         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Lazy_dyn_cmp_stat > SplitList_Lazy_RCU_GPI_dyn_cmp_stat;
 305         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Lazy_dyn_cmp_stat > SplitList_Lazy_RCU_GPB_dyn_cmp_stat;
 306         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Lazy_dyn_cmp_stat > SplitList_Lazy_RCU_GPT_dyn_cmp_stat;
 307 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 308         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Lazy_dyn_cmp > SplitList_Lazy_RCU_SHB_dyn_cmp_stat;
 309         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Lazy_dyn_cmp > SplitList_Lazy_RCU_SHT_dyn_cmp_stat;
 310 #endif
 311
 312         struct traits_SplitList_Lazy_dyn_cmp_seqcst :
 313             public cc::split_list::make_traits<
 314                 cc::split_list::ordered_list<cc::lazy_list_tag>
 315                 ,co::hash< hash >
 316                 ,co::memory_model< co::v::sequential_consistent >
 317                 ,cc::split_list::ordered_list_traits<
 318                     typename cc::lazy_list::make_traits<
 319                         co::compare< compare >
 320                         ,co::memory_model< co::v::sequential_consistent >
 321                     >::type
 322                 >
 323             >::type
 324         {};
 325         typedef SplitListSet< cds::gc::HP, key_val, traits_SplitList_Lazy_dyn_cmp_seqcst > SplitList_Lazy_HP_dyn_cmp_seqcst;
 326         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Lazy_dyn_cmp_seqcst > SplitList_Lazy_DHP_dyn_cmp_seqcst;
 327         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Lazy_dyn_cmp_seqcst > SplitList_Lazy_RCU_GPI_dyn_cmp_seqcst;
 328         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Lazy_dyn_cmp_seqcst > SplitList_Lazy_RCU_GPB_dyn_cmp_seqcst;
 329         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Lazy_dyn_cmp_seqcst > SplitList_Lazy_RCU_GPT_dyn_cmp_seqcst;
 330 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 331         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Lazy_dyn_cmp_seqcst > SplitList_Lazy_RCU_SHB_dyn_cmp_seqcst;
 332         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Lazy_dyn_cmp_seqcst > SplitList_Lazy_RCU_SHT_dyn_cmp_seqcst;
 333 #endif
 334
 335         struct traits_SplitList_Lazy_st_cmp :
 336             public cc::split_list::make_traits<
 337                 cc::split_list::ordered_list<cc::lazy_list_tag>
 338                 ,cc::split_list::dynamic_bucket_table< false >
 339                 ,co::hash< hash >
 340                 ,cc::split_list::ordered_list_traits<
 341                     typename cc::lazy_list::make_traits<
 342                         co::compare< compare >
 343                     >::type
 344                 >
 345             >::type
 346         {};
 347         typedef SplitListSet< cds::gc::HP, key_val, traits_SplitList_Lazy_st_cmp > SplitList_Lazy_HP_st_cmp;
 348         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Lazy_st_cmp > SplitList_Lazy_DHP_st_cmp;
 349         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Lazy_st_cmp > SplitList_Lazy_RCU_GPI_st_cmp;
 350         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Lazy_st_cmp > SplitList_Lazy_RCU_GPB_st_cmp;
 351         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Lazy_st_cmp > SplitList_Lazy_RCU_GPT_st_cmp;
 352 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 353         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Lazy_st_cmp > SplitList_Lazy_RCU_SHB_st_cmp;
 354         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Lazy_st_cmp > SplitList_Lazy_RCU_SHT_st_cmp;
 355 #endif
 356
 357         struct traits_SplitList_Lazy_dyn_less :
 358             public cc::split_list::make_traits<
 359                 cc::split_list::ordered_list<cc::lazy_list_tag>
 360                 ,co::hash< hash >
 361                 ,cc::split_list::ordered_list_traits<
 362                     typename cc::lazy_list::make_traits<
 363                         co::less< less >
 364                     >::type
 365                 >
 366             >::type
 367         {};
 368         typedef SplitListSet< cds::gc::HP, key_val, traits_SplitList_Lazy_dyn_less > SplitList_Lazy_HP_dyn_less;
 369         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Lazy_dyn_less > SplitList_Lazy_DHP_dyn_less;
 370         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Lazy_dyn_less > SplitList_Lazy_RCU_GPI_dyn_less;
 371         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Lazy_dyn_less > SplitList_Lazy_RCU_GPB_dyn_less;
 372         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Lazy_dyn_less > SplitList_Lazy_RCU_GPT_dyn_less;
 373 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 374         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Lazy_dyn_less > SplitList_Lazy_RCU_SHB_dyn_less;
 375         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Lazy_dyn_less > SplitList_Lazy_RCU_SHT_dyn_less;
 376 #endif
 377
 378         struct traits_SplitList_Lazy_st_less :
 379             public cc::split_list::make_traits<
 380                 cc::split_list::ordered_list<cc::lazy_list_tag>
 381                 ,cc::split_list::dynamic_bucket_table< false >
 382                 ,co::hash< hash >
 383                 ,cc::split_list::ordered_list_traits<
 384                     typename cc::lazy_list::make_traits<
 385                         co::less< less >
 386                     >::type
 387                 >
 388             >::type
 389         {};
 390         typedef SplitListSet< cds::gc::HP, key_val, traits_SplitList_Lazy_st_less > SplitList_Lazy_HP_st_less;
 391         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Lazy_st_less > SplitList_Lazy_DHP_st_less;
 392         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Lazy_st_less > SplitList_Lazy_RCU_GPI_st_less;
 393         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Lazy_st_less > SplitList_Lazy_RCU_GPB_st_less;
 394         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Lazy_st_less > SplitList_Lazy_RCU_GPT_st_less;
 395 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 396         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Lazy_st_less > SplitList_Lazy_RCU_SHB_st_less;
 397         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Lazy_st_less > SplitList_Lazy_RCU_SHT_st_less;
 398 #endif
 399
 400         struct traits_SplitList_Lazy_st_less_stat : public traits_SplitList_Lazy_st_less
 401         {
 402             typedef cc::split_list::stat<> stat;
 403             typedef typename cc::lazy_list::make_traits<
 404                 co::less< less >
 405                 , co::stat< cc::lazy_list::stat<>>
 406             >::type ordered_list_traits;
 407         };
 408         typedef SplitListSet< cds::gc::HP, key_val, traits_SplitList_Lazy_st_less_stat > SplitList_Lazy_HP_st_less_stat;
 409         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Lazy_st_less_stat > SplitList_Lazy_DHP_st_less_stat;
 410         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Lazy_st_less_stat > SplitList_Lazy_RCU_GPI_st_less_stat;
 411         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Lazy_st_less_stat > SplitList_Lazy_RCU_GPB_st_less_stat;
 412         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Lazy_st_less_stat > SplitList_Lazy_RCU_GPT_st_less_stat;
 413 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 414         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Lazy_st_less_stat > SplitList_Lazy_RCU_SHB_st_less_stat;
 415         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Lazy_st_less_stat > SplitList_Lazy_RCU_SHT_st_less_stat;
 416 #endif
 417
 418         // ***************************************************************************
 419         // SplitListSet based on IterableList
 420
 421         struct traits_SplitList_Iterable_dyn_cmp :
 422             public cc::split_list::make_traits<
 423                 cc::split_list::ordered_list<cc::iterable_list_tag>
 424                 ,co::hash< hash >
 425                 ,cc::split_list::ordered_list_traits<
 426                     typename cc::iterable_list::make_traits<
 427                         co::compare< compare >
 428                     >::type
 429                 >
 430             >::type
 431         {};
 432         typedef SplitListSet< cds::gc::HP,  key_val, traits_SplitList_Iterable_dyn_cmp > SplitList_Iterable_HP_dyn_cmp;
 433         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Iterable_dyn_cmp > SplitList_Iterable_DHP_dyn_cmp;
 434
 435         struct traits_SplitList_Iterable_dyn_cmp_stat:
 436             public cc::split_list::make_traits<
 437                 cc::split_list::ordered_list<cc::iterable_list_tag>
 438                 ,co::hash< hash >
 439                 ,co::stat< cc::split_list::stat<> >
 440                 ,cc::split_list::ordered_list_traits<
 441                     typename cc::iterable_list::make_traits<
 442                         co::compare< compare >
 443                         ,co::stat< cc::iterable_list::stat<>>
 444                     >::type
 445                 >
 446             >::type
 447         {};
 448         typedef SplitListSet< cds::gc::HP, key_val, traits_SplitList_Iterable_dyn_cmp_stat > SplitList_Iterable_HP_dyn_cmp_stat;
 449         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Iterable_dyn_cmp_stat > SplitList_Iterable_DHP_dyn_cmp_stat;
 450
 451         struct traits_SplitList_Iterable_dyn_cmp_seqcst :
 452             public cc::split_list::make_traits<
 453                 cc::split_list::ordered_list<cc::iterable_list_tag>
 454                 ,co::hash< hash >
 455                 ,co::memory_model< co::v::sequential_consistent >
 456                 ,cc::split_list::ordered_list_traits<
 457                     typename cc::iterable_list::make_traits<
 458                         co::compare< compare >
 459                         ,co::memory_model< co::v::sequential_consistent >
 460                     >::type
 461                 >
 462             >::type
 463         {};
 464         typedef SplitListSet< cds::gc::HP,  key_val, traits_SplitList_Iterable_dyn_cmp_seqcst > SplitList_Iterable_HP_dyn_cmp_seqcst;
 465         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Iterable_dyn_cmp_seqcst > SplitList_Iterable_DHP_dyn_cmp_seqcst;
 466
 467         struct traits_SplitList_Iterable_st_cmp :
 468             public cc::split_list::make_traits<
 469                 cc::split_list::ordered_list<cc::iterable_list_tag>
 470                 ,cc::split_list::dynamic_bucket_table< false >
 471                 ,co::hash< hash >
 472                 ,cc::split_list::ordered_list_traits<
 473                     typename cc::iterable_list::make_traits<
 474                         co::compare< compare >
 475                     >::type
 476                 >
 477             >::type
 478         {};
 479         typedef SplitListSet< cds::gc::HP,  key_val, traits_SplitList_Iterable_st_cmp > SplitList_Iterable_HP_st_cmp;
 480         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Iterable_st_cmp > SplitList_Iterable_DHP_st_cmp;
 481
 482         //HP + less
 483         struct traits_SplitList_Iterable_dyn_less :
 484             public cc::split_list::make_traits<
 485                 cc::split_list::ordered_list<cc::iterable_list_tag>
 486                 ,co::hash< hash >
 487                 ,cc::split_list::ordered_list_traits<
 488                     typename cc::iterable_list::make_traits<
 489                         co::less< less >
 490                     >::type
 491                 >
 492             >::type
 493         {};
 494         typedef SplitListSet< cds::gc::HP,  key_val, traits_SplitList_Iterable_dyn_less > SplitList_Iterable_HP_dyn_less;
 495         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Iterable_dyn_less > SplitList_Iterable_DHP_dyn_less;
 496
 497         struct traits_SplitList_Iterable_st_less :
 498             public cc::split_list::make_traits<
 499                 cc::split_list::ordered_list<cc::iterable_list_tag>
 500                 ,cc::split_list::dynamic_bucket_table< false >
 501                 ,co::hash< hash >
 502                 ,cc::split_list::ordered_list_traits<
 503                     typename cc::iterable_list::make_traits<
 504                         co::less< less >
 505                     >::type
 506                 >
 507             >::type
 508         {};
 509         typedef SplitListSet< cds::gc::HP,  key_val, traits_SplitList_Iterable_st_less > SplitList_Iterable_HP_st_less;
 510         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Iterable_st_less > SplitList_Iterable_DHP_st_less;
 511
 512         struct traits_SplitList_Iterable_st_less_stat :
 513             public cc::split_list::make_traits<
 514                 cc::split_list::ordered_list<cc::iterable_list_tag>
 515                 ,cc::split_list::dynamic_bucket_table< false >
 516                 ,co::hash< hash >
 517                 ,co::stat< cc::split_list::stat<>>
 518                 ,cc::split_list::ordered_list_traits<
 519                     typename cc::iterable_list::make_traits<
 520                         co::less< less >
 521                         ,co::stat< cc::iterable_list::stat<>>
 522                     >::type
 523                 >
 524             >::type
 525         {};
 526         typedef SplitListSet< cds::gc::HP,  key_val, traits_SplitList_Iterable_st_less_stat > SplitList_Iterable_HP_st_less_stat;
 527         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Iterable_st_less_stat > SplitList_Iterable_DHP_st_less_stat;
 528
 529     };
 530
 531     template <typename GC, typename T, typename Traits>
 532     static inline void print_stat( cds_test::property_stream& o, SplitListSet<GC, T, Traits> const& s )
 533     {
 534         o << s.statistics()
 535           << cds_test::stat_prefix( "list_stat" )
 536           << s.list_statistics()
 537           << cds_test::stat_prefix( "" );
 538     }
 539
 540 } // namespace set
 541
 542
 543 #define CDSSTRESS_SplitListSet_case( fixture, test_case, splitlist_set_type, key_type, value_type ) \
 544     TEST_P( fixture, splitlist_set_type ) \
 545     { \
 546         typedef set::set_type< tag_SplitListSet, key_type, value_type >::splitlist_set_type set_type; \
 547         test_case<set_type>(); \
 548     }
 549
 550
 551 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 552
 553 #if defined(CDS_STRESS_TEST_LEVEL) && CDS_STRESS_TEST_LEVEL > 1
 554 #   define CDSSTRESS_SplitListSet_SHRCU_2( fixture, test_case, key_type, value_type ) \
 555         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_SHB_dyn_cmp_seqcst,  key_type, value_type ) \
 556         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_SHT_dyn_cmp_seqcst,  key_type, value_type ) \
 557
 558 #else
 559 #   define CDSSTRESS_SplitListSet_SHRCU_2( fixture, test_case, key_type, value_type )
 560 #endif
 561
 562 #if defined(CDS_STRESS_TEST_LEVEL) && CDS_STRESS_TEST_LEVEL == 1
 563 #   define CDSSTRESS_SplitListSet_SHRCU_1( fixture, test_case, key_type, value_type ) \
 564         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_SHT_dyn_cmp,         key_type, value_type ) \
 565         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_SHB_dyn_cmp_stat,    key_type, value_type ) \
 566         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_SHB_st_cmp,          key_type, value_type ) \
 567         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_SHB_dyn_less,        key_type, value_type ) \
 568         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_SHB_st_less,         key_type, value_type ) \
 569         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_SHT_st_less_stat,    key_type, value_type ) \
 570         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_SHT_dyn_cmp,            key_type, value_type ) \
 571         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_SHB_dyn_cmp_stat,       key_type, value_type ) \
 572         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_SHT_st_cmp,             key_type, value_type ) \
 573         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_SHB_dyn_less,           key_type, value_type ) \
 574         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_SHT_st_less,            key_type, value_type ) \
 575         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_SHB_st_less_stat,       key_type, value_type ) \
 576
 577 #else
 578 #   define CDSSTRESS_SplitListSet_SHRCU_1( fixture, test_case, key_type, value_type )
 579 #endif
 580
 581
 582 #   define CDSSTRESS_SplitListSet_SHRCU( fixture, test_case, key_type, value_type ) \
 583         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_SHB_dyn_cmp,         key_type, value_type ) \
 584         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_SHT_dyn_cmp_stat,    key_type, value_type ) \
 585         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_SHT_st_cmp,          key_type, value_type ) \
 586         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_SHT_dyn_less,        key_type, value_type ) \
 587         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_SHT_st_less,         key_type, value_type ) \
 588         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_SHB_st_less_stat,    key_type, value_type ) \
 589         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_SHB_dyn_cmp,            key_type, value_type ) \
 590         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_SHT_dyn_cmp_stat,       key_type, value_type ) \
 591         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_SHB_st_cmp,             key_type, value_type ) \
 592         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_SHT_dyn_less,           key_type, value_type ) \
 593         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_SHB_st_less,            key_type, value_type ) \
 594         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_SHT_st_less_stat,       key_type, value_type ) \
 595         CDSSTRESS_SplitListSet_SHRCU_1( fixture, test_case, key_type, value_type ) \
 596         CDSSTRESS_SplitListSet_SHRCU_2( fixture, test_case, key_type, value_type ) \
 597
 598 #else
 599 #   define CDSSTRESS_SplitListSet_SHRCU( fixture, test_case, key_type, value_type )
 600 #endif
 601
 602 #if defined(CDS_STRESS_TEST_LEVEL) && CDS_STRESS_TEST_LEVEL > 1
 603 #   define CDSSTRESS_SplitListSet_HP_2( fixture, test_case, key_type, value_type ) \
 604         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_HP_dyn_cmp_seqcst,       key_type, value_type ) \
 605         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_DHP_dyn_cmp_seqcst,      key_type, value_type ) \
 606
 607 #   define CDSSTRESS_SplitListSet_RCU_2( fixture, test_case, key_type, value_type ) \
 608         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPI_dyn_cmp_seqcst,  key_type, value_type ) \
 609         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPB_dyn_cmp_seqcst,  key_type, value_type ) \
 610         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPT_dyn_cmp_seqcst,  key_type, value_type ) \
 611
 612 #else
 613 #   define CDSSTRESS_SplitListSet_HP_2( fixture, test_case, key_type, value_type )
 614 #   define CDSSTRESS_SplitListSet_RCU_2( fixture, test_case, key_type, value_type )
 615 #endif
 616
 617 #if defined(CDS_STRESS_TEST_LEVEL) && CDS_STRESS_TEST_LEVEL == 1
 618 #   define CDSSTRESS_SplitListSet_HP_1( fixture, test_case, key_type, value_type ) \
 619         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_DHP_dyn_cmp,             key_type, value_type ) \
 620         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_DHP_dyn_cmp_swar,        key_type, value_type ) \
 621         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_HP_dyn_cmp_stat,         key_type, value_type ) \
 622         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_HP_st_cmp,               key_type, value_type ) \
 623         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_DHP_dyn_less,            key_type, value_type ) \
 624         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_HP_st_less,              key_type, value_type ) \
 625         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_DHP_st_less_stat,        key_type, value_type ) \
 626         \
 627         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_DHP_dyn_cmp,                key_type, value_type ) \
 628         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_HP_dyn_cmp_stat,            key_type, value_type ) \
 629         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_DHP_st_cmp,                 key_type, value_type ) \
 630         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_HP_dyn_less,                key_type, value_type ) \
 631         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_DHP_st_less,                key_type, value_type ) \
 632         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_HP_st_less_stat,            key_type, value_type ) \
 633
 634 #   define CDSSTRESS_SplitListSet_RCU_1( fixture, test_case, key_type, value_type ) \
 635         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPT_dyn_cmp_swar,    key_type, value_type ) \
 636         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPI_dyn_cmp_stat,    key_type, value_type ) \
 637         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPT_dyn_cmp_stat,    key_type, value_type ) \
 638         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPI_st_cmp,          key_type, value_type ) \
 639         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPT_st_cmp,          key_type, value_type ) \
 640         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPB_dyn_less,        key_type, value_type ) \
 641         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPI_st_less,         key_type, value_type ) \
 642         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPT_st_less,         key_type, value_type ) \
 643         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPB_st_less_stat,    key_type, value_type ) \
 644         \
 645         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPB_dyn_cmp,            key_type, value_type ) \
 646         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPI_dyn_cmp_stat,       key_type, value_type ) \
 647         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPT_dyn_cmp_stat,       key_type, value_type ) \
 648         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPB_st_cmp,             key_type, value_type ) \
 649         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPI_dyn_less,           key_type, value_type ) \
 650         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPT_dyn_less,           key_type, value_type ) \
 651         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPB_st_less,            key_type, value_type ) \
 652         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPI_st_less_stat,       key_type, value_type ) \
 653         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPT_st_less_stat,       key_type, value_type ) \
 654         \
 655         CDSSTRESS_SplitListSet_SHRCU( fixture, test_case, key_type, value_type )
 656
 657
 658 #else
 659 #   define CDSSTRESS_SplitListSet_HP_1( fixture, test_case, key_type, value_type )
 660 #   define CDSSTRESS_SplitListSet_RCU_1( fixture, test_case, key_type, value_type )
 661 #endif
 662
 663 #define CDSSTRESS_SplitListSet_HP( fixture, test_case, key_type, value_type ) \
 664     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_HP_dyn_cmp,              key_type, value_type ) \
 665     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_HP_dyn_cmp_swar,         key_type, value_type ) \
 666     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_DHP_dyn_cmp_stat,        key_type, value_type ) \
 667     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_DHP_st_cmp,              key_type, value_type ) \
 668     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_HP_dyn_less,             key_type, value_type ) \
 669     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_DHP_st_less,             key_type, value_type ) \
 670     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_HP_st_less_stat,         key_type, value_type ) \
 671     \
 672     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_HP_dyn_cmp,                 key_type, value_type ) \
 673     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_DHP_dyn_cmp_stat,           key_type, value_type ) \
 674     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_HP_st_cmp,                  key_type, value_type ) \
 675     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_DHP_dyn_less,               key_type, value_type ) \
 676     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_HP_st_less,                 key_type, value_type ) \
 677     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_DHP_st_less_stat,           key_type, value_type ) \
 678     CDSSTRESS_SplitListSet_HP_1( fixture, test_case, key_type, value_type ) \
 679     CDSSTRESS_SplitListSet_HP_2( fixture, test_case, key_type, value_type ) \
 680
 681 #define CDSSTRESS_SplitListSet_RCU( fixture, test_case, key_type, value_type ) \
 682     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPI_dyn_cmp,         key_type, value_type ) \
 683     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPB_dyn_cmp,         key_type, value_type ) \
 684     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPB_dyn_cmp_swar,    key_type, value_type ) \
 685     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPT_dyn_cmp,         key_type, value_type ) \
 686     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPB_dyn_cmp_stat,    key_type, value_type ) \
 687     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPB_st_cmp,          key_type, value_type ) \
 688     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPI_dyn_less,        key_type, value_type ) \
 689     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPT_dyn_less,        key_type, value_type ) \
 690     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPB_st_less,         key_type, value_type ) \
 691     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPI_st_less_stat,    key_type, value_type ) \
 692     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPT_st_less_stat,    key_type, value_type ) \
 693     \
 694     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPI_dyn_cmp,            key_type, value_type ) \
 695     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPT_dyn_cmp,            key_type, value_type ) \
 696     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPB_dyn_cmp_stat,       key_type, value_type ) \
 697     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPI_st_cmp,             key_type, value_type ) \
 698     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPT_st_cmp,             key_type, value_type ) \
 699     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPB_dyn_less,           key_type, value_type ) \
 700     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPI_st_less,            key_type, value_type ) \
 701     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPT_st_less,            key_type, value_type ) \
 702     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPB_st_less_stat,       key_type, value_type ) \
 703     CDSSTRESS_SplitListSet_RCU_1( fixture, test_case, key_type, value_type ) \
 704     CDSSTRESS_SplitListSet_RCU_2( fixture, test_case, key_type, value_type ) \
 705
 706 #define CDSSTRESS_SplitListSet( fixture, test_case, key_type, value_type ) \
 707     CDSSTRESS_SplitListSet_HP( fixture, test_case, key_type, value_type ) \
 708     CDSSTRESS_SplitListSet_RCU( fixture, test_case, key_type, value_type ) \
 709
 710 #if defined(CDS_STRESS_TEST_LEVEL) && CDS_STRESS_TEST_LEVEL > 0
 711 #   define CDSSTRESS_SplitListIterableSet_1( fixture, test_case, key_type, value_type ) \
 712         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Iterable_DHP_dyn_cmp,             key_type, value_type ) \
 713         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Iterable_HP_dyn_cmp_stat,         key_type, value_type ) \
 714         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Iterable_HP_dyn_cmp_seqcst,       key_type, value_type ) \
 715         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Iterable_DHP_dyn_cmp_seqcst,      key_type, value_type ) \
 716         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Iterable_HP_st_cmp,               key_type, value_type ) \
 717         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Iterable_DHP_dyn_less,            key_type, value_type ) \
 718         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Iterable_HP_st_less,              key_type, value_type ) \
 719         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Iterable_DHP_st_less_stat,        key_type, value_type ) \
 720
 721 #else
 722 #   define CDSSTRESS_SplitListIterableSet_1( fixture, test_case, key_type, value_type )
 723 #endif
 724
 725 #define CDSSTRESS_SplitListIterableSet( fixture, test_case, key_type, value_type ) \
 726     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Iterable_HP_dyn_cmp,              key_type, value_type ) \
 727     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Iterable_DHP_dyn_cmp_stat,        key_type, value_type ) \
 728     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Iterable_DHP_st_cmp,              key_type, value_type ) \
 729     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Iterable_HP_dyn_less,             key_type, value_type ) \
 730     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Iterable_DHP_st_less,             key_type, value_type ) \
 731     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Iterable_HP_st_less_stat,         key_type, value_type ) \
 732     CDSSTRESS_SplitListIterableSet_1( fixture, test_case, key_type, value_type )
 733
 734 #endif // #ifndef CDSUNIT_SET_TYPE_SPLIT_LIST_H