test/unit/set/test_intrusive_michael_michael_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_MICHAEL_RCU_H
  31 #define CDSUNIT_SET_TEST_INTRUSIVE_MICHAEL_MICHAEL_RCU_H
  32
  33 #include "test_intrusive_set_rcu.h"
  34 #include <cds/intrusive/michael_list_rcu.h>
  35 #include <cds/intrusive/michael_set_rcu.h>
  36
  37 namespace ci = cds::intrusive;
  38
  39 template <class RCU>
  40 class IntrusiveMichaelSet: 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::michael_list::node<rcu_type>>   base_item_type;
  46     typedef typename base_class::member_int_item< ci::michael_list::node<rcu_type>> member_item_type;
  47
  48 protected:
  49     void SetUp()
  50     {
  51         RCU::Construct();
  52         cds::threading::Manager::attachThread();
  53     }
  54
  55     void TearDown()
  56     {
  57         cds::threading::Manager::detachThread();
  58         RCU::Destruct();
  59     }
  60 };
  61
  62 TYPED_TEST_CASE_P( IntrusiveMichaelSet );
  63
  64 TYPED_TEST_P( IntrusiveMichaelSet, base_cmp )
  65 {
  66     typedef typename TestFixture::rcu_type rcu_type;
  67     typedef typename TestFixture::base_item_type base_item_type;
  68     typedef typename TestFixture::mock_disposer mock_disposer;
  69     typedef typename TestFixture::template cmp<base_item_type> cmp;
  70     typedef typename TestFixture::hash_int hash_int;
  71
  72     typedef ci::MichaelList< rcu_type
  73         , base_item_type
  74         , typename ci::michael_list::make_traits<
  75             ci::opt::hook< ci::michael_list::base_hook< ci::opt::gc< rcu_type > > >
  76             , ci::opt::compare< cmp >
  77             , ci::opt::disposer< mock_disposer >
  78         >::type
  79     > bucket_type;
  80
  81     typedef ci::MichaelHashSet< rcu_type, bucket_type,
  82         typename ci::michael_set::make_traits<
  83             ci::opt::hash< hash_int >
  84         >::type
  85     > set_type;
  86
  87     set_type s( TestFixture::kSize, 2 );
  88     this->test( s );
  89 }
  90
  91 TYPED_TEST_P( IntrusiveMichaelSet, base_less )
  92 {
  93     typedef typename TestFixture::rcu_type rcu_type;
  94     typedef typename TestFixture::base_item_type base_item_type;
  95     typedef typename TestFixture::mock_disposer mock_disposer;
  96     typedef typename TestFixture::template less<base_item_type> less;
  97     typedef typename TestFixture::hash_int hash_int;
  98
  99     typedef ci::MichaelList< rcu_type
 100         , base_item_type
 101         , typename ci::michael_list::make_traits<
 102             ci::opt::hook< ci::michael_list::base_hook< ci::opt::gc< rcu_type >>>
 103             , ci::opt::less< less >
 104             , ci::opt::disposer< mock_disposer >
 105         >::type
 106     > bucket_type;
 107
 108     typedef ci::MichaelHashSet< rcu_type, bucket_type,
 109         typename ci::michael_set::make_traits<
 110             ci::opt::hash< hash_int >
 111         >::type
 112     > set_type;
 113
 114     set_type s( TestFixture::kSize, 2 );
 115     this->test( s );
 116 }
 117
 118 TYPED_TEST_P( IntrusiveMichaelSet, base_cmpmix )
 119 {
 120     typedef typename TestFixture::rcu_type rcu_type;
 121     typedef typename TestFixture::base_item_type base_item_type;
 122     typedef typename TestFixture::mock_disposer mock_disposer;
 123     typedef typename TestFixture::hash_int hash_int;
 124
 125     struct list_traits : public ci::michael_list::traits
 126     {
 127         typedef ci::michael_list::base_hook< ci::opt::gc<rcu_type>> hook;
 128         typedef typename TestFixture::template less<base_item_type> less;
 129         typedef typename TestFixture::template cmp<base_item_type> compare;
 130         typedef mock_disposer disposer;
 131     };
 132     typedef ci::MichaelList< rcu_type, base_item_type, list_traits > bucket_type;
 133
 134     struct set_traits : public ci::michael_set::traits
 135     {
 136         typedef hash_int hash;
 137         typedef typename TestFixture::simple_item_counter item_counter;
 138     };
 139     typedef ci::MichaelHashSet< rcu_type, bucket_type, set_traits > set_type;
 140
 141     set_type s( TestFixture::kSize, 2 );
 142     this->test( s );
 143 }
 144
 145
 146 TYPED_TEST_P( IntrusiveMichaelSet, member_cmp )
 147 {
 148     typedef typename TestFixture::rcu_type rcu_type;
 149     typedef typename TestFixture::member_item_type member_item_type;
 150     typedef typename TestFixture::mock_disposer mock_disposer;
 151     typedef typename TestFixture::template cmp<member_item_type> cmp;
 152     typedef typename TestFixture::hash_int hash_int;
 153
 154     typedef ci::MichaelList< rcu_type
 155         , member_item_type
 156         , typename ci::michael_list::make_traits<
 157             ci::opt::hook< ci::michael_list::member_hook<
 158                 offsetof( member_item_type, hMember ),
 159                 ci::opt::gc<rcu_type>
 160             >>
 161             , ci::opt::compare< cmp >
 162             , ci::opt::disposer< mock_disposer >
 163         >::type
 164     >    bucket_type;
 165
 166     typedef ci::MichaelHashSet< rcu_type, bucket_type,
 167         typename ci::michael_set::make_traits<
 168             ci::opt::hash< hash_int >
 169         >::type
 170     > set_type;
 171
 172     set_type s( TestFixture::kSize, 2 );
 173     this->test( s );
 174 }
 175
 176 TYPED_TEST_P( IntrusiveMichaelSet, member_less )
 177 {
 178     typedef typename TestFixture::rcu_type rcu_type;
 179     typedef typename TestFixture::member_item_type member_item_type;
 180     typedef typename TestFixture::mock_disposer mock_disposer;
 181     typedef typename TestFixture::template less<member_item_type> less;
 182     typedef typename TestFixture::hash_int hash_int;
 183
 184     typedef ci::MichaelList< rcu_type
 185         , member_item_type
 186         , typename ci::michael_list::make_traits<
 187             ci::opt::hook< ci::michael_list::member_hook<
 188                 offsetof( member_item_type, hMember ),
 189                 ci::opt::gc<rcu_type>
 190             > >
 191             , ci::opt::less< less >
 192             , ci::opt::disposer< mock_disposer >
 193         >::type
 194     > bucket_type;
 195
 196     typedef ci::MichaelHashSet< rcu_type, bucket_type,
 197         typename ci::michael_set::make_traits<
 198             ci::opt::hash< hash_int >
 199         >::type
 200     > set_type;
 201
 202     set_type s( TestFixture::kSize, 2 );
 203     this->test( s );
 204 }
 205
 206 TYPED_TEST_P( IntrusiveMichaelSet, member_cmpmix )
 207 {
 208     typedef typename TestFixture::rcu_type rcu_type;
 209     typedef typename TestFixture::member_item_type member_item_type;
 210     typedef typename TestFixture::mock_disposer mock_disposer;
 211     typedef typename TestFixture::hash_int hash_int;
 212
 213     struct list_traits : public ci::michael_list::traits
 214     {
 215         typedef ci::michael_list::member_hook< offsetof( member_item_type, hMember ), ci::opt::gc<rcu_type>> hook;
 216         typedef typename TestFixture::template less<member_item_type> less;
 217         typedef typename TestFixture::template cmp<member_item_type> compare;
 218         typedef mock_disposer disposer;
 219     };
 220     typedef ci::MichaelList< rcu_type, member_item_type, list_traits > bucket_type;
 221
 222     struct set_traits : public ci::michael_set::traits
 223     {
 224         typedef hash_int hash;
 225         typedef typename TestFixture::simple_item_counter item_counter;
 226     };
 227     typedef ci::MichaelHashSet< rcu_type, bucket_type, set_traits > set_type;
 228
 229     set_type s( TestFixture::kSize, 2 );
 230     this->test( s );
 231 }
 232
 233
 234
 235 // GCC 5: All test names should be written on single line, otherwise a runtime error will be encountered like as
 236 // "No test named <test_name> can be found in this test case"
 237 REGISTER_TYPED_TEST_CASE_P( IntrusiveMichaelSet,
 238     base_cmp, base_less, base_cmpmix, member_cmp, member_less, member_cmpmix
 239 );
 240
 241
 242 #endif // CDSUNIT_SET_TEST_INTRUSIVE_MICHAEL_MICHAEL_RCU_H
 243