HP and DHP SMR totally refactored
[libcds.git] / test / unit / list / kv_iterable_dhp.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-2017
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 "test_kv_iterable_list_hp.h"
32 #include <cds/container/iterable_kvlist_dhp.h>
33
34 namespace {
35     namespace cc = cds::container;
36     typedef cds::gc::DHP gc_type;
37
38     class IterableKVList_DHP : public cds_test::kv_iterable_list_hp
39     {
40     protected:
41         void SetUp()
42         {
43             typedef cc::IterableKVList< gc_type, key_type, value_type > list_type;
44
45             cds::gc::dhp::smr::construct( list_type::c_nHazardPtrCount );
46             cds::threading::Manager::attachThread();
47         }
48
49         void TearDown()
50         {
51             cds::threading::Manager::detachThread();
52             cds::gc::dhp::smr::destruct();
53         }
54     };
55
56     TEST_F( IterableKVList_DHP, less_ordered )
57     {
58         typedef cc::IterableKVList< gc_type, key_type, value_type,
59             typename cc::iterable_list::make_traits<
60                 cds::opt::less< lt >
61                 ,cds::opt::item_counter< cds::atomicity::item_counter >
62             >::type
63         > list_type;
64
65         list_type l;
66         test_common( l );
67         test_ordered_iterator( l );
68         test_hp( l );
69     }
70
71     TEST_F( IterableKVList_DHP, compare_ordered )
72     {
73         typedef cc::IterableKVList< gc_type, key_type, value_type,
74             typename cc::iterable_list::make_traits<
75                 cds::opt::compare< cmp >
76                 , cds::opt::item_counter< cds::atomicity::item_counter >
77             >::type
78         > list_type;
79
80         list_type l;
81         test_common( l );
82         test_ordered_iterator( l );
83         test_hp( l );
84     }
85
86     TEST_F( IterableKVList_DHP, mix_ordered )
87     {
88         typedef cc::IterableKVList< gc_type, key_type, value_type,
89             typename cc::iterable_list::make_traits<
90                 cds::opt::compare< cmp >
91                 ,cds::opt::less< lt >
92                 , cds::opt::item_counter< cds::atomicity::item_counter >
93             >::type
94         > list_type;
95
96         list_type l;
97         test_common( l );
98         test_ordered_iterator( l );
99         test_hp( l );
100     }
101
102     TEST_F( IterableKVList_DHP, backoff )
103     {
104         struct traits : public cc::iterable_list::traits
105         {
106             typedef lt less;
107             typedef cds::atomicity::item_counter item_counter;
108             typedef cds::backoff::empty back_off;
109         };
110         typedef cc::IterableKVList<gc_type, key_type, value_type, traits > list_type;
111
112         list_type l;
113         test_common( l );
114         test_ordered_iterator( l );
115         test_hp( l );
116     }
117
118     TEST_F( IterableKVList_DHP, seq_cst )
119     {
120         struct traits : public cc::iterable_list::traits
121         {
122             typedef lt less;
123             typedef cds::atomicity::item_counter item_counter;
124             typedef cds::opt::v::sequential_consistent memory_model;
125         };
126         typedef cc::IterableKVList<gc_type, key_type, value_type, traits > list_type;
127
128         list_type l;
129         test_common( l );
130         test_ordered_iterator( l );
131         test_hp( l );
132     }
133
134     TEST_F( IterableKVList_DHP, stat )
135     {
136         struct traits: public cc::iterable_list::traits
137         {
138             typedef lt less;
139             typedef cds::atomicity::item_counter item_counter;
140             typedef cds::container::iterable_list::stat<> stat;
141         };
142         typedef cc::IterableKVList<gc_type, key_type, value_type, traits > list_type;
143
144         list_type l;
145         test_common( l );
146         test_ordered_iterator( l );
147         test_hp( l );
148     }
149
150     TEST_F( IterableKVList_DHP, wrapped_stat )
151     {
152         struct traits: public cc::iterable_list::traits
153         {
154             typedef lt less;
155             typedef cds::atomicity::item_counter item_counter;
156             typedef cds::container::iterable_list::wrapped_stat<> stat;
157         };
158         typedef cc::IterableKVList<gc_type, key_type, value_type, traits > list_type;
159
160         cds::container::iterable_list::stat<> st;
161         list_type l( st );
162         test_common( l );
163         test_ordered_iterator( l );
164         test_hp( l );
165     }
166
167 } // namespace