1 /*
2 * Copyright (C) 2005 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
17 #define LOG_TAG "RefBase"
18 // #define LOG_NDEBUG 0
19
20 #include <utils/RefBase.h>
21
22 #include <utils/Atomic.h>
23 #include <utils/CallStack.h>
24 #include <utils/Log.h>
25 #include <utils/threads.h>
26 #include <utils/TextOutput.h>
27
28 #include <stdlib.h>
29 #include <stdio.h>
30 #include <typeinfo>
31 #include <sys/types.h>
32 #include <sys/stat.h>
33 #include <fcntl.h>
34 #include <unistd.h>
35
36 // compile with refcounting debugging enabled
37 #define DEBUG_REFS 0
38
39 // whether ref-tracking is enabled by default, if not, trackMe(true, false)
40 // needs to be called explicitly
41 #define DEBUG_REFS_ENABLED_BY_DEFAULT 0
42
43 // whether callstack are collected (significantly slows things down)
44 #define DEBUG_REFS_CALLSTACK_ENABLED 1
45
46 // folder where stack traces are saved when DEBUG_REFS is enabled
47 // this folder needs to exist and be writable
48 #define DEBUG_REFS_CALLSTACK_PATH "/data/debug"
49
50 // log all reference counting operations
51 #define PRINT_REFS 0
52
53 // ---------------------------------------------------------------------------
54
55 namespace android {
56
57 #define INITIAL_STRONG_VALUE (1<<28)
58
59 // ---------------------------------------------------------------------------
60
61 class RefBase::weakref_impl : public RefBase::weakref_type
62 {
63 public:
64 volatile int32_t mStrong;
65 volatile int32_t mWeak;
66 RefBase* const mBase;
67 volatile int32_t mFlags;
68
69 #if !DEBUG_REFS
70
weakref_impl(RefBase * base)71 weakref_impl(RefBase* base)
72 : mStrong(INITIAL_STRONG_VALUE)
73 , mWeak(0)
74 , mBase(base)
75 , mFlags(0)
76 {
77 }
78
addStrongRef(const void *)79 void addStrongRef(const void* /*id*/) { }
removeStrongRef(const void *)80 void removeStrongRef(const void* /*id*/) { }
renameStrongRefId(const void *,const void *)81 void renameStrongRefId(const void* /*old_id*/, const void* /*new_id*/) { }
addWeakRef(const void *)82 void addWeakRef(const void* /*id*/) { }
removeWeakRef(const void *)83 void removeWeakRef(const void* /*id*/) { }
renameWeakRefId(const void *,const void *)84 void renameWeakRefId(const void* /*old_id*/, const void* /*new_id*/) { }
printRefs() const85 void printRefs() const { }
trackMe(bool,bool)86 void trackMe(bool, bool) { }
87
88 #else
89
weakref_impl(RefBase * base)90 weakref_impl(RefBase* base)
91 : mStrong(INITIAL_STRONG_VALUE)
92 , mWeak(0)
93 , mBase(base)
94 , mFlags(0)
95 , mStrongRefs(NULL)
96 , mWeakRefs(NULL)
97 , mTrackEnabled(!!DEBUG_REFS_ENABLED_BY_DEFAULT)
98 , mRetain(false)
99 {
100 }
101
~weakref_impl()102 ~weakref_impl()
103 {
104 bool dumpStack = false;
105 if (!mRetain && mStrongRefs != NULL) {
106 dumpStack = true;
107 ALOGE("Strong references remain:");
108 ref_entry* refs = mStrongRefs;
109 while (refs) {
110 char inc = refs->ref >= 0 ? '+' : '-';
111 ALOGD("\t%c ID %p (ref %d):", inc, refs->id, refs->ref);
112 #if DEBUG_REFS_CALLSTACK_ENABLED
113 refs->stack.dump(LOG_TAG);
114 #endif
115 refs = refs->next;
116 }
117 }
118
119 if (!mRetain && mWeakRefs != NULL) {
120 dumpStack = true;
121 ALOGE("Weak references remain!");
122 ref_entry* refs = mWeakRefs;
123 while (refs) {
124 char inc = refs->ref >= 0 ? '+' : '-';
125 ALOGD("\t%c ID %p (ref %d):", inc, refs->id, refs->ref);
126 #if DEBUG_REFS_CALLSTACK_ENABLED
127 refs->stack.dump(LOG_TAG);
128 #endif
129 refs = refs->next;
130 }
131 }
132 if (dumpStack) {
133 ALOGE("above errors at:");
134 CallStack stack(LOG_TAG);
135 }
136 }
137
addStrongRef(const void * id)138 void addStrongRef(const void* id) {
139 //ALOGD_IF(mTrackEnabled,
140 // "addStrongRef: RefBase=%p, id=%p", mBase, id);
141 addRef(&mStrongRefs, id, mStrong);
142 }
143
removeStrongRef(const void * id)144 void removeStrongRef(const void* id) {
145 //ALOGD_IF(mTrackEnabled,
146 // "removeStrongRef: RefBase=%p, id=%p", mBase, id);
147 if (!mRetain) {
148 removeRef(&mStrongRefs, id);
149 } else {
150 addRef(&mStrongRefs, id, -mStrong);
151 }
152 }
153
renameStrongRefId(const void * old_id,const void * new_id)154 void renameStrongRefId(const void* old_id, const void* new_id) {
155 //ALOGD_IF(mTrackEnabled,
156 // "renameStrongRefId: RefBase=%p, oid=%p, nid=%p",
157 // mBase, old_id, new_id);
158 renameRefsId(mStrongRefs, old_id, new_id);
159 }
160
addWeakRef(const void * id)161 void addWeakRef(const void* id) {
162 addRef(&mWeakRefs, id, mWeak);
163 }
164
removeWeakRef(const void * id)165 void removeWeakRef(const void* id) {
166 if (!mRetain) {
167 removeRef(&mWeakRefs, id);
168 } else {
169 addRef(&mWeakRefs, id, -mWeak);
170 }
171 }
172
renameWeakRefId(const void * old_id,const void * new_id)173 void renameWeakRefId(const void* old_id, const void* new_id) {
174 renameRefsId(mWeakRefs, old_id, new_id);
175 }
176
trackMe(bool track,bool retain)177 void trackMe(bool track, bool retain)
178 {
179 mTrackEnabled = track;
180 mRetain = retain;
181 }
182
printRefs() const183 void printRefs() const
184 {
185 String8 text;
186
187 {
188 Mutex::Autolock _l(mMutex);
189 char buf[128];
190 sprintf(buf, "Strong references on RefBase %p (weakref_type %p):\n", mBase, this);
191 text.append(buf);
192 printRefsLocked(&text, mStrongRefs);
193 sprintf(buf, "Weak references on RefBase %p (weakref_type %p):\n", mBase, this);
194 text.append(buf);
195 printRefsLocked(&text, mWeakRefs);
196 }
197
198 {
199 char name[100];
200 snprintf(name, 100, DEBUG_REFS_CALLSTACK_PATH "/%p.stack", this);
201 int rc = open(name, O_RDWR | O_CREAT | O_APPEND, 644);
202 if (rc >= 0) {
203 write(rc, text.string(), text.length());
204 close(rc);
205 ALOGD("STACK TRACE for %p saved in %s", this, name);
206 }
207 else ALOGE("FAILED TO PRINT STACK TRACE for %p in %s: %s", this,
208 name, strerror(errno));
209 }
210 }
211
212 private:
213 struct ref_entry
214 {
215 ref_entry* next;
216 const void* id;
217 #if DEBUG_REFS_CALLSTACK_ENABLED
218 CallStack stack;
219 #endif
220 int32_t ref;
221 };
222
addRef(ref_entry ** refs,const void * id,int32_t mRef)223 void addRef(ref_entry** refs, const void* id, int32_t mRef)
224 {
225 if (mTrackEnabled) {
226 AutoMutex _l(mMutex);
227
228 ref_entry* ref = new ref_entry;
229 // Reference count at the time of the snapshot, but before the
230 // update. Positive value means we increment, negative--we
231 // decrement the reference count.
232 ref->ref = mRef;
233 ref->id = id;
234 #if DEBUG_REFS_CALLSTACK_ENABLED
235 ref->stack.update(2);
236 #endif
237 ref->next = *refs;
238 *refs = ref;
239 }
240 }
241
removeRef(ref_entry ** refs,const void * id)242 void removeRef(ref_entry** refs, const void* id)
243 {
244 if (mTrackEnabled) {
245 AutoMutex _l(mMutex);
246
247 ref_entry* const head = *refs;
248 ref_entry* ref = head;
249 while (ref != NULL) {
250 if (ref->id == id) {
251 *refs = ref->next;
252 delete ref;
253 return;
254 }
255 refs = &ref->next;
256 ref = *refs;
257 }
258
259 ALOGE("RefBase: removing id %p on RefBase %p"
260 "(weakref_type %p) that doesn't exist!",
261 id, mBase, this);
262
263 ref = head;
264 while (ref) {
265 char inc = ref->ref >= 0 ? '+' : '-';
266 ALOGD("\t%c ID %p (ref %d):", inc, ref->id, ref->ref);
267 ref = ref->next;
268 }
269
270 CallStack stack(LOG_TAG);
271 }
272 }
273
renameRefsId(ref_entry * r,const void * old_id,const void * new_id)274 void renameRefsId(ref_entry* r, const void* old_id, const void* new_id)
275 {
276 if (mTrackEnabled) {
277 AutoMutex _l(mMutex);
278 ref_entry* ref = r;
279 while (ref != NULL) {
280 if (ref->id == old_id) {
281 ref->id = new_id;
282 }
283 ref = ref->next;
284 }
285 }
286 }
287
printRefsLocked(String8 * out,const ref_entry * refs) const288 void printRefsLocked(String8* out, const ref_entry* refs) const
289 {
290 char buf[128];
291 while (refs) {
292 char inc = refs->ref >= 0 ? '+' : '-';
293 sprintf(buf, "\t%c ID %p (ref %d):\n",
294 inc, refs->id, refs->ref);
295 out->append(buf);
296 #if DEBUG_REFS_CALLSTACK_ENABLED
297 out->append(refs->stack.toString("\t\t"));
298 #else
299 out->append("\t\t(call stacks disabled)");
300 #endif
301 refs = refs->next;
302 }
303 }
304
305 mutable Mutex mMutex;
306 ref_entry* mStrongRefs;
307 ref_entry* mWeakRefs;
308
309 bool mTrackEnabled;
310 // Collect stack traces on addref and removeref, instead of deleting the stack references
311 // on removeref that match the address ones.
312 bool mRetain;
313
314 #endif
315 };
316
317 // ---------------------------------------------------------------------------
318
incStrong(const void * id) const319 void RefBase::incStrong(const void* id) const
320 {
321 weakref_impl* const refs = mRefs;
322 refs->incWeak(id);
323
324 refs->addStrongRef(id);
325 const int32_t c = android_atomic_inc(&refs->mStrong);
326 ALOG_ASSERT(c > 0, "incStrong() called on %p after last strong ref", refs);
327 #if PRINT_REFS
328 ALOGD("incStrong of %p from %p: cnt=%d\n", this, id, c);
329 #endif
330 if (c != INITIAL_STRONG_VALUE) {
331 return;
332 }
333
334 android_atomic_add(-INITIAL_STRONG_VALUE, &refs->mStrong);
335 refs->mBase->onFirstRef();
336 }
337
decStrong(const void * id) const338 void RefBase::decStrong(const void* id) const
339 {
340 weakref_impl* const refs = mRefs;
341 refs->removeStrongRef(id);
342 const int32_t c = android_atomic_dec(&refs->mStrong);
343 #if PRINT_REFS
344 ALOGD("decStrong of %p from %p: cnt=%d\n", this, id, c);
345 #endif
346 ALOG_ASSERT(c >= 1, "decStrong() called on %p too many times", refs);
347 if (c == 1) {
348 refs->mBase->onLastStrongRef(id);
349 if ((refs->mFlags&OBJECT_LIFETIME_MASK) == OBJECT_LIFETIME_STRONG) {
350 delete this;
351 }
352 }
353 refs->decWeak(id);
354 }
355
forceIncStrong(const void * id) const356 void RefBase::forceIncStrong(const void* id) const
357 {
358 weakref_impl* const refs = mRefs;
359 refs->incWeak(id);
360
361 refs->addStrongRef(id);
362 const int32_t c = android_atomic_inc(&refs->mStrong);
363 ALOG_ASSERT(c >= 0, "forceIncStrong called on %p after ref count underflow",
364 refs);
365 #if PRINT_REFS
366 ALOGD("forceIncStrong of %p from %p: cnt=%d\n", this, id, c);
367 #endif
368
369 switch (c) {
370 case INITIAL_STRONG_VALUE:
371 android_atomic_add(-INITIAL_STRONG_VALUE, &refs->mStrong);
372 // fall through...
373 case 0:
374 refs->mBase->onFirstRef();
375 }
376 }
377
getStrongCount() const378 int32_t RefBase::getStrongCount() const
379 {
380 return mRefs->mStrong;
381 }
382
refBase() const383 RefBase* RefBase::weakref_type::refBase() const
384 {
385 return static_cast<const weakref_impl*>(this)->mBase;
386 }
387
incWeak(const void * id)388 void RefBase::weakref_type::incWeak(const void* id)
389 {
390 weakref_impl* const impl = static_cast<weakref_impl*>(this);
391 impl->addWeakRef(id);
392 const int32_t c = android_atomic_inc(&impl->mWeak);
393 ALOG_ASSERT(c >= 0, "incWeak called on %p after last weak ref", this);
394 }
395
396
decWeak(const void * id)397 void RefBase::weakref_type::decWeak(const void* id)
398 {
399 weakref_impl* const impl = static_cast<weakref_impl*>(this);
400 impl->removeWeakRef(id);
401 const int32_t c = android_atomic_dec(&impl->mWeak);
402 ALOG_ASSERT(c >= 1, "decWeak called on %p too many times", this);
403 if (c != 1) return;
404
405 if ((impl->mFlags&OBJECT_LIFETIME_WEAK) == OBJECT_LIFETIME_STRONG) {
406 // This is the regular lifetime case. The object is destroyed
407 // when the last strong reference goes away. Since weakref_impl
408 // outlive the object, it is not destroyed in the dtor, and
409 // we'll have to do it here.
410 if (impl->mStrong == INITIAL_STRONG_VALUE) {
411 // Special case: we never had a strong reference, so we need to
412 // destroy the object now.
413 delete impl->mBase;
414 } else {
415 // ALOGV("Freeing refs %p of old RefBase %p\n", this, impl->mBase);
416 delete impl;
417 }
418 } else {
419 // less common case: lifetime is OBJECT_LIFETIME_{WEAK|FOREVER}
420 impl->mBase->onLastWeakRef(id);
421 if ((impl->mFlags&OBJECT_LIFETIME_MASK) == OBJECT_LIFETIME_WEAK) {
422 // this is the OBJECT_LIFETIME_WEAK case. The last weak-reference
423 // is gone, we can destroy the object.
424 delete impl->mBase;
425 }
426 }
427 }
428
attemptIncStrong(const void * id)429 bool RefBase::weakref_type::attemptIncStrong(const void* id)
430 {
431 incWeak(id);
432
433 weakref_impl* const impl = static_cast<weakref_impl*>(this);
434 int32_t curCount = impl->mStrong;
435
436 ALOG_ASSERT(curCount >= 0,
437 "attemptIncStrong called on %p after underflow", this);
438
439 while (curCount > 0 && curCount != INITIAL_STRONG_VALUE) {
440 // we're in the easy/common case of promoting a weak-reference
441 // from an existing strong reference.
442 if (android_atomic_cmpxchg(curCount, curCount+1, &impl->mStrong) == 0) {
443 break;
444 }
445 // the strong count has changed on us, we need to re-assert our
446 // situation.
447 curCount = impl->mStrong;
448 }
449
450 if (curCount <= 0 || curCount == INITIAL_STRONG_VALUE) {
451 // we're now in the harder case of either:
452 // - there never was a strong reference on us
453 // - or, all strong references have been released
454 if ((impl->mFlags&OBJECT_LIFETIME_WEAK) == OBJECT_LIFETIME_STRONG) {
455 // this object has a "normal" life-time, i.e.: it gets destroyed
456 // when the last strong reference goes away
457 if (curCount <= 0) {
458 // the last strong-reference got released, the object cannot
459 // be revived.
460 decWeak(id);
461 return false;
462 }
463
464 // here, curCount == INITIAL_STRONG_VALUE, which means
465 // there never was a strong-reference, so we can try to
466 // promote this object; we need to do that atomically.
467 while (curCount > 0) {
468 if (android_atomic_cmpxchg(curCount, curCount + 1,
469 &impl->mStrong) == 0) {
470 break;
471 }
472 // the strong count has changed on us, we need to re-assert our
473 // situation (e.g.: another thread has inc/decStrong'ed us)
474 curCount = impl->mStrong;
475 }
476
477 if (curCount <= 0) {
478 // promote() failed, some other thread destroyed us in the
479 // meantime (i.e.: strong count reached zero).
480 decWeak(id);
481 return false;
482 }
483 } else {
484 // this object has an "extended" life-time, i.e.: it can be
485 // revived from a weak-reference only.
486 // Ask the object's implementation if it agrees to be revived
487 if (!impl->mBase->onIncStrongAttempted(FIRST_INC_STRONG, id)) {
488 // it didn't so give-up.
489 decWeak(id);
490 return false;
491 }
492 // grab a strong-reference, which is always safe due to the
493 // extended life-time.
494 curCount = android_atomic_inc(&impl->mStrong);
495 }
496
497 // If the strong reference count has already been incremented by
498 // someone else, the implementor of onIncStrongAttempted() is holding
499 // an unneeded reference. So call onLastStrongRef() here to remove it.
500 // (No, this is not pretty.) Note that we MUST NOT do this if we
501 // are in fact acquiring the first reference.
502 if (curCount > 0 && curCount < INITIAL_STRONG_VALUE) {
503 impl->mBase->onLastStrongRef(id);
504 }
505 }
506
507 impl->addStrongRef(id);
508
509 #if PRINT_REFS
510 ALOGD("attemptIncStrong of %p from %p: cnt=%d\n", this, id, curCount);
511 #endif
512
513 // now we need to fix-up the count if it was INITIAL_STRONG_VALUE
514 // this must be done safely, i.e.: handle the case where several threads
515 // were here in attemptIncStrong().
516 curCount = impl->mStrong;
517 while (curCount >= INITIAL_STRONG_VALUE) {
518 ALOG_ASSERT(curCount > INITIAL_STRONG_VALUE,
519 "attemptIncStrong in %p underflowed to INITIAL_STRONG_VALUE",
520 this);
521 if (android_atomic_cmpxchg(curCount, curCount-INITIAL_STRONG_VALUE,
522 &impl->mStrong) == 0) {
523 break;
524 }
525 // the strong-count changed on us, we need to re-assert the situation,
526 // for e.g.: it's possible the fix-up happened in another thread.
527 curCount = impl->mStrong;
528 }
529
530 return true;
531 }
532
attemptIncWeak(const void * id)533 bool RefBase::weakref_type::attemptIncWeak(const void* id)
534 {
535 weakref_impl* const impl = static_cast<weakref_impl*>(this);
536
537 int32_t curCount = impl->mWeak;
538 ALOG_ASSERT(curCount >= 0, "attemptIncWeak called on %p after underflow",
539 this);
540 while (curCount > 0) {
541 if (android_atomic_cmpxchg(curCount, curCount+1, &impl->mWeak) == 0) {
542 break;
543 }
544 curCount = impl->mWeak;
545 }
546
547 if (curCount > 0) {
548 impl->addWeakRef(id);
549 }
550
551 return curCount > 0;
552 }
553
getWeakCount() const554 int32_t RefBase::weakref_type::getWeakCount() const
555 {
556 return static_cast<const weakref_impl*>(this)->mWeak;
557 }
558
printRefs() const559 void RefBase::weakref_type::printRefs() const
560 {
561 static_cast<const weakref_impl*>(this)->printRefs();
562 }
563
trackMe(bool enable,bool retain)564 void RefBase::weakref_type::trackMe(bool enable, bool retain)
565 {
566 static_cast<weakref_impl*>(this)->trackMe(enable, retain);
567 }
568
createWeak(const void * id) const569 RefBase::weakref_type* RefBase::createWeak(const void* id) const
570 {
571 mRefs->incWeak(id);
572 return mRefs;
573 }
574
getWeakRefs() const575 RefBase::weakref_type* RefBase::getWeakRefs() const
576 {
577 return mRefs;
578 }
579
RefBase()580 RefBase::RefBase()
581 : mRefs(new weakref_impl(this))
582 {
583 }
584
~RefBase()585 RefBase::~RefBase()
586 {
587 if (mRefs->mStrong == INITIAL_STRONG_VALUE) {
588 // we never acquired a strong (and/or weak) reference on this object.
589 delete mRefs;
590 } else {
591 // life-time of this object is extended to WEAK or FOREVER, in
592 // which case weakref_impl doesn't out-live the object and we
593 // can free it now.
594 if ((mRefs->mFlags & OBJECT_LIFETIME_MASK) != OBJECT_LIFETIME_STRONG) {
595 // It's possible that the weak count is not 0 if the object
596 // re-acquired a weak reference in its destructor
597 if (mRefs->mWeak == 0) {
598 delete mRefs;
599 }
600 }
601 }
602 // for debugging purposes, clear this.
603 const_cast<weakref_impl*&>(mRefs) = NULL;
604 }
605
extendObjectLifetime(int32_t mode)606 void RefBase::extendObjectLifetime(int32_t mode)
607 {
608 android_atomic_or(mode, &mRefs->mFlags);
609 }
610
onFirstRef()611 void RefBase::onFirstRef()
612 {
613 }
614
onLastStrongRef(const void *)615 void RefBase::onLastStrongRef(const void* /*id*/)
616 {
617 }
618
onIncStrongAttempted(uint32_t flags,const void * id)619 bool RefBase::onIncStrongAttempted(uint32_t flags, const void* id)
620 {
621 return (flags&FIRST_INC_STRONG) ? true : false;
622 }
623
onLastWeakRef(const void *)624 void RefBase::onLastWeakRef(const void* /*id*/)
625 {
626 }
627
628 // ---------------------------------------------------------------------------
629
renameRefs(size_t n,const ReferenceRenamer & renamer)630 void RefBase::renameRefs(size_t n, const ReferenceRenamer& renamer) {
631 #if DEBUG_REFS
632 for (size_t i=0 ; i<n ; i++) {
633 renamer(i);
634 }
635 #endif
636 }
637
renameRefId(weakref_type * ref,const void * old_id,const void * new_id)638 void RefBase::renameRefId(weakref_type* ref,
639 const void* old_id, const void* new_id) {
640 weakref_impl* const impl = static_cast<weakref_impl*>(ref);
641 impl->renameStrongRefId(old_id, new_id);
642 impl->renameWeakRefId(old_id, new_id);
643 }
644
renameRefId(RefBase * ref,const void * old_id,const void * new_id)645 void RefBase::renameRefId(RefBase* ref,
646 const void* old_id, const void* new_id) {
647 ref->mRefs->renameStrongRefId(old_id, new_id);
648 ref->mRefs->renameWeakRefId(old_id, new_id);
649 }
650
651 // ---------------------------------------------------------------------------
652
printStrongPointer(TextOutput & to,const void * val)653 TextOutput& printStrongPointer(TextOutput& to, const void* val)
654 {
655 to << "sp<>(" << val << ")";
656 return to;
657 }
658
printWeakPointer(TextOutput & to,const void * val)659 TextOutput& printWeakPointer(TextOutput& to, const void* val)
660 {
661 to << "wp<>(" << val << ")";
662 return to;
663 }
664
665
666 }; // namespace android
667