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