test/unit/map/split_iterable_dhp.cpp

   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 #include "test_michael_iterable_hp.h"
  32
  33 #include <cds/container/iterable_list_dhp.h>
  34 #include <cds/container/split_list_map.h>
  35 #include <cds/intrusive/free_list.h>
  36
  37 namespace {
  38     namespace cc = cds::container;
  39     typedef cds::gc::DHP gc_type;
  40
  41     class SplitListIterableMap_DHP : public cds_test::michael_iterable_map
  42     {
  43     protected:
  44         typedef cds_test::michael_iterable_map base_class;
  45
  46         void SetUp()
  47         {
  48             struct map_traits: public cc::split_list::traits {
  49                 typedef cc::iterable_list_tag ordered_list;
  50                 typedef hash1 hash;
  51                 struct ordered_list_traits: public cc::iterable_list::traits
  52                 {
  53                     typedef cmp compare;
  54                 };
  55             };
  56             typedef cc::SplitListMap< gc_type, key_type, value_type, map_traits >   map_type;
  57
  58             cds::gc::dhp::smr::construct( map_type::c_nHazardPtrCount );
  59             cds::threading::Manager::attachThread();
  60         }
  61
  62         void TearDown()
  63         {
  64             cds::threading::Manager::detachThread();
  65             cds::gc::dhp::smr::destruct();
  66         }
  67     };
  68
  69     TEST_F( SplitListIterableMap_DHP, compare )
  70     {
  71         typedef cc::SplitListMap< gc_type, key_type, value_type,
  72             typename cc::split_list::make_traits<
  73                 cc::split_list::ordered_list< cc::iterable_list_tag >
  74                 , cds::opt::hash< hash1 >
  75                 , cc::split_list::ordered_list_traits<
  76                     typename cc::iterable_list::make_traits<
  77                         cds::opt::compare< cmp >
  78                     >::type
  79                 >
  80             >::type
  81         > map_type;
  82
  83         map_type m( kSize, 2 );
  84         test( m );
  85     }
  86
  87     TEST_F( SplitListIterableMap_DHP, less )
  88     {
  89         typedef cc::SplitListMap< gc_type, key_type, value_type,
  90             typename cc::split_list::make_traits<
  91                 cc::split_list::ordered_list< cc::iterable_list_tag >
  92                 , cds::opt::hash< hash1 >
  93                 , cc::split_list::ordered_list_traits<
  94                     typename cc::iterable_list::make_traits<
  95                         cds::opt::less< less >
  96                     >::type
  97                 >
  98             >::type
  99         > map_type;
 100
 101         map_type m( kSize, 2 );
 102         test( m );
 103     }
 104
 105     TEST_F( SplitListIterableMap_DHP, cmpmix )
 106     {
 107         typedef cc::SplitListMap< gc_type, key_type, value_type,
 108             typename cc::split_list::make_traits<
 109                 cc::split_list::ordered_list< cc::iterable_list_tag >
 110                 , cds::opt::hash< hash1 >
 111                 , cc::split_list::ordered_list_traits<
 112                     typename cc::iterable_list::make_traits<
 113                         cds::opt::less< less >
 114                         , cds::opt::compare< cmp >
 115                     >::type
 116                 >
 117             >::type
 118         > map_type;
 119
 120         map_type m( kSize, 2 );
 121         test( m );
 122     }
 123
 124     TEST_F( SplitListIterableMap_DHP, item_counting )
 125     {
 126         struct map_traits: public cc::split_list::traits
 127         {
 128             typedef cc::iterable_list_tag ordered_list;
 129             typedef hash1 hash;
 130             typedef cds::atomicity::item_counter item_counter;
 131
 132             struct ordered_list_traits: public cc::iterable_list::traits
 133             {
 134                 typedef cmp compare;
 135                 typedef base_class::less less;
 136                 typedef cds::backoff::empty back_off;
 137             };
 138         };
 139         typedef cc::SplitListMap< gc_type, key_type, value_type, map_traits > map_type;
 140
 141         map_type m( kSize, 4 );
 142         test( m );
 143     }
 144
 145     TEST_F( SplitListIterableMap_DHP, stat )
 146     {
 147         struct map_traits: public cc::split_list::traits
 148         {
 149             typedef cc::iterable_list_tag ordered_list;
 150             typedef hash1 hash;
 151             typedef cds::atomicity::item_counter item_counter;
 152             typedef cc::split_list::stat<> stat;
 153
 154             struct ordered_list_traits: public cc::iterable_list::traits
 155             {
 156                 typedef base_class::less less;
 157                 typedef cc::iterable_list::stat<> stat;
 158             };
 159         };
 160         typedef cc::SplitListMap< gc_type, key_type, value_type, map_traits > map_type;
 161
 162         map_type m( kSize, 2 );
 163         test( m );
 164         EXPECT_NE( m.statistics().m_nInsertSuccess, 0u );
 165         EXPECT_NE( m.list_statistics().m_nInsertSuccess, 0u );
 166     }
 167
 168     TEST_F( SplitListIterableMap_DHP, back_off )
 169     {
 170         struct map_traits: public cc::split_list::traits
 171         {
 172             typedef cc::iterable_list_tag ordered_list;
 173             typedef hash1 hash;
 174             typedef cds::atomicity::item_counter item_counter;
 175             typedef cds::backoff::yield back_off;
 176             typedef cds::opt::v::sequential_consistent memory_model;
 177
 178             struct ordered_list_traits: public cc::iterable_list::traits
 179             {
 180                 typedef cmp compare;
 181                 typedef cds::backoff::pause back_off;
 182             };
 183         };
 184         typedef cc::SplitListMap< gc_type, key_type, value_type, map_traits > map_type;
 185
 186         map_type m( kSize, 3 );
 187         test( m );
 188     }
 189
 190     TEST_F( SplitListIterableMap_DHP, free_list )
 191     {
 192         struct map_traits: public cc::split_list::traits
 193         {
 194             typedef cc::iterable_list_tag ordered_list;
 195             typedef hash1 hash;
 196             typedef cds::atomicity::item_counter item_counter;
 197             typedef cds::intrusive::FreeList free_list;
 198
 199             struct ordered_list_traits: public cc::iterable_list::traits
 200             {
 201                 typedef cmp compare;
 202                 typedef cds::backoff::pause back_off;
 203             };
 204         };
 205         typedef cc::SplitListMap< gc_type, key_type, value_type, map_traits > map_type;
 206
 207         map_type m( kSize, 3 );
 208         test( m );
 209     }
 210
 211     struct set_static_traits: public cc::split_list::traits
 212     {
 213         static bool const dynamic_bucket_table = false;
 214     };
 215
 216     TEST_F( SplitListIterableMap_DHP, static_bucket_table )
 217     {
 218         struct map_traits: public set_static_traits
 219         {
 220             typedef cc::iterable_list_tag ordered_list;
 221             typedef hash1 hash;
 222             typedef cds::atomicity::item_counter item_counter;
 223
 224             struct ordered_list_traits: public cc::iterable_list::traits
 225             {
 226                 typedef cmp compare;
 227                 typedef cds::backoff::pause back_off;
 228             };
 229         };
 230         typedef cc::SplitListMap< gc_type, key_type, value_type, map_traits > map_type;
 231
 232         map_type m( kSize, 4 );
 233         test( m );
 234     }
 235
 236     TEST_F( SplitListIterableMap_DHP, static_bucket_table_free_list )
 237     {
 238         struct map_traits: public set_static_traits
 239         {
 240             typedef cc::iterable_list_tag ordered_list;
 241             typedef hash1 hash;
 242             typedef cds::atomicity::item_counter item_counter;
 243             typedef cds::intrusive::FreeList free_list;
 244
 245             struct ordered_list_traits: public cc::iterable_list::traits
 246             {
 247                 typedef cmp compare;
 248                 typedef cds::backoff::pause back_off;
 249             };
 250         };
 251         typedef cc::SplitListMap< gc_type, key_type, value_type, map_traits > map_type;
 252
 253         map_type m( kSize, 4 );
 254         test( m );
 255     }
 256
 257 } // namespace