blob: 45f5633f3d085b9b527c32b015a2696570a2f5a1 [file] [log] [blame]
Elliott Hughes11e45072011-08-16 17:40:46 -07001/*
2 * Copyright (C) 2008 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#include "reference_table.h"
18
Andreas Gampe46ee31b2016-12-14 10:11:49 -080019#include "android-base/stringprintf.h"
20
Elliott Hughes76b61672012-12-12 17:47:30 -080021#include "base/mutex.h"
David Sehrc431b9d2018-03-02 12:01:51 -080022#include "base/utils.h"
Andreas Gampe8a2a1fc2017-09-29 17:53:18 -070023#include "gc/allocation_record.h"
24#include "gc/heap.h"
Elliott Hughes6c1a3942011-08-17 15:00:06 -070025#include "indirect_reference_table.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080026#include "mirror/array-inl.h"
Andreas Gampe8cf9cb32017-07-19 09:28:38 -070027#include "mirror/array.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080028#include "mirror/class-inl.h"
Andreas Gampe8cf9cb32017-07-19 09:28:38 -070029#include "mirror/class.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080030#include "mirror/object-inl.h"
Ian Rogersb0fa5dc2014-04-28 16:47:08 -070031#include "mirror/string-inl.h"
Ian Rogersc0542af2014-09-03 16:16:56 -070032#include "runtime-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080033#include "thread.h"
Elliott Hughes11e45072011-08-16 17:40:46 -070034
35namespace art {
36
Andreas Gampe46ee31b2016-12-14 10:11:49 -080037using android::base::StringAppendF;
38using android::base::StringPrintf;
39
Elliott Hughesbb1e8f02011-10-18 14:14:25 -070040ReferenceTable::ReferenceTable(const char* name, size_t initial_size, size_t max_size)
41 : name_(name), max_size_(max_size) {
Elliott Hughes11e45072011-08-16 17:40:46 -070042 CHECK_LE(initial_size, max_size);
43 entries_.reserve(initial_size);
44}
45
Elliott Hughesc1674ed2011-08-25 18:09:09 -070046ReferenceTable::~ReferenceTable() {
47}
48
Mathieu Chartierc4f39252016-10-05 18:32:08 -070049void ReferenceTable::Add(ObjPtr<mirror::Object> obj) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -070050 DCHECK(obj != nullptr);
Mathieu Chartier9d156d52016-10-06 17:44:26 -070051 VerifyObject(obj);
Mathieu Chartier423d2a32013-09-12 17:33:56 -070052 if (entries_.size() >= max_size_) {
Elliott Hughes11e45072011-08-16 17:40:46 -070053 LOG(FATAL) << "ReferenceTable '" << name_ << "' "
54 << "overflowed (" << max_size_ << " entries)";
55 }
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -070056 entries_.push_back(GcRoot<mirror::Object>(obj));
Elliott Hughes11e45072011-08-16 17:40:46 -070057}
58
Mathieu Chartierc4f39252016-10-05 18:32:08 -070059void ReferenceTable::Remove(ObjPtr<mirror::Object> obj) {
Elliott Hughes11e45072011-08-16 17:40:46 -070060 // We iterate backwards on the assumption that references are LIFO.
61 for (int i = entries_.size() - 1; i >= 0; --i) {
Mathieu Chartierc4f39252016-10-05 18:32:08 -070062 ObjPtr<mirror::Object> entry = entries_[i].Read();
Hiroshi Yamauchiea2e1bd2014-06-18 13:47:35 -070063 if (entry == obj) {
Elliott Hughes11e45072011-08-16 17:40:46 -070064 entries_.erase(entries_.begin() + i);
65 return;
66 }
67 }
68}
69
Carl Shapiro5b1982d2011-08-16 18:35:19 -070070// If "obj" is an array, return the number of elements in the array.
71// Otherwise, return zero.
Mathieu Chartierc4f39252016-10-05 18:32:08 -070072static size_t GetElementCount(ObjPtr<mirror::Object> obj) REQUIRES_SHARED(Locks::mutator_lock_) {
Ian Rogersc0542af2014-09-03 16:16:56 -070073 // We assume the special cleared value isn't an array in the if statement below.
74 DCHECK(!Runtime::Current()->GetClearedJniWeakGlobal()->IsArrayInstance());
75 if (obj == nullptr || !obj->IsArrayInstance()) {
Elliott Hughes11e45072011-08-16 17:40:46 -070076 return 0;
77 }
78 return obj->AsArray()->GetLength();
79}
80
Carl Shapiro5b1982d2011-08-16 18:35:19 -070081// Log an object with some additional info.
82//
83// Pass in the number of elements in the array (or 0 if this is not an
84// array object), and the number of additional objects that are identical
85// or equivalent to the original.
Mathieu Chartierc4f39252016-10-05 18:32:08 -070086static void DumpSummaryLine(std::ostream& os, ObjPtr<mirror::Object> obj, size_t element_count,
Ian Rogers00f7d0e2012-07-19 15:28:27 -070087 int identical, int equiv)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070088 REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -070089 if (obj == nullptr) {
90 os << " null reference (count=" << equiv << ")\n";
Elliott Hughes11e45072011-08-16 17:40:46 -070091 return;
92 }
Ian Rogersc0542af2014-09-03 16:16:56 -070093 if (Runtime::Current()->IsClearedJniWeakGlobal(obj)) {
Elliott Hughes73e66f72012-05-09 09:34:45 -070094 os << " cleared jweak (count=" << equiv << ")\n";
Elliott Hughes11e45072011-08-16 17:40:46 -070095 return;
96 }
97
David Sehr709b0702016-10-13 09:12:37 -070098 std::string className(obj->PrettyTypeOf());
Elliott Hughes11e45072011-08-16 17:40:46 -070099 if (obj->IsClass()) {
100 // We're summarizing multiple instances, so using the exemplar
101 // Class' type parameter here would be misleading.
102 className = "java.lang.Class";
103 }
Elliott Hughes73e66f72012-05-09 09:34:45 -0700104 if (element_count != 0) {
105 StringAppendF(&className, " (%zd elements)", element_count);
Elliott Hughes11e45072011-08-16 17:40:46 -0700106 }
107
108 size_t total = identical + equiv + 1;
Elliott Hughes215f3142012-01-19 00:22:47 -0800109 std::string msg(StringPrintf("%5zd of %s", total, className.c_str()));
Elliott Hughes11e45072011-08-16 17:40:46 -0700110 if (identical + equiv != 0) {
111 StringAppendF(&msg, " (%d unique instances)", equiv + 1);
112 }
Elliott Hughes73e66f72012-05-09 09:34:45 -0700113 os << " " << msg << "\n";
Elliott Hughes11e45072011-08-16 17:40:46 -0700114}
115
116size_t ReferenceTable::Size() const {
117 return entries_.size();
118}
119
Hiroshi Yamauchiea2e1bd2014-06-18 13:47:35 -0700120void ReferenceTable::Dump(std::ostream& os) {
Elliott Hughes73e66f72012-05-09 09:34:45 -0700121 os << name_ << " reference table dump:\n";
122 Dump(os, entries_);
Elliott Hughes6c1a3942011-08-17 15:00:06 -0700123}
Elliott Hughes11e45072011-08-16 17:40:46 -0700124
Hiroshi Yamauchiea2e1bd2014-06-18 13:47:35 -0700125void ReferenceTable::Dump(std::ostream& os, Table& entries) {
Mathieu Chartier4c4d6092015-01-22 17:02:27 -0800126 // Compare GC roots, first by class, then size, then address.
127 struct GcRootComparator {
128 bool operator()(GcRoot<mirror::Object> root1, GcRoot<mirror::Object> root2) const
129 // TODO: enable analysis when analysis can work with the STL.
130 NO_THREAD_SAFETY_ANALYSIS {
131 Locks::mutator_lock_->AssertSharedHeld(Thread::Current());
132 // These GC roots are already forwarded in ReferenceTable::Dump. We sort by class since there
133 // are no suspend points which can happen during the sorting process. This works since
134 // we are guaranteed that the addresses of obj1, obj2, obj1->GetClass, obj2->GetClass wont
135 // change during the sorting process. The classes are forwarded by ref->GetClass().
Mathieu Chartierc4f39252016-10-05 18:32:08 -0700136 ObjPtr<mirror::Object> obj1 = root1.Read<kWithoutReadBarrier>();
137 ObjPtr<mirror::Object> obj2 = root2.Read<kWithoutReadBarrier>();
Mathieu Chartier4c4d6092015-01-22 17:02:27 -0800138 DCHECK(obj1 != nullptr);
139 DCHECK(obj2 != nullptr);
140 Runtime* runtime = Runtime::Current();
141 DCHECK(!runtime->IsClearedJniWeakGlobal(obj1));
142 DCHECK(!runtime->IsClearedJniWeakGlobal(obj2));
143 // Sort by class...
144 if (obj1->GetClass() != obj2->GetClass()) {
145 return obj1->GetClass() < obj2->GetClass();
146 }
147 // ...then by size...
148 const size_t size1 = obj1->SizeOf();
149 const size_t size2 = obj2->SizeOf();
150 if (size1 != size2) {
151 return size1 < size2;
152 }
153 // ...and finally by address.
Mathieu Chartierc4f39252016-10-05 18:32:08 -0700154 return obj1.Ptr() < obj2.Ptr();
Mathieu Chartier4c4d6092015-01-22 17:02:27 -0800155 }
156 };
157
Elliott Hughes6c1a3942011-08-17 15:00:06 -0700158 if (entries.empty()) {
Elliott Hughes73e66f72012-05-09 09:34:45 -0700159 os << " (empty)\n";
Elliott Hughes11e45072011-08-16 17:40:46 -0700160 return;
161 }
162
163 // Dump the most recent N entries.
164 const size_t kLast = 10;
Elliott Hughes6c1a3942011-08-17 15:00:06 -0700165 size_t count = entries.size();
Elliott Hughes11e45072011-08-16 17:40:46 -0700166 int first = count - kLast;
167 if (first < 0) {
168 first = 0;
169 }
Elliott Hughes73e66f72012-05-09 09:34:45 -0700170 os << " Last " << (count - first) << " entries (of " << count << "):\n";
Mathieu Chartier38ebea42014-12-08 11:50:36 -0800171 Runtime* runtime = Runtime::Current();
Elliott Hughes11e45072011-08-16 17:40:46 -0700172 for (int idx = count - 1; idx >= first; --idx) {
Mathieu Chartierc4f39252016-10-05 18:32:08 -0700173 ObjPtr<mirror::Object> ref = entries[idx].Read();
Mathieu Chartier38ebea42014-12-08 11:50:36 -0800174 if (ref == nullptr) {
Elliott Hughes11e45072011-08-16 17:40:46 -0700175 continue;
176 }
Mathieu Chartier38ebea42014-12-08 11:50:36 -0800177 if (runtime->IsClearedJniWeakGlobal(ref)) {
Elliott Hughes73e66f72012-05-09 09:34:45 -0700178 os << StringPrintf(" %5d: cleared jweak\n", idx);
Elliott Hughes11e45072011-08-16 17:40:46 -0700179 continue;
180 }
Mathieu Chartier38ebea42014-12-08 11:50:36 -0800181 if (ref->GetClass() == nullptr) {
Elliott Hughes11e45072011-08-16 17:40:46 -0700182 // should only be possible right after a plain dvmMalloc().
183 size_t size = ref->SizeOf();
Mathieu Chartierc4f39252016-10-05 18:32:08 -0700184 os << StringPrintf(" %5d: %p (raw) (%zd bytes)\n", idx, ref.Ptr(), size);
Elliott Hughes11e45072011-08-16 17:40:46 -0700185 continue;
186 }
187
David Sehr709b0702016-10-13 09:12:37 -0700188 std::string className(ref->PrettyTypeOf());
Elliott Hughes11e45072011-08-16 17:40:46 -0700189
190 std::string extras;
Elliott Hughes73e66f72012-05-09 09:34:45 -0700191 size_t element_count = GetElementCount(ref);
192 if (element_count != 0) {
193 StringAppendF(&extras, " (%zd elements)", element_count);
194 } else if (ref->GetClass()->IsStringClass()) {
Mathieu Chartierc4f39252016-10-05 18:32:08 -0700195 ObjPtr<mirror::String> s = ref->AsString();
Elliott Hughes73e66f72012-05-09 09:34:45 -0700196 std::string utf8(s->ToModifiedUtf8());
197 if (s->GetLength() <= 16) {
198 StringAppendF(&extras, " \"%s\"", utf8.c_str());
Elliott Hughes11e45072011-08-16 17:40:46 -0700199 } else {
Elliott Hughes73e66f72012-05-09 09:34:45 -0700200 StringAppendF(&extras, " \"%.16s... (%d chars)", utf8.c_str(), s->GetLength());
Elliott Hughes11e45072011-08-16 17:40:46 -0700201 }
Andreas Gampea3bbf8b2016-09-27 18:45:02 -0700202 } else if (ref->IsReferenceInstance()) {
Mathieu Chartierc4f39252016-10-05 18:32:08 -0700203 ObjPtr<mirror::Object> referent = ref->AsReference()->GetReferent();
Andreas Gampea3bbf8b2016-09-27 18:45:02 -0700204 if (referent == nullptr) {
205 extras = " (referent is null)";
206 } else {
David Sehr709b0702016-10-13 09:12:37 -0700207 extras = StringPrintf(" (referent is a %s)", referent->PrettyTypeOf().c_str());
Andreas Gampea3bbf8b2016-09-27 18:45:02 -0700208 }
Elliott Hughes11e45072011-08-16 17:40:46 -0700209 }
Elliott Hughes73e66f72012-05-09 09:34:45 -0700210 os << StringPrintf(" %5d: ", idx) << ref << " " << className << extras << "\n";
Andreas Gampe8a2a1fc2017-09-29 17:53:18 -0700211 if (runtime->GetHeap()->IsAllocTrackingEnabled()) {
212 MutexLock mu(Thread::Current(), *Locks::alloc_tracker_lock_);
213
214 gc::AllocRecordObjectMap* records = runtime->GetHeap()->GetAllocationRecords();
215 DCHECK(records != nullptr);
216 // It's annoying that this is a list. But this code should be very uncommon to be executed.
217
218 auto print_stack = [&](ObjPtr<mirror::Object> to_print, const std::string& msg)
219 REQUIRES_SHARED(Locks::mutator_lock_)
220 REQUIRES(Locks::alloc_tracker_lock_) {
221 for (auto it = records->Begin(), end = records->End(); it != end; ++it) {
222 GcRoot<mirror::Object>& stack_for_object = it->first;
223 gc::AllocRecord& record = it->second;
224 if (stack_for_object.Read() == to_print.Ptr()) {
225 os << " " << msg << "\n";
226 const gc::AllocRecordStackTrace* trace = record.GetStackTrace();
227 size_t depth = trace->GetDepth();
228 if (depth == 0) {
229 os << " (No managed frames)\n";
230 } else {
231 for (size_t i = 0; i < depth; ++i) {
232 const gc::AllocRecordStackTraceElement& frame = trace->GetStackElement(i);
233 os << " ";
234 if (frame.GetMethod() == nullptr) {
235 os << "(missing method data)\n";
236 continue;
237 }
238 os << frame.GetMethod()->PrettyMethod(true)
239 << ":"
240 << frame.ComputeLineNumber()
241 << "\n";
242 }
243 }
244 break;
245 }
246 }
247 };
248 // Print the stack trace of the ref.
249 print_stack(ref, "Allocated at:");
250
251 // If it's a reference, see if we have data about the referent.
252 if (ref->IsReferenceInstance()) {
253 ObjPtr<mirror::Object> referent = ref->AsReference()->GetReferent();
254 if (referent != nullptr) {
255 print_stack(referent, "Referent allocated at:");
256 }
257 }
258 }
Elliott Hughes11e45072011-08-16 17:40:46 -0700259 }
260
Mathieu Chartier38ebea42014-12-08 11:50:36 -0800261 // Make a copy of the table and sort it, only adding non null and not cleared elements.
Hiroshi Yamauchiea2e1bd2014-06-18 13:47:35 -0700262 Table sorted_entries;
Mathieu Chartier38ebea42014-12-08 11:50:36 -0800263 for (GcRoot<mirror::Object>& root : entries) {
Mathieu Chartier4099b782014-12-08 12:59:27 -0800264 if (!root.IsNull() && !runtime->IsClearedJniWeakGlobal(root.Read())) {
Mathieu Chartier38ebea42014-12-08 11:50:36 -0800265 sorted_entries.push_back(root);
266 }
Elliott Hughes11e45072011-08-16 17:40:46 -0700267 }
268 if (sorted_entries.empty()) {
269 return;
270 }
Mathieu Chartier4c4d6092015-01-22 17:02:27 -0800271 std::sort(sorted_entries.begin(), sorted_entries.end(), GcRootComparator());
Elliott Hughes11e45072011-08-16 17:40:46 -0700272
Andreas Gampe6e970e72016-11-14 17:00:28 -0800273 class SummaryElement {
274 public:
275 GcRoot<mirror::Object> root;
276 size_t equiv;
277 size_t identical;
278
279 SummaryElement() : equiv(0), identical(0) {}
Andreas Gampe44b31742018-10-01 19:30:57 -0700280 SummaryElement(SummaryElement&& ref) noexcept {
Andreas Gampe6e970e72016-11-14 17:00:28 -0800281 root = ref.root;
282 equiv = ref.equiv;
283 identical = ref.identical;
284 }
285 SummaryElement(const SummaryElement&) = default;
286 SummaryElement& operator=(SummaryElement&&) = default;
287
288 void Reset(GcRoot<mirror::Object>& _root) {
289 root = _root;
290 equiv = 0;
291 identical = 0;
292 }
293 };
294 std::vector<SummaryElement> sorted_summaries;
295 {
296 SummaryElement prev;
297
298 for (GcRoot<mirror::Object>& root : sorted_entries) {
299 ObjPtr<mirror::Object> current = root.Read<kWithoutReadBarrier>();
300
301 if (UNLIKELY(prev.root.IsNull())) {
302 prev.Reset(root);
303 continue;
304 }
305
306 ObjPtr<mirror::Object> prevObj = prev.root.Read<kWithoutReadBarrier>();
307 if (current == prevObj) {
308 // Same reference, added more than once.
309 ++prev.identical;
310 } else if (current->GetClass() == prevObj->GetClass() &&
311 GetElementCount(current) == GetElementCount(prevObj)) {
312 // Same class / element count, different object.
313 ++prev.equiv;
314 } else {
315 sorted_summaries.push_back(prev);
316 prev.Reset(root);
317 }
318 prev.root = root;
319 }
320 sorted_summaries.push_back(prev);
321
322 // Compare summary elements, first by combined count, then by identical (indicating leaks),
323 // then by class (and size and address).
324 struct SummaryElementComparator {
325 GcRootComparator gc_root_cmp;
326
327 bool operator()(SummaryElement& elem1, SummaryElement& elem2) const
328 NO_THREAD_SAFETY_ANALYSIS {
329 Locks::mutator_lock_->AssertSharedHeld(Thread::Current());
330
331 size_t count1 = elem1.equiv + elem1.identical;
332 size_t count2 = elem2.equiv + elem2.identical;
333 if (count1 != count2) {
334 return count1 > count2;
335 }
336
337 if (elem1.identical != elem2.identical) {
338 return elem1.identical > elem2.identical;
339 }
340
341 // Otherwise, compare the GC roots as before.
342 return gc_root_cmp(elem1.root, elem2.root);
343 }
344 };
345 std::sort(sorted_summaries.begin(), sorted_summaries.end(), SummaryElementComparator());
346 }
347
Elliott Hughes11e45072011-08-16 17:40:46 -0700348 // Dump a summary of the whole table.
Elliott Hughes73e66f72012-05-09 09:34:45 -0700349 os << " Summary:\n";
Andreas Gampe6e970e72016-11-14 17:00:28 -0800350 for (SummaryElement& elem : sorted_summaries) {
351 ObjPtr<mirror::Object> elemObj = elem.root.Read<kWithoutReadBarrier>();
352 DumpSummaryLine(os, elemObj, GetElementCount(elemObj), elem.identical, elem.equiv);
Elliott Hughes11e45072011-08-16 17:40:46 -0700353 }
Elliott Hughes11e45072011-08-16 17:40:46 -0700354}
355
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -0700356void ReferenceTable::VisitRoots(RootVisitor* visitor, const RootInfo& root_info) {
Mathieu Chartier4809d0a2015-04-07 10:39:04 -0700357 BufferedRootVisitor<kDefaultBufferedRootCount> buffered_visitor(visitor, root_info);
Hiroshi Yamauchi94f7b492014-07-22 18:08:23 -0700358 for (GcRoot<mirror::Object>& root : entries_) {
Mathieu Chartierbb87e0f2015-04-03 11:21:55 -0700359 buffered_visitor.VisitRoot(root);
Elliott Hughes410c0c82011-09-01 17:58:25 -0700360 }
361}
362
Elliott Hughes11e45072011-08-16 17:40:46 -0700363} // namespace art