test/unit/set/test_intrusive_michael_lazy_rcu.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 #ifndef CDSUNIT_SET_TEST_INTRUSIVE_MICHAEL_LAZY_RCU_H
  31 #define CDSUNIT_SET_TEST_INTRUSIVE_MICHAEL_LAZY_RCU_H
  32
  33 #include "test_intrusive_set_rcu.h"
  34 #include <cds/intrusive/lazy_list_rcu.h>
  35 #include <cds/intrusive/michael_set_rcu.h>
  36
  37 namespace ci = cds::intrusive;
  38
  39 template <class RCU>
  40 class IntrusiveMichaelLazySet: public cds_test::intrusive_set_rcu
  41 {
  42     typedef cds_test::intrusive_set_rcu base_class;
  43 public:
  44     typedef cds::urcu::gc<RCU> rcu_type;
  45     typedef typename base_class::base_int_item< ci::lazy_list::node<rcu_type>>   base_item_type;
  46     typedef typename base_class::base_int_item< ci::lazy_list::node<rcu_type, std::mutex>>   base_mutex_item_type;
  47     typedef typename base_class::member_int_item< ci::lazy_list::node<rcu_type>> member_item_type;
  48     typedef typename base_class::member_int_item< ci::lazy_list::node<rcu_type, std::mutex>> member_mutex_item_type;
  49
  50 protected:
  51     void SetUp()
  52     {
  53         RCU::Construct();
  54         cds::threading::Manager::attachThread();
  55     }
  56
  57     void TearDown()
  58     {
  59         cds::threading::Manager::detachThread();
  60         RCU::Destruct();
  61     }
  62 };
  63
  64 TYPED_TEST_CASE_P( IntrusiveMichaelLazySet );
  65
  66 TYPED_TEST_P( IntrusiveMichaelLazySet, base_cmp )
  67 {
  68     typedef typename TestFixture::rcu_type rcu_type;
  69     typedef typename TestFixture::base_item_type base_item_type;
  70     typedef typename TestFixture::mock_disposer mock_disposer;
  71     typedef typename TestFixture::template cmp<base_item_type> cmp;
  72     typedef typename TestFixture::hash_int hash_int;
  73
  74     typedef ci::LazyList< rcu_type
  75         , base_item_type
  76         , typename ci::lazy_list::make_traits<
  77             ci::opt::hook< ci::lazy_list::base_hook< ci::opt::gc< rcu_type > > >
  78             , ci::opt::compare< cmp >
  79             , ci::opt::disposer< mock_disposer >
  80         >::type
  81     > bucket_type;
  82
  83     typedef ci::MichaelHashSet< rcu_type, bucket_type,
  84         typename ci::michael_set::make_traits<
  85             ci::opt::hash< hash_int >
  86         >::type
  87     > set_type;
  88
  89     set_type s( TestFixture::kSize, 2 );
  90     this->test( s );
  91 }
  92
  93 TYPED_TEST_P( IntrusiveMichaelLazySet, base_less )
  94 {
  95     typedef typename TestFixture::rcu_type rcu_type;
  96     typedef typename TestFixture::base_item_type base_item_type;
  97     typedef typename TestFixture::mock_disposer mock_disposer;
  98     typedef typename TestFixture::template less<base_item_type> less;
  99     typedef typename TestFixture::hash_int hash_int;
 100
 101     typedef ci::LazyList< rcu_type
 102         , base_item_type
 103         , typename ci::lazy_list::make_traits<
 104             ci::opt::hook< ci::lazy_list::base_hook< ci::opt::gc< rcu_type >>>
 105             , ci::opt::less< less >
 106             , ci::opt::disposer< mock_disposer >
 107         >::type
 108     > bucket_type;
 109
 110     typedef ci::MichaelHashSet< rcu_type, bucket_type,
 111         typename ci::michael_set::make_traits<
 112             ci::opt::hash< hash_int >
 113         >::type
 114     > set_type;
 115
 116     set_type s( TestFixture::kSize, 2 );
 117     this->test( s );
 118 }
 119
 120 TYPED_TEST_P( IntrusiveMichaelLazySet, base_cmpmix )
 121 {
 122     typedef typename TestFixture::rcu_type rcu_type;
 123     typedef typename TestFixture::base_item_type base_item_type;
 124     typedef typename TestFixture::mock_disposer mock_disposer;
 125     typedef typename TestFixture::hash_int hash_int;
 126
 127     struct list_traits : public ci::lazy_list::traits
 128     {
 129         typedef ci::lazy_list::base_hook< ci::opt::gc<rcu_type>> hook;
 130         typedef typename TestFixture::template less<base_item_type> less;
 131         typedef typename TestFixture::template cmp<base_item_type> compare;
 132         typedef mock_disposer disposer;
 133     };
 134     typedef ci::LazyList< rcu_type, base_item_type, list_traits > bucket_type;
 135
 136     struct set_traits : public ci::michael_set::traits
 137     {
 138         typedef hash_int hash;
 139         typedef typename TestFixture::simple_item_counter item_counter;
 140     };
 141     typedef ci::MichaelHashSet< rcu_type, bucket_type, set_traits > set_type;
 142
 143     set_type s( TestFixture::kSize, 2 );
 144     this->test( s );
 145 }
 146
 147 TYPED_TEST_P( IntrusiveMichaelLazySet, base_mutex )
 148 {
 149     typedef typename TestFixture::rcu_type rcu_type;
 150     typedef typename TestFixture::base_mutex_item_type base_mutex_item_type;
 151     typedef typename TestFixture::mock_disposer mock_disposer;
 152     typedef typename TestFixture::hash_int hash_int;
 153
 154     struct list_traits : public ci::lazy_list::traits
 155     {
 156         typedef ci::lazy_list::base_hook< ci::opt::gc<rcu_type>, ci::opt::lock_type<std::mutex>> hook;
 157         typedef typename TestFixture::template less<base_mutex_item_type> less;
 158         typedef typename TestFixture::template cmp<base_mutex_item_type> compare;
 159         typedef mock_disposer disposer;
 160     };
 161     typedef ci::LazyList< rcu_type, base_mutex_item_type, list_traits > bucket_type;
 162
 163     struct set_traits : public ci::michael_set::traits
 164     {
 165         typedef hash_int hash;
 166         typedef typename TestFixture::simple_item_counter item_counter;
 167     };
 168     typedef ci::MichaelHashSet< rcu_type, bucket_type, set_traits > set_type;
 169
 170     set_type s( TestFixture::kSize, 2 );
 171     this->test( s );
 172 }
 173
 174
 175 TYPED_TEST_P( IntrusiveMichaelLazySet, member_cmp )
 176 {
 177     typedef typename TestFixture::rcu_type rcu_type;
 178     typedef typename TestFixture::member_item_type member_item_type;
 179     typedef typename TestFixture::mock_disposer mock_disposer;
 180     typedef typename TestFixture::template cmp<member_item_type> cmp;
 181     typedef typename TestFixture::hash_int hash_int;
 182
 183     typedef ci::LazyList< rcu_type
 184         , member_item_type
 185         , typename ci::lazy_list::make_traits<
 186             ci::opt::hook< ci::lazy_list::member_hook<
 187                 offsetof( member_item_type, hMember ),
 188                 ci::opt::gc<rcu_type>
 189             >>
 190             , ci::opt::compare< cmp >
 191             , ci::opt::disposer< mock_disposer >
 192         >::type
 193     >    bucket_type;
 194
 195     typedef ci::MichaelHashSet< rcu_type, bucket_type,
 196         typename ci::michael_set::make_traits<
 197             ci::opt::hash< hash_int >
 198         >::type
 199     > set_type;
 200
 201     set_type s( TestFixture::kSize, 2 );
 202     this->test( s );
 203 }
 204
 205 TYPED_TEST_P( IntrusiveMichaelLazySet, member_less )
 206 {
 207     typedef typename TestFixture::rcu_type rcu_type;
 208     typedef typename TestFixture::member_item_type member_item_type;
 209     typedef typename TestFixture::mock_disposer mock_disposer;
 210     typedef typename TestFixture::template less<member_item_type> less;
 211     typedef typename TestFixture::hash_int hash_int;
 212
 213     typedef ci::LazyList< rcu_type
 214         , member_item_type
 215         , typename ci::lazy_list::make_traits<
 216             ci::opt::hook< ci::lazy_list::member_hook<
 217                 offsetof( member_item_type, hMember ),
 218                 ci::opt::gc<rcu_type>
 219             > >
 220             , ci::opt::less< less >
 221             , ci::opt::disposer< mock_disposer >
 222         >::type
 223     > bucket_type;
 224
 225     typedef ci::MichaelHashSet< rcu_type, bucket_type,
 226         typename ci::michael_set::make_traits<
 227             ci::opt::hash< hash_int >
 228         >::type
 229     > set_type;
 230
 231     set_type s( TestFixture::kSize, 2 );
 232     this->test( s );
 233 }
 234
 235 TYPED_TEST_P( IntrusiveMichaelLazySet, member_cmpmix )
 236 {
 237     typedef typename TestFixture::rcu_type rcu_type;
 238     typedef typename TestFixture::member_item_type member_item_type;
 239     typedef typename TestFixture::mock_disposer mock_disposer;
 240     typedef typename TestFixture::hash_int hash_int;
 241
 242     struct list_traits : public ci::lazy_list::traits
 243     {
 244         typedef ci::lazy_list::member_hook< offsetof( member_item_type, hMember ), ci::opt::gc<rcu_type>> hook;
 245         typedef typename TestFixture::template less<member_item_type> less;
 246         typedef typename TestFixture::template cmp<member_item_type> compare;
 247         typedef mock_disposer disposer;
 248     };
 249     typedef ci::LazyList< rcu_type, member_item_type, list_traits > bucket_type;
 250
 251     struct set_traits : public ci::michael_set::traits
 252     {
 253         typedef hash_int hash;
 254         typedef typename TestFixture::simple_item_counter item_counter;
 255     };
 256     typedef ci::MichaelHashSet< rcu_type, bucket_type, set_traits > set_type;
 257
 258     set_type s( TestFixture::kSize, 2 );
 259     this->test( s );
 260 }
 261
 262 TYPED_TEST_P( IntrusiveMichaelLazySet, member_mutex )
 263 {
 264     typedef typename TestFixture::rcu_type rcu_type;
 265     typedef typename TestFixture::member_mutex_item_type member_mutex_item_type;
 266     typedef typename TestFixture::mock_disposer mock_disposer;
 267     typedef typename TestFixture::hash_int hash_int;
 268
 269     struct list_traits : public ci::lazy_list::traits
 270     {
 271         typedef ci::lazy_list::member_hook< offsetof( member_mutex_item_type, hMember ), ci::opt::gc<rcu_type>, ci::opt::lock_type<std::mutex>> hook;
 272         typedef typename TestFixture::template less<member_mutex_item_type> less;
 273         typedef typename TestFixture::template cmp<member_mutex_item_type> compare;
 274         typedef mock_disposer disposer;
 275     };
 276     typedef ci::LazyList< rcu_type, member_mutex_item_type, list_traits > bucket_type;
 277
 278     struct set_traits : public ci::michael_set::traits
 279     {
 280         typedef hash_int hash;
 281         typedef typename TestFixture::simple_item_counter item_counter;
 282     };
 283     typedef ci::MichaelHashSet< rcu_type, bucket_type, set_traits > set_type;
 284
 285     set_type s( TestFixture::kSize, 2 );
 286     this->test( s );
 287 }
 288
 289
 290 // GCC 5: All test names should be written on single line, otherwise a runtime error will be encountered like as
 291 // "No test named <test_name> can be found in this test case"
 292 REGISTER_TYPED_TEST_CASE_P( IntrusiveMichaelLazySet,
 293     base_cmp, base_less, base_cmpmix, base_mutex, member_cmp, member_less, member_cmpmix, member_mutex
 294 );
 295
 296
 297 #endif // CDSUNIT_SET_TEST_INTRUSIVE_MICHAEL_LAZY_RCU_H
 298