X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=cds%2Fcontainer%2Fmichael_kvlist_nogc.h;h=89974bf5a7853888ae3d58b86c0a3eb5ddfe8efc;hb=f31988b031453d7fdf7fe212f966554fa558af3e;hp=ad0a7c4d2b9662ceeceba7d4b6da90019116488a;hpb=4b5852dc7e861bb26c6af06c2a1e058f87f703ae;p=libcds.git diff --git a/cds/container/michael_kvlist_nogc.h b/cds/container/michael_kvlist_nogc.h index ad0a7c4d..89974bf5 100644 --- a/cds/container/michael_kvlist_nogc.h +++ b/cds/container/michael_kvlist_nogc.h @@ -1,4 +1,32 @@ -//$$CDS-header$$ +/* + This file is a part of libcds - Concurrent Data Structures library + + (C) Copyright Maxim Khizhinsky (libcds.dev@gmail.com) 2006-2016 + + 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 CDSLIB_CONTAINER_MICHAEL_KVLIST_NOGC_H #define CDSLIB_CONTAINER_MICHAEL_KVLIST_NOGC_H @@ -84,6 +112,7 @@ namespace cds { namespace container { typedef typename base_class::item_counter item_counter; ///< Item counting policy used typedef typename maker::key_comparator key_comparator; ///< key comparison functor typedef typename base_class::memory_model memory_model; ///< Memory ordering. See cds::opt::memory_model option + typedef typename base_class::stat stat; ///< Internal statistics protected: //@cond @@ -229,17 +258,23 @@ namespace cds { namespace container { //@endcond public: + ///@name Forward iterators + //@{ /// Forward iterator /** - The forward iterator for Michael's list based on gc::nogc has pre- and post-increment operators. + The forward iterator is safe: you may use it in multi-threaded enviromnent without any synchronization. + + The forward iterator for Michael's list based on \p gc::nogc has pre- and post-increment operators. The iterator interface to access item data: - - operator -> - returns a pointer to \ref value_type for iterator - - operator * - returns a reference (a const reference for \p const_iterator) to \ref value_type for iterator + - operator -> - returns a pointer to \p value_type + - operator * - returns a reference (a const reference for \p const_iterator) to \p value_type - const key_type& key() - returns a key reference for iterator - mapped_type& val() - retuns a value reference for iterator (const reference for \p const_iterator) - For both functions the iterator should not be equal to end() + For both functions the iterator should not be equal to \p end(). + + @note \p end() iterator is not dereferenceable */ typedef iterator_type iterator; @@ -272,28 +307,27 @@ namespace cds { namespace container { } /// Returns a forward const iterator addressing the first element in a list - //@{ const_iterator begin() const { return const_iterator( head() ); } + /// Returns a forward const iterator addressing the first element in a list const_iterator cbegin() const { return const_iterator( head() ); } - //@} /// Returns an const iterator that addresses the location succeeding the last element in a list - //@{ const_iterator end() const { return const_iterator(); } + /// Returns an const iterator that addresses the location succeeding the last element in a list const_iterator cend() const { return const_iterator(); } - //@} + //@} protected: //@cond @@ -313,7 +347,14 @@ namespace cds { namespace container { MichaelKVList() {} - /// List desctructor + //@cond + template >::value >> + explicit MichaelKVList( Stat& st ) + : base_class( st ) + {} + //@endcond + + /// List destructor /** Clears the list */ @@ -393,7 +434,8 @@ namespace cds { namespace container { /// Updates the item /** - If \p key is not in the list and \p bAllowInsert is \p true, + If \p key is not in the list and \p bAllowInsert is \p true, + the function inserts a new item. Otherwise, the function returns an iterator pointing to the item found. @@ -485,6 +527,12 @@ namespace cds { namespace container { return base_class::size(); } + /// Returns const reference to internal statistics + stat const& statistics() const + { + return base_class::statistics(); + } + /// Clears the list void clear() { @@ -532,7 +580,8 @@ namespace cds { namespace container { scoped_node_ptr pNode( alloc_node( key )); node_type * pItemFound = nullptr; - std::pair ret = base_class::update_at( refHead, *pNode, + std::pair ret = base_class::update_at( refHead, *pNode, + [&pItemFound](bool, node_type& item, node_type&){ pItemFound = &item; }, bAllowInsert );