2 This file is a part of libcds - Concurrent Data Structures library
4 (C) Copyright Maxim Khizhinsky (libcds.dev@gmail.com) 2006-2016
6 Source code repo: http://github.com/khizmax/libcds/
7 Download: http://sourceforge.net/projects/libcds/files/
9 Redistribution and use in source and binary forms, with or without
10 modification, are permitted provided that the following conditions are met:
12 * Redistributions of source code must retain the above copyright notice, this
13 list of conditions and the following disclaimer.
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.
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.
30 #ifndef CDSUNIT_SET_TEST_INTRUSIVE_MICHAEL_MICHAEL_RCU_H
31 #define CDSUNIT_SET_TEST_INTRUSIVE_MICHAEL_MICHAEL_RCU_H
33 #include "test_intrusive_set_rcu.h"
34 #include <cds/intrusive/michael_list_rcu.h>
35 #include <cds/intrusive/michael_set_rcu.h>
37 namespace ci = cds::intrusive;
40 class IntrusiveMichaelSet: public cds_test::intrusive_set_rcu
42 typedef cds_test::intrusive_set_rcu base_class;
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;
52 cds::threading::Manager::attachThread();
57 cds::threading::Manager::detachThread();
62 TYPED_TEST_CASE_P( IntrusiveMichaelSet );
64 TYPED_TEST_P( IntrusiveMichaelSet, base_cmp )
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;
72 typedef ci::MichaelList< rcu_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 >
81 typedef ci::MichaelHashSet< rcu_type, bucket_type,
82 typename ci::michael_set::make_traits<
83 ci::opt::hash< hash_int >
87 set_type s( TestFixture::kSize, 2 );
91 TYPED_TEST_P( IntrusiveMichaelSet, base_less )
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;
99 typedef ci::MichaelList< rcu_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 >
108 typedef ci::MichaelHashSet< rcu_type, bucket_type,
109 typename ci::michael_set::make_traits<
110 ci::opt::hash< hash_int >
114 set_type s( TestFixture::kSize, 2 );
118 TYPED_TEST_P( IntrusiveMichaelSet, base_cmpmix )
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;
125 struct list_traits : public ci::michael_list::traits
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;
132 typedef ci::MichaelList< rcu_type, base_item_type, list_traits > bucket_type;
134 struct set_traits : public ci::michael_set::traits
136 typedef hash_int hash;
137 typedef typename TestFixture::simple_item_counter item_counter;
139 typedef ci::MichaelHashSet< rcu_type, bucket_type, set_traits > set_type;
141 set_type s( TestFixture::kSize, 2 );
146 TYPED_TEST_P( IntrusiveMichaelSet, member_cmp )
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;
154 typedef ci::MichaelList< rcu_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>
161 , ci::opt::compare< cmp >
162 , ci::opt::disposer< mock_disposer >
166 typedef ci::MichaelHashSet< rcu_type, bucket_type,
167 typename ci::michael_set::make_traits<
168 ci::opt::hash< hash_int >
172 set_type s( TestFixture::kSize, 2 );
176 TYPED_TEST_P( IntrusiveMichaelSet, member_less )
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;
184 typedef ci::MichaelList< rcu_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>
191 , ci::opt::less< less >
192 , ci::opt::disposer< mock_disposer >
196 typedef ci::MichaelHashSet< rcu_type, bucket_type,
197 typename ci::michael_set::make_traits<
198 ci::opt::hash< hash_int >
202 set_type s( TestFixture::kSize, 2 );
206 TYPED_TEST_P( IntrusiveMichaelSet, member_cmpmix )
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;
213 struct list_traits : public ci::michael_list::traits
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;
220 typedef ci::MichaelList< rcu_type, member_item_type, list_traits > bucket_type;
222 struct set_traits : public ci::michael_set::traits
224 typedef hash_int hash;
225 typedef typename TestFixture::simple_item_counter item_counter;
227 typedef ci::MichaelHashSet< rcu_type, bucket_type, set_traits > set_type;
229 set_type s( TestFixture::kSize, 2 );
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
242 #endif // CDSUNIT_SET_TEST_INTRUSIVE_MICHAEL_MICHAEL_RCU_H