Adds a few single-threaded test cases for queue, stack, and set
[libcds.git] / test / stress / sequential / sequential-set / set_type.h
diff --git a/test/stress/sequential/sequential-set/set_type.h b/test/stress/sequential/sequential-set/set_type.h
new file mode 100644 (file)
index 0000000..14d365c
--- /dev/null
@@ -0,0 +1,325 @@
+/*
+    This file is a part of libcds - Concurrent Data Structures library
+
+    (C) Copyright Maxim Khizhinsky (libcds.dev@gmail.com) 2006-2017
+
+    Source code repo: http://github.com/khizmax/libcds/
+    Download: http://sourceforge.net/projects/libcds/files/
+
+    Redistribution and use in source and binary forms, with or without
+    modification, are permitted provided that the following conditions are met:
+
+    * Redistributions of source code must retain the above copyright notice, this
+      list of conditions and the following disclaimer.
+
+    * Redistributions in binary form must reproduce the above copyright notice,
+      this list of conditions and the following disclaimer in the documentation
+      and/or other materials provided with the distribution.
+
+    THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
+    AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+    IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
+    DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
+    FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+    DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
+    SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+    CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
+    OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+    OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+*/
+
+#ifndef CDSUNIT_SET_TYPE_H
+#define CDSUNIT_SET_TYPE_H
+
+#include <cds/urcu/general_instant.h>
+#include <cds/urcu/general_buffered.h>
+#include <cds/urcu/general_threaded.h>
+#include <cds/urcu/signal_buffered.h>
+
+#include <cds/opt/hash.h>
+#include <cds/sync/spinlock.h>
+
+#include <cds_test/stress_test.h>
+
+namespace set {
+    namespace cc = cds::container;
+    namespace co = cds::opt;
+
+    typedef cds::urcu::gc< cds::urcu::general_instant_stripped >   rcu_gpi;
+    typedef cds::urcu::gc< cds::urcu::general_buffered_stripped >  rcu_gpb;
+    typedef cds::urcu::gc< cds::urcu::general_threaded_stripped >  rcu_gpt;
+#ifdef CDS_URCU_SIGNAL_HANDLING_ENABLED
+    typedef cds::urcu::gc< cds::urcu::signal_buffered_stripped >  rcu_shb;
+#endif
+
+    template <typename Key>
+    struct less;
+
+    template <typename Key>
+    struct cmp
+    {
+        int operator ()(Key const& k1, Key const& k2) const
+        {
+            if ( less<Key>( k1, k2 ))
+                return -1;
+            return less<Key>( k2, k1 ) ? 1 : 0;
+        }
+    };
+
+    template <typename Key>
+    struct hash;
+
+#define CDSUNIT_INT_COMPARE(t)  template <> struct cmp<t> { int operator()( t k1, t k2 ){ return (int)(k1 - k2); } }
+    CDSUNIT_INT_COMPARE(char);
+    CDSUNIT_INT_COMPARE(unsigned char);
+    CDSUNIT_INT_COMPARE(int);
+    CDSUNIT_INT_COMPARE(unsigned int);
+    CDSUNIT_INT_COMPARE(long);
+    CDSUNIT_INT_COMPARE(unsigned long);
+    CDSUNIT_INT_COMPARE(long long);
+    CDSUNIT_INT_COMPARE(unsigned long long);
+#undef CDSUNIT_INT_COMPARE
+
+#define CDSUNIT_INT_LESS(t)  template <> struct less<t> { bool operator()( t k1, t k2 ){ return k1 < k2; } }
+    CDSUNIT_INT_LESS( char );
+    CDSUNIT_INT_LESS( unsigned char );
+    CDSUNIT_INT_LESS( int );
+    CDSUNIT_INT_LESS( unsigned int );
+    CDSUNIT_INT_LESS( long );
+    CDSUNIT_INT_LESS( unsigned long );
+    CDSUNIT_INT_LESS( long long );
+    CDSUNIT_INT_LESS( unsigned long long );
+#undef CDSUNIT_INT_LESS
+
+    template <>
+    struct cmp<std::string>
+    {
+        int operator()(std::string const& s1, std::string const& s2)
+        {
+            return s1.compare( s2 );
+        }
+        int operator()(std::string const& s1, char const * s2)
+        {
+            return s1.compare( s2 );
+        }
+        int operator()(char const * s1, std::string const& s2)
+        {
+            return -s2.compare( s1 );
+        }
+    };
+
+    template <>
+    struct less<std::string>
+    {
+        bool operator ()( std::string const& k1, std::string const& k2 ) const
+        {
+            return cmp<std::string>()( k1, k2 ) < 0;
+        }
+        bool operator ()( std::string const& k1, char const* k2 ) const
+        {
+            return cmp<std::string>()( k1, k2 ) < 0;
+        }
+        bool operator ()( char const* k1, std::string const& k2 ) const
+        {
+            return cmp<std::string>()( k1, k2 ) < 0;
+        }
+    };
+
+    template <typename T>
+    struct hash
+    {
+        typedef size_t result_type;
+        typedef T      argument_type;
+
+        size_t operator()( T const& k ) const
+        {
+            return std::hash<size_t>()(k.nKey);
+        }
+
+        size_t operator()( size_t k ) const
+        {
+            return std::hash<size_t>()(k);
+        }
+    };
+
+    template <>
+    struct hash<size_t>
+    {
+        typedef size_t result_type;
+        typedef size_t argument_type;
+
+        size_t operator()( size_t k ) const
+        {
+            return std::hash<size_t>()(k);
+        }
+    };
+
+    template <>
+    struct hash<std::string>
+    {
+        typedef size_t result_type;
+        typedef std::string argument_type;
+
+        size_t operator()( std::string const& k ) const
+        {
+            return std::hash<std::string>()(k);
+        }
+    };
+
+    // forward
+    template <typename ImplSelector, typename Key, typename Value>
+    struct set_type;
+
+    template <typename Key, typename Value>
+    struct set_type_base
+    {
+        typedef Key     key_type;
+        typedef Value   value_type;
+
+        struct key_val {
+            key_type    key;
+            value_type  val;
+
+            explicit key_val( key_type const& k ): key(k), val() {}
+            key_val( key_type const& k, value_type const& v ): key(k), val(v) {}
+
+            template <typename K>
+            explicit key_val( K const& k ): key(k) {}
+
+            template <typename K, typename T>
+            key_val( K const& k, T const& v ): key(k), val(v) {}
+        };
+
+        typedef set::hash<key_type>   key_hash;
+        typedef set::less<key_type>   key_less;
+        typedef set::cmp<key_type>    key_compare;
+
+        struct less {
+            bool operator()( key_val const& k1, key_val const& k2 ) const
+            {
+                return key_less()( k1.key, k2.key );
+            }
+            bool operator()( key_type const& k1, key_val const& k2 ) const
+            {
+                return key_less()( k1, k2.key );
+            }
+            bool operator()( key_val const& k1, key_type const& k2 ) const
+            {
+                return key_less()( k1.key, k2 );
+            }
+        };
+
+        struct compare {
+            int operator()( key_val const& k1, key_val const& k2 ) const
+            {
+                return key_compare()( k1.key, k2.key );
+            }
+            int operator()( key_type const& k1, key_val const& k2 ) const
+            {
+                return key_compare()( k1, k2.key );
+            }
+            int operator()( key_val const& k1, key_type const& k2 ) const
+            {
+                return key_compare()( k1.key, k2 );
+            }
+        };
+
+        struct equal_to {
+            bool operator()( key_val const& k1, key_val const& k2 ) const
+            {
+                return key_compare()( k1.key, k2.key ) == 0;
+            }
+            bool operator()( key_type const& k1, key_val const& k2 ) const
+            {
+                return key_compare()( k1, k2.key ) == 0;
+            }
+            bool operator()( key_val const& k1, key_type const& k2 ) const
+            {
+                return key_compare()( k1.key, k2 ) == 0;
+            }
+        };
+
+
+        struct hash: public key_hash
+        {
+            size_t operator()( key_val const& v ) const
+            {
+                return key_hash::operator()( v.key );
+            }
+            size_t operator()( key_type const& key ) const
+            {
+                return key_hash::operator()( key );
+            }
+            template <typename Q>
+            size_t operator()( Q const& k ) const
+            {
+                return key_hash::operator()( k );
+            }
+        };
+
+        struct hash2: public hash
+        {
+            size_t operator()( key_val const& k ) const
+            {
+                size_t h = hash::operator ()( k.key );
+                size_t seed = ~h;
+                seed ^= h + 0x9e3779b9 + (seed << 6) + (seed >> 2);
+                return seed;
+            }
+            size_t operator()( key_type const& k ) const
+            {
+                size_t h = hash::operator ()( k );
+                size_t seed = ~h;
+                seed ^= h + 0x9e3779b9 + (seed << 6) + (seed >> 2);
+                return seed;
+            }
+            template <typename Q>
+            size_t operator()( Q const& k ) const
+            {
+                return key_hash::operator()( k );
+            }
+        };
+    };
+
+
+    // *************************************************
+    // print_stat
+    // *************************************************
+
+    struct empty_stat {};
+    static inline cds_test::property_stream& operator <<( cds_test::property_stream& o, empty_stat const& )
+    {
+        return o;
+    }
+
+    template <typename Set>
+    static inline void print_stat( cds_test::property_stream& o, Set const& s )
+    {
+        o << s.statistics();
+    }
+
+
+    //*******************************************************
+    // additional_check
+    //*******************************************************
+
+    template <typename Set>
+    static inline void additional_check( Set& /*set*/ )
+    {}
+
+    template <typename Set>
+    static inline void additional_cleanup( Set& /*set*/ )
+    {}
+
+    //*******************************************************
+    // check_before_clear
+    //*******************************************************
+
+    template <typename Set>
+    static inline void check_before_clear( Set& /*s*/ )
+    {}
+
+} // namespace set
+
+
+#endif // ifndef CDSUNIT_SET_TYPE_H