blob: 6ba187ec730dd54635c39ab841d57dadfe5941be [file] [log] [blame]
Nicolas Geoffray5550ca82015-08-21 18:38:30 +01001/*
2 * Copyright (C) 2015 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 "profiling_info.h"
18
19#include "art_method-inl.h"
20#include "dex_instruction.h"
21#include "jit/jit.h"
22#include "jit/jit_code_cache.h"
Mathieu Chartier0795f232016-09-27 18:43:30 -070023#include "scoped_thread_state_change-inl.h"
Nicolas Geoffray5550ca82015-08-21 18:38:30 +010024#include "thread.h"
25
26namespace art {
27
Mathieu Chartier65975772016-08-05 10:46:36 -070028ProfilingInfo::ProfilingInfo(ArtMethod* method, const std::vector<uint32_t>& entries)
29 : number_of_inline_caches_(entries.size()),
30 method_(method),
31 is_method_being_compiled_(false),
32 is_osr_method_being_compiled_(false),
33 current_inline_uses_(0),
34 saved_entry_point_(nullptr) {
35 memset(&cache_, 0, number_of_inline_caches_ * sizeof(InlineCache));
36 for (size_t i = 0; i < number_of_inline_caches_; ++i) {
37 cache_[i].dex_pc_ = entries[i];
38 }
39 if (method->IsCopied()) {
40 // GetHoldingClassOfCopiedMethod is expensive, but creating a profiling info for a copied method
41 // appears to happen very rarely in practice.
42 holding_class_ = GcRoot<mirror::Class>(
43 Runtime::Current()->GetClassLinker()->GetHoldingClassOfCopiedMethod(method));
44 } else {
45 holding_class_ = GcRoot<mirror::Class>(method->GetDeclaringClass());
46 }
47 DCHECK(!holding_class_.IsNull());
48}
49
Nicolas Geoffray26705e22015-10-28 12:50:11 +000050bool ProfilingInfo::Create(Thread* self, ArtMethod* method, bool retry_allocation) {
Nicolas Geoffray5550ca82015-08-21 18:38:30 +010051 // Walk over the dex instructions of the method and keep track of
52 // instructions we are interested in profiling.
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010053 DCHECK(!method->IsNative());
Mathieu Chartier65975772016-08-05 10:46:36 -070054
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010055 const DexFile::CodeItem& code_item = *method->GetCodeItem();
56 const uint16_t* code_ptr = code_item.insns_;
57 const uint16_t* code_end = code_item.insns_ + code_item.insns_size_in_code_units_;
Nicolas Geoffray5550ca82015-08-21 18:38:30 +010058
59 uint32_t dex_pc = 0;
60 std::vector<uint32_t> entries;
61 while (code_ptr < code_end) {
62 const Instruction& instruction = *Instruction::At(code_ptr);
63 switch (instruction.Opcode()) {
64 case Instruction::INVOKE_VIRTUAL:
65 case Instruction::INVOKE_VIRTUAL_RANGE:
66 case Instruction::INVOKE_VIRTUAL_QUICK:
67 case Instruction::INVOKE_VIRTUAL_RANGE_QUICK:
68 case Instruction::INVOKE_INTERFACE:
69 case Instruction::INVOKE_INTERFACE_RANGE:
70 entries.push_back(dex_pc);
71 break;
72
73 default:
74 break;
75 }
76 dex_pc += instruction.SizeInCodeUnits();
77 code_ptr += instruction.SizeInCodeUnits();
78 }
79
Nicolas Geoffray73be1e82015-09-17 15:22:56 +010080 // We always create a `ProfilingInfo` object, even if there is no instruction we are
81 // interested in. The JIT code cache internally uses it.
Nicolas Geoffray5550ca82015-08-21 18:38:30 +010082
83 // Allocate the `ProfilingInfo` object int the JIT's data space.
84 jit::JitCodeCache* code_cache = Runtime::Current()->GetJit()->GetCodeCache();
Nicolas Geoffray26705e22015-10-28 12:50:11 +000085 return code_cache->AddProfilingInfo(self, method, entries, retry_allocation) != nullptr;
Nicolas Geoffray5550ca82015-08-21 18:38:30 +010086}
87
Nicolas Geoffray73be1e82015-09-17 15:22:56 +010088InlineCache* ProfilingInfo::GetInlineCache(uint32_t dex_pc) {
Nicolas Geoffray5550ca82015-08-21 18:38:30 +010089 InlineCache* cache = nullptr;
90 // TODO: binary search if array is too long.
91 for (size_t i = 0; i < number_of_inline_caches_; ++i) {
Nicolas Geoffray73be1e82015-09-17 15:22:56 +010092 if (cache_[i].dex_pc_ == dex_pc) {
Nicolas Geoffray5550ca82015-08-21 18:38:30 +010093 cache = &cache_[i];
94 break;
95 }
96 }
Nicolas Geoffray73be1e82015-09-17 15:22:56 +010097 return cache;
98}
Nicolas Geoffray5550ca82015-08-21 18:38:30 +010099
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100100void ProfilingInfo::AddInvokeInfo(uint32_t dex_pc, mirror::Class* cls) {
101 InlineCache* cache = GetInlineCache(dex_pc);
Nicolas Geoffray4aaa1d32015-12-17 11:56:01 +0000102 CHECK(cache != nullptr) << PrettyMethod(method_) << "@" << dex_pc;
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100103 for (size_t i = 0; i < InlineCache::kIndividualCacheSize; ++i) {
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100104 mirror::Class* existing = cache->classes_[i].Read();
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100105 if (existing == cls) {
106 // Receiver type is already in the cache, nothing else to do.
107 return;
108 } else if (existing == nullptr) {
109 // Cache entry is empty, try to put `cls` in it.
110 GcRoot<mirror::Class> expected_root(nullptr);
111 GcRoot<mirror::Class> desired_root(cls);
112 if (!reinterpret_cast<Atomic<GcRoot<mirror::Class>>*>(&cache->classes_[i])->
113 CompareExchangeStrongSequentiallyConsistent(expected_root, desired_root)) {
114 // Some other thread put a class in the cache, continue iteration starting at this
115 // entry in case the entry contains `cls`.
116 --i;
117 } else {
118 // We successfully set `cls`, just return.
Mathieu Chartier65975772016-08-05 10:46:36 -0700119 // Since the instrumentation is marked from the declaring class we need to mark the card so
120 // that mod-union tables and card rescanning know about the update.
121 // Note that the declaring class is not necessarily the holding class if the method is
122 // copied. We need the card mark to be in the holding class since that is from where we
123 // will visit the profiling info.
124 if (!holding_class_.IsNull()) {
125 Runtime::Current()->GetHeap()->WriteBarrierEveryFieldOf(holding_class_.Read());
126 }
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100127 return;
128 }
129 }
130 }
Nicolas Geoffrayb6e20ae2016-03-07 14:29:04 +0000131 // Unsuccessfull - cache is full, making it megamorphic. We do not DCHECK it though,
132 // as the garbage collector might clear the entries concurrently.
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100133}
134
135} // namespace art