tests/unit/map2/map_type_skip_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-2016
   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_MAP_TYPE_SKIP_LIST_H
  32 #define CDSUNIT_MAP_TYPE_SKIP_LIST_H
  33
  34 #include "map2/map_type.h"
  35
  36 #include <cds/container/skip_list_map_hp.h>
  37 #include <cds/container/skip_list_map_dhp.h>
  38 #include <cds/container/skip_list_map_rcu.h>
  39 #include <cds/container/skip_list_map_nogc.h>
  40
  41 #include "print_skip_list_stat.h"
  42
  43 namespace map2 {
  44
  45     template <class GC, typename Key, typename T, typename Traits = cc::skip_list::traits >
  46     class SkipListMap : public cc::SkipListMap< GC, Key, T, Traits >
  47     {
  48         typedef cc::SkipListMap< GC, Key, T, Traits > base_class;
  49     public:
  50         template <typename Config>
  51         SkipListMap( Config const& /*cfg*/)
  52             : base_class()
  53         {}
  54
  55         // for testing
  56         static CDS_CONSTEXPR bool const c_bExtractSupported = true;
  57         static CDS_CONSTEXPR bool const c_bLoadFactorDepended = false;
  58         static CDS_CONSTEXPR bool const c_bEraseExactKey = false;
  59     };
  60
  61     struct tag_SkipListMap;
  62
  63     template <typename Key, typename Value>
  64     struct map_type< tag_SkipListMap, Key, Value >: public map_type_base< Key, Value >
  65     {
  66         typedef map_type_base< Key, Value > base_class;
  67         typedef typename base_class::compare    compare;
  68         typedef typename base_class::less       less;
  69
  70         class traits_SkipListMap_less_pascal: public cc::skip_list::make_traits <
  71                 co::less< less >
  72                 ,cc::skip_list::random_level_generator< cc::skip_list::turbo_pascal >
  73                 ,co::item_counter< cds::atomicity::item_counter >
  74             >::type
  75         {};
  76         typedef SkipListMap< cds::gc::HP, Key, Value, traits_SkipListMap_less_pascal > SkipListMap_hp_less_pascal;
  77         typedef SkipListMap< cds::gc::DHP, Key, Value, traits_SkipListMap_less_pascal > SkipListMap_dhp_less_pascal;
  78         typedef SkipListMap< cds::gc::nogc, Key, Value, traits_SkipListMap_less_pascal > SkipListMap_nogc_less_pascal;
  79         typedef SkipListMap< rcu_gpi, Key, Value, traits_SkipListMap_less_pascal > SkipListMap_rcu_gpi_less_pascal;
  80         typedef SkipListMap< rcu_gpb, Key, Value, traits_SkipListMap_less_pascal > SkipListMap_rcu_gpb_less_pascal;
  81         typedef SkipListMap< rcu_gpt, Key, Value, traits_SkipListMap_less_pascal > SkipListMap_rcu_gpt_less_pascal;
  82 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
  83         typedef SkipListMap< rcu_shb, Key, Value, traits_SkipListMap_less_pascal > SkipListMap_rcu_shb_less_pascal;
  84         typedef SkipListMap< rcu_sht, Key, Value, traits_SkipListMap_less_pascal > SkipListMap_rcu_sht_less_pascal;
  85 #endif
  86
  87         class traits_SkipListMap_less_pascal_seqcst: public cc::skip_list::make_traits <
  88                 co::less< less >
  89                 ,cc::skip_list::random_level_generator< cc::skip_list::turbo_pascal >
  90                 ,co::memory_model< co::v::sequential_consistent >
  91                 ,co::item_counter< cds::atomicity::item_counter >
  92             >::type
  93         {};
  94         typedef SkipListMap< cds::gc::HP, Key, Value, traits_SkipListMap_less_pascal_seqcst > SkipListMap_hp_less_pascal_seqcst;
  95         typedef SkipListMap< cds::gc::DHP, Key, Value, traits_SkipListMap_less_pascal_seqcst > SkipListMap_dhp_less_pascal_seqcst;
  96         typedef SkipListMap< cds::gc::nogc, Key, Value, traits_SkipListMap_less_pascal_seqcst > SkipListMap_nogc_less_pascal_seqcst;
  97         typedef SkipListMap< rcu_gpi, Key, Value, traits_SkipListMap_less_pascal_seqcst > SkipListMap_rcu_gpi_less_pascal_seqcst;
  98         typedef SkipListMap< rcu_gpb, Key, Value, traits_SkipListMap_less_pascal_seqcst > SkipListMap_rcu_gpb_less_pascal_seqcst;
  99         typedef SkipListMap< rcu_gpt, Key, Value, traits_SkipListMap_less_pascal_seqcst > SkipListMap_rcu_gpt_less_pascal_seqcst;
 100 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 101         typedef SkipListMap< rcu_shb, Key, Value, traits_SkipListMap_less_pascal_seqcst > SkipListMap_rcu_shb_less_pascal_seqcst;
 102         typedef SkipListMap< rcu_sht, Key, Value, traits_SkipListMap_less_pascal_seqcst > SkipListMap_rcu_sht_less_pascal_seqcst;
 103 #endif
 104
 105         class traits_SkipListMap_less_pascal_stat: public cc::skip_list::make_traits <
 106                 co::less< less >
 107                 ,cc::skip_list::random_level_generator< cc::skip_list::turbo_pascal >
 108                 ,co::stat< cc::skip_list::stat<> >
 109                 ,co::item_counter< cds::atomicity::item_counter >
 110             >::type
 111         {};
 112         typedef SkipListMap< cds::gc::HP, Key, Value, traits_SkipListMap_less_pascal_stat > SkipListMap_hp_less_pascal_stat;
 113         typedef SkipListMap< cds::gc::DHP, Key, Value, traits_SkipListMap_less_pascal_stat > SkipListMap_dhp_less_pascal_stat;
 114         typedef SkipListMap< cds::gc::nogc, Key, Value, traits_SkipListMap_less_pascal_stat > SkipListMap_nogc_less_pascal_stat;
 115         typedef SkipListMap< rcu_gpi, Key, Value, traits_SkipListMap_less_pascal_stat > SkipListMap_rcu_gpi_less_pascal_stat;
 116         typedef SkipListMap< rcu_gpb, Key, Value, traits_SkipListMap_less_pascal_stat > SkipListMap_rcu_gpb_less_pascal_stat;
 117         typedef SkipListMap< rcu_gpt, Key, Value, traits_SkipListMap_less_pascal_stat > SkipListMap_rcu_gpt_less_pascal_stat;
 118 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 119         typedef SkipListMap< rcu_shb, Key, Value, traits_SkipListMap_less_pascal_stat > SkipListMap_rcu_shb_less_pascal_stat;
 120         typedef SkipListMap< rcu_sht, Key, Value, traits_SkipListMap_less_pascal_stat > SkipListMap_rcu_sht_less_pascal_stat;
 121 #endif
 122
 123         class traits_SkipListMap_cmp_pascal: public cc::skip_list::make_traits <
 124                 co::compare< compare >
 125                 ,cc::skip_list::random_level_generator< cc::skip_list::turbo_pascal >
 126                 ,co::item_counter< cds::atomicity::item_counter >
 127             >::type
 128         {};
 129         typedef SkipListMap< cds::gc::HP, Key, Value, traits_SkipListMap_cmp_pascal > SkipListMap_hp_cmp_pascal;
 130         typedef SkipListMap< cds::gc::DHP, Key, Value, traits_SkipListMap_cmp_pascal > SkipListMap_dhp_cmp_pascal;
 131         typedef SkipListMap< cds::gc::nogc, Key, Value, traits_SkipListMap_cmp_pascal > SkipListMap_nogc_cmp_pascal;
 132         typedef SkipListMap< rcu_gpi, Key, Value, traits_SkipListMap_cmp_pascal > SkipListMap_rcu_gpi_cmp_pascal;
 133         typedef SkipListMap< rcu_gpb, Key, Value, traits_SkipListMap_cmp_pascal > SkipListMap_rcu_gpb_cmp_pascal;
 134         typedef SkipListMap< rcu_gpt, Key, Value, traits_SkipListMap_cmp_pascal > SkipListMap_rcu_gpt_cmp_pascal;
 135 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 136         typedef SkipListMap< rcu_shb, Key, Value, traits_SkipListMap_cmp_pascal > SkipListMap_rcu_shb_cmp_pascal;
 137         typedef SkipListMap< rcu_sht, Key, Value, traits_SkipListMap_cmp_pascal > SkipListMap_rcu_sht_cmp_pascal;
 138 #endif
 139
 140         class traits_SkipListMap_cmp_pascal_stat: public cc::skip_list::make_traits <
 141                 co::compare< compare >
 142                 ,cc::skip_list::random_level_generator< cc::skip_list::turbo_pascal >
 143                 ,co::stat< cc::skip_list::stat<> >
 144                 ,co::item_counter< cds::atomicity::item_counter >
 145             >::type
 146         {};
 147         typedef SkipListMap< cds::gc::HP, Key, Value, traits_SkipListMap_cmp_pascal_stat > SkipListMap_hp_cmp_pascal_stat;
 148         typedef SkipListMap< cds::gc::DHP, Key, Value, traits_SkipListMap_cmp_pascal_stat > SkipListMap_dhp_cmp_pascal_stat;
 149         typedef SkipListMap< cds::gc::nogc, Key, Value, traits_SkipListMap_cmp_pascal_stat > SkipListMap_nogc_cmp_pascal_stat;
 150         typedef SkipListMap< rcu_gpi, Key, Value, traits_SkipListMap_cmp_pascal_stat > SkipListMap_rcu_gpi_cmp_pascal_stat;
 151         typedef SkipListMap< rcu_gpb, Key, Value, traits_SkipListMap_cmp_pascal_stat > SkipListMap_rcu_gpb_cmp_pascal_stat;
 152         typedef SkipListMap< rcu_gpt, Key, Value, traits_SkipListMap_cmp_pascal_stat > SkipListMap_rcu_gpt_cmp_pascal_stat;
 153 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 154         typedef SkipListMap< rcu_shb, Key, Value, traits_SkipListMap_cmp_pascal_stat > SkipListMap_rcu_shb_cmp_pascal_stat;
 155         typedef SkipListMap< rcu_sht, Key, Value, traits_SkipListMap_cmp_pascal_stat > SkipListMap_rcu_sht_cmp_pascal_stat;
 156 #endif
 157
 158         class traits_SkipListMap_less_xorshift: public cc::skip_list::make_traits <
 159                 co::less< less >
 160                 ,cc::skip_list::random_level_generator< cc::skip_list::xorshift >
 161                 ,co::item_counter< cds::atomicity::item_counter >
 162             >::type
 163         {};
 164         typedef SkipListMap< cds::gc::HP, Key, Value, traits_SkipListMap_less_xorshift > SkipListMap_hp_less_xorshift;
 165         typedef SkipListMap< cds::gc::DHP, Key, Value, traits_SkipListMap_less_xorshift > SkipListMap_dhp_less_xorshift;
 166         typedef SkipListMap< cds::gc::nogc, Key, Value, traits_SkipListMap_less_xorshift > SkipListMap_nogc_less_xorshift;
 167         typedef SkipListMap< rcu_gpi, Key, Value, traits_SkipListMap_less_xorshift > SkipListMap_rcu_gpi_less_xorshift;
 168         typedef SkipListMap< rcu_gpb, Key, Value, traits_SkipListMap_less_xorshift > SkipListMap_rcu_gpb_less_xorshift;
 169         typedef SkipListMap< rcu_gpt, Key, Value, traits_SkipListMap_less_xorshift > SkipListMap_rcu_gpt_less_xorshift;
 170 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 171         typedef SkipListMap< rcu_shb, Key, Value, traits_SkipListMap_less_xorshift > SkipListMap_rcu_shb_less_xorshift;
 172         typedef SkipListMap< rcu_sht, Key, Value, traits_SkipListMap_less_xorshift > SkipListMap_rcu_sht_less_xorshift;
 173 #endif
 174
 175         class traits_SkipListMap_less_xorshift_stat: public cc::skip_list::make_traits <
 176                 co::less< less >
 177                 ,cc::skip_list::random_level_generator< cc::skip_list::xorshift >
 178                 ,co::stat< cc::skip_list::stat<> >
 179                 ,co::item_counter< cds::atomicity::item_counter >
 180             >::type
 181         {};
 182         typedef SkipListMap< cds::gc::HP, Key, Value, traits_SkipListMap_less_xorshift_stat > SkipListMap_hp_less_xorshift_stat;
 183         typedef SkipListMap< cds::gc::DHP, Key, Value, traits_SkipListMap_less_xorshift_stat > SkipListMap_dhp_less_xorshift_stat;
 184         typedef SkipListMap< cds::gc::nogc, Key, Value, traits_SkipListMap_less_xorshift_stat > SkipListMap_nogc_less_xorshift_stat;
 185         typedef SkipListMap< rcu_gpi, Key, Value, traits_SkipListMap_less_xorshift_stat > SkipListMap_rcu_gpi_less_xorshift_stat;
 186         typedef SkipListMap< rcu_gpb, Key, Value, traits_SkipListMap_less_xorshift_stat > SkipListMap_rcu_gpb_less_xorshift_stat;
 187         typedef SkipListMap< rcu_gpt, Key, Value, traits_SkipListMap_less_xorshift_stat > SkipListMap_rcu_gpt_less_xorshift_stat;
 188 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 189         typedef SkipListMap< rcu_shb, Key, Value, traits_SkipListMap_less_xorshift_stat > SkipListMap_rcu_shb_less_xorshift_stat;
 190         typedef SkipListMap< rcu_sht, Key, Value, traits_SkipListMap_less_xorshift_stat > SkipListMap_rcu_sht_less_xorshift_stat;
 191 #endif
 192
 193         class traits_SkipListMap_cmp_xorshift: public cc::skip_list::make_traits <
 194                 co::compare< compare >
 195                 ,cc::skip_list::random_level_generator< cc::skip_list::xorshift >
 196                 ,co::item_counter< cds::atomicity::item_counter >
 197             >::type
 198         {};
 199         typedef SkipListMap< cds::gc::HP, Key, Value, traits_SkipListMap_cmp_xorshift > SkipListMap_hp_cmp_xorshift;
 200         typedef SkipListMap< cds::gc::DHP, Key, Value, traits_SkipListMap_cmp_xorshift > SkipListMap_dhp_cmp_xorshift;
 201         typedef SkipListMap< cds::gc::nogc, Key, Value, traits_SkipListMap_cmp_xorshift > SkipListMap_nogc_cmp_xorshift;
 202         typedef SkipListMap< rcu_gpi, Key, Value, traits_SkipListMap_cmp_xorshift > SkipListMap_rcu_gpi_cmp_xorshift;
 203         typedef SkipListMap< rcu_gpb, Key, Value, traits_SkipListMap_cmp_xorshift > SkipListMap_rcu_gpb_cmp_xorshift;
 204         typedef SkipListMap< rcu_gpt, Key, Value, traits_SkipListMap_cmp_xorshift > SkipListMap_rcu_gpt_cmp_xorshift;
 205 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 206         typedef SkipListMap< rcu_shb, Key, Value, traits_SkipListMap_cmp_xorshift > SkipListMap_rcu_shb_cmp_xorshift;
 207         typedef SkipListMap< rcu_sht, Key, Value, traits_SkipListMap_cmp_xorshift > SkipListMap_rcu_sht_cmp_xorshift;
 208 #endif
 209
 210         class traits_SkipListMap_cmp_xorshift_stat: public cc::skip_list::make_traits <
 211                 co::compare< compare >
 212                 ,cc::skip_list::random_level_generator< cc::skip_list::xorshift >
 213                 ,co::stat< cc::skip_list::stat<> >
 214                 ,co::item_counter< cds::atomicity::item_counter >
 215             >::type
 216         {};
 217         typedef SkipListMap< cds::gc::HP, Key, Value, traits_SkipListMap_cmp_xorshift_stat > SkipListMap_hp_cmp_xorshift_stat;
 218         typedef SkipListMap< cds::gc::DHP, Key, Value, traits_SkipListMap_cmp_xorshift_stat > SkipListMap_dhp_cmp_xorshift_stat;
 219         typedef SkipListMap< cds::gc::nogc, Key, Value, traits_SkipListMap_cmp_xorshift_stat > SkipListMap_nogc_cmp_xorshift_stat;
 220         typedef SkipListMap< rcu_gpi, Key, Value, traits_SkipListMap_cmp_xorshift_stat > SkipListMap_rcu_gpi_cmp_xorshift_stat;
 221         typedef SkipListMap< rcu_gpb, Key, Value, traits_SkipListMap_cmp_xorshift_stat > SkipListMap_rcu_gpb_cmp_xorshift_stat;
 222         typedef SkipListMap< rcu_gpt, Key, Value, traits_SkipListMap_cmp_xorshift_stat > SkipListMap_rcu_gpt_cmp_xorshift_stat;
 223 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 224         typedef SkipListMap< rcu_shb, Key, Value, traits_SkipListMap_cmp_xorshift_stat > SkipListMap_rcu_shb_cmp_xorshift_stat;
 225         typedef SkipListMap< rcu_sht, Key, Value, traits_SkipListMap_cmp_xorshift_stat > SkipListMap_rcu_sht_cmp_xorshift_stat;
 226 #endif
 227
 228     };
 229
 230     template <typename GC, typename K, typename T, typename Traits >
 231     static inline void print_stat( SkipListMap< GC, K, T, Traits > const& m )
 232     {
 233         CPPUNIT_MSG( m.statistics() );
 234     }
 235
 236 }   // namespace map2
 237
 238 #endif // ifndef CDSUNIT_MAP_TYPE_SKIP_LIST_H