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_stat :
 121             public cc::split_list::make_traits<
 122                 cc::split_list::ordered_list<cc::michael_list_tag>
 123                 ,co::hash< hash >
 124                 ,co::stat< cc::split_list::stat<> >
 125                 ,cc::split_list::ordered_list_traits<
 126                     typename cc::michael_list::make_traits<
 127                         co::compare< compare >
 128                         ,co::stat< cc::michael_list::stat<>>
 129                     >::type
 130                 >
 131             >::type
 132         {};
 133         typedef SplitListSet< cds::gc::HP, key_val, traits_SplitList_Michael_dyn_cmp_stat > SplitList_Michael_HP_dyn_cmp_stat;
 134         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Michael_dyn_cmp_stat > SplitList_Michael_DHP_dyn_cmp_stat;
 135         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Michael_dyn_cmp_stat > SplitList_Michael_RCU_GPI_dyn_cmp_stat;
 136         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Michael_dyn_cmp_stat > SplitList_Michael_RCU_GPB_dyn_cmp_stat;
 137         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Michael_dyn_cmp_stat > SplitList_Michael_RCU_GPT_dyn_cmp_stat;
 138 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 139         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Michael_dyn_cmp_stat > SplitList_Michael_RCU_SHB_dyn_cmp_stat;
 140         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Michael_dyn_cmp_stat > SplitList_Michael_RCU_SHT_dyn_cmp_stat;
 141 #endif
 142
 143         struct traits_SplitList_Michael_dyn_cmp_seqcst :
 144             public cc::split_list::make_traits<
 145                 cc::split_list::ordered_list<cc::michael_list_tag>
 146                 ,co::hash< hash >
 147                 ,co::memory_model< co::v::sequential_consistent >
 148                 ,cc::split_list::ordered_list_traits<
 149                     typename cc::michael_list::make_traits<
 150                         co::compare< compare >
 151                         ,co::memory_model< co::v::sequential_consistent >
 152                     >::type
 153                 >
 154             >::type
 155         {};
 156         typedef SplitListSet< cds::gc::HP,  key_val, traits_SplitList_Michael_dyn_cmp_seqcst > SplitList_Michael_HP_dyn_cmp_seqcst;
 157         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Michael_dyn_cmp_seqcst > SplitList_Michael_DHP_dyn_cmp_seqcst;
 158         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Michael_dyn_cmp_seqcst > SplitList_Michael_RCU_GPI_dyn_cmp_seqcst;
 159         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Michael_dyn_cmp_seqcst > SplitList_Michael_RCU_GPB_dyn_cmp_seqcst;
 160         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Michael_dyn_cmp_seqcst > SplitList_Michael_RCU_GPT_dyn_cmp_seqcst;
 161 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 162         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Michael_dyn_cmp_seqcst > SplitList_Michael_RCU_SHB_dyn_cmp_seqcst;
 163         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Michael_dyn_cmp_seqcst > SplitList_Michael_RCU_SHT_dyn_cmp_seqcst;
 164 #endif
 165
 166         struct traits_SplitList_Michael_st_cmp :
 167             public cc::split_list::make_traits<
 168                 cc::split_list::ordered_list<cc::michael_list_tag>
 169                 ,cc::split_list::dynamic_bucket_table< false >
 170                 ,co::hash< hash >
 171                 ,cc::split_list::ordered_list_traits<
 172                     typename cc::michael_list::make_traits<
 173                         co::compare< compare >
 174                     >::type
 175                 >
 176             >::type
 177         {};
 178         typedef SplitListSet< cds::gc::HP,  key_val, traits_SplitList_Michael_st_cmp > SplitList_Michael_HP_st_cmp;
 179         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Michael_st_cmp > SplitList_Michael_DHP_st_cmp;
 180         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Michael_st_cmp > SplitList_Michael_RCU_GPI_st_cmp;
 181         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Michael_st_cmp > SplitList_Michael_RCU_GPB_st_cmp;
 182         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Michael_st_cmp > SplitList_Michael_RCU_GPT_st_cmp;
 183 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 184         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Michael_st_cmp > SplitList_Michael_RCU_SHB_st_cmp;
 185         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Michael_st_cmp > SplitList_Michael_RCU_SHT_st_cmp;
 186 #endif
 187
 188         //HP + less
 189         struct traits_SplitList_Michael_dyn_less :
 190             public cc::split_list::make_traits<
 191                 cc::split_list::ordered_list<cc::michael_list_tag>
 192                 ,co::hash< hash >
 193                 ,cc::split_list::ordered_list_traits<
 194                     typename cc::michael_list::make_traits<
 195                         co::less< less >
 196                     >::type
 197                 >
 198             >::type
 199         {};
 200         typedef SplitListSet< cds::gc::HP,  key_val, traits_SplitList_Michael_dyn_less > SplitList_Michael_HP_dyn_less;
 201         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Michael_dyn_less > SplitList_Michael_DHP_dyn_less;
 202         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Michael_dyn_less > SplitList_Michael_RCU_GPI_dyn_less;
 203         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Michael_dyn_less > SplitList_Michael_RCU_GPB_dyn_less;
 204         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Michael_dyn_less > SplitList_Michael_RCU_GPT_dyn_less;
 205 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 206         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Michael_dyn_less > SplitList_Michael_RCU_SHB_dyn_less;
 207         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Michael_dyn_less > SplitList_Michael_RCU_SHT_dyn_less;
 208 #endif
 209
 210         struct traits_SplitList_Michael_st_less :
 211             public cc::split_list::make_traits<
 212                 cc::split_list::ordered_list<cc::michael_list_tag>
 213                 ,cc::split_list::dynamic_bucket_table< false >
 214                 ,co::hash< hash >
 215                 ,cc::split_list::ordered_list_traits<
 216                     typename cc::michael_list::make_traits<
 217                         co::less< less >
 218                     >::type
 219                 >
 220             >::type
 221         {};
 222         typedef SplitListSet< cds::gc::HP,  key_val, traits_SplitList_Michael_st_less > SplitList_Michael_HP_st_less;
 223         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Michael_st_less > SplitList_Michael_DHP_st_less;
 224         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Michael_st_less > SplitList_Michael_RCU_GPI_st_less;
 225         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Michael_st_less > SplitList_Michael_RCU_GPB_st_less;
 226         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Michael_st_less > SplitList_Michael_RCU_GPT_st_less;
 227 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 228         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Michael_st_less > SplitList_Michael_RCU_SHB_st_less;
 229         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Michael_st_less > SplitList_Michael_RCU_SHT_st_less;
 230 #endif
 231
 232         struct traits_SplitList_Michael_st_less_stat :
 233             public cc::split_list::make_traits<
 234                 cc::split_list::ordered_list<cc::michael_list_tag>
 235                 ,cc::split_list::dynamic_bucket_table< false >
 236                 ,co::hash< hash >
 237                 ,co::stat< cc::split_list::stat<>>
 238                 ,cc::split_list::ordered_list_traits<
 239                     typename cc::michael_list::make_traits<
 240                         co::less< less >
 241                         ,co::stat< cc::michael_list::stat<>>
 242                     >::type
 243                 >
 244             >::type
 245         {};
 246         typedef SplitListSet< cds::gc::HP,  key_val, traits_SplitList_Michael_st_less_stat > SplitList_Michael_HP_st_less_stat;
 247         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Michael_st_less_stat > SplitList_Michael_DHP_st_less_stat;
 248         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Michael_st_less_stat > SplitList_Michael_RCU_GPI_st_less_stat;
 249         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Michael_st_less_stat > SplitList_Michael_RCU_GPB_st_less_stat;
 250         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Michael_st_less_stat > SplitList_Michael_RCU_GPT_st_less_stat;
 251 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 252         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Michael_st_less_stat > SplitList_Michael_RCU_SHB_st_less_stat;
 253         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Michael_st_less_stat > SplitList_Michael_RCU_SHT_st_less_stat;
 254 #endif
 255
 256         // ***************************************************************************
 257         // SplitListSet based on LazyList
 258
 259         struct traits_SplitList_Lazy_dyn_cmp :
 260             public cc::split_list::make_traits<
 261                 cc::split_list::ordered_list<cc::lazy_list_tag>
 262                 ,co::hash< hash >
 263                 ,cc::split_list::ordered_list_traits<
 264                     typename cc::lazy_list::make_traits<
 265                         co::compare< compare >
 266                     >::type
 267                 >
 268             >::type
 269         {};
 270         typedef SplitListSet< cds::gc::HP, key_val, traits_SplitList_Lazy_dyn_cmp > SplitList_Lazy_HP_dyn_cmp;
 271         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Lazy_dyn_cmp > SplitList_Lazy_DHP_dyn_cmp;
 272         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Lazy_dyn_cmp > SplitList_Lazy_RCU_GPI_dyn_cmp;
 273         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Lazy_dyn_cmp > SplitList_Lazy_RCU_GPB_dyn_cmp;
 274         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Lazy_dyn_cmp > SplitList_Lazy_RCU_GPT_dyn_cmp;
 275 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 276         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Lazy_dyn_cmp > SplitList_Lazy_RCU_SHB_dyn_cmp;
 277         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Lazy_dyn_cmp > SplitList_Lazy_RCU_SHT_dyn_cmp;
 278 #endif
 279
 280         struct traits_SplitList_Lazy_dyn_cmp_stat : public traits_SplitList_Lazy_dyn_cmp
 281         {
 282             typedef cc::split_list::stat<> stat;
 283             typedef typename cc::lazy_list::make_traits<
 284                 co::compare< compare >
 285                 , co::stat< cc::lazy_list::stat<>>
 286             >::type ordered_list_traits;
 287         };
 288         typedef SplitListSet< cds::gc::HP, key_val, traits_SplitList_Lazy_dyn_cmp_stat > SplitList_Lazy_HP_dyn_cmp_stat;
 289         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Lazy_dyn_cmp_stat > SplitList_Lazy_DHP_dyn_cmp_stat;
 290         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Lazy_dyn_cmp_stat > SplitList_Lazy_RCU_GPI_dyn_cmp_stat;
 291         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Lazy_dyn_cmp_stat > SplitList_Lazy_RCU_GPB_dyn_cmp_stat;
 292         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Lazy_dyn_cmp_stat > SplitList_Lazy_RCU_GPT_dyn_cmp_stat;
 293 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 294         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Lazy_dyn_cmp > SplitList_Lazy_RCU_SHB_dyn_cmp_stat;
 295         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Lazy_dyn_cmp > SplitList_Lazy_RCU_SHT_dyn_cmp_stat;
 296 #endif
 297
 298         struct traits_SplitList_Lazy_dyn_cmp_seqcst :
 299             public cc::split_list::make_traits<
 300                 cc::split_list::ordered_list<cc::lazy_list_tag>
 301                 ,co::hash< hash >
 302                 ,co::memory_model< co::v::sequential_consistent >
 303                 ,cc::split_list::ordered_list_traits<
 304                     typename cc::lazy_list::make_traits<
 305                         co::compare< compare >
 306                         ,co::memory_model< co::v::sequential_consistent >
 307                     >::type
 308                 >
 309             >::type
 310         {};
 311         typedef SplitListSet< cds::gc::HP, key_val, traits_SplitList_Lazy_dyn_cmp_seqcst > SplitList_Lazy_HP_dyn_cmp_seqcst;
 312         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Lazy_dyn_cmp_seqcst > SplitList_Lazy_DHP_dyn_cmp_seqcst;
 313         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Lazy_dyn_cmp_seqcst > SplitList_Lazy_RCU_GPI_dyn_cmp_seqcst;
 314         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Lazy_dyn_cmp_seqcst > SplitList_Lazy_RCU_GPB_dyn_cmp_seqcst;
 315         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Lazy_dyn_cmp_seqcst > SplitList_Lazy_RCU_GPT_dyn_cmp_seqcst;
 316 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 317         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Lazy_dyn_cmp_seqcst > SplitList_Lazy_RCU_SHB_dyn_cmp_seqcst;
 318         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Lazy_dyn_cmp_seqcst > SplitList_Lazy_RCU_SHT_dyn_cmp_seqcst;
 319 #endif
 320
 321         struct traits_SplitList_Lazy_st_cmp :
 322             public cc::split_list::make_traits<
 323                 cc::split_list::ordered_list<cc::lazy_list_tag>
 324                 ,cc::split_list::dynamic_bucket_table< false >
 325                 ,co::hash< hash >
 326                 ,cc::split_list::ordered_list_traits<
 327                     typename cc::lazy_list::make_traits<
 328                         co::compare< compare >
 329                     >::type
 330                 >
 331             >::type
 332         {};
 333         typedef SplitListSet< cds::gc::HP, key_val, traits_SplitList_Lazy_st_cmp > SplitList_Lazy_HP_st_cmp;
 334         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Lazy_st_cmp > SplitList_Lazy_DHP_st_cmp;
 335         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Lazy_st_cmp > SplitList_Lazy_RCU_GPI_st_cmp;
 336         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Lazy_st_cmp > SplitList_Lazy_RCU_GPB_st_cmp;
 337         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Lazy_st_cmp > SplitList_Lazy_RCU_GPT_st_cmp;
 338 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 339         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Lazy_st_cmp > SplitList_Lazy_RCU_SHB_st_cmp;
 340         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Lazy_st_cmp > SplitList_Lazy_RCU_SHT_st_cmp;
 341 #endif
 342
 343         struct traits_SplitList_Lazy_dyn_less :
 344             public cc::split_list::make_traits<
 345                 cc::split_list::ordered_list<cc::lazy_list_tag>
 346                 ,co::hash< hash >
 347                 ,cc::split_list::ordered_list_traits<
 348                     typename cc::lazy_list::make_traits<
 349                         co::less< less >
 350                     >::type
 351                 >
 352             >::type
 353         {};
 354         typedef SplitListSet< cds::gc::HP, key_val, traits_SplitList_Lazy_dyn_less > SplitList_Lazy_HP_dyn_less;
 355         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Lazy_dyn_less > SplitList_Lazy_DHP_dyn_less;
 356         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Lazy_dyn_less > SplitList_Lazy_RCU_GPI_dyn_less;
 357         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Lazy_dyn_less > SplitList_Lazy_RCU_GPB_dyn_less;
 358         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Lazy_dyn_less > SplitList_Lazy_RCU_GPT_dyn_less;
 359 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 360         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Lazy_dyn_less > SplitList_Lazy_RCU_SHB_dyn_less;
 361         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Lazy_dyn_less > SplitList_Lazy_RCU_SHT_dyn_less;
 362 #endif
 363
 364         struct traits_SplitList_Lazy_st_less :
 365             public cc::split_list::make_traits<
 366                 cc::split_list::ordered_list<cc::lazy_list_tag>
 367                 ,cc::split_list::dynamic_bucket_table< false >
 368                 ,co::hash< hash >
 369                 ,cc::split_list::ordered_list_traits<
 370                     typename cc::lazy_list::make_traits<
 371                         co::less< less >
 372                     >::type
 373                 >
 374             >::type
 375         {};
 376         typedef SplitListSet< cds::gc::HP, key_val, traits_SplitList_Lazy_st_less > SplitList_Lazy_HP_st_less;
 377         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Lazy_st_less > SplitList_Lazy_DHP_st_less;
 378         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Lazy_st_less > SplitList_Lazy_RCU_GPI_st_less;
 379         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Lazy_st_less > SplitList_Lazy_RCU_GPB_st_less;
 380         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Lazy_st_less > SplitList_Lazy_RCU_GPT_st_less;
 381 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 382         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Lazy_st_less > SplitList_Lazy_RCU_SHB_st_less;
 383         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Lazy_st_less > SplitList_Lazy_RCU_SHT_st_less;
 384 #endif
 385
 386         struct traits_SplitList_Lazy_st_less_stat : public traits_SplitList_Lazy_st_less
 387         {
 388             typedef cc::split_list::stat<> stat;
 389             typedef typename cc::lazy_list::make_traits<
 390                 co::less< less >
 391                 , co::stat< cc::lazy_list::stat<>>
 392             >::type ordered_list_traits;
 393         };
 394         typedef SplitListSet< cds::gc::HP, key_val, traits_SplitList_Lazy_st_less_stat > SplitList_Lazy_HP_st_less_stat;
 395         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Lazy_st_less_stat > SplitList_Lazy_DHP_st_less_stat;
 396         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Lazy_st_less_stat > SplitList_Lazy_RCU_GPI_st_less_stat;
 397         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Lazy_st_less_stat > SplitList_Lazy_RCU_GPB_st_less_stat;
 398         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Lazy_st_less_stat > SplitList_Lazy_RCU_GPT_st_less_stat;
 399 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 400         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Lazy_st_less_stat > SplitList_Lazy_RCU_SHB_st_less_stat;
 401         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Lazy_st_less_stat > SplitList_Lazy_RCU_SHT_st_less_stat;
 402 #endif
 403
 404         // ***************************************************************************
 405         // SplitListSet based on IterableList
 406
 407         struct traits_SplitList_Iterable_dyn_cmp :
 408             public cc::split_list::make_traits<
 409                 cc::split_list::ordered_list<cc::iterable_list_tag>
 410                 ,co::hash< hash >
 411                 ,cc::split_list::ordered_list_traits<
 412                     typename cc::iterable_list::make_traits<
 413                         co::compare< compare >
 414                     >::type
 415                 >
 416             >::type
 417         {};
 418         typedef SplitListSet< cds::gc::HP,  key_val, traits_SplitList_Iterable_dyn_cmp > SplitList_Iterable_HP_dyn_cmp;
 419         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Iterable_dyn_cmp > SplitList_Iterable_DHP_dyn_cmp;
 420 #if 0
 421         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Iterable_dyn_cmp > SplitList_Iterable_RCU_GPI_dyn_cmp;
 422         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Iterable_dyn_cmp > SplitList_Iterable_RCU_GPB_dyn_cmp;
 423         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Iterable_dyn_cmp > SplitList_Iterable_RCU_GPT_dyn_cmp;
 424 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 425         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Iterable_dyn_cmp > SplitList_Iterable_RCU_SHB_dyn_cmp;
 426         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Iterable_dyn_cmp > SplitList_Iterable_RCU_SHT_dyn_cmp;
 427 #endif
 428 #endif
 429
 430         struct traits_SplitList_Iterable_dyn_cmp_stat:
 431             public cc::split_list::make_traits<
 432                 cc::split_list::ordered_list<cc::iterable_list_tag>
 433                 ,co::hash< hash >
 434                 ,co::stat< cc::split_list::stat<> >
 435                 ,cc::split_list::ordered_list_traits<
 436                     typename cc::iterable_list::make_traits<
 437                         co::compare< compare >
 438                         ,co::stat< cc::iterable_list::stat<>>
 439                     >::type
 440                 >
 441             >::type
 442         {};
 443         typedef SplitListSet< cds::gc::HP, key_val, traits_SplitList_Iterable_dyn_cmp_stat > SplitList_Iterable_HP_dyn_cmp_stat;
 444         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Iterable_dyn_cmp_stat > SplitList_Iterable_DHP_dyn_cmp_stat;
 445 #if 0
 446         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Iterable_dyn_cmp_stat > SplitList_Iterable_RCU_GPI_dyn_cmp_stat;
 447         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Iterable_dyn_cmp_stat > SplitList_Iterable_RCU_GPB_dyn_cmp_stat;
 448         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Iterable_dyn_cmp_stat > SplitList_Iterable_RCU_GPT_dyn_cmp_stat;
 449 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 450         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Iterable_dyn_cmp_stat > SplitList_Iterable_RCU_SHB_dyn_cmp_stat;
 451         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Iterable_dyn_cmp_stat > SplitList_Iterable_RCU_SHT_dyn_cmp_stat;
 452 #endif
 453 #endif
 454
 455         struct traits_SplitList_Iterable_dyn_cmp_seqcst :
 456             public cc::split_list::make_traits<
 457                 cc::split_list::ordered_list<cc::iterable_list_tag>
 458                 ,co::hash< hash >
 459                 ,co::memory_model< co::v::sequential_consistent >
 460                 ,cc::split_list::ordered_list_traits<
 461                     typename cc::iterable_list::make_traits<
 462                         co::compare< compare >
 463                         ,co::memory_model< co::v::sequential_consistent >
 464                     >::type
 465                 >
 466             >::type
 467         {};
 468         typedef SplitListSet< cds::gc::HP,  key_val, traits_SplitList_Iterable_dyn_cmp_seqcst > SplitList_Iterable_HP_dyn_cmp_seqcst;
 469         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Iterable_dyn_cmp_seqcst > SplitList_Iterable_DHP_dyn_cmp_seqcst;
 470 #if 0
 471         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Iterable_dyn_cmp_seqcst > SplitList_Iterable_RCU_GPI_dyn_cmp_seqcst;
 472         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Iterable_dyn_cmp_seqcst > SplitList_Iterable_RCU_GPB_dyn_cmp_seqcst;
 473         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Iterable_dyn_cmp_seqcst > SplitList_Iterable_RCU_GPT_dyn_cmp_seqcst;
 474 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 475         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Iterable_dyn_cmp_seqcst > SplitList_Iterable_RCU_SHB_dyn_cmp_seqcst;
 476         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Iterable_dyn_cmp_seqcst > SplitList_Iterable_RCU_SHT_dyn_cmp_seqcst;
 477 #endif
 478 #endif
 479
 480         struct traits_SplitList_Iterable_st_cmp :
 481             public cc::split_list::make_traits<
 482                 cc::split_list::ordered_list<cc::iterable_list_tag>
 483                 ,cc::split_list::dynamic_bucket_table< false >
 484                 ,co::hash< hash >
 485                 ,cc::split_list::ordered_list_traits<
 486                     typename cc::iterable_list::make_traits<
 487                         co::compare< compare >
 488                     >::type
 489                 >
 490             >::type
 491         {};
 492         typedef SplitListSet< cds::gc::HP,  key_val, traits_SplitList_Iterable_st_cmp > SplitList_Iterable_HP_st_cmp;
 493         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Iterable_st_cmp > SplitList_Iterable_DHP_st_cmp;
 494 #if 0
 495         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Iterable_st_cmp > SplitList_Iterable_RCU_GPI_st_cmp;
 496         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Iterable_st_cmp > SplitList_Iterable_RCU_GPB_st_cmp;
 497         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Iterable_st_cmp > SplitList_Iterable_RCU_GPT_st_cmp;
 498 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 499         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Iterable_st_cmp > SplitList_Iterable_RCU_SHB_st_cmp;
 500         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Iterable_st_cmp > SplitList_Iterable_RCU_SHT_st_cmp;
 501 #endif
 502 #endif
 503
 504         //HP + less
 505         struct traits_SplitList_Iterable_dyn_less :
 506             public cc::split_list::make_traits<
 507                 cc::split_list::ordered_list<cc::iterable_list_tag>
 508                 ,co::hash< hash >
 509                 ,cc::split_list::ordered_list_traits<
 510                     typename cc::iterable_list::make_traits<
 511                         co::less< less >
 512                     >::type
 513                 >
 514             >::type
 515         {};
 516         typedef SplitListSet< cds::gc::HP,  key_val, traits_SplitList_Iterable_dyn_less > SplitList_Iterable_HP_dyn_less;
 517         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Iterable_dyn_less > SplitList_Iterable_DHP_dyn_less;
 518 #if 0
 519         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Iterable_dyn_less > SplitList_Iterable_RCU_GPI_dyn_less;
 520         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Iterable_dyn_less > SplitList_Iterable_RCU_GPB_dyn_less;
 521         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Iterable_dyn_less > SplitList_Iterable_RCU_GPT_dyn_less;
 522 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 523         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Iterable_dyn_less > SplitList_Iterable_RCU_SHB_dyn_less;
 524         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Iterable_dyn_less > SplitList_Iterable_RCU_SHT_dyn_less;
 525 #endif
 526 #endif
 527
 528         struct traits_SplitList_Iterable_st_less :
 529             public cc::split_list::make_traits<
 530                 cc::split_list::ordered_list<cc::iterable_list_tag>
 531                 ,cc::split_list::dynamic_bucket_table< false >
 532                 ,co::hash< hash >
 533                 ,cc::split_list::ordered_list_traits<
 534                     typename cc::iterable_list::make_traits<
 535                         co::less< less >
 536                     >::type
 537                 >
 538             >::type
 539         {};
 540         typedef SplitListSet< cds::gc::HP,  key_val, traits_SplitList_Iterable_st_less > SplitList_Iterable_HP_st_less;
 541         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Iterable_st_less > SplitList_Iterable_DHP_st_less;
 542 #if 0
 543         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Iterable_st_less > SplitList_Iterable_RCU_GPI_st_less;
 544         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Iterable_st_less > SplitList_Iterable_RCU_GPB_st_less;
 545         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Iterable_st_less > SplitList_Iterable_RCU_GPT_st_less;
 546 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 547         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Iterable_st_less > SplitList_Iterable_RCU_SHB_st_less;
 548         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Iterable_st_less > SplitList_Iterable_RCU_SHT_st_less;
 549 #endif
 550 #endif
 551
 552         struct traits_SplitList_Iterable_st_less_stat :
 553             public cc::split_list::make_traits<
 554                 cc::split_list::ordered_list<cc::iterable_list_tag>
 555                 ,cc::split_list::dynamic_bucket_table< false >
 556                 ,co::hash< hash >
 557                 ,co::stat< cc::split_list::stat<>>
 558                 ,cc::split_list::ordered_list_traits<
 559                     typename cc::iterable_list::make_traits<
 560                         co::less< less >
 561                         ,co::stat< cc::iterable_list::stat<>>
 562                     >::type
 563                 >
 564             >::type
 565         {};
 566         typedef SplitListSet< cds::gc::HP,  key_val, traits_SplitList_Iterable_st_less_stat > SplitList_Iterable_HP_st_less_stat;
 567         typedef SplitListSet< cds::gc::DHP, key_val, traits_SplitList_Iterable_st_less_stat > SplitList_Iterable_DHP_st_less_stat;
 568 #if 0
 569         typedef SplitListSet< rcu_gpi, key_val, traits_SplitList_Iterable_st_less_stat > SplitList_Iterable_RCU_GPI_st_less_stat;
 570         typedef SplitListSet< rcu_gpb, key_val, traits_SplitList_Iterable_st_less_stat > SplitList_Iterable_RCU_GPB_st_less_stat;
 571         typedef SplitListSet< rcu_gpt, key_val, traits_SplitList_Iterable_st_less_stat > SplitList_Iterable_RCU_GPT_st_less_stat;
 572 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 573         typedef SplitListSet< rcu_shb, key_val, traits_SplitList_Iterable_st_less_stat > SplitList_Iterable_RCU_SHB_st_less_stat;
 574         typedef SplitListSet< rcu_sht, key_val, traits_SplitList_Iterable_st_less_stat > SplitList_Iterable_RCU_SHT_st_less_stat;
 575 #endif
 576 #endif
 577
 578     };
 579
 580     template <typename GC, typename T, typename Traits>
 581     static inline void print_stat( cds_test::property_stream& o, SplitListSet<GC, T, Traits> const& s )
 582     {
 583         o << s.statistics()
 584           << cds_test::stat_prefix( "list_stat" )
 585           << s.list_statistics()
 586           << cds_test::stat_prefix( "" );
 587     }
 588
 589 } // namespace set
 590
 591
 592 #define CDSSTRESS_SplitListSet_case( fixture, test_case, splitlist_set_type, key_type, value_type ) \
 593     TEST_P( fixture, splitlist_set_type ) \
 594     { \
 595         typedef set::set_type< tag_SplitListSet, key_type, value_type >::splitlist_set_type set_type; \
 596         test_case<set_type>(); \
 597     }
 598
 599
 600 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 601
 602 #if defined(CDS_STRESS_TEST_LEVEL) && CDS_STRESS_TEST_LEVEL > 1
 603 #   define CDSSTRESS_SplitListSet_SHRCU_2( fixture, test_case, key_type, value_type ) \
 604         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_SHB_dyn_cmp_seqcst,  key_type, value_type ) \
 605         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_SHT_dyn_cmp_seqcst,  key_type, value_type ) \
 606
 607 #else
 608 #   define CDSSTRESS_SplitListSet_SHRCU_2( fixture, test_case, key_type, value_type )
 609 #endif
 610
 611 #if defined(CDS_STRESS_TEST_LEVEL) && CDS_STRESS_TEST_LEVEL == 1
 612 #   define CDSSTRESS_SplitListSet_SHRCU_1( fixture, test_case, key_type, value_type ) \
 613         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_SHT_dyn_cmp,         key_type, value_type ) \
 614         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_SHB_dyn_cmp_stat,    key_type, value_type ) \
 615         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_SHB_st_cmp,          key_type, value_type ) \
 616         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_SHB_dyn_less,        key_type, value_type ) \
 617         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_SHB_st_less,         key_type, value_type ) \
 618         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_SHT_st_less_stat,    key_type, value_type ) \
 619         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_SHT_dyn_cmp,            key_type, value_type ) \
 620         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_SHB_dyn_cmp_stat,       key_type, value_type ) \
 621         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_SHT_st_cmp,             key_type, value_type ) \
 622         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_SHB_dyn_less,           key_type, value_type ) \
 623         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_SHT_st_less,            key_type, value_type ) \
 624         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_SHB_st_less_stat,       key_type, value_type ) \
 625
 626 #else
 627 #   define CDSSTRESS_SplitListSet_SHRCU_1( fixture, test_case, key_type, value_type )
 628 #endif
 629
 630
 631 #   define CDSSTRESS_SplitListSet_SHRCU( fixture, test_case, key_type, value_type ) \
 632         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_SHB_dyn_cmp,         key_type, value_type ) \
 633         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_SHT_dyn_cmp_stat,    key_type, value_type ) \
 634         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_SHT_st_cmp,          key_type, value_type ) \
 635         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_SHT_dyn_less,        key_type, value_type ) \
 636         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_SHT_st_less,         key_type, value_type ) \
 637         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_SHB_st_less_stat,    key_type, value_type ) \
 638         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_SHB_dyn_cmp,            key_type, value_type ) \
 639         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_SHT_dyn_cmp_stat,       key_type, value_type ) \
 640         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_SHB_st_cmp,             key_type, value_type ) \
 641         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_SHT_dyn_less,           key_type, value_type ) \
 642         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_SHB_st_less,            key_type, value_type ) \
 643         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_SHT_st_less_stat,       key_type, value_type ) \
 644         CDSSTRESS_SplitListSet_SHRCU_1( fixture, test_case, key_type, value_type ) \
 645         CDSSTRESS_SplitListSet_SHRCU_2( fixture, test_case, key_type, value_type ) \
 646
 647 #else
 648 #   define CDSSTRESS_SplitListSet_SHRCU( fixture, test_case, key_type, value_type )
 649 #endif
 650
 651 #if defined(CDS_STRESS_TEST_LEVEL) && CDS_STRESS_TEST_LEVEL > 1
 652 #   define CDSSTRESS_SplitListSet_HP_2( fixture, test_case, key_type, value_type ) \
 653         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_HP_dyn_cmp_seqcst,       key_type, value_type ) \
 654         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_DHP_dyn_cmp_seqcst,      key_type, value_type ) \
 655
 656 #   define CDSSTRESS_SplitListSet_RCU_2( fixture, test_case, key_type, value_type ) \
 657         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPI_dyn_cmp_seqcst,  key_type, value_type ) \
 658         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPB_dyn_cmp_seqcst,  key_type, value_type ) \
 659         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPT_dyn_cmp_seqcst,  key_type, value_type ) \
 660
 661 #else
 662 #   define CDSSTRESS_SplitListSet_HP_2( fixture, test_case, key_type, value_type )
 663 #   define CDSSTRESS_SplitListSet_RCU_2( fixture, test_case, key_type, value_type )
 664 #endif
 665
 666 #if defined(CDS_STRESS_TEST_LEVEL) && CDS_STRESS_TEST_LEVEL == 1
 667 #   define CDSSTRESS_SplitListSet_HP_1( fixture, test_case, key_type, value_type ) \
 668         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_DHP_dyn_cmp,             key_type, value_type ) \
 669         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_HP_dyn_cmp_stat,         key_type, value_type ) \
 670         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_HP_st_cmp,               key_type, value_type ) \
 671         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_DHP_dyn_less,            key_type, value_type ) \
 672         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_HP_st_less,              key_type, value_type ) \
 673         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_DHP_st_less_stat,        key_type, value_type ) \
 674         \
 675         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_DHP_dyn_cmp,                key_type, value_type ) \
 676         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_HP_dyn_cmp_stat,            key_type, value_type ) \
 677         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_DHP_st_cmp,                 key_type, value_type ) \
 678         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_HP_dyn_less,                key_type, value_type ) \
 679         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_DHP_st_less,                key_type, value_type ) \
 680         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_HP_st_less_stat,            key_type, value_type ) \
 681
 682 #   define CDSSTRESS_SplitListSet_RCU_1( fixture, test_case, 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_GPI_dyn_cmp_stat,    key_type, value_type ) \
 685         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPT_dyn_cmp_stat,    key_type, value_type ) \
 686         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPI_st_cmp,          key_type, value_type ) \
 687         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPT_st_cmp,          key_type, value_type ) \
 688         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPB_dyn_less,        key_type, value_type ) \
 689         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPI_st_less,         key_type, value_type ) \
 690         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPT_st_less,         key_type, value_type ) \
 691         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPB_st_less_stat,    key_type, value_type ) \
 692         \
 693         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPB_dyn_cmp,            key_type, value_type ) \
 694         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPI_dyn_cmp_stat,       key_type, value_type ) \
 695         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPT_dyn_cmp_stat,       key_type, value_type ) \
 696         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPB_st_cmp,             key_type, value_type ) \
 697         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPI_dyn_less,           key_type, value_type ) \
 698         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPT_dyn_less,           key_type, value_type ) \
 699         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPB_st_less,            key_type, value_type ) \
 700         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPI_st_less_stat,       key_type, value_type ) \
 701         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPT_st_less_stat,       key_type, value_type ) \
 702         \
 703         CDSSTRESS_SplitListSet_SHRCU( fixture, test_case, key_type, value_type )
 704
 705
 706 #else
 707 #   define CDSSTRESS_SplitListSet_HP_1( fixture, test_case, key_type, value_type )
 708 #   define CDSSTRESS_SplitListSet_RCU_1( fixture, test_case, key_type, value_type )
 709 #endif
 710
 711 #define CDSSTRESS_SplitListSet_HP( fixture, test_case, key_type, value_type ) \
 712     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_HP_dyn_cmp,              key_type, value_type ) \
 713     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_DHP_dyn_cmp_stat,        key_type, value_type ) \
 714     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_DHP_st_cmp,              key_type, value_type ) \
 715     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_HP_dyn_less,             key_type, value_type ) \
 716     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_DHP_st_less,             key_type, value_type ) \
 717     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_HP_st_less_stat,         key_type, value_type ) \
 718     \
 719     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_HP_dyn_cmp,                 key_type, value_type ) \
 720     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_DHP_dyn_cmp_stat,           key_type, value_type ) \
 721     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_HP_st_cmp,                  key_type, value_type ) \
 722     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_DHP_dyn_less,               key_type, value_type ) \
 723     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_HP_st_less,                 key_type, value_type ) \
 724     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_DHP_st_less_stat,           key_type, value_type ) \
 725     CDSSTRESS_SplitListSet_HP_1( fixture, test_case, key_type, value_type ) \
 726     CDSSTRESS_SplitListSet_HP_2( fixture, test_case, key_type, value_type ) \
 727
 728 #define CDSSTRESS_SplitListSet_RCU( fixture, test_case, key_type, value_type ) \
 729     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPI_dyn_cmp,         key_type, value_type ) \
 730     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPT_dyn_cmp,         key_type, value_type ) \
 731     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPB_dyn_cmp_stat,    key_type, value_type ) \
 732     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPB_st_cmp,          key_type, value_type ) \
 733     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPI_dyn_less,        key_type, value_type ) \
 734     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPT_dyn_less,        key_type, value_type ) \
 735     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPB_st_less,         key_type, value_type ) \
 736     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPI_st_less_stat,    key_type, value_type ) \
 737     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Michael_RCU_GPT_st_less_stat,    key_type, value_type ) \
 738     \
 739     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPI_dyn_cmp,            key_type, value_type ) \
 740     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPT_dyn_cmp,            key_type, value_type ) \
 741     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPB_dyn_cmp_stat,       key_type, value_type ) \
 742     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPI_st_cmp,             key_type, value_type ) \
 743     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPT_st_cmp,             key_type, value_type ) \
 744     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPB_dyn_less,           key_type, value_type ) \
 745     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPI_st_less,            key_type, value_type ) \
 746     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPT_st_less,            key_type, value_type ) \
 747     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Lazy_RCU_GPB_st_less_stat,       key_type, value_type ) \
 748     CDSSTRESS_SplitListSet_RCU_1( fixture, test_case, key_type, value_type ) \
 749     CDSSTRESS_SplitListSet_RCU_2( fixture, test_case, key_type, value_type ) \
 750
 751 #define CDSSTRESS_SplitListSet( fixture, test_case, key_type, value_type ) \
 752     CDSSTRESS_SplitListSet_HP( fixture, test_case, key_type, value_type ) \
 753     CDSSTRESS_SplitListSet_RCU( fixture, test_case, key_type, value_type ) \
 754
 755 #if defined(CDS_STRESS_TEST_LEVEL) && CDS_STRESS_TEST_LEVEL > 0
 756 #   define CDSSTRESS_SplitListIterableSet_1( fixture, test_case, key_type, value_type ) \
 757         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Iterable_DHP_dyn_cmp,             key_type, value_type ) \
 758         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Iterable_HP_dyn_cmp_stat,         key_type, value_type ) \
 759         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Iterable_HP_dyn_cmp_seqcst,       key_type, value_type ) \
 760         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Iterable_DHP_dyn_cmp_seqcst,      key_type, value_type ) \
 761         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Iterable_HP_st_cmp,               key_type, value_type ) \
 762         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Iterable_DHP_dyn_less,            key_type, value_type ) \
 763         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Iterable_HP_st_less,              key_type, value_type ) \
 764         CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Iterable_DHP_st_less_stat,        key_type, value_type ) \
 765
 766 #else
 767 #   define CDSSTRESS_SplitListIterableSet_1( fixture, test_case, key_type, value_type )
 768 #endif
 769
 770 #define CDSSTRESS_SplitListIterableSet( fixture, test_case, key_type, value_type ) \
 771     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Iterable_HP_dyn_cmp,              key_type, value_type ) \
 772     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Iterable_DHP_dyn_cmp_stat,        key_type, value_type ) \
 773     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Iterable_DHP_st_cmp,              key_type, value_type ) \
 774     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Iterable_HP_dyn_less,             key_type, value_type ) \
 775     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Iterable_DHP_st_less,             key_type, value_type ) \
 776     CDSSTRESS_SplitListSet_case( fixture, test_case, SplitList_Iterable_HP_st_less_stat,         key_type, value_type ) \
 777     CDSSTRESS_SplitListIterableSet_1( fixture, test_case, key_type, value_type )
 778
 779 #endif // #ifndef CDSUNIT_SET_TYPE_SPLIT_LIST_H