HP and DHP SMR totally refactored
[libcds.git] / test / unit / list / 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_iterable_list_hp.h"
32 #include <cds/container/iterable_list_dhp.h>
33
34 namespace {
35     namespace cc = cds::container;
36     typedef cds::gc::DHP gc_type;
37
38     class IterableList_DHP : public cds_test::iterable_list_hp
39     {
40     protected:
41         void SetUp()
42         {
43             typedef cc::IterableList< gc_type, item > 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( IterableList_DHP, less_ordered )
57     {
58         typedef cc::IterableList< gc_type, item,
59             typename cc::iterable_list::make_traits<
60                 cds::opt::less< lt<item> >
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( IterableList_DHP, compare_ordered )
72     {
73         typedef cc::IterableList< gc_type, item,
74             typename cc::iterable_list::make_traits<
75                 cds::opt::compare< cmp<item> >
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( IterableList_DHP, mix_ordered )
87     {
88         typedef cc::IterableList< gc_type, item,
89             typename cc::iterable_list::make_traits<
90                 cds::opt::compare< cmp<item> >
91                 ,cds::opt::less< lt<item> >
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( IterableList_DHP, backoff )
103     {
104         struct traits : public cc::iterable_list::traits
105         {
106             typedef lt<item> less;
107             typedef cds::atomicity::item_counter item_counter;
108             typedef cds::backoff::empty back_off;
109         };
110         typedef cc::IterableList<gc_type, item, 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( IterableList_DHP, seq_cst )
119     {
120         struct traits : public cc::iterable_list::traits
121         {
122             typedef lt<item> less;
123             typedef cds::atomicity::item_counter item_counter;
124             typedef cds::opt::v::sequential_consistent memory_model;
125         };
126         typedef cc::IterableList<gc_type, item, 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( IterableList_DHP, stat )
135     {
136         struct traits: public cc::iterable_list::traits
137         {
138             typedef lt<item> less;
139             typedef cds::atomicity::item_counter item_counter;
140             typedef cds::container::iterable_list::stat<> stat;
141
142         };
143         typedef cc::IterableList<gc_type, item, traits > list_type;
144
145         list_type l;
146         test_common( l );
147         test_ordered_iterator( l );
148         test_hp( l );
149     }
150
151     TEST_F( IterableList_DHP, wrapped_stat )
152     {
153         struct traits: public cc::iterable_list::traits
154         {
155             typedef lt<item> less;
156             typedef cds::atomicity::item_counter item_counter;
157             typedef cds::container::iterable_list::wrapped_stat<> stat;
158
159         };
160         typedef cc::IterableList<gc_type, item, traits > list_type;
161
162         cds::container::iterable_list::stat<> st;
163         list_type l( st );
164         test_common( l );
165         test_ordered_iterator( l );
166         test_hp( l );
167     }
168
169 } // namespace