fixing stuff
[dyninst.git] / dynutil / h / dyn_detail / boost / detail / sp_counted_base_sync.hpp
1 #ifndef DYN_DETAIL_BOOST_DETAIL_SP_COUNTED_BASE_SYNC_HPP_INCLUDED
2 #define DYN_DETAIL_BOOST_DETAIL_SP_COUNTED_BASE_SYNC_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 //  detail/sp_counted_base_sync.hpp - g++ 4.1+ __sync intrinsics
11 //
12 //  Copyright (c) 2007 Peter Dimov
13 //
14 //  Distributed under the Boost Software License, Version 1.0.
15 //  See accompanying file LICENSE_1_0.txt or copy at
16 //  http://www.boost.org/LICENSE_1_0.txt
17
18 #include <dyn_detail/boost/detail/sp_typeinfo.hpp>
19 #include <limits.h>
20
21 #if defined( __ia64__ ) && defined( __INTEL_COMPILER )
22 # include <ia64intrin.h>
23 #endif
24
25 namespace dyn_detail
26 {
27   
28
29 namespace boost
30 {
31
32 namespace detail
33 {
34
35 #if INT_MAX >= 2147483647
36
37 typedef int sp_int32_t;
38
39 #else
40
41 typedef long sp_int32_t;
42
43 #endif
44
45 inline void atomic_increment( sp_int32_t * pw )
46 {
47     __sync_fetch_and_add( pw, 1 );
48 }
49
50 inline sp_int32_t atomic_decrement( sp_int32_t * pw )
51 {
52     return __sync_fetch_and_add( pw, -1 );
53 }
54
55 inline sp_int32_t atomic_conditional_increment( sp_int32_t * pw )
56 {
57     // long r = *pw;
58     // if( r != 0 ) ++*pw;
59     // return r;
60
61     sp_int32_t r = *pw;
62
63     for( ;; )
64     {
65         if( r == 0 )
66         {
67             return r;
68         }
69
70         sp_int32_t r2 = __sync_val_compare_and_swap( pw, r, r + 1 );
71
72         if( r2 == r )
73         {
74             return r;
75         }
76         else
77         {
78             r = r2;
79         }
80     }    
81 }
82
83 class sp_counted_base
84 {
85 private:
86
87     sp_counted_base( sp_counted_base const & );
88     sp_counted_base & operator= ( sp_counted_base const & );
89
90     sp_int32_t use_count_;        // #shared
91     sp_int32_t weak_count_;       // #weak + (#shared != 0)
92
93 public:
94
95     sp_counted_base(): use_count_( 1 ), weak_count_( 1 )
96     {
97     }
98
99     virtual ~sp_counted_base() // nothrow
100     {
101     }
102
103     // dispose() is called when use_count_ drops to zero, to release
104     // the resources managed by *this.
105
106     virtual void dispose() = 0; // nothrow
107
108     // destroy() is called when weak_count_ drops to zero.
109
110     virtual void destroy() // nothrow
111     {
112         delete this;
113     }
114
115     virtual void * get_deleter( sp_typeinfo const & ti ) = 0;
116
117     void add_ref_copy()
118     {
119         atomic_increment( &use_count_ );
120     }
121
122     bool add_ref_lock() // true on success
123     {
124         return atomic_conditional_increment( &use_count_ ) != 0;
125     }
126
127     void release() // nothrow
128     {
129         if( atomic_decrement( &use_count_ ) == 1 )
130         {
131             dispose();
132             weak_release();
133         }
134     }
135
136     void weak_add_ref() // nothrow
137     {
138         atomic_increment( &weak_count_ );
139     }
140
141     void weak_release() // nothrow
142     {
143         if( atomic_decrement( &weak_count_ ) == 1 )
144         {
145             destroy();
146         }
147     }
148
149     long use_count() const // nothrow
150     {
151         return const_cast< sp_int32_t const volatile & >( use_count_ );
152     }
153 };
154
155 } // namespace detail
156
157 } // namespace boost
158  
159 } // namespace dyn_detail
160
161 #endif  // #ifndef DYN_DETAIL_BOOST_DETAIL_SP_COUNTED_BASE_SYNC_HPP_INCLUDED