intrusive::SplitListSet refactoring

[libcds.git] / tests / test-hdr / set / hdr_intrusive_splitlist_set_rcu_gpb.cpp

diff --git a/tests/test-hdr/set/hdr_intrusive_splitlist_set_rcu_gpb.cpp b/tests/test-hdr/set/hdr_intrusive_splitlist_set_rcu_gpb.cpp
index 25a46ea5e119d7c84e09130362465ebc0acdb20a..5dcb67c46d0094272c3615c792e79dd1e85d0505 100644 (file)
--- a/tests/test-hdr/set/hdr_intrusive_splitlist_set_rcu_gpb.cpp
+++ b/tests/test-hdr/set/hdr_intrusive_splitlist_set_rcu_gpb.cpp
@@ -13,23 +13,23 @@ namespace set {
     void IntrusiveHashSetHdrTest::split_dyn_RCU_GPB_base_cmp()
     {
         typedef base_int_item< ci::split_list::node< ci::michael_list::node<rcu_type> > > item;
-        typedef ci::MichaelList< rcu_type
-            ,item
-            ,ci::michael_list::make_traits<
-                ci::opt::hook< ci::michael_list::base_hook< co::gc<rcu_type> > >
-                ,co::compare< cmp<item> >
-                ,ci::opt::disposer< faked_disposer >
-            >::type
-        >    ord_list;
-
-        typedef ci::SplitListSet< rcu_type, ord_list,
-            ci::split_list::make_traits<
-                co::hash< hash_int >
-                ,ci::split_list::dynamic_bucket_table<true>
-                ,co::memory_model<co::v::relaxed_ordering>
-            >::type
+        typedef ci::MichaelList < rcu_type
+            , item
+            , ci::michael_list::make_traits <
+            ci::opt::hook< ci::michael_list::base_hook< co::gc<rcu_type> > >
+            , co::compare< cmp<item> >
+            , ci::opt::disposer < faked_disposer >
+            > ::type
+        > ord_list;
+
+        typedef ci::SplitListSet < rcu_type, ord_list,
+            ci::split_list::make_traits <
+            co::hash< hash_int >
+            , ci::split_list::dynamic_bucket_table<true>
+            , co::memory_model < co::v::relaxed_ordering >
+            > ::type
         > set;
-        static_assert( set::options::dynamic_bucket_table, "Set has static bucket table" );
+        static_assert(set::traits::dynamic_bucket_table, "Set has static bucket table");
 
         test_rcu_int<set>();
     }
@@ -37,22 +37,22 @@ namespace set {
     void IntrusiveHashSetHdrTest::split_dyn_RCU_GPB_base_less()
     {
         typedef base_int_item< ci::split_list::node< ci::michael_list::node<rcu_type> > > item;
-        typedef ci::MichaelList< rcu_type
-            ,item
-            ,ci::michael_list::make_traits<
-                ci::opt::hook< ci::michael_list::base_hook< co::gc<rcu_type> > >
-                ,co::less< less<item> >
-                ,ci::opt::disposer< faked_disposer >
-            >::type
-        >    ord_list;
-
-        typedef ci::SplitListSet< rcu_type, ord_list,
-            ci::split_list::make_traits<
-                co::hash< hash_int >
-                ,co::memory_model<co::v::sequential_consistent>
-            >::type
+        typedef ci::MichaelList < rcu_type
+            , item
+            , ci::michael_list::make_traits <
+            ci::opt::hook< ci::michael_list::base_hook< co::gc<rcu_type> > >
+            , co::less< less<item> >
+            , ci::opt::disposer < faked_disposer >
+            > ::type
+        > ord_list;
+
+        typedef ci::SplitListSet < rcu_type, ord_list,
+            ci::split_list::make_traits <
+            co::hash< hash_int >
+            , co::memory_model < co::v::sequential_consistent >
+            > ::type
         > set;
-        static_assert( set::options::dynamic_bucket_table, "Set has static bucket table" );
+        static_assert(set::traits::dynamic_bucket_table, "Set has static bucket table");
 
         test_rcu_int<set>();
     }
@@ -60,24 +60,49 @@ namespace set {
     void IntrusiveHashSetHdrTest::split_dyn_RCU_GPB_base_cmpmix()
     {
         typedef base_int_item< ci::split_list::node<ci::michael_list::node<rcu_type> > > item;
-        typedef ci::MichaelList< rcu_type
-            ,item
-            ,ci::michael_list::make_traits<
-                ci::opt::hook< ci::michael_list::base_hook< co::gc<rcu_type> > >
-                ,co::less< less<item> >
-                ,co::compare< cmp<item> >
-                ,ci::opt::disposer< faked_disposer >
-            >::type
-        >    ord_list;
-
-        typedef ci::SplitListSet< rcu_type, ord_list,
-            ci::split_list::make_traits<
-                co::hash< hash_int >
-                ,co::item_counter< simple_item_counter >
-                ,ci::split_list::dynamic_bucket_table<true>
-            >::type
+        typedef ci::MichaelList < rcu_type
+            , item
+            , ci::michael_list::make_traits <
+            ci::opt::hook< ci::michael_list::base_hook< co::gc<rcu_type> > >
+            , co::less< less<item> >
+            , co::compare< cmp<item> >
+            , ci::opt::disposer < faked_disposer >
+            > ::type
+        > ord_list;
+
+        typedef ci::SplitListSet < rcu_type, ord_list,
+            ci::split_list::make_traits <
+            co::hash< hash_int >
+            , co::item_counter< simple_item_counter >
+            , ci::split_list::dynamic_bucket_table < true >
+            > ::type
         > set;
-        static_assert( set::options::dynamic_bucket_table, "Set has static bucket table" );
+        static_assert(set::traits::dynamic_bucket_table, "Set has static bucket table");
+
+        test_rcu_int<set>();
+    }
+
+    void IntrusiveHashSetHdrTest::split_dyn_RCU_GPB_base_cmpmix_stat()
+    {
+        typedef base_int_item< ci::split_list::node<ci::michael_list::node<rcu_type> > > item;
+        struct list_traits : public ci::michael_list::traits
+        {
+            typedef ci::michael_list::base_hook< co::gc<rcu_type> > hook;
+            typedef IntrusiveHashSetHdrTest::less<item> less;
+            typedef cmp<item> compare;
+            typedef faked_disposer disposer;
+        };
+        typedef ci::MichaelList< rcu_type, item, list_traits > ord_list;
+
+        struct set_traits : public ci::split_list::make_traits<ci::split_list::dynamic_bucket_table<true> >::type
+        {
+            typedef hash_int hash;
+            typedef simple_item_counter item_counter;
+            typedef ci::split_list::stat<> stat;
+        };
+        typedef ci::SplitListSet< rcu_type, ord_list, set_traits > set;
+
+        static_assert(set::traits::dynamic_bucket_table, "Set has static bucket table");
 
         test_rcu_int<set>();
     }
@@ -85,24 +110,24 @@ namespace set {
     void IntrusiveHashSetHdrTest::split_dyn_RCU_GPB_member_cmp()
     {
         typedef member_int_item< ci::split_list::node< ci::michael_list::node<rcu_type> > > item;
-        typedef ci::MichaelList< rcu_type
-            ,item
-            ,ci::michael_list::make_traits<
-                ci::opt::hook< ci::michael_list::member_hook<
-                    offsetof( item, hMember ),
-                    co::gc<rcu_type>
-                > >
-                ,co::compare< cmp<item> >
-                ,ci::opt::disposer< faked_disposer >
-            >::type
-        >    ord_list;
-
-        typedef ci::SplitListSet< rcu_type, ord_list,
-            ci::split_list::make_traits<
-                co::hash< hash_int >
-            >::type
+        typedef ci::MichaelList < rcu_type
+            , item
+            , ci::michael_list::make_traits <
+            ci::opt::hook< ci::michael_list::member_hook <
+            offsetof( item, hMember ),
+            co::gc<rcu_type>
+            > >
+            , co::compare< cmp<item> >
+            , ci::opt::disposer < faked_disposer >
+            > ::type
+        > ord_list;
+
+        typedef ci::SplitListSet < rcu_type, ord_list,
+            ci::split_list::make_traits <
+            co::hash < hash_int >
+            > ::type
         > set;
-        static_assert( set::options::dynamic_bucket_table, "Set has static bucket table" );
+        static_assert(set::traits::dynamic_bucket_table, "Set has static bucket table");
 
         test_rcu_int<set>();
     }
@@ -110,25 +135,25 @@ namespace set {
     void IntrusiveHashSetHdrTest::split_dyn_RCU_GPB_member_less()
     {
         typedef member_int_item< ci::split_list::node< ci::michael_list::node<rcu_type> > > item;
-        typedef ci::MichaelList< rcu_type
-            ,item
-            ,ci::michael_list::make_traits<
-                ci::opt::hook< ci::michael_list::member_hook<
-                    offsetof( item, hMember ),
-                    co::gc<rcu_type>
-                > >
-                ,co::less< less<item> >
-                ,ci::opt::disposer< faked_disposer >
-            >::type
-        >    ord_list;
-
-        typedef ci::SplitListSet< rcu_type, ord_list,
-            ci::split_list::make_traits<
-                co::hash< hash_int >
-                ,co::memory_model<co::v::relaxed_ordering>
-            >::type
+        typedef ci::MichaelList < rcu_type
+            , item
+            , ci::michael_list::make_traits <
+            ci::opt::hook< ci::michael_list::member_hook <
+            offsetof( item, hMember ),
+            co::gc<rcu_type>
+            > >
+            , co::less< less<item> >
+            , ci::opt::disposer < faked_disposer >
+            > ::type
+        > ord_list;
+
+        typedef ci::SplitListSet < rcu_type, ord_list,
+            ci::split_list::make_traits <
+            co::hash< hash_int >
+            , co::memory_model < co::v::relaxed_ordering >
+            > ::type
         > set;
-        static_assert( set::options::dynamic_bucket_table, "Set has static bucket table" );
+        static_assert(set::traits::dynamic_bucket_table, "Set has static bucket table");
 
         test_rcu_int<set>();
     }
@@ -136,53 +161,82 @@ namespace set {
     void IntrusiveHashSetHdrTest::split_dyn_RCU_GPB_member_cmpmix()
     {
         typedef member_int_item< ci::split_list::node< ci::michael_list::node<rcu_type> > > item;
-        typedef ci::MichaelList< rcu_type
-            ,item
-            ,ci::michael_list::make_traits<
-                ci::opt::hook< ci::michael_list::member_hook<
-                    offsetof( item, hMember ),
-                    co::gc<rcu_type>
-                > >
-                ,co::compare< cmp<item> >
-                ,co::less< less<item> >
-                ,ci::opt::disposer< faked_disposer >
-            >::type
-        >    ord_list;
-
-        typedef ci::SplitListSet< rcu_type, ord_list,
-            ci::split_list::make_traits<
-                co::hash< hash_int >
-                ,co::item_counter< simple_item_counter >
-                ,co::memory_model<co::v::sequential_consistent>
-            >::type
+        typedef ci::MichaelList < rcu_type
+            , item
+            , ci::michael_list::make_traits <
+            ci::opt::hook< ci::michael_list::member_hook <
+            offsetof( item, hMember ),
+            co::gc<rcu_type>
+            > >
+            , co::compare< cmp<item> >
+            , co::less< less<item> >
+            , ci::opt::disposer < faked_disposer >
+            > ::type
+        > ord_list;
+
+        typedef ci::SplitListSet < rcu_type, ord_list,
+            ci::split_list::make_traits <
+            co::hash< hash_int >
+            , co::item_counter< simple_item_counter >
+            , co::memory_model < co::v::sequential_consistent >
+            > ::type
         > set;
-        static_assert( set::options::dynamic_bucket_table, "Set has static bucket table" );
+        static_assert(set::traits::dynamic_bucket_table, "Set has static bucket table");
 
         test_rcu_int<set>();
     }
 
+    void IntrusiveHashSetHdrTest::split_dyn_RCU_GPB_member_cmpmix_stat()
+    {
+        typedef member_int_item< ci::split_list::node< ci::michael_list::node<rcu_type> > > item;
+        struct list_traits :
+            public ci::michael_list::make_traits <
+            ci::opt::hook< ci::michael_list::member_hook <
+            offsetof( item, hMember ),
+            co::gc<rcu_type>
+            > >
+            , co::compare< cmp<item> >
+            , co::less< less<item> >
+            , ci::opt::disposer < faked_disposer >
+            > ::type
+        {};
+        typedef ci::MichaelList< rcu_type, item, list_traits > ord_list;
+
+        struct set_traits :
+            public ci::split_list::make_traits <
+            co::hash< hash_int >
+            , co::item_counter< simple_item_counter >
+            , co::memory_model<co::v::sequential_consistent>
+            , co::stat < ci::split_list::stat<> >
+            > ::type
+        {};
+        typedef ci::SplitListSet< rcu_type, ord_list, set_traits > set;
+        static_assert(set::traits::dynamic_bucket_table, "Set has static bucket table");
+
+        test_rcu_int<set>();
+    }
 
     // Static bucket table
     void IntrusiveHashSetHdrTest::split_st_RCU_GPB_base_cmp()
     {
         typedef base_int_item< ci::split_list::node< ci::michael_list::node<rcu_type> > > item;
-        typedef ci::MichaelList< rcu_type
-            ,item
-            ,ci::michael_list::make_traits<
-                ci::opt::hook< ci::michael_list::base_hook< co::gc<rcu_type> > >
-                ,co::compare< cmp<item> >
-                ,ci::opt::disposer< faked_disposer >
-            >::type
-        >    ord_list;
-
-        typedef ci::SplitListSet< rcu_type, ord_list,
-            ci::split_list::make_traits<
-                co::hash< hash_int >
-                ,ci::split_list::dynamic_bucket_table<false>
-                ,co::memory_model<co::v::relaxed_ordering>
-            >::type
+        typedef ci::MichaelList < rcu_type
+            , item
+            , ci::michael_list::make_traits <
+            ci::opt::hook< ci::michael_list::base_hook< co::gc<rcu_type> > >
+            , co::compare< cmp<item> >
+            , ci::opt::disposer < faked_disposer >
+            > ::type
+        > ord_list;
+
+        typedef ci::SplitListSet < rcu_type, ord_list,
+            ci::split_list::make_traits <
+            co::hash< hash_int >
+            , ci::split_list::dynamic_bucket_table<false>
+            , co::memory_model < co::v::relaxed_ordering >
+            > ::type
         > set;
-        static_assert( !set::options::dynamic_bucket_table, "Set has dynamic bucket table" );
+        static_assert(!set::traits::dynamic_bucket_table, "Set has dynamic bucket table");
 
         test_rcu_int<set>();
     }
@@ -190,23 +244,23 @@ namespace set {
     void IntrusiveHashSetHdrTest::split_st_RCU_GPB_base_less()
     {
         typedef base_int_item< ci::split_list::node< ci::michael_list::node<rcu_type> > > item;
-        typedef ci::MichaelList< rcu_type
-            ,item
-            ,ci::michael_list::make_traits<
-                ci::opt::hook< ci::michael_list::base_hook< co::gc<rcu_type> > >
-                ,co::less< less<item> >
-                ,ci::opt::disposer< faked_disposer >
-            >::type
-        >    ord_list;
-
-        typedef ci::SplitListSet< rcu_type, ord_list,
-            ci::split_list::make_traits<
-                co::hash< hash_int >
-                ,ci::split_list::dynamic_bucket_table<false>
-                ,co::memory_model<co::v::sequential_consistent>
-            >::type
+        typedef ci::MichaelList < rcu_type
+            , item
+            , ci::michael_list::make_traits <
+            ci::opt::hook< ci::michael_list::base_hook< co::gc<rcu_type> > >
+            , co::less< less<item> >
+            , ci::opt::disposer < faked_disposer >
+            > ::type
+        > ord_list;
+
+        typedef ci::SplitListSet < rcu_type, ord_list,
+            ci::split_list::make_traits <
+            co::hash< hash_int >
+            , ci::split_list::dynamic_bucket_table<false>
+            , co::memory_model < co::v::sequential_consistent >
+            > ::type
         > set;
-        static_assert( !set::options::dynamic_bucket_table, "Set has dynamic bucket table" );
+        static_assert(!set::traits::dynamic_bucket_table, "Set has dynamic bucket table");
 
         test_rcu_int<set>();
     }
@@ -214,24 +268,50 @@ namespace set {
     void IntrusiveHashSetHdrTest::split_st_RCU_GPB_base_cmpmix()
     {
         typedef base_int_item< ci::split_list::node<ci::michael_list::node<rcu_type> > > item;
-        typedef ci::MichaelList< rcu_type
-            ,item
-            ,ci::michael_list::make_traits<
-                ci::opt::hook< ci::michael_list::base_hook< co::gc<rcu_type> > >
-                ,co::less< less<item> >
-                ,co::compare< cmp<item> >
-                ,ci::opt::disposer< faked_disposer >
-            >::type
-        >    ord_list;
-
-        typedef ci::SplitListSet< rcu_type, ord_list,
-            ci::split_list::make_traits<
-                co::hash< hash_int >
-                ,co::item_counter< simple_item_counter >
-                ,ci::split_list::dynamic_bucket_table<false>
-            >::type
+        typedef ci::MichaelList < rcu_type
+            , item
+            , ci::michael_list::make_traits <
+            ci::opt::hook< ci::michael_list::base_hook< co::gc<rcu_type> > >
+            , co::less< less<item> >
+            , co::compare< cmp<item> >
+            , ci::opt::disposer < faked_disposer >
+            > ::type
+        > ord_list;
+
+        typedef ci::SplitListSet < rcu_type, ord_list,
+            ci::split_list::make_traits <
+            co::hash< hash_int >
+            , co::item_counter< simple_item_counter >
+            , ci::split_list::dynamic_bucket_table < false >
+            > ::type
         > set;
-        static_assert( !set::options::dynamic_bucket_table, "Set has dynamic bucket table" );
+        static_assert(!set::traits::dynamic_bucket_table, "Set has dynamic bucket table");
+
+        test_rcu_int<set>();
+    }
+
+    void IntrusiveHashSetHdrTest::split_st_RCU_GPB_base_cmpmix_stat()
+    {
+        typedef base_int_item< ci::split_list::node<ci::michael_list::node<rcu_type> > > item;
+        typedef ci::MichaelList < rcu_type
+            , item
+            , ci::michael_list::make_traits <
+            ci::opt::hook< ci::michael_list::base_hook< co::gc<rcu_type> > >
+            , co::less< less<item> >
+            , co::compare< cmp<item> >
+            , ci::opt::disposer < faked_disposer >
+            > ::type
+        > ord_list;
+
+        typedef ci::SplitListSet < rcu_type, ord_list,
+            ci::split_list::make_traits <
+            co::hash< hash_int >
+            , co::item_counter< simple_item_counter >
+            , ci::split_list::dynamic_bucket_table<false>
+            , co::stat < ci::split_list::stat<> >
+            > ::type
+        > set;
+        static_assert(!set::traits::dynamic_bucket_table, "Set has dynamic bucket table");
 
         test_rcu_int<set>();
     }
@@ -239,26 +319,26 @@ namespace set {
     void IntrusiveHashSetHdrTest::split_st_RCU_GPB_member_cmp()
     {
         typedef member_int_item< ci::split_list::node< ci::michael_list::node<rcu_type> > > item;
-        typedef ci::MichaelList< rcu_type
-            ,item
-            ,ci::michael_list::make_traits<
-                ci::opt::hook< ci::michael_list::member_hook<
-                    offsetof( item, hMember ),
-                    co::gc<rcu_type>
-                > >
-                ,co::compare< cmp<item> >
-                ,ci::opt::disposer< faked_disposer >
-            >::type
-        >    ord_list;
-
-        typedef ci::SplitListSet< rcu_type, ord_list,
-            ci::split_list::make_traits<
-                co::hash< hash_int >
-                ,ci::split_list::dynamic_bucket_table<false>
-                ,co::memory_model<co::v::relaxed_ordering>
-            >::type
+        typedef ci::MichaelList < rcu_type
+            , item
+            , ci::michael_list::make_traits <
+            ci::opt::hook< ci::michael_list::member_hook <
+            offsetof( item, hMember ),
+            co::gc<rcu_type>
+            > >
+            , co::compare< cmp<item> >
+            , ci::opt::disposer < faked_disposer >
+            > ::type
+        > ord_list;
+
+        typedef ci::SplitListSet < rcu_type, ord_list,
+            ci::split_list::make_traits <
+            co::hash< hash_int >
+            , ci::split_list::dynamic_bucket_table<false>
+            , co::memory_model < co::v::relaxed_ordering >
+            > ::type
         > set;
-        static_assert( !set::options::dynamic_bucket_table, "Set has dynamic bucket table" );
+        static_assert(!set::traits::dynamic_bucket_table, "Set has dynamic bucket table");
 
         test_rcu_int<set>();
     }
@@ -266,26 +346,26 @@ namespace set {
     void IntrusiveHashSetHdrTest::split_st_RCU_GPB_member_less()
     {
         typedef member_int_item< ci::split_list::node< ci::michael_list::node<rcu_type> > > item;
-        typedef ci::MichaelList< rcu_type
-            ,item
-            ,ci::michael_list::make_traits<
-                ci::opt::hook< ci::michael_list::member_hook<
-                    offsetof( item, hMember ),
-                    co::gc<rcu_type>
-                > >
-                ,co::less< less<item> >
-                ,ci::opt::disposer< faked_disposer >
-            >::type
-        >    ord_list;
-
-        typedef ci::SplitListSet< rcu_type, ord_list,
-            ci::split_list::make_traits<
-                ci::split_list::dynamic_bucket_table<false>
-                ,co::hash< hash_int >
-                ,co::memory_model<co::v::sequential_consistent>
-            >::type
+        typedef ci::MichaelList < rcu_type
+            , item
+            , ci::michael_list::make_traits <
+            ci::opt::hook< ci::michael_list::member_hook <
+            offsetof( item, hMember ),
+            co::gc<rcu_type>
+            > >
+            , co::less< less<item> >
+            , ci::opt::disposer < faked_disposer >
+            > ::type
+        > ord_list;
+
+        typedef ci::SplitListSet < rcu_type, ord_list,
+            ci::split_list::make_traits <
+            ci::split_list::dynamic_bucket_table<false>
+            , co::hash< hash_int >
+            , co::memory_model < co::v::sequential_consistent >
+            > ::type
         > set;
-        static_assert( !set::options::dynamic_bucket_table, "Set has dynamic bucket table" );
+        static_assert(!set::traits::dynamic_bucket_table, "Set has dynamic bucket table");
 
         test_rcu_int<set>();
     }
@@ -293,30 +373,57 @@ namespace set {
     void IntrusiveHashSetHdrTest::split_st_RCU_GPB_member_cmpmix()
     {
         typedef member_int_item< ci::split_list::node< ci::michael_list::node<rcu_type> > > item;
-        typedef ci::MichaelList< rcu_type
-            ,item
-            ,ci::michael_list::make_traits<
-                ci::opt::hook< ci::michael_list::member_hook<
-                    offsetof( item, hMember ),
-                    co::gc<rcu_type>
-                > >
-                ,co::compare< cmp<item> >
-                ,co::less< less<item> >
-                ,ci::opt::disposer< faked_disposer >
-            >::type
-        >    ord_list;
-
-        typedef ci::SplitListSet< rcu_type, ord_list,
-            ci::split_list::make_traits<
-                co::hash< hash_int >
-                ,co::item_counter< simple_item_counter >
-                ,ci::split_list::dynamic_bucket_table<false>
-            >::type
+        typedef ci::MichaelList < rcu_type
+            , item
+            , ci::michael_list::make_traits <
+            ci::opt::hook< ci::michael_list::member_hook <
+            offsetof( item, hMember ),
+            co::gc<rcu_type>
+            > >
+            , co::compare< cmp<item> >
+            , co::less< less<item> >
+            , ci::opt::disposer < faked_disposer >
+            > ::type
+        > ord_list;
+
+        typedef ci::SplitListSet < rcu_type, ord_list,
+            ci::split_list::make_traits <
+            co::hash< hash_int >
+            , co::item_counter< simple_item_counter >
+            , ci::split_list::dynamic_bucket_table < false >
+            > ::type
         > set;
-        static_assert( !set::options::dynamic_bucket_table, "Set has dynamic bucket table" );
+        static_assert(!set::traits::dynamic_bucket_table, "Set has dynamic bucket table");
 
         test_rcu_int<set>();
     }
 
+    void IntrusiveHashSetHdrTest::split_st_RCU_GPB_member_cmpmix_stat()
+    {
+        typedef member_int_item< ci::split_list::node< ci::michael_list::node<rcu_type> > > item;
+        typedef ci::MichaelList < rcu_type
+            , item
+            , ci::michael_list::make_traits <
+            ci::opt::hook< ci::michael_list::member_hook <
+            offsetof( item, hMember ),
+            co::gc<rcu_type>
+            > >
+            , co::compare< cmp<item> >
+            , co::less< less<item> >
+            , ci::opt::disposer < faked_disposer >
+            > ::type
+        > ord_list;
+
+        typedef ci::SplitListSet < rcu_type, ord_list,
+            ci::split_list::make_traits <
+            co::hash< hash_int >
+            , co::item_counter< simple_item_counter >
+            , ci::split_list::dynamic_bucket_table<false>
+            , co::stat < ci::split_list::stat<> >
+            > ::type
+        > set;
+        static_assert(!set::traits::dynamic_bucket_table, "Set has dynamic bucket table");
 
+        test_rcu_int<set>();
+    }
 } // namespace set