fixing stuff
[dyninst.git] / dynutil / h / dyn_detail / boost / detail / sp_counted_base_w32.hpp
1 #ifndef DYN_DETAIL_BOOST_DETAIL_SP_COUNTED_BASE_W32_HPP_INCLUDED
2 #define DYN_DETAIL_BOOST_DETAIL_SP_COUNTED_BASE_W32_HPP_INCLUDED
3
4 // MS compatible compilers support #pragma once
5
6 #if defined(_MSC_VER) && (_MSC_VER >= 1020)
7 # pragma once
8 #endif
9
10 //
11 //  detail/sp_counted_base_w32.hpp
12 //
13 //  Copyright (c) 2001, 2002, 2003 Peter Dimov and Multi Media Ltd.
14 //  Copyright 2004-2005 Peter Dimov
15 //
16 //  Distributed under the Boost Software License, Version 1.0. (See
17 //  accompanying file LICENSE_1_0.txt or copy at
18 //  http://www.boost.org/LICENSE_1_0.txt)
19 //
20 //
21 //  Lock-free algorithm by Alexander Terekhov
22 //
23 //  Thanks to Ben Hitchings for the #weak + (#shared != 0)
24 //  formulation
25 //
26
27 #include <dyn_detail/boost/detail/interlocked.hpp>
28 #include <dyn_detail/boost/detail/workaround.hpp>
29 #include <dyn_detail/boost/detail/sp_typeinfo.hpp>
30
31 namespace dyn_detail
32 {
33   
34
35 namespace boost
36 {
37
38 namespace detail
39 {
40
41 class sp_counted_base
42 {
43 private:
44
45     sp_counted_base( sp_counted_base const & );
46     sp_counted_base & operator= ( sp_counted_base const & );
47
48     long use_count_;        // #shared
49     long weak_count_;       // #weak + (#shared != 0)
50
51 public:
52
53     sp_counted_base(): use_count_( 1 ), weak_count_( 1 )
54     {
55     }
56
57     virtual ~sp_counted_base() // nothrow
58     {
59     }
60
61     // dispose() is called when use_count_ drops to zero, to release
62     // the resources managed by *this.
63
64     virtual void dispose() = 0; // nothrow
65
66     // destroy() is called when weak_count_ drops to zero.
67
68     virtual void destroy() // nothrow
69     {
70         delete this;
71     }
72
73     virtual void * get_deleter( sp_typeinfo const & ti ) = 0;
74
75     void add_ref_copy()
76     {
77         DYN_DETAIL_BOOST_INTERLOCKED_INCREMENT( &use_count_ );
78     }
79
80     bool add_ref_lock() // true on success
81     {
82         for( ;; )
83         {
84             long tmp = static_cast< long const volatile& >( use_count_ );
85             if( tmp == 0 ) return false;
86
87 #if defined( DYN_DETAIL_BOOST_MSVC ) && DYN_DETAIL_BOOST_WORKAROUND( DYN_DETAIL_BOOST_MSVC, == 1200 )
88
89             // work around a code generation bug
90
91             long tmp2 = tmp + 1;
92             if( DYN_DETAIL_BOOST_INTERLOCKED_COMPARE_EXCHANGE( &use_count_, tmp2, tmp ) == tmp2 - 1 ) return true;
93
94 #else
95
96             if( DYN_DETAIL_BOOST_INTERLOCKED_COMPARE_EXCHANGE( &use_count_, tmp + 1, tmp ) == tmp ) return true;
97
98 #endif
99         }
100     }
101
102     void release() // nothrow
103     {
104         if( DYN_DETAIL_BOOST_INTERLOCKED_DECREMENT( &use_count_ ) == 0 )
105         {
106             dispose();
107             weak_release();
108         }
109     }
110
111     void weak_add_ref() // nothrow
112     {
113         DYN_DETAIL_BOOST_INTERLOCKED_INCREMENT( &weak_count_ );
114     }
115
116     void weak_release() // nothrow
117     {
118         if( DYN_DETAIL_BOOST_INTERLOCKED_DECREMENT( &weak_count_ ) == 0 )
119         {
120             destroy();
121         }
122     }
123
124     long use_count() const // nothrow
125     {
126         return static_cast<long const volatile &>( use_count_ );
127     }
128 };
129
130 } // namespace detail
131
132 } // namespace boost
133  
134 } // namespace dyn_detail
135
136
137 #endif  // #ifndef DYN_DETAIL_BOOST_DETAIL_SP_COUNTED_BASE_W32_HPP_INCLUDED