tests/test-hdr/map/hdr_splitlist_map_lazy_rcu_sht.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 "map/hdr_map.h"
  32 #include <cds/urcu/signal_threaded.h>
  33 #include <cds/container/lazy_list_rcu.h>
  34 #include <cds/container/split_list_map_rcu.h>
  35
  36 namespace map {
  37
  38 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
  39     namespace {
  40         typedef cds::urcu::gc< cds::urcu::signal_threaded<> >  rcu_type;
  41
  42         struct RCU_SHT_cmp_traits: public cc::split_list::traits
  43         {
  44             typedef cc::lazy_list_tag                   ordered_list;
  45             typedef HashMapHdrTest::hash_int            hash;
  46             typedef HashMapHdrTest::simple_item_counter item_counter;
  47             typedef cc::opt::v::relaxed_ordering        memory_model;
  48             enum { dynamic_bucket_table = false };
  49
  50             struct ordered_list_traits: public cc::lazy_list::traits
  51             {
  52                 typedef HashMapHdrTest::cmp   compare;
  53             };
  54         };
  55
  56         struct RCU_SHT_less_traits: public cc::split_list::traits
  57         {
  58             typedef cc::lazy_list_tag                   ordered_list;
  59             typedef HashMapHdrTest::hash_int            hash;
  60             typedef HashMapHdrTest::simple_item_counter item_counter;
  61             typedef cc::opt::v::sequential_consistent                      memory_model;
  62             enum { dynamic_bucket_table = true };
  63
  64             struct ordered_list_traits: public cc::lazy_list::traits
  65             {
  66                 typedef HashMapHdrTest::less   less;
  67             };
  68         };
  69
  70         struct RCU_cmpmix_traits: public cc::split_list::traits
  71         {
  72             typedef cc::lazy_list_tag                   ordered_list;
  73             typedef HashMapHdrTest::hash_int            hash;
  74             typedef HashMapHdrTest::simple_item_counter item_counter;
  75
  76             struct ordered_list_traits: public cc::lazy_list::traits
  77             {
  78                 typedef HashMapHdrTest::cmp   compare;
  79                 typedef std::less<HashMapHdrTest::key_type>     less;
  80             };
  81         };
  82
  83         struct RCU_cmpmix_stat_traits : public RCU_cmpmix_traits
  84         {
  85             typedef cc::split_list::stat<> stat;
  86         };
  87 }
  88 #endif
  89
  90     void HashMapHdrTest::Split_Lazy_RCU_SHT_cmp()
  91     {
  92 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
  93         // traits-based version
  94         typedef cc::SplitListMap< rcu_type, key_type, value_type, RCU_SHT_cmp_traits > map_type;
  95         test_rcu< map_type >();
  96
  97         // option-based version
  98         typedef cc::SplitListMap< rcu_type,
  99             key_type,
 100             value_type,
 101             cc::split_list::make_traits<
 102                 cc::split_list::ordered_list<cc::lazy_list_tag>
 103                 ,cc::opt::hash< hash_int >
 104                 ,cc::opt::item_counter< simple_item_counter >
 105                 ,cc::opt::memory_model< cc::opt::v::relaxed_ordering >
 106                 ,cc::split_list::dynamic_bucket_table< true >
 107                 ,cc::split_list::ordered_list_traits<
 108                     cc::lazy_list::make_traits<
 109                         cc::opt::compare< cmp >
 110                     >::type
 111                 >
 112             >::type
 113         > opt_map;
 114         test_rcu< opt_map >();
 115 #endif
 116     }
 117
 118     void HashMapHdrTest::Split_Lazy_RCU_SHT_less()
 119     {
 120 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 121         // traits-based version
 122         typedef cc::SplitListMap< rcu_type, key_type, value_type, RCU_SHT_less_traits > map_type;
 123         test_rcu< map_type >();
 124
 125         // option-based version
 126         typedef cc::SplitListMap< rcu_type,
 127             key_type,
 128             value_type,
 129             cc::split_list::make_traits<
 130                 cc::split_list::ordered_list<cc::lazy_list_tag>
 131                 ,cc::opt::hash< hash_int >
 132                 ,cc::opt::item_counter< simple_item_counter >
 133                 ,cc::opt::memory_model< cc::opt::v::relaxed_ordering >
 134                 ,cc::split_list::dynamic_bucket_table< false >
 135                 ,cc::split_list::ordered_list_traits<
 136                     cc::lazy_list::make_traits<
 137                         cc::opt::less< less >
 138                     >::type
 139                 >
 140             >::type
 141         > opt_map;
 142         test_rcu< opt_map >();
 143 #endif
 144     }
 145
 146     void HashMapHdrTest::Split_Lazy_RCU_SHT_cmpmix()
 147     {
 148 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 149         // traits-based version
 150         typedef cc::SplitListMap< rcu_type, key_type, value_type, RCU_cmpmix_traits > map_type;
 151         test_rcu< map_type >();
 152
 153         // option-based version
 154         typedef cc::SplitListMap< rcu_type,
 155             key_type,
 156             value_type,
 157             cc::split_list::make_traits<
 158                 cc::split_list::ordered_list<cc::lazy_list_tag>
 159                 ,cc::opt::hash< hash_int >
 160                 ,cc::opt::item_counter< simple_item_counter >
 161                 ,cc::split_list::ordered_list_traits<
 162                     cc::lazy_list::make_traits<
 163                     cc::opt::less< std::less<key_type> >
 164                         ,cc::opt::compare< cmp >
 165                     >::type
 166                 >
 167             >::type
 168         > opt_map;
 169         test_rcu< opt_map >();
 170 #endif
 171     }
 172
 173     void HashMapHdrTest::Split_Lazy_RCU_SHT_cmpmix_stat()
 174     {
 175 #ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
 176         // traits-based version
 177         typedef cc::SplitListMap< rcu_type, key_type, value_type, RCU_cmpmix_stat_traits > map_type;
 178         test_rcu< map_type >();
 179
 180         // option-based version
 181         typedef cc::SplitListMap< rcu_type,
 182             key_type,
 183             value_type,
 184             cc::split_list::make_traits<
 185                 cc::split_list::ordered_list<cc::lazy_list_tag>
 186                 ,cc::opt::hash< hash_int >
 187                 ,cc::opt::item_counter< simple_item_counter >
 188                 ,cc::opt::stat< cc::split_list::stat<> >
 189                 ,cc::split_list::ordered_list_traits<
 190                     cc::lazy_list::make_traits<
 191                     cc::opt::less< std::less<key_type> >
 192                         ,cc::opt::compare< cmp >
 193                     >::type
 194                 >
 195             >::type
 196         > opt_map;
 197         test_rcu< opt_map >();
 198 #endif
 199     }
 200
 201 } // namespace map