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.
31 #include "test_intrusive_tree_hp.h"
33 #include <cds/intrusive/ellen_bintree_hp.h>
34 #include "test_ellen_bintree_update_desc_pool.h"
37 namespace ci = cds::intrusive;
38 typedef cds::gc::HP gc_type;
40 class IntrusiveEllenBinTree_HP : public cds_test::intrusive_tree_hp
43 typedef cds_test::intrusive_tree_hp base_class;
46 typedef base_class::key_type key_type;
48 typedef typename base_class::base_int_item< ci::ellen_bintree::node<gc_type>> base_item_type;
49 typedef typename base_class::member_int_item< ci::ellen_bintree::node<gc_type>> member_item_type;
53 struct tree_traits : public ci::ellen_bintree::traits
55 typedef ci::ellen_bintree::base_hook< ci::opt::gc<gc_type>> hook;
57 typedef ci::EllenBinTree< gc_type, key_type, base_item_type > tree_type;
59 // +1 - for guarded_ptr
60 cds::gc::hp::GarbageCollector::Construct( tree_type::c_nHazardPtrCount + 1, 1, 16 );
61 cds::threading::Manager::attachThread();
66 cds::threading::Manager::detachThread();
67 cds::gc::hp::GarbageCollector::Destruct( true );
70 struct generic_traits: public ci::ellen_bintree::traits
72 typedef base_class::key_extractor key_extractor;
73 typedef mock_disposer disposer;
78 TEST_F( IntrusiveEllenBinTree_HP, base_cmp )
80 typedef ci::EllenBinTree< gc_type, key_type, base_item_type,
81 ci::ellen_bintree::make_traits<
82 ci::opt::type_traits< generic_traits >
83 ,ci::opt::hook< ci::ellen_bintree::base_hook< ci::opt::gc< gc_type >>>
84 ,ci::opt::compare< cmp<base_item_type>>
92 TEST_F( IntrusiveEllenBinTree_HP, base_less )
94 typedef ci::EllenBinTree< gc_type, key_type, base_item_type,
95 ci::ellen_bintree::make_traits<
96 ci::opt::type_traits< generic_traits >
97 ,ci::opt::hook< ci::ellen_bintree::base_hook< ci::opt::gc< gc_type >>>
98 ,ci::opt::less< less<base_item_type>>
106 TEST_F( IntrusiveEllenBinTree_HP, base_item_counter )
108 typedef ci::EllenBinTree< gc_type, key_type, base_item_type,
109 ci::ellen_bintree::make_traits<
110 ci::opt::type_traits< generic_traits >
111 ,ci::opt::hook< ci::ellen_bintree::base_hook< ci::opt::gc< gc_type >>>
112 ,ci::opt::compare< cmp<base_item_type>>
113 ,ci::opt::item_counter< simple_item_counter >
121 TEST_F( IntrusiveEllenBinTree_HP, base_backoff )
123 struct tree_traits: public generic_traits
125 typedef ci::ellen_bintree::base_hook< ci::opt::gc< gc_type >> hook;
126 typedef cmp<base_item_type> compare;
127 typedef base_class::less<base_item_type> less;
128 typedef cds::atomicity::item_counter item_counter;
129 typedef cds::backoff::yield back_off;
132 typedef ci::EllenBinTree< gc_type, key_type, base_item_type, tree_traits > tree_type;
138 TEST_F( IntrusiveEllenBinTree_HP, base_seq_cst )
140 struct tree_traits: public generic_traits
142 typedef ci::ellen_bintree::base_hook< ci::opt::gc< gc_type >> hook;
143 typedef cmp<base_item_type> compare;
144 typedef base_class::less<base_item_type> less;
145 typedef cds::atomicity::item_counter item_counter;
146 typedef cds::backoff::pause back_off;
147 typedef ci::opt::v::sequential_consistent memory_model;
150 typedef ci::EllenBinTree< gc_type, key_type, base_item_type, tree_traits > tree_type;
156 TEST_F( IntrusiveEllenBinTree_HP, base_update_desc_pool )
158 struct tree_traits: public generic_traits
160 typedef ci::ellen_bintree::base_hook< ci::opt::gc< gc_type >> hook;
161 typedef base_class::less<base_item_type> less;
162 typedef cds::atomicity::item_counter item_counter;
163 typedef cds::memory::pool_allocator< cds_test::update_desc, cds_test::pool_accessor> update_desc_allocator;
166 typedef ci::EllenBinTree< gc_type, key_type, base_item_type, tree_traits > tree_type;
172 TEST_F( IntrusiveEllenBinTree_HP, base_update_desc_lazy_pool )
174 struct tree_traits: public generic_traits
176 typedef ci::ellen_bintree::base_hook< ci::opt::gc< gc_type >> hook;
177 typedef base_class::less<base_item_type> less;
178 typedef cds::atomicity::item_counter item_counter;
179 typedef cds::memory::pool_allocator<cds_test::update_desc, cds_test::lazy_pool_accessor> update_desc_allocator;
182 typedef ci::EllenBinTree< gc_type, key_type, base_item_type, tree_traits > tree_type;
189 TEST_F( IntrusiveEllenBinTree_HP, member_cmp )
191 typedef ci::EllenBinTree< gc_type, key_type, member_item_type,
192 ci::ellen_bintree::make_traits<
193 ci::opt::type_traits< generic_traits >
194 ,ci::opt::hook< ci::ellen_bintree::member_hook< offsetof( member_item_type, hMember), ci::opt::gc< gc_type >>>
195 ,ci::opt::compare< cmp<member_item_type>>
203 TEST_F( IntrusiveEllenBinTree_HP, member_less )
205 typedef ci::EllenBinTree< gc_type, key_type, member_item_type,
206 ci::ellen_bintree::make_traits<
207 ci::opt::type_traits< generic_traits >
208 ,ci::opt::hook< ci::ellen_bintree::member_hook< offsetof( member_item_type, hMember ), ci::opt::gc< gc_type >>>
209 ,ci::opt::less< less<member_item_type>>
217 TEST_F( IntrusiveEllenBinTree_HP, member_item_counter )
219 typedef ci::EllenBinTree< gc_type, key_type, member_item_type,
220 ci::ellen_bintree::make_traits<
221 ci::opt::type_traits< generic_traits >
222 ,ci::opt::hook< ci::ellen_bintree::member_hook< offsetof( member_item_type, hMember ), ci::opt::gc< gc_type >>>
223 ,ci::opt::compare< cmp<member_item_type>>
224 ,ci::opt::item_counter< simple_item_counter >
232 TEST_F( IntrusiveEllenBinTree_HP, member_backoff )
234 struct tree_traits: public generic_traits
236 typedef ci::ellen_bintree::member_hook< offsetof( member_item_type, hMember ), ci::opt::gc< gc_type >> hook;
237 typedef cmp<member_item_type> compare;
238 typedef base_class::less<member_item_type> less;
239 typedef cds::atomicity::item_counter item_counter;
240 typedef cds::backoff::yield back_off;
243 typedef ci::EllenBinTree< gc_type, key_type, member_item_type, tree_traits > tree_type;
249 TEST_F( IntrusiveEllenBinTree_HP, member_seq_cst )
251 struct tree_traits: public generic_traits
253 typedef ci::ellen_bintree::member_hook< offsetof( member_item_type, hMember ), ci::opt::gc< gc_type >> hook;
254 typedef cmp<member_item_type> compare;
255 typedef base_class::less<member_item_type> less;
256 typedef cds::atomicity::item_counter item_counter;
257 typedef cds::backoff::pause back_off;
258 typedef ci::opt::v::sequential_consistent memory_model;
261 typedef ci::EllenBinTree< gc_type, key_type, member_item_type, tree_traits > tree_type;
267 TEST_F( IntrusiveEllenBinTree_HP, member_update_desc_pool )
269 struct tree_traits: public generic_traits
271 typedef ci::ellen_bintree::member_hook< offsetof( member_item_type, hMember ), ci::opt::gc< gc_type >> hook;
272 typedef base_class::less<member_item_type> less;
273 typedef cds::atomicity::item_counter item_counter;
274 typedef cds::memory::pool_allocator<cds_test::update_desc, cds_test::pool_accessor> update_desc_allocator;
277 typedef ci::EllenBinTree< gc_type, key_type, member_item_type, tree_traits > tree_type;
283 TEST_F( IntrusiveEllenBinTree_HP, member_update_desc_lazy_pool )
285 struct tree_traits: public generic_traits
287 typedef ci::ellen_bintree::member_hook< offsetof( member_item_type, hMember ), ci::opt::gc< gc_type >> hook;
288 typedef base_class::less<member_item_type> less;
289 typedef cds::atomicity::item_counter item_counter;
290 typedef cds::memory::pool_allocator<cds_test::update_desc, cds_test::lazy_pool_accessor> update_desc_allocator;
293 typedef ci::EllenBinTree< gc_type, key_type, member_item_type, tree_traits > tree_type;