fixing stuff
[dyninst.git] / dynutil / h / dyn_detail / boost / detail / sp_counted_base_acc_ia64.hpp
1 #ifndef DYN_DETAIL_BOOST_DETAIL_SP_COUNTED_BASE_ACC_IA64_HPP_INCLUDED
2 #define DYN_DETAIL_BOOST_DETAIL_SP_COUNTED_BASE_ACC_IA64_HPP_INCLUDED
3
4 //
5 //  detail/sp_counted_base_acc_ia64.hpp - aC++ on HP-UX IA64
6 //
7 //  Copyright 2007 Baruch Zilber
8 //  Copyright 2007 Boris Gubenko
9 //
10 //  Distributed under the Boost Software License, Version 1.0. (See
11 //  accompanying file LICENSE_1_0.txt or copy at
12 //  http://www.boost.org/LICENSE_1_0.txt)
13 //
14 //
15 //  Lock-free algorithm by Alexander Terekhov
16 //
17
18 #include <dyn_detail/boost/detail/sp_typeinfo.hpp>
19 #include <machine/sys/inline.h>
20
21 namespace dyn_detail
22 {
23   
24 namespace boost
25 {
26
27 namespace detail
28 {
29
30 inline void atomic_increment( int * pw )
31 {
32     // ++*pw;
33
34     _Asm_fetchadd(_FASZ_W, _SEM_REL, pw, +1, _LDHINT_NONE);
35
36
37 inline int atomic_decrement( int * pw )
38 {
39     // return --*pw;
40
41     int r = static_cast<int>(_Asm_fetchadd(_FASZ_W, _SEM_REL, pw, -1, _LDHINT_NONE));
42     if (1 == r)
43     {
44         _Asm_mf();
45     }
46     
47     return r - 1;
48 }
49
50 inline int atomic_conditional_increment( int * pw )
51 {
52     // if( *pw != 0 ) ++*pw;
53     // return *pw;
54
55     int v = *pw;
56     
57     for (;;)
58     {
59         if (0 == v)
60         {
61             return 0;
62         }
63         
64         _Asm_mov_to_ar(_AREG_CCV,
65                        v,
66                        (_UP_CALL_FENCE | _UP_SYS_FENCE | _DOWN_CALL_FENCE | _DOWN_SYS_FENCE));
67         int r = static_cast<int>(_Asm_cmpxchg(_SZ_W, _SEM_ACQ, pw, v + 1, _LDHINT_NONE));
68         if (r == v)
69         {
70             return r + 1;
71         }
72         
73         v = r;
74     }
75 }
76
77 class sp_counted_base
78 {
79 private:
80
81     sp_counted_base( sp_counted_base const & );
82     sp_counted_base & operator= ( sp_counted_base const & );
83
84     int use_count_;        // #shared
85     int weak_count_;       // #weak + (#shared != 0)
86
87 public:
88
89     sp_counted_base(): use_count_( 1 ), weak_count_( 1 )
90     {
91     }
92
93     virtual ~sp_counted_base() // nothrow
94     {
95     }
96
97     // dispose() is called when use_count_ drops to zero, to release
98     // the resources managed by *this.
99
100     virtual void dispose() = 0; // nothrow
101
102     // destroy() is called when weak_count_ drops to zero.
103
104     virtual void destroy() // nothrow
105     {
106         delete this;
107     }
108
109     virtual void * get_deleter( sp_typeinfo const & ti ) = 0;
110
111     void add_ref_copy()
112     {
113         atomic_increment( &use_count_ );
114     }
115
116     bool add_ref_lock() // true on success
117     {
118         return atomic_conditional_increment( &use_count_ ) != 0;
119     }
120
121     void release() // nothrow
122     {
123         if( atomic_decrement( &use_count_ ) == 0 )
124         {
125             dispose();
126             weak_release();
127         }
128     }
129
130     void weak_add_ref() // nothrow
131     {
132         atomic_increment( &weak_count_ );
133     }
134
135     void weak_release() // nothrow
136     {
137         if( atomic_decrement( &weak_count_ ) == 0 )
138         {
139             destroy();
140         }
141     }
142
143     long use_count() const // nothrow
144     {
145         return static_cast<int const volatile &>( use_count_ ); // TODO use ld.acq here
146     }
147 };
148
149 } // namespace detail
150
151 } // namespace boost
152
153 } // namespace dyn_detail
154 #endif  // #ifndef DYN_DETAIL_BOOST_DETAIL_SP_COUNTED_BASE_ACC_IA64_HPP_INCLUDED