blob: fbc843e563ddef9b799f24cc5713569c40973fc2 [file] [log] [blame]
Mathieu Chartiere5f13e52015-02-24 09:37:21 -08001/*
2 * Copyright 2014 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 "jit_code_cache.h"
18
19#include <sstream>
20
Andreas Gampec7d878d2018-11-19 18:42:06 +000021#include <android-base/logging.h>
Orion Hodson1d3fd082018-09-28 09:38:35 +010022
Andreas Gampe5629d2d2017-05-15 16:28:13 -070023#include "arch/context.h"
Mathieu Chartiere401d142015-04-22 13:56:20 -070024#include "art_method-inl.h"
Andreas Gampe542451c2016-07-26 09:02:02 -070025#include "base/enums.h"
Andreas Gampef0f3c592018-06-26 13:28:00 -070026#include "base/histogram-inl.h"
Andreas Gampe170331f2017-12-07 18:41:03 -080027#include "base/logging.h" // For VLOG.
Orion Hodson563ada22018-09-04 11:28:31 +010028#include "base/membarrier.h"
Orion Hodson1d3fd082018-09-28 09:38:35 +010029#include "base/memfd.h"
David Sehr79e26072018-04-06 17:58:50 -070030#include "base/mem_map.h"
David Sehrc431b9d2018-03-02 12:01:51 -080031#include "base/quasi_atomic.h"
Calin Juravle66f55232015-12-08 15:09:10 +000032#include "base/stl_util.h"
Mathieu Chartier32ce2ad2016-03-04 14:58:03 -080033#include "base/systrace.h"
Calin Juravle31f2c152015-10-23 17:56:15 +010034#include "base/time_utils.h"
Orion Hodsonf2331362018-07-11 15:14:10 +010035#include "base/utils.h"
Mingyao Yang063fc772016-08-02 11:02:54 -070036#include "cha.h"
David Srbecky5cc349f2015-12-18 15:04:48 +000037#include "debugger_interface.h"
David Sehr9e734c72018-01-04 17:56:19 -080038#include "dex/dex_file_loader.h"
Andreas Gampef0f3c592018-06-26 13:28:00 -070039#include "dex/method_reference.h"
Vladimir Marko5115a4d2019-10-17 14:56:47 +010040#include "entrypoints/entrypoint_utils-inl.h"
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010041#include "entrypoints/runtime_asm_entrypoints.h"
42#include "gc/accounting/bitmap-inl.h"
Andreas Gampe88dbad32018-06-26 19:54:12 -070043#include "gc/allocator/dlmalloc.h"
Nicolas Geoffraycf48fa02016-07-30 22:49:11 +010044#include "gc/scoped_gc_critical_section.h"
Vladimir Markob0b68cf2017-11-14 18:11:50 +000045#include "handle.h"
Andreas Gampef0f3c592018-06-26 13:28:00 -070046#include "instrumentation.h"
Andreas Gampeb2d18fa2017-06-06 20:46:10 -070047#include "intern_table.h"
Nicolas Geoffraybcd94c82016-03-03 13:23:33 +000048#include "jit/jit.h"
Nicolas Geoffray26705e22015-10-28 12:50:11 +000049#include "jit/profiling_info.h"
Nicolas Geoffray2a905b22019-06-06 09:04:07 +010050#include "jit/jit_scoped_code_cache_write.h"
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010051#include "linear_alloc.h"
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080052#include "oat_file-inl.h"
Andreas Gampe513061a2017-06-01 09:17:34 -070053#include "oat_quick_method_header.h"
Andreas Gampe5d08fcc2017-06-05 17:56:46 -070054#include "object_callbacks.h"
David Sehr82d046e2018-04-23 08:14:19 -070055#include "profile/profile_compilation_info.h"
Mathieu Chartier0795f232016-09-27 18:43:30 -070056#include "scoped_thread_state_change-inl.h"
Andreas Gampe513061a2017-06-01 09:17:34 -070057#include "stack.h"
Vladimir Markob0b68cf2017-11-14 18:11:50 +000058#include "thread-current-inl.h"
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010059#include "thread_list.h"
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080060
61namespace art {
62namespace jit {
63
Nicolas Geoffray933330a2016-03-16 14:20:06 +000064static constexpr size_t kCodeSizeLogThreshold = 50 * KB;
65static constexpr size_t kStackMapSizeLogThreshold = 50 * KB;
66
Vladimir Marko2196c652017-11-30 16:16:07 +000067class JitCodeCache::JniStubKey {
68 public:
69 explicit JniStubKey(ArtMethod* method) REQUIRES_SHARED(Locks::mutator_lock_)
70 : shorty_(method->GetShorty()),
71 is_static_(method->IsStatic()),
72 is_fast_native_(method->IsFastNative()),
73 is_critical_native_(method->IsCriticalNative()),
74 is_synchronized_(method->IsSynchronized()) {
75 DCHECK(!(is_fast_native_ && is_critical_native_));
76 }
77
78 bool operator<(const JniStubKey& rhs) const {
79 if (is_static_ != rhs.is_static_) {
80 return rhs.is_static_;
81 }
82 if (is_synchronized_ != rhs.is_synchronized_) {
83 return rhs.is_synchronized_;
84 }
85 if (is_fast_native_ != rhs.is_fast_native_) {
86 return rhs.is_fast_native_;
87 }
88 if (is_critical_native_ != rhs.is_critical_native_) {
89 return rhs.is_critical_native_;
90 }
91 return strcmp(shorty_, rhs.shorty_) < 0;
92 }
93
94 // Update the shorty to point to another method's shorty. Call this function when removing
95 // the method that references the old shorty from JniCodeData and not removing the entire
96 // JniCodeData; the old shorty may become a dangling pointer when that method is unloaded.
97 void UpdateShorty(ArtMethod* method) const REQUIRES_SHARED(Locks::mutator_lock_) {
98 const char* shorty = method->GetShorty();
99 DCHECK_STREQ(shorty_, shorty);
100 shorty_ = shorty;
101 }
102
103 private:
104 // The shorty points to a DexFile data and may need to change
105 // to point to the same shorty in a different DexFile.
106 mutable const char* shorty_;
107
108 const bool is_static_;
109 const bool is_fast_native_;
110 const bool is_critical_native_;
111 const bool is_synchronized_;
112};
113
114class JitCodeCache::JniStubData {
115 public:
116 JniStubData() : code_(nullptr), methods_() {}
117
118 void SetCode(const void* code) {
119 DCHECK(code != nullptr);
120 code_ = code;
121 }
122
Vladimir Markocce414f2019-10-07 08:51:33 +0100123 void UpdateEntryPoints(const void* entrypoint) REQUIRES_SHARED(Locks::mutator_lock_) {
124 DCHECK(IsCompiled());
125 DCHECK(entrypoint == OatQuickMethodHeader::FromCodePointer(GetCode())->GetEntryPoint());
126 instrumentation::Instrumentation* instrum = Runtime::Current()->GetInstrumentation();
127 for (ArtMethod* m : GetMethods()) {
128 // Because `m` might be in the process of being deleted:
129 // - Call the dedicated method instead of the more generic UpdateMethodsCode
Vladimir Marko5115a4d2019-10-17 14:56:47 +0100130 // - Check the class status without a full read barrier; use ReadBarrier::IsMarked().
131 bool can_set_entrypoint = true;
132 if (NeedsClinitCheckBeforeCall(m)) {
133 // To avoid resurrecting an unreachable object, we must not use a full read
134 // barrier but we do not want to miss updating an entrypoint under common
135 // circumstances, i.e. during a GC the class becomes visibly initialized,
136 // the method becomes hot, we compile the thunk and want to update the
137 // entrypoint while the method's declaring class field still points to the
138 // from-space class object with the old status. Therefore we read the
139 // declaring class without a read barrier and check if it's already marked.
140 // If yes, we check the status of the to-space class object as intended.
141 // Otherwise, there is no to-space object and the from-space class object
142 // contains the most recent value of the status field; even if this races
143 // with another thread doing a read barrier and updating the status, that's
144 // no different from a race with a thread that just updates the status.
145 // Such race can happen only for the zygote method pre-compilation, as we
146 // otherwise compile only thunks for methods of visibly initialized classes.
147 ObjPtr<mirror::Class> klass = m->GetDeclaringClass<kWithoutReadBarrier>();
148 ObjPtr<mirror::Class> marked = ReadBarrier::IsMarked(klass.Ptr());
149 ObjPtr<mirror::Class> checked_klass = (marked != nullptr) ? marked : klass;
150 can_set_entrypoint = checked_klass->IsVisiblyInitialized();
151 }
152 if (can_set_entrypoint) {
Vladimir Markocce414f2019-10-07 08:51:33 +0100153 instrum->UpdateNativeMethodsCodeToJitCode(m, entrypoint);
154 }
155 }
156 }
157
Vladimir Marko2196c652017-11-30 16:16:07 +0000158 const void* GetCode() const {
159 return code_;
160 }
161
162 bool IsCompiled() const {
163 return GetCode() != nullptr;
164 }
165
166 void AddMethod(ArtMethod* method) {
167 if (!ContainsElement(methods_, method)) {
168 methods_.push_back(method);
169 }
170 }
171
172 const std::vector<ArtMethod*>& GetMethods() const {
173 return methods_;
174 }
175
David Srbecky41617b12020-03-18 21:19:06 +0000176 void RemoveMethodsIn(const LinearAlloc& alloc) REQUIRES_SHARED(Locks::mutator_lock_) {
177 auto kept_end = std::partition(
Vladimir Marko2196c652017-11-30 16:16:07 +0000178 methods_.begin(),
179 methods_.end(),
David Srbecky41617b12020-03-18 21:19:06 +0000180 [&alloc](ArtMethod* method) { return !alloc.ContainsUnsafe(method); });
181 for (auto it = kept_end; it != methods_.end(); it++) {
182 VLOG(jit) << "JIT removed (JNI) " << (*it)->PrettyMethod() << ": " << code_;
183 }
Vladimir Marko2196c652017-11-30 16:16:07 +0000184 methods_.erase(kept_end, methods_.end());
185 }
186
David Srbecky41617b12020-03-18 21:19:06 +0000187 bool RemoveMethod(ArtMethod* method) REQUIRES_SHARED(Locks::mutator_lock_) {
Vladimir Marko2196c652017-11-30 16:16:07 +0000188 auto it = std::find(methods_.begin(), methods_.end(), method);
189 if (it != methods_.end()) {
David Srbecky41617b12020-03-18 21:19:06 +0000190 VLOG(jit) << "JIT removed (JNI) " << (*it)->PrettyMethod() << ": " << code_;
Vladimir Marko2196c652017-11-30 16:16:07 +0000191 methods_.erase(it);
192 return true;
193 } else {
194 return false;
195 }
196 }
197
198 void MoveObsoleteMethod(ArtMethod* old_method, ArtMethod* new_method) {
199 std::replace(methods_.begin(), methods_.end(), old_method, new_method);
200 }
201
202 private:
203 const void* code_;
204 std::vector<ArtMethod*> methods_;
205};
206
Nicolas Geoffray7a2c7c22018-11-20 10:03:13 +0000207JitCodeCache* JitCodeCache::Create(bool used_only_for_profile_data,
208 bool rwx_memory_allowed,
209 bool is_zygote,
210 std::string* error_msg) {
211 // Register for membarrier expedited sync core if JIT will be generating code.
212 if (!used_only_for_profile_data) {
213 if (art::membarrier(art::MembarrierCommand::kRegisterPrivateExpeditedSyncCore) != 0) {
214 // MEMBARRIER_CMD_PRIVATE_EXPEDITED_SYNC_CORE ensures that CPU instruction pipelines are
215 // flushed and it's used when adding code to the JIT. The memory used by the new code may
216 // have just been released and, in theory, the old code could still be in a pipeline.
217 VLOG(jit) << "Kernel does not support membarrier sync-core";
218 }
219 }
220
Nicolas Geoffray9c54e182019-06-18 10:42:52 +0100221 size_t initial_capacity = Runtime::Current()->GetJITOptions()->GetCodeCacheInitialCapacity();
Nicolas Geoffray7a2c7c22018-11-20 10:03:13 +0000222 // Check whether the provided max capacity in options is below 1GB.
223 size_t max_capacity = Runtime::Current()->GetJITOptions()->GetCodeCacheMaxCapacity();
224 // We need to have 32 bit offsets from method headers in code cache which point to things
225 // in the data cache. If the maps are more than 4G apart, having multiple maps wouldn't work.
226 // Ensure we're below 1 GB to be safe.
227 if (max_capacity > 1 * GB) {
228 std::ostringstream oss;
229 oss << "Maxium code cache capacity is limited to 1 GB, "
230 << PrettySize(max_capacity) << " is too big";
231 *error_msg = oss.str();
232 return nullptr;
233 }
234
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100235 MutexLock mu(Thread::Current(), *Locks::jit_lock_);
Nicolas Geoffray9c54e182019-06-18 10:42:52 +0100236 JitMemoryRegion region;
237 if (!region.Initialize(initial_capacity,
238 max_capacity,
239 rwx_memory_allowed,
240 is_zygote,
241 error_msg)) {
Nicolas Geoffray7a2c7c22018-11-20 10:03:13 +0000242 return nullptr;
243 }
244
Nicolas Geoffray9c54e182019-06-18 10:42:52 +0100245 std::unique_ptr<JitCodeCache> jit_code_cache(new JitCodeCache());
246 if (is_zygote) {
247 // Zygote should never collect code to share the memory with the children.
248 jit_code_cache->garbage_collect_code_ = false;
Nicolas Geoffraya48c3df2019-06-27 13:11:12 +0000249 jit_code_cache->shared_region_ = std::move(region);
250 } else {
251 jit_code_cache->private_region_ = std::move(region);
Nicolas Geoffray9c54e182019-06-18 10:42:52 +0100252 }
Nicolas Geoffray7a2c7c22018-11-20 10:03:13 +0000253
254 VLOG(jit) << "Created jit code cache: initial capacity="
255 << PrettySize(initial_capacity)
256 << ", maximum capacity="
257 << PrettySize(max_capacity);
258
259 return jit_code_cache.release();
260}
261
262JitCodeCache::JitCodeCache()
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100263 : is_weak_access_enabled_(true),
264 inline_cache_cond_("Jit inline cache condition variable", *Locks::jit_lock_),
Nicolas Geoffraye32d24c2019-07-05 10:28:59 +0100265 zygote_map_(&shared_region_),
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100266 lock_cond_("Jit code cache condition variable", *Locks::jit_lock_),
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100267 collection_in_progress_(false),
Nicolas Geoffray35122442016-03-02 12:05:30 +0000268 last_collection_increased_code_cache_(false),
Orion Hodsonad28f5e2018-10-17 09:08:17 +0100269 garbage_collect_code_(true),
Nicolas Geoffrayc473dc72020-07-03 15:04:21 +0100270 number_of_baseline_compilations_(0),
271 number_of_optimized_compilations_(0),
Nicolas Geoffraybcd94c82016-03-03 13:23:33 +0000272 number_of_osr_compilations_(0),
Nicolas Geoffray933330a2016-03-16 14:20:06 +0000273 number_of_collections_(0),
274 histogram_stack_map_memory_use_("Memory used for stack maps", 16),
275 histogram_code_memory_use_("Memory used for compiled code", 16),
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100276 histogram_profiling_info_memory_use_("Memory used for profiling info", 16) {
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800277}
278
Vladimir Markob0b68cf2017-11-14 18:11:50 +0000279JitCodeCache::~JitCodeCache() {}
280
Alex Light280e6c32020-03-03 13:52:07 -0800281bool JitCodeCache::PrivateRegionContainsPc(const void* ptr) const {
282 return private_region_.IsInExecSpace(ptr);
283}
284
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100285bool JitCodeCache::ContainsPc(const void* ptr) const {
Alex Light280e6c32020-03-03 13:52:07 -0800286 return PrivateRegionContainsPc(ptr) || shared_region_.IsInExecSpace(ptr);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800287}
288
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000289bool JitCodeCache::ContainsMethod(ArtMethod* method) {
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100290 MutexLock mu(Thread::Current(), *Locks::jit_lock_);
Vladimir Marko2196c652017-11-30 16:16:07 +0000291 if (UNLIKELY(method->IsNative())) {
292 auto it = jni_stubs_map_.find(JniStubKey(method));
293 if (it != jni_stubs_map_.end() &&
294 it->second.IsCompiled() &&
295 ContainsElement(it->second.GetMethods(), method)) {
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000296 return true;
297 }
Vladimir Marko2196c652017-11-30 16:16:07 +0000298 } else {
299 for (const auto& it : method_code_map_) {
300 if (it.second == method) {
301 return true;
302 }
303 }
Nicolas Geoffraye32d24c2019-07-05 10:28:59 +0100304 if (zygote_map_.ContainsMethod(method)) {
305 return true;
306 }
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000307 }
308 return false;
309}
310
Vladimir Marko2196c652017-11-30 16:16:07 +0000311const void* JitCodeCache::GetJniStubCode(ArtMethod* method) {
312 DCHECK(method->IsNative());
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100313 MutexLock mu(Thread::Current(), *Locks::jit_lock_);
Vladimir Marko2196c652017-11-30 16:16:07 +0000314 auto it = jni_stubs_map_.find(JniStubKey(method));
315 if (it != jni_stubs_map_.end()) {
316 JniStubData& data = it->second;
317 if (data.IsCompiled() && ContainsElement(data.GetMethods(), method)) {
318 return data.GetCode();
319 }
320 }
321 return nullptr;
322}
323
Nicolas Geoffray32384402019-07-17 20:06:44 +0100324const void* JitCodeCache::GetSavedEntryPointOfPreCompiledMethod(ArtMethod* method) {
Nicolas Geoffray4cbb51a2020-02-07 11:25:54 +0000325 if (method->IsPreCompiled()) {
Nicolas Geoffrayde0ccff2019-07-19 10:54:05 +0100326 const void* code_ptr = nullptr;
Nicolas Geoffray32384402019-07-17 20:06:44 +0100327 if (method->GetDeclaringClass()->GetClassLoader() == nullptr) {
Nicolas Geoffrayde0ccff2019-07-19 10:54:05 +0100328 code_ptr = zygote_map_.GetCodeFor(method);
Nicolas Geoffraya3b31ba2019-04-14 20:10:16 +0100329 } else {
Nicolas Geoffray32384402019-07-17 20:06:44 +0100330 MutexLock mu(Thread::Current(), *Locks::jit_lock_);
331 auto it = saved_compiled_methods_map_.find(method);
332 if (it != saved_compiled_methods_map_.end()) {
Nicolas Geoffrayde0ccff2019-07-19 10:54:05 +0100333 code_ptr = it->second;
Nicolas Geoffraya3b31ba2019-04-14 20:10:16 +0100334 }
Nicolas Geoffrayde0ccff2019-07-19 10:54:05 +0100335 }
336 if (code_ptr != nullptr) {
337 OatQuickMethodHeader* method_header = OatQuickMethodHeader::FromCodePointer(code_ptr);
338 return method_header->GetEntryPoint();
Nicolas Geoffray7989ac92019-04-10 12:42:30 +0100339 }
340 }
341 return nullptr;
342}
343
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100344bool JitCodeCache::WaitForPotentialCollectionToComplete(Thread* self) {
345 bool in_collection = false;
346 while (collection_in_progress_) {
347 in_collection = true;
348 lock_cond_.Wait(self);
349 }
350 return in_collection;
351}
352
353static uintptr_t FromCodeToAllocation(const void* code) {
Orion Hodsone764f382019-06-27 12:56:48 +0100354 size_t alignment = GetInstructionSetAlignment(kRuntimeISA);
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100355 return reinterpret_cast<uintptr_t>(code) - RoundUp(sizeof(OatQuickMethodHeader), alignment);
356}
357
David Srbecky30fd8512020-02-20 20:27:58 +0000358static const void* FromAllocationToCode(const uint8_t* alloc) {
359 size_t alignment = GetInstructionSetAlignment(kRuntimeISA);
360 return reinterpret_cast<const void*>(alloc + RoundUp(sizeof(OatQuickMethodHeader), alignment));
361}
362
Nicolas Geoffray132d8362016-11-16 09:19:42 +0000363static uint32_t GetNumberOfRoots(const uint8_t* stack_map) {
364 // The length of the table is stored just before the stack map (and therefore at the end of
365 // the table itself), in order to be able to fetch it from a `stack_map` pointer.
366 return reinterpret_cast<const uint32_t*>(stack_map)[-1];
367}
368
Nicolas Geoffraya48c3df2019-06-27 13:11:12 +0000369static void DCheckRootsAreValid(const std::vector<Handle<mirror::Object>>& roots,
370 bool is_shared_region)
Alex Light3e36a9c2018-06-19 09:45:05 -0700371 REQUIRES(!Locks::intern_table_lock_) REQUIRES_SHARED(Locks::mutator_lock_) {
372 if (!kIsDebugBuild) {
373 return;
374 }
Alex Light3e36a9c2018-06-19 09:45:05 -0700375 // Put all roots in `roots_data`.
Vladimir Markoac3ac682018-09-20 11:01:43 +0100376 for (Handle<mirror::Object> object : roots) {
Alex Light3e36a9c2018-06-19 09:45:05 -0700377 // Ensure the string is strongly interned. b/32995596
378 if (object->IsString()) {
Vladimir Markoac3ac682018-09-20 11:01:43 +0100379 ObjPtr<mirror::String> str = object->AsString();
Alex Light3e36a9c2018-06-19 09:45:05 -0700380 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
381 CHECK(class_linker->GetInternTable()->LookupStrong(Thread::Current(), str) != nullptr);
382 }
Nicolas Geoffraya48c3df2019-06-27 13:11:12 +0000383 // Ensure that we don't put movable objects in the shared region.
384 if (is_shared_region) {
385 CHECK(!Runtime::Current()->GetHeap()->IsMovableObject(object.Get()));
386 }
Alex Light3e36a9c2018-06-19 09:45:05 -0700387 }
388}
389
David Srbecky87fb0322019-08-20 10:34:02 +0100390static const uint8_t* GetRootTable(const void* code_ptr, uint32_t* number_of_roots = nullptr) {
Nicolas Geoffray132d8362016-11-16 09:19:42 +0000391 OatQuickMethodHeader* method_header = OatQuickMethodHeader::FromCodePointer(code_ptr);
392 uint8_t* data = method_header->GetOptimizedCodeInfoPtr();
393 uint32_t roots = GetNumberOfRoots(data);
394 if (number_of_roots != nullptr) {
395 *number_of_roots = roots;
396 }
397 return data - ComputeRootTableSize(roots);
398}
399
400void JitCodeCache::SweepRootTables(IsMarkedVisitor* visitor) {
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100401 MutexLock mu(Thread::Current(), *Locks::jit_lock_);
Nicolas Geoffray132d8362016-11-16 09:19:42 +0000402 for (const auto& entry : method_code_map_) {
403 uint32_t number_of_roots = 0;
David Srbecky87fb0322019-08-20 10:34:02 +0100404 const uint8_t* root_table = GetRootTable(entry.first, &number_of_roots);
405 uint8_t* roots_data = private_region_.IsInDataSpace(root_table)
406 ? private_region_.GetWritableDataAddress(root_table)
407 : shared_region_.GetWritableDataAddress(root_table);
Nicolas Geoffray132d8362016-11-16 09:19:42 +0000408 GcRoot<mirror::Object>* roots = reinterpret_cast<GcRoot<mirror::Object>*>(roots_data);
409 for (uint32_t i = 0; i < number_of_roots; ++i) {
410 // This does not need a read barrier because this is called by GC.
411 mirror::Object* object = roots[i].Read<kWithoutReadBarrier>();
Nicolas Geoffraye3f775b2019-12-04 14:41:52 +0000412 if (object == nullptr || object == Runtime::GetWeakClassSentinel()) {
Nicolas Geoffray22384ae2016-12-12 22:33:36 +0000413 // entry got deleted in a previous sweep.
Vladimir Markod355acf2019-03-21 17:09:40 +0000414 } else if (object->IsString<kDefaultVerifyFlags>()) {
Nicolas Geoffray22384ae2016-12-12 22:33:36 +0000415 mirror::Object* new_object = visitor->IsMarked(object);
416 // We know the string is marked because it's a strongly-interned string that
417 // is always alive. The IsMarked implementation of the CMS collector returns
418 // null for newly allocated objects, but we know those haven't moved. Therefore,
419 // only update the entry if we get a different non-null string.
420 // TODO: Do not use IsMarked for j.l.Class, and adjust once we move this method
421 // out of the weak access/creation pause. b/32167580
422 if (new_object != nullptr && new_object != object) {
423 DCHECK(new_object->IsString());
424 roots[i] = GcRoot<mirror::Object>(new_object);
425 }
426 } else {
Nicolas Geoffraye3f775b2019-12-04 14:41:52 +0000427 Runtime::ProcessWeakClass(
428 reinterpret_cast<GcRoot<mirror::Class>*>(&roots[i]),
429 visitor,
430 Runtime::GetWeakClassSentinel());
Nicolas Geoffray132d8362016-11-16 09:19:42 +0000431 }
432 }
433 }
Nicolas Geoffraye51ca8b2016-11-22 14:49:31 +0000434 // Walk over inline caches to clear entries containing unloaded classes.
435 for (ProfilingInfo* info : profiling_infos_) {
436 for (size_t i = 0; i < info->number_of_inline_caches_; ++i) {
437 InlineCache* cache = &info->cache_[i];
438 for (size_t j = 0; j < InlineCache::kIndividualCacheSize; ++j) {
Nicolas Geoffraye3f775b2019-12-04 14:41:52 +0000439 Runtime::ProcessWeakClass(&cache->classes_[j], visitor, nullptr);
Nicolas Geoffraye51ca8b2016-11-22 14:49:31 +0000440 }
441 }
442 }
Nicolas Geoffray132d8362016-11-16 09:19:42 +0000443}
444
David Srbecky30fd8512020-02-20 20:27:58 +0000445void JitCodeCache::FreeCodeAndData(const void* code_ptr) {
Nicolas Geoffrayae982f92018-12-08 12:31:10 +0000446 if (IsInZygoteExecSpace(code_ptr)) {
447 // No need to free, this is shared memory.
448 return;
449 }
Orion Hodsondbd05fe2017-08-10 11:41:35 +0100450 uintptr_t allocation = FromCodeToAllocation(code_ptr);
David Srbecky30fd8512020-02-20 20:27:58 +0000451 const uint8_t* data = nullptr;
Vladimir Marko2196c652017-11-30 16:16:07 +0000452 if (OatQuickMethodHeader::FromCodePointer(code_ptr)->IsOptimized()) {
David Srbecky30fd8512020-02-20 20:27:58 +0000453 data = GetRootTable(code_ptr);
Vladimir Marko2196c652017-11-30 16:16:07 +0000454 } // else this is a JNI stub without any data.
Orion Hodson1d3fd082018-09-28 09:38:35 +0100455
David Srbecky30fd8512020-02-20 20:27:58 +0000456 FreeLocked(&private_region_, reinterpret_cast<uint8_t*>(allocation), data);
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100457}
458
Mingyao Yang063fc772016-08-02 11:02:54 -0700459void JitCodeCache::FreeAllMethodHeaders(
460 const std::unordered_set<OatQuickMethodHeader*>& method_headers) {
Mingyao Yang063fc772016-08-02 11:02:54 -0700461 // We need to remove entries in method_headers from CHA dependencies
462 // first since once we do FreeCode() below, the memory can be reused
463 // so it's possible for the same method_header to start representing
464 // different compile code.
Alex Light33b7b5d2018-08-07 19:13:51 +0000465 {
466 MutexLock mu2(Thread::Current(), *Locks::cha_lock_);
467 Runtime::Current()->GetClassLinker()->GetClassHierarchyAnalysis()
468 ->RemoveDependentsWithMethodHeaders(method_headers);
469 }
470
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100471 ScopedCodeCacheWrite scc(private_region_);
Mingyao Yang063fc772016-08-02 11:02:54 -0700472 for (const OatQuickMethodHeader* method_header : method_headers) {
David Srbecky30fd8512020-02-20 20:27:58 +0000473 FreeCodeAndData(method_header->GetCode());
Mingyao Yang063fc772016-08-02 11:02:54 -0700474 }
David Srbecky30fd8512020-02-20 20:27:58 +0000475
476 // We have potentially removed a lot of debug info. Do maintenance pass to save space.
477 RepackNativeDebugInfoForJit();
David Srbecky41617b12020-03-18 21:19:06 +0000478
479 // Check that the set of compiled methods exactly matches native debug information.
480 if (kIsDebugBuild) {
481 std::map<const void*, ArtMethod*> compiled_methods;
482 VisitAllMethods([&](const void* addr, ArtMethod* method) {
483 CHECK(addr != nullptr && method != nullptr);
484 compiled_methods.emplace(addr, method);
485 });
486 std::set<const void*> debug_info;
487 ForEachNativeDebugSymbol([&](const void* addr, size_t, const char* name) {
488 addr = AlignDown(addr, GetInstructionSetInstructionAlignment(kRuntimeISA)); // Thumb-bit.
489 CHECK(debug_info.emplace(addr).second) << "Duplicate debug info: " << addr << " " << name;
490 CHECK_EQ(compiled_methods.count(addr), 1u) << "Extra debug info: " << addr << " " << name;
491 });
492 if (!debug_info.empty()) { // If debug-info generation is enabled.
493 for (auto it : compiled_methods) {
494 CHECK_EQ(debug_info.count(it.first), 1u) << "No debug info: " << it.second->PrettyMethod();
495 }
496 }
497 }
Mingyao Yang063fc772016-08-02 11:02:54 -0700498}
499
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100500void JitCodeCache::RemoveMethodsIn(Thread* self, const LinearAlloc& alloc) {
Mathieu Chartier32ce2ad2016-03-04 14:58:03 -0800501 ScopedTrace trace(__PRETTY_FUNCTION__);
Mingyao Yang063fc772016-08-02 11:02:54 -0700502 // We use a set to first collect all method_headers whose code need to be
503 // removed. We need to free the underlying code after we remove CHA dependencies
504 // for entries in this set. And it's more efficient to iterate through
505 // the CHA dependency map just once with an unordered_set.
506 std::unordered_set<OatQuickMethodHeader*> method_headers;
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000507 {
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100508 MutexLock mu(self, *Locks::jit_lock_);
Mingyao Yang063fc772016-08-02 11:02:54 -0700509 // We do not check if a code cache GC is in progress, as this method comes
510 // with the classlinker_classes_lock_ held, and suspending ourselves could
511 // lead to a deadlock.
512 {
Vladimir Marko2196c652017-11-30 16:16:07 +0000513 for (auto it = jni_stubs_map_.begin(); it != jni_stubs_map_.end();) {
514 it->second.RemoveMethodsIn(alloc);
515 if (it->second.GetMethods().empty()) {
516 method_headers.insert(OatQuickMethodHeader::FromCodePointer(it->second.GetCode()));
517 it = jni_stubs_map_.erase(it);
518 } else {
519 it->first.UpdateShorty(it->second.GetMethods().front());
520 ++it;
521 }
522 }
Mingyao Yang063fc772016-08-02 11:02:54 -0700523 for (auto it = method_code_map_.begin(); it != method_code_map_.end();) {
524 if (alloc.ContainsUnsafe(it->second)) {
525 method_headers.insert(OatQuickMethodHeader::FromCodePointer(it->first));
David Srbecky41617b12020-03-18 21:19:06 +0000526 VLOG(jit) << "JIT removed " << it->second->PrettyMethod() << ": " << it->first;
Mingyao Yang063fc772016-08-02 11:02:54 -0700527 it = method_code_map_.erase(it);
528 } else {
529 ++it;
530 }
531 }
532 }
533 for (auto it = osr_code_map_.begin(); it != osr_code_map_.end();) {
534 if (alloc.ContainsUnsafe(it->first)) {
535 // Note that the code has already been pushed to method_headers in the loop
536 // above and is going to be removed in FreeCode() below.
537 it = osr_code_map_.erase(it);
538 } else {
539 ++it;
540 }
541 }
542 for (auto it = profiling_infos_.begin(); it != profiling_infos_.end();) {
543 ProfilingInfo* info = *it;
544 if (alloc.ContainsUnsafe(info->GetMethod())) {
545 info->GetMethod()->SetProfilingInfo(nullptr);
David Srbecky87fb0322019-08-20 10:34:02 +0100546 private_region_.FreeWritableData(reinterpret_cast<uint8_t*>(info));
Mingyao Yang063fc772016-08-02 11:02:54 -0700547 it = profiling_infos_.erase(it);
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000548 } else {
549 ++it;
550 }
551 }
David Srbecky521644b2020-03-21 13:17:52 +0000552 FreeAllMethodHeaders(method_headers);
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000553 }
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100554}
555
Nicolas Geoffraye51ca8b2016-11-22 14:49:31 +0000556bool JitCodeCache::IsWeakAccessEnabled(Thread* self) const {
557 return kUseReadBarrier
558 ? self->GetWeakRefAccessEnabled()
Orion Hodson88591fe2018-03-06 13:35:43 +0000559 : is_weak_access_enabled_.load(std::memory_order_seq_cst);
Nicolas Geoffraye51ca8b2016-11-22 14:49:31 +0000560}
561
562void JitCodeCache::WaitUntilInlineCacheAccessible(Thread* self) {
563 if (IsWeakAccessEnabled(self)) {
564 return;
565 }
566 ScopedThreadSuspension sts(self, kWaitingWeakGcRootRead);
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100567 MutexLock mu(self, *Locks::jit_lock_);
Nicolas Geoffraye51ca8b2016-11-22 14:49:31 +0000568 while (!IsWeakAccessEnabled(self)) {
569 inline_cache_cond_.Wait(self);
570 }
571}
572
573void JitCodeCache::BroadcastForInlineCacheAccess() {
574 Thread* self = Thread::Current();
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100575 MutexLock mu(self, *Locks::jit_lock_);
Nicolas Geoffraye51ca8b2016-11-22 14:49:31 +0000576 inline_cache_cond_.Broadcast(self);
577}
578
579void JitCodeCache::AllowInlineCacheAccess() {
580 DCHECK(!kUseReadBarrier);
Orion Hodson88591fe2018-03-06 13:35:43 +0000581 is_weak_access_enabled_.store(true, std::memory_order_seq_cst);
Nicolas Geoffraye51ca8b2016-11-22 14:49:31 +0000582 BroadcastForInlineCacheAccess();
583}
584
585void JitCodeCache::DisallowInlineCacheAccess() {
586 DCHECK(!kUseReadBarrier);
Orion Hodson88591fe2018-03-06 13:35:43 +0000587 is_weak_access_enabled_.store(false, std::memory_order_seq_cst);
Nicolas Geoffraye51ca8b2016-11-22 14:49:31 +0000588}
589
590void JitCodeCache::CopyInlineCacheInto(const InlineCache& ic,
591 Handle<mirror::ObjectArray<mirror::Class>> array) {
592 WaitUntilInlineCacheAccessible(Thread::Current());
593 // Note that we don't need to lock `lock_` here, the compiler calling
594 // this method has already ensured the inline cache will not be deleted.
595 for (size_t in_cache = 0, in_array = 0;
596 in_cache < InlineCache::kIndividualCacheSize;
597 ++in_cache) {
598 mirror::Class* object = ic.classes_[in_cache].Read();
599 if (object != nullptr) {
600 array->Set(in_array++, object);
Nicolas Geoffrayb6e20ae2016-03-07 14:29:04 +0000601 }
602 }
603}
604
David Srbeckye36e7f22018-11-14 14:21:23 +0000605static void ClearMethodCounter(ArtMethod* method, bool was_warm)
606 REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartierf044c222017-05-31 15:27:54 -0700607 if (was_warm) {
Vladimir Markoc945e0d2018-07-18 17:26:45 +0100608 method->SetPreviouslyWarm();
Mathieu Chartierf044c222017-05-31 15:27:54 -0700609 }
610 // We reset the counter to 1 so that the profile knows that the method was executed at least once.
611 // This is required for layout purposes.
Nicolas Geoffray88f50b12017-06-09 16:08:47 +0100612 // We also need to make sure we'll pass the warmup threshold again, so we set to 0 if
613 // the warmup threshold is 1.
614 uint16_t jit_warmup_threshold = Runtime::Current()->GetJITOptions()->GetWarmupThreshold();
615 method->SetCounter(std::min(jit_warmup_threshold - 1, 1));
Mathieu Chartierf044c222017-05-31 15:27:54 -0700616}
617
Alex Light33b7b5d2018-08-07 19:13:51 +0000618void JitCodeCache::WaitForPotentialCollectionToCompleteRunnable(Thread* self) {
619 while (collection_in_progress_) {
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100620 Locks::jit_lock_->Unlock(self);
Alex Light33b7b5d2018-08-07 19:13:51 +0000621 {
622 ScopedThreadSuspension sts(self, kSuspended);
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100623 MutexLock mu(self, *Locks::jit_lock_);
Alex Light33b7b5d2018-08-07 19:13:51 +0000624 WaitForPotentialCollectionToComplete(self);
625 }
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100626 Locks::jit_lock_->Lock(self);
Orion Hodson1d3fd082018-09-28 09:38:35 +0100627 }
628}
629
David Srbeckyadb66f92019-10-10 12:59:43 +0000630bool JitCodeCache::Commit(Thread* self,
631 JitMemoryRegion* region,
632 ArtMethod* method,
633 ArrayRef<const uint8_t> reserved_code,
634 ArrayRef<const uint8_t> code,
635 ArrayRef<const uint8_t> reserved_data,
636 const std::vector<Handle<mirror::Object>>& roots,
637 ArrayRef<const uint8_t> stack_map,
David Srbecky41617b12020-03-18 21:19:06 +0000638 const std::vector<uint8_t>& debug_info,
639 bool is_full_debug_info,
Nicolas Geoffray0d60a2b2020-06-17 14:31:56 +0100640 CompilationKind compilation_kind,
David Srbeckyadb66f92019-10-10 12:59:43 +0000641 bool has_should_deoptimize_flag,
642 const ArenaSet<ArtMethod*>& cha_single_implementation_list) {
Nicolas Geoffray0d60a2b2020-06-17 14:31:56 +0100643 DCHECK(!method->IsNative() || (compilation_kind != CompilationKind::kOsr));
Alex Light33b7b5d2018-08-07 19:13:51 +0000644
645 if (!method->IsNative()) {
646 // We need to do this before grabbing the lock_ because it needs to be able to see the string
647 // InternTable. Native methods do not have roots.
Nicolas Geoffraya48c3df2019-06-27 13:11:12 +0000648 DCheckRootsAreValid(roots, IsSharedRegion(*region));
Alex Light33b7b5d2018-08-07 19:13:51 +0000649 }
650
David Srbeckyadb66f92019-10-10 12:59:43 +0000651 const uint8_t* roots_data = reserved_data.data();
Nicolas Geoffray00a37ff2019-06-20 14:27:22 +0100652 size_t root_table_size = ComputeRootTableSize(roots.size());
David Srbecky87fb0322019-08-20 10:34:02 +0100653 const uint8_t* stack_map_data = roots_data + root_table_size;
Nicolas Geoffray00a37ff2019-06-20 14:27:22 +0100654
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100655 MutexLock mu(self, *Locks::jit_lock_);
Alex Light33b7b5d2018-08-07 19:13:51 +0000656 // We need to make sure that there will be no jit-gcs going on and wait for any ongoing one to
657 // finish.
658 WaitForPotentialCollectionToCompleteRunnable(self);
David Srbeckyadb66f92019-10-10 12:59:43 +0000659 const uint8_t* code_ptr = region->CommitCode(
660 reserved_code, code, stack_map_data, has_should_deoptimize_flag);
Nicolas Geoffray349845a2019-06-19 13:13:10 +0100661 if (code_ptr == nullptr) {
David Srbeckyadb66f92019-10-10 12:59:43 +0000662 return false;
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100663 }
Nicolas Geoffray349845a2019-06-19 13:13:10 +0100664 OatQuickMethodHeader* method_header = OatQuickMethodHeader::FromCodePointer(code_ptr);
665
Nicolas Geoffray00a37ff2019-06-20 14:27:22 +0100666 // Commit roots and stack maps before updating the entry point.
David Srbeckyadb66f92019-10-10 12:59:43 +0000667 if (!region->CommitData(reserved_data, roots, stack_map)) {
668 return false;
Orion Hodsonaeb02232019-06-25 14:18:18 +0100669 }
Nicolas Geoffray00a37ff2019-06-20 14:27:22 +0100670
Nicolas Geoffrayc473dc72020-07-03 15:04:21 +0100671 switch (compilation_kind) {
672 case CompilationKind::kOsr:
673 number_of_osr_compilations_++;
674 break;
675 case CompilationKind::kBaseline:
676 number_of_baseline_compilations_++;
677 break;
678 case CompilationKind::kOptimized:
679 number_of_optimized_compilations_++;
680 break;
681 }
Orion Hodson1d3fd082018-09-28 09:38:35 +0100682
David Srbecky41617b12020-03-18 21:19:06 +0000683 // We need to update the debug info before the entry point gets set.
684 // At the same time we want to do under JIT lock so that debug info and JIT maps are in sync.
685 if (!debug_info.empty()) {
686 // NB: Don't allow packing of full info since it would remove non-backtrace data.
687 AddNativeDebugInfoForJit(code_ptr, debug_info, /*allow_packing=*/ !is_full_debug_info);
688 }
689
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000690 // We need to update the entry point in the runnable state for the instrumentation.
691 {
Alex Light33b7b5d2018-08-07 19:13:51 +0000692 // The following needs to be guarded by cha_lock_ also. Otherwise it's possible that the
693 // compiled code is considered invalidated by some class linking, but below we still make the
694 // compiled code valid for the method. Need cha_lock_ for checking all single-implementation
695 // flags and register dependencies.
Mingyao Yang063fc772016-08-02 11:02:54 -0700696 MutexLock cha_mu(self, *Locks::cha_lock_);
697 bool single_impl_still_valid = true;
698 for (ArtMethod* single_impl : cha_single_implementation_list) {
699 if (!single_impl->HasSingleImplementation()) {
Jeff Hao00286db2017-05-30 16:53:07 -0700700 // Simply discard the compiled code. Clear the counter so that it may be recompiled later.
701 // Hopefully the class hierarchy will be more stable when compilation is retried.
Mingyao Yang063fc772016-08-02 11:02:54 -0700702 single_impl_still_valid = false;
Andreas Gampe98ea9d92018-10-19 14:06:15 -0700703 ClearMethodCounter(method, /*was_warm=*/ false);
Mingyao Yang063fc772016-08-02 11:02:54 -0700704 break;
705 }
706 }
707
708 // Discard the code if any single-implementation assumptions are now invalid.
Orion Hodson31492522019-06-18 12:13:49 +0100709 if (UNLIKELY(!single_impl_still_valid)) {
Mingyao Yang063fc772016-08-02 11:02:54 -0700710 VLOG(jit) << "JIT discarded jitted code due to invalid single-implementation assumptions.";
David Srbeckyadb66f92019-10-10 12:59:43 +0000711 return false;
Mingyao Yang063fc772016-08-02 11:02:54 -0700712 }
Nicolas Geoffray433b79a2017-01-30 20:54:45 +0000713 DCHECK(cha_single_implementation_list.empty() || !Runtime::Current()->IsJavaDebuggable())
Alex Lightdba61482016-12-21 08:20:29 -0800714 << "Should not be using cha on debuggable apps/runs!";
715
Nicolas Geoffray7989ac92019-04-10 12:42:30 +0100716 ClassLinker* class_linker = Runtime::Current()->GetClassLinker();
Mingyao Yang063fc772016-08-02 11:02:54 -0700717 for (ArtMethod* single_impl : cha_single_implementation_list) {
Nicolas Geoffray7989ac92019-04-10 12:42:30 +0100718 class_linker->GetClassHierarchyAnalysis()->AddDependency(single_impl, method, method_header);
Mingyao Yang063fc772016-08-02 11:02:54 -0700719 }
720
Vladimir Marko2196c652017-11-30 16:16:07 +0000721 if (UNLIKELY(method->IsNative())) {
Vladimir Marko2196c652017-11-30 16:16:07 +0000722 auto it = jni_stubs_map_.find(JniStubKey(method));
723 DCHECK(it != jni_stubs_map_.end())
724 << "Entry inserted in NotifyCompilationOf() should be alive.";
725 JniStubData* data = &it->second;
726 DCHECK(ContainsElement(data->GetMethods(), method))
727 << "Entry inserted in NotifyCompilationOf() should contain this method.";
728 data->SetCode(code_ptr);
Vladimir Markocce414f2019-10-07 08:51:33 +0100729 data->UpdateEntryPoints(method_header->GetEntryPoint());
Nicolas Geoffray480d5102016-04-18 12:09:30 +0100730 } else {
Nicolas Geoffray32384402019-07-17 20:06:44 +0100731 if (method->IsPreCompiled() && IsSharedRegion(*region)) {
Nicolas Geoffraye32d24c2019-07-05 10:28:59 +0100732 zygote_map_.Put(code_ptr, method);
733 } else {
734 method_code_map_.Put(code_ptr, method);
735 }
Nicolas Geoffray0d60a2b2020-06-17 14:31:56 +0100736 if (compilation_kind == CompilationKind::kOsr) {
Vladimir Marko2196c652017-11-30 16:16:07 +0000737 osr_code_map_.Put(method, code_ptr);
Vladimir Marko5115a4d2019-10-17 14:56:47 +0100738 } else if (NeedsClinitCheckBeforeCall(method) &&
739 !method->GetDeclaringClass()->IsVisiblyInitialized()) {
Nicolas Geoffray7989ac92019-04-10 12:42:30 +0100740 // This situation currently only occurs in the jit-zygote mode.
Nicolas Geoffray741a0702019-06-10 11:18:11 +0100741 DCHECK(!garbage_collect_code_);
Nicolas Geoffray32384402019-07-17 20:06:44 +0100742 DCHECK(method->IsPreCompiled());
743 // The shared region can easily be queried. For the private region, we
744 // use a side map.
745 if (!IsSharedRegion(*region)) {
746 saved_compiled_methods_map_.Put(method, code_ptr);
Nicolas Geoffrayd2f13ba2019-06-04 16:48:58 +0100747 }
Vladimir Marko2196c652017-11-30 16:16:07 +0000748 } else {
749 Runtime::Current()->GetInstrumentation()->UpdateMethodsCode(
750 method, method_header->GetEntryPoint());
751 }
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000752 }
Nicolas Geoffrayde3e51d2019-11-28 16:29:55 +0000753 if (collection_in_progress_) {
754 // We need to update the live bitmap if there is a GC to ensure it sees this new
755 // code.
756 GetLiveBitmap()->AtomicTestAndSet(FromCodeToAllocation(code_ptr));
757 }
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000758 VLOG(jit)
Nicolas Geoffray0d60a2b2020-06-17 14:31:56 +0100759 << "JIT added (kind=" << compilation_kind << ") "
David Sehr709b0702016-10-13 09:12:37 -0700760 << ArtMethod::PrettyMethod(method) << "@" << method
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000761 << " ccache_size=" << PrettySize(CodeCacheSizeLocked()) << ": "
762 << " dcache_size=" << PrettySize(DataCacheSizeLocked()) << ": "
763 << reinterpret_cast<const void*>(method_header->GetEntryPoint()) << ","
Mingyao Yang063fc772016-08-02 11:02:54 -0700764 << reinterpret_cast<const void*>(method_header->GetEntryPoint() +
765 method_header->GetCodeSize());
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000766 }
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100767
David Srbeckyadb66f92019-10-10 12:59:43 +0000768 return true;
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100769}
770
771size_t JitCodeCache::CodeCacheSize() {
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100772 MutexLock mu(Thread::Current(), *Locks::jit_lock_);
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000773 return CodeCacheSizeLocked();
774}
775
Orion Hodsoneced6922017-06-01 10:54:28 +0100776bool JitCodeCache::RemoveMethod(ArtMethod* method, bool release_memory) {
Vladimir Marko2196c652017-11-30 16:16:07 +0000777 // This function is used only for testing and only with non-native methods.
778 CHECK(!method->IsNative());
779
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100780 MutexLock mu(Thread::Current(), *Locks::jit_lock_);
Orion Hodsoneced6922017-06-01 10:54:28 +0100781
Vladimir Marko2196c652017-11-30 16:16:07 +0000782 bool osr = osr_code_map_.find(method) != osr_code_map_.end();
783 bool in_cache = RemoveMethodLocked(method, release_memory);
Orion Hodsoneced6922017-06-01 10:54:28 +0100784
785 if (!in_cache) {
786 return false;
787 }
788
David Srbeckye36e7f22018-11-14 14:21:23 +0000789 method->SetCounter(0);
Orion Hodsoneced6922017-06-01 10:54:28 +0100790 Runtime::Current()->GetInstrumentation()->UpdateMethodsCode(
791 method, GetQuickToInterpreterBridge());
792 VLOG(jit)
793 << "JIT removed (osr=" << std::boolalpha << osr << std::noboolalpha << ") "
794 << ArtMethod::PrettyMethod(method) << "@" << method
795 << " ccache_size=" << PrettySize(CodeCacheSizeLocked()) << ": "
796 << " dcache_size=" << PrettySize(DataCacheSizeLocked());
797 return true;
798}
799
Vladimir Marko2196c652017-11-30 16:16:07 +0000800bool JitCodeCache::RemoveMethodLocked(ArtMethod* method, bool release_memory) {
801 if (LIKELY(!method->IsNative())) {
802 ProfilingInfo* info = method->GetProfilingInfo(kRuntimePointerSize);
803 if (info != nullptr) {
804 RemoveElement(profiling_infos_, info);
805 }
806 method->SetProfilingInfo(nullptr);
807 }
808
809 bool in_cache = false;
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100810 ScopedCodeCacheWrite ccw(private_region_);
Vladimir Marko2196c652017-11-30 16:16:07 +0000811 if (UNLIKELY(method->IsNative())) {
812 auto it = jni_stubs_map_.find(JniStubKey(method));
813 if (it != jni_stubs_map_.end() && it->second.RemoveMethod(method)) {
814 in_cache = true;
815 if (it->second.GetMethods().empty()) {
816 if (release_memory) {
Orion Hodson607624f2018-05-11 10:10:46 +0100817 FreeCodeAndData(it->second.GetCode());
Vladimir Marko2196c652017-11-30 16:16:07 +0000818 }
819 jni_stubs_map_.erase(it);
820 } else {
821 it->first.UpdateShorty(it->second.GetMethods().front());
822 }
823 }
824 } else {
825 for (auto it = method_code_map_.begin(); it != method_code_map_.end();) {
826 if (it->second == method) {
827 in_cache = true;
828 if (release_memory) {
Orion Hodson607624f2018-05-11 10:10:46 +0100829 FreeCodeAndData(it->first);
Vladimir Marko2196c652017-11-30 16:16:07 +0000830 }
David Srbecky41617b12020-03-18 21:19:06 +0000831 VLOG(jit) << "JIT removed " << it->second->PrettyMethod() << ": " << it->first;
Vladimir Marko2196c652017-11-30 16:16:07 +0000832 it = method_code_map_.erase(it);
833 } else {
834 ++it;
835 }
836 }
837
838 auto osr_it = osr_code_map_.find(method);
839 if (osr_it != osr_code_map_.end()) {
840 osr_code_map_.erase(osr_it);
841 }
842 }
843
844 return in_cache;
845}
846
Alex Lightdba61482016-12-21 08:20:29 -0800847// This notifies the code cache that the given method has been redefined and that it should remove
848// any cached information it has on the method. All threads must be suspended before calling this
849// method. The compiled code for the method (if there is any) must not be in any threads call stack.
850void JitCodeCache::NotifyMethodRedefined(ArtMethod* method) {
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100851 MutexLock mu(Thread::Current(), *Locks::jit_lock_);
Andreas Gampe98ea9d92018-10-19 14:06:15 -0700852 RemoveMethodLocked(method, /* release_memory= */ true);
Alex Lightdba61482016-12-21 08:20:29 -0800853}
854
855// This invalidates old_method. Once this function returns one can no longer use old_method to
856// execute code unless it is fixed up. This fixup will happen later in the process of installing a
857// class redefinition.
858// TODO We should add some info to ArtMethod to note that 'old_method' has been invalidated and
859// shouldn't be used since it is no longer logically in the jit code cache.
860// TODO We should add DCHECKS that validate that the JIT is paused when this method is entered.
861void JitCodeCache::MoveObsoleteMethod(ArtMethod* old_method, ArtMethod* new_method) {
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100862 MutexLock mu(Thread::Current(), *Locks::jit_lock_);
Alex Lighteee0bd42017-02-14 15:31:45 +0000863 if (old_method->IsNative()) {
Vladimir Marko2196c652017-11-30 16:16:07 +0000864 // Update methods in jni_stubs_map_.
865 for (auto& entry : jni_stubs_map_) {
866 JniStubData& data = entry.second;
867 data.MoveObsoleteMethod(old_method, new_method);
868 }
Alex Lighteee0bd42017-02-14 15:31:45 +0000869 return;
870 }
Alex Lightdba61482016-12-21 08:20:29 -0800871 // Update ProfilingInfo to the new one and remove it from the old_method.
872 if (old_method->GetProfilingInfo(kRuntimePointerSize) != nullptr) {
873 DCHECK_EQ(old_method->GetProfilingInfo(kRuntimePointerSize)->GetMethod(), old_method);
874 ProfilingInfo* info = old_method->GetProfilingInfo(kRuntimePointerSize);
875 old_method->SetProfilingInfo(nullptr);
876 // Since the JIT should be paused and all threads suspended by the time this is called these
877 // checks should always pass.
878 DCHECK(!info->IsInUseByCompiler());
879 new_method->SetProfilingInfo(info);
880 info->method_ = new_method;
881 }
882 // Update method_code_map_ to point to the new method.
883 for (auto& it : method_code_map_) {
884 if (it.second == old_method) {
885 it.second = new_method;
886 }
887 }
888 // Update osr_code_map_ to point to the new method.
889 auto code_map = osr_code_map_.find(old_method);
890 if (code_map != osr_code_map_.end()) {
891 osr_code_map_.Put(new_method, code_map->second);
892 osr_code_map_.erase(old_method);
893 }
894}
895
Alex Lightb28e3042020-03-06 13:02:46 -0800896void JitCodeCache::TransitionToDebuggable() {
Nicolas Geoffrayc76232e2020-03-18 11:23:33 +0000897 // Check that none of our methods have an entrypoint in the zygote exec
898 // space (this should be taken care of by
899 // ClassLinker::UpdateEntryPointsClassVisitor.
Alex Lightb28e3042020-03-06 13:02:46 -0800900 {
901 MutexLock mu(Thread::Current(), *Locks::jit_lock_);
Nicolas Geoffrayc76232e2020-03-18 11:23:33 +0000902 if (kIsDebugBuild) {
903 for (const auto& it : method_code_map_) {
904 ArtMethod* method = it.second;
905 DCHECK(!method->IsPreCompiled());
906 DCHECK(!IsInZygoteExecSpace(method->GetEntryPointFromQuickCompiledCode()));
Nicolas Geoffrayfc47d6b2020-03-11 15:05:43 +0000907 }
Alex Lightb28e3042020-03-06 13:02:46 -0800908 }
Nicolas Geoffrayfc47d6b2020-03-11 15:05:43 +0000909 // Not strictly necessary, but this map is useless now.
910 saved_compiled_methods_map_.clear();
Alex Lightb28e3042020-03-06 13:02:46 -0800911 }
Nicolas Geoffrayc76232e2020-03-18 11:23:33 +0000912 if (kIsDebugBuild) {
913 for (const auto& entry : zygote_map_) {
914 ArtMethod* method = entry.method;
915 if (method != nullptr) {
916 DCHECK(!method->IsPreCompiled());
917 DCHECK(!IsInZygoteExecSpace(method->GetEntryPointFromQuickCompiledCode()));
918 }
Nicolas Geoffrayfc47d6b2020-03-11 15:05:43 +0000919 }
Nicolas Geoffray226805d2018-12-14 10:59:02 +0000920 }
921}
922
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000923size_t JitCodeCache::CodeCacheSizeLocked() {
Nicolas Geoffrayf2dcba02019-07-22 13:59:24 +0100924 return GetCurrentRegion()->GetUsedMemoryForCode();
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100925}
926
927size_t JitCodeCache::DataCacheSize() {
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100928 MutexLock mu(Thread::Current(), *Locks::jit_lock_);
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000929 return DataCacheSizeLocked();
930}
931
932size_t JitCodeCache::DataCacheSizeLocked() {
Nicolas Geoffrayf2dcba02019-07-22 13:59:24 +0100933 return GetCurrentRegion()->GetUsedMemoryForData();
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800934}
935
David Srbeckyadb66f92019-10-10 12:59:43 +0000936bool JitCodeCache::Reserve(Thread* self,
937 JitMemoryRegion* region,
938 size_t code_size,
939 size_t stack_map_size,
940 size_t number_of_roots,
941 ArtMethod* method,
942 /*out*/ArrayRef<const uint8_t>* reserved_code,
943 /*out*/ArrayRef<const uint8_t>* reserved_data) {
944 code_size = OatQuickMethodHeader::InstructionAlignedSize() + code_size;
945 size_t data_size = RoundUp(ComputeRootTableSize(number_of_roots) + stack_map_size, sizeof(void*));
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000946
David Srbeckyadb66f92019-10-10 12:59:43 +0000947 const uint8_t* code;
948 const uint8_t* data;
Nicolas Geoffray62dd4e82020-05-10 15:00:56 +0100949 while (true) {
950 bool at_max_capacity = false;
David Srbeckyadb66f92019-10-10 12:59:43 +0000951 {
952 ScopedThreadSuspension sts(self, kSuspended);
953 MutexLock mu(self, *Locks::jit_lock_);
954 WaitForPotentialCollectionToComplete(self);
955 ScopedCodeCacheWrite ccw(*region);
956 code = region->AllocateCode(code_size);
957 data = region->AllocateData(data_size);
Nicolas Geoffray62dd4e82020-05-10 15:00:56 +0100958 at_max_capacity = IsAtMaxCapacity();
David Srbeckyadb66f92019-10-10 12:59:43 +0000959 }
Nicolas Geoffray62dd4e82020-05-10 15:00:56 +0100960 if (code != nullptr && data != nullptr) {
961 break;
David Srbeckyadb66f92019-10-10 12:59:43 +0000962 }
Nicolas Geoffray62dd4e82020-05-10 15:00:56 +0100963 Free(self, region, code, data);
964 if (at_max_capacity) {
965 VLOG(jit) << "JIT failed to allocate code of size "
966 << PrettySize(code_size)
967 << ", and data of size "
968 << PrettySize(data_size);
969 return false;
970 }
971 // Run a code cache collection and try again.
972 GarbageCollectCache(self);
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100973 }
Nicolas Geoffray62dd4e82020-05-10 15:00:56 +0100974
David Srbeckyadb66f92019-10-10 12:59:43 +0000975 *reserved_code = ArrayRef<const uint8_t>(code, code_size);
976 *reserved_data = ArrayRef<const uint8_t>(data, data_size);
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100977
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100978 MutexLock mu(self, *Locks::jit_lock_);
David Srbeckyadb66f92019-10-10 12:59:43 +0000979 histogram_code_memory_use_.AddValue(code_size);
980 if (code_size > kCodeSizeLogThreshold) {
Nicolas Geoffray933330a2016-03-16 14:20:06 +0000981 LOG(INFO) << "JIT allocated "
David Srbeckyadb66f92019-10-10 12:59:43 +0000982 << PrettySize(code_size)
983 << " for compiled code of "
984 << ArtMethod::PrettyMethod(method);
985 }
986 histogram_stack_map_memory_use_.AddValue(data_size);
987 if (data_size > kStackMapSizeLogThreshold) {
988 LOG(INFO) << "JIT allocated "
989 << PrettySize(data_size)
Nicolas Geoffray933330a2016-03-16 14:20:06 +0000990 << " for stack maps of "
David Sehr709b0702016-10-13 09:12:37 -0700991 << ArtMethod::PrettyMethod(method);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800992 }
David Srbeckyadb66f92019-10-10 12:59:43 +0000993 return true;
994}
995
996void JitCodeCache::Free(Thread* self,
997 JitMemoryRegion* region,
998 const uint8_t* code,
999 const uint8_t* data) {
1000 MutexLock mu(self, *Locks::jit_lock_);
1001 ScopedCodeCacheWrite ccw(*region);
David Srbecky30fd8512020-02-20 20:27:58 +00001002 FreeLocked(region, code, data);
1003}
1004
1005void JitCodeCache::FreeLocked(JitMemoryRegion* region, const uint8_t* code, const uint8_t* data) {
David Srbeckyadb66f92019-10-10 12:59:43 +00001006 if (code != nullptr) {
David Srbecky30fd8512020-02-20 20:27:58 +00001007 RemoveNativeDebugInfoForJit(reinterpret_cast<const void*>(FromAllocationToCode(code)));
David Srbeckyadb66f92019-10-10 12:59:43 +00001008 region->FreeCode(code);
1009 }
1010 if (data != nullptr) {
1011 region->FreeData(data);
1012 }
Mathieu Chartiere5f13e52015-02-24 09:37:21 -08001013}
1014
Roland Levillainbbc6e7e2018-08-24 16:58:47 +01001015class MarkCodeClosure final : public Closure {
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +01001016 public:
Nicolas Geoffrayb9f1af52018-11-16 10:30:29 +00001017 MarkCodeClosure(JitCodeCache* code_cache, CodeCacheBitmap* bitmap, Barrier* barrier)
1018 : code_cache_(code_cache), bitmap_(bitmap), barrier_(barrier) {}
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +01001019
Roland Levillainbbc6e7e2018-08-24 16:58:47 +01001020 void Run(Thread* thread) override REQUIRES_SHARED(Locks::mutator_lock_) {
Mathieu Chartier32ce2ad2016-03-04 14:58:03 -08001021 ScopedTrace trace(__PRETTY_FUNCTION__);
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +01001022 DCHECK(thread == Thread::Current() || thread->IsSuspended());
Andreas Gampec7d878d2018-11-19 18:42:06 +00001023 StackVisitor::WalkStack(
1024 [&](const art::StackVisitor* stack_visitor) {
1025 const OatQuickMethodHeader* method_header =
1026 stack_visitor->GetCurrentOatQuickMethodHeader();
1027 if (method_header == nullptr) {
1028 return true;
1029 }
1030 const void* code = method_header->GetCode();
Nicolas Geoffrayce9ed362018-11-29 03:19:28 +00001031 if (code_cache_->ContainsPc(code) && !code_cache_->IsInZygoteExecSpace(code)) {
Andreas Gampec7d878d2018-11-19 18:42:06 +00001032 // Use the atomic set version, as multiple threads are executing this code.
1033 bitmap_->AtomicTestAndSet(FromCodeToAllocation(code));
1034 }
1035 return true;
1036 },
1037 thread,
1038 /* context= */ nullptr,
1039 art::StackVisitor::StackWalkKind::kSkipInlinedFrames);
1040
Nicolas Geoffray5a23d2e2015-11-03 18:58:57 +00001041 if (kIsDebugBuild) {
1042 // The stack walking code queries the side instrumentation stack if it
1043 // sees an instrumentation exit pc, so the JIT code of methods in that stack
Orion Hodson853fc2e2020-07-27 17:01:44 +01001044 // must have been seen. We check this below.
Nicolas Geoffraye91e7952020-01-23 10:15:56 +00001045 for (const auto& it : *thread->GetInstrumentationStack()) {
Nicolas Geoffray5a23d2e2015-11-03 18:58:57 +00001046 // The 'method_' in InstrumentationStackFrame is the one that has return_pc_ in
1047 // its stack frame, it is not the method owning return_pc_. We just pass null to
1048 // LookupMethodHeader: the method is only checked against in debug builds.
1049 OatQuickMethodHeader* method_header =
Nicolas Geoffraye91e7952020-01-23 10:15:56 +00001050 code_cache_->LookupMethodHeader(it.second.return_pc_, /* method= */ nullptr);
Nicolas Geoffray5a23d2e2015-11-03 18:58:57 +00001051 if (method_header != nullptr) {
1052 const void* code = method_header->GetCode();
Nicolas Geoffrayb9f1af52018-11-16 10:30:29 +00001053 CHECK(bitmap_->Test(FromCodeToAllocation(code)));
Nicolas Geoffray5a23d2e2015-11-03 18:58:57 +00001054 }
1055 }
1056 }
Mathieu Chartier10d25082015-10-28 18:36:09 -07001057 barrier_->Pass(Thread::Current());
Mathieu Chartiere5f13e52015-02-24 09:37:21 -08001058 }
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +01001059
1060 private:
1061 JitCodeCache* const code_cache_;
Nicolas Geoffrayb9f1af52018-11-16 10:30:29 +00001062 CodeCacheBitmap* const bitmap_;
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +01001063 Barrier* const barrier_;
1064};
1065
Nicolas Geoffray0a3be162015-11-18 11:15:22 +00001066void JitCodeCache::NotifyCollectionDone(Thread* self) {
1067 collection_in_progress_ = false;
1068 lock_cond_.Broadcast(self);
1069}
1070
Nicolas Geoffray8d372502016-02-23 13:56:43 +00001071void JitCodeCache::MarkCompiledCodeOnThreadStacks(Thread* self) {
1072 Barrier barrier(0);
1073 size_t threads_running_checkpoint = 0;
Nicolas Geoffrayb9f1af52018-11-16 10:30:29 +00001074 MarkCodeClosure closure(this, GetLiveBitmap(), &barrier);
Nicolas Geoffray8d372502016-02-23 13:56:43 +00001075 threads_running_checkpoint = Runtime::Current()->GetThreadList()->RunCheckpoint(&closure);
1076 // Now that we have run our checkpoint, move to a suspended state and wait
1077 // for other threads to run the checkpoint.
1078 ScopedThreadSuspension sts(self, kSuspended);
1079 if (threads_running_checkpoint != 0) {
1080 barrier.Increment(self, threads_running_checkpoint);
1081 }
1082}
1083
Nicolas Geoffray62dd4e82020-05-10 15:00:56 +01001084bool JitCodeCache::IsAtMaxCapacity() const {
1085 return private_region_.GetCurrentCapacity() == private_region_.GetMaxCapacity();
1086}
1087
Nicolas Geoffray35122442016-03-02 12:05:30 +00001088bool JitCodeCache::ShouldDoFullCollection() {
Nicolas Geoffray62dd4e82020-05-10 15:00:56 +01001089 if (IsAtMaxCapacity()) {
Nicolas Geoffray35122442016-03-02 12:05:30 +00001090 // Always do a full collection when the code cache is full.
1091 return true;
Nicolas Geoffray2a905b22019-06-06 09:04:07 +01001092 } else if (private_region_.GetCurrentCapacity() < kReservedCapacity) {
Nicolas Geoffray35122442016-03-02 12:05:30 +00001093 // Always do partial collection when the code cache size is below the reserved
1094 // capacity.
1095 return false;
1096 } else if (last_collection_increased_code_cache_) {
1097 // This time do a full collection.
1098 return true;
1099 } else {
1100 // This time do a partial collection.
1101 return false;
Nicolas Geoffray8d372502016-02-23 13:56:43 +00001102 }
1103}
1104
Nicolas Geoffray0a3be162015-11-18 11:15:22 +00001105void JitCodeCache::GarbageCollectCache(Thread* self) {
Mathieu Chartier32ce2ad2016-03-04 14:58:03 -08001106 ScopedTrace trace(__FUNCTION__);
Nicolas Geoffraya5891e82015-11-06 14:18:27 +00001107 // Wait for an existing collection, or let everyone know we are starting one.
1108 {
1109 ScopedThreadSuspension sts(self, kSuspended);
Nicolas Geoffray2a905b22019-06-06 09:04:07 +01001110 MutexLock mu(self, *Locks::jit_lock_);
Nicolas Geoffray226805d2018-12-14 10:59:02 +00001111 if (!garbage_collect_code_) {
Nicolas Geoffray2a905b22019-06-06 09:04:07 +01001112 private_region_.IncreaseCodeCacheCapacity();
Nicolas Geoffray226805d2018-12-14 10:59:02 +00001113 return;
1114 } else if (WaitForPotentialCollectionToComplete(self)) {
Nicolas Geoffraya5891e82015-11-06 14:18:27 +00001115 return;
1116 } else {
Nicolas Geoffraybcd94c82016-03-03 13:23:33 +00001117 number_of_collections_++;
Nicolas Geoffray0a3be162015-11-18 11:15:22 +00001118 live_bitmap_.reset(CodeCacheBitmap::Create(
1119 "code-cache-bitmap",
Nicolas Geoffray2a905b22019-06-06 09:04:07 +01001120 reinterpret_cast<uintptr_t>(private_region_.GetExecPages()->Begin()),
1121 reinterpret_cast<uintptr_t>(
1122 private_region_.GetExecPages()->Begin() + private_region_.GetCurrentCapacity() / 2)));
Nicolas Geoffray8d372502016-02-23 13:56:43 +00001123 collection_in_progress_ = true;
1124 }
1125 }
1126
Nicolas Geoffraybcd94c82016-03-03 13:23:33 +00001127 TimingLogger logger("JIT code cache timing logger", true, VLOG_IS_ON(jit));
Nicolas Geoffray8d372502016-02-23 13:56:43 +00001128 {
Nicolas Geoffraybcd94c82016-03-03 13:23:33 +00001129 TimingLogger::ScopedTiming st("Code cache collection", &logger);
Nicolas Geoffray0a3be162015-11-18 11:15:22 +00001130
Nicolas Geoffraybcd94c82016-03-03 13:23:33 +00001131 bool do_full_collection = false;
1132 {
Nicolas Geoffray2a905b22019-06-06 09:04:07 +01001133 MutexLock mu(self, *Locks::jit_lock_);
Nicolas Geoffraybcd94c82016-03-03 13:23:33 +00001134 do_full_collection = ShouldDoFullCollection();
Nicolas Geoffraya96917a2016-03-01 22:18:02 +00001135 }
1136
Nicolas Geoffray646d6382017-08-09 10:50:00 +01001137 VLOG(jit) << "Do "
1138 << (do_full_collection ? "full" : "partial")
1139 << " code cache collection, code="
1140 << PrettySize(CodeCacheSize())
1141 << ", data=" << PrettySize(DataCacheSize());
Nicolas Geoffray35122442016-03-02 12:05:30 +00001142
Andreas Gampe98ea9d92018-10-19 14:06:15 -07001143 DoCollection(self, /* collect_profiling_info= */ do_full_collection);
Nicolas Geoffraybcd94c82016-03-03 13:23:33 +00001144
Nicolas Geoffray646d6382017-08-09 10:50:00 +01001145 VLOG(jit) << "After code cache collection, code="
1146 << PrettySize(CodeCacheSize())
1147 << ", data=" << PrettySize(DataCacheSize());
Nicolas Geoffraybcd94c82016-03-03 13:23:33 +00001148
1149 {
Nicolas Geoffray2a905b22019-06-06 09:04:07 +01001150 MutexLock mu(self, *Locks::jit_lock_);
Nicolas Geoffraybcd94c82016-03-03 13:23:33 +00001151
1152 // Increase the code cache only when we do partial collections.
1153 // TODO: base this strategy on how full the code cache is?
1154 if (do_full_collection) {
1155 last_collection_increased_code_cache_ = false;
1156 } else {
1157 last_collection_increased_code_cache_ = true;
Nicolas Geoffray2a905b22019-06-06 09:04:07 +01001158 private_region_.IncreaseCodeCacheCapacity();
Nicolas Geoffray35122442016-03-02 12:05:30 +00001159 }
1160
Nicolas Geoffraybcd94c82016-03-03 13:23:33 +00001161 bool next_collection_will_be_full = ShouldDoFullCollection();
1162
1163 // Start polling the liveness of compiled code to prepare for the next full collection.
Nicolas Geoffray480d5102016-04-18 12:09:30 +01001164 if (next_collection_will_be_full) {
Nicolas Geoffray1a277a62020-07-31 16:07:17 +01001165 for (ProfilingInfo* info : profiling_infos_) {
1166 info->SetBaselineHotnessCount(0);
Nicolas Geoffraybcd94c82016-03-03 13:23:33 +00001167 }
1168
Vladimir Marko2196c652017-11-30 16:16:07 +00001169 // Change entry points of native methods back to the GenericJNI entrypoint.
1170 for (const auto& entry : jni_stubs_map_) {
1171 const JniStubData& data = entry.second;
Nicolas Geoffrayce9ed362018-11-29 03:19:28 +00001172 if (!data.IsCompiled() || IsInZygoteExecSpace(data.GetCode())) {
Vladimir Marko2196c652017-11-30 16:16:07 +00001173 continue;
1174 }
1175 // Make sure a single invocation of the GenericJNI trampoline tries to recompile.
1176 uint16_t new_counter = Runtime::Current()->GetJit()->HotMethodThreshold() - 1u;
1177 const OatQuickMethodHeader* method_header =
1178 OatQuickMethodHeader::FromCodePointer(data.GetCode());
1179 for (ArtMethod* method : data.GetMethods()) {
1180 if (method->GetEntryPointFromQuickCompiledCode() == method_header->GetEntryPoint()) {
1181 // Don't call Instrumentation::UpdateMethodsCode(), same as for normal methods above.
1182 method->SetCounter(new_counter);
1183 method->SetEntryPointFromQuickCompiledCode(GetQuickGenericJniStub());
1184 }
1185 }
1186 }
Nicolas Geoffraybcd94c82016-03-03 13:23:33 +00001187 }
1188 live_bitmap_.reset(nullptr);
1189 NotifyCollectionDone(self);
Nicolas Geoffray35122442016-03-02 12:05:30 +00001190 }
Nicolas Geoffray35122442016-03-02 12:05:30 +00001191 }
Nicolas Geoffraybcd94c82016-03-03 13:23:33 +00001192 Runtime::Current()->GetJit()->AddTimingLogger(logger);
Nicolas Geoffray35122442016-03-02 12:05:30 +00001193}
1194
Nicolas Geoffray9abb2972016-03-04 14:32:59 +00001195void JitCodeCache::RemoveUnmarkedCode(Thread* self) {
Mathieu Chartier32ce2ad2016-03-04 14:58:03 -08001196 ScopedTrace trace(__FUNCTION__);
Mingyao Yang063fc772016-08-02 11:02:54 -07001197 std::unordered_set<OatQuickMethodHeader*> method_headers;
1198 {
Nicolas Geoffray2a905b22019-06-06 09:04:07 +01001199 MutexLock mu(self, *Locks::jit_lock_);
Mingyao Yang063fc772016-08-02 11:02:54 -07001200 // Iterate over all compiled code and remove entries that are not marked.
Vladimir Marko2196c652017-11-30 16:16:07 +00001201 for (auto it = jni_stubs_map_.begin(); it != jni_stubs_map_.end();) {
1202 JniStubData* data = &it->second;
Nicolas Geoffrayce9ed362018-11-29 03:19:28 +00001203 if (IsInZygoteExecSpace(data->GetCode()) ||
1204 !data->IsCompiled() ||
1205 GetLiveBitmap()->Test(FromCodeToAllocation(data->GetCode()))) {
Vladimir Marko2196c652017-11-30 16:16:07 +00001206 ++it;
1207 } else {
1208 method_headers.insert(OatQuickMethodHeader::FromCodePointer(data->GetCode()));
David Srbecky41617b12020-03-18 21:19:06 +00001209 for (ArtMethod* method : data->GetMethods()) {
1210 VLOG(jit) << "JIT removed (JNI) " << method->PrettyMethod() << ": " << data->GetCode();
1211 }
Vladimir Marko2196c652017-11-30 16:16:07 +00001212 it = jni_stubs_map_.erase(it);
1213 }
1214 }
Mingyao Yang063fc772016-08-02 11:02:54 -07001215 for (auto it = method_code_map_.begin(); it != method_code_map_.end();) {
1216 const void* code_ptr = it->first;
1217 uintptr_t allocation = FromCodeToAllocation(code_ptr);
Nicolas Geoffrayce9ed362018-11-29 03:19:28 +00001218 if (IsInZygoteExecSpace(code_ptr) || GetLiveBitmap()->Test(allocation)) {
Mingyao Yang063fc772016-08-02 11:02:54 -07001219 ++it;
1220 } else {
Alex Light2d441b12018-06-08 15:33:21 -07001221 OatQuickMethodHeader* header = OatQuickMethodHeader::FromCodePointer(code_ptr);
1222 method_headers.insert(header);
David Srbecky41617b12020-03-18 21:19:06 +00001223 VLOG(jit) << "JIT removed " << it->second->PrettyMethod() << ": " << it->first;
Mingyao Yang063fc772016-08-02 11:02:54 -07001224 it = method_code_map_.erase(it);
1225 }
Nicolas Geoffray35122442016-03-02 12:05:30 +00001226 }
David Srbecky521644b2020-03-21 13:17:52 +00001227 FreeAllMethodHeaders(method_headers);
Nicolas Geoffray35122442016-03-02 12:05:30 +00001228 }
1229}
1230
Nicolas Geoffray226805d2018-12-14 10:59:02 +00001231bool JitCodeCache::GetGarbageCollectCode() {
Nicolas Geoffray2a905b22019-06-06 09:04:07 +01001232 MutexLock mu(Thread::Current(), *Locks::jit_lock_);
Nicolas Geoffray226805d2018-12-14 10:59:02 +00001233 return garbage_collect_code_;
1234}
1235
1236void JitCodeCache::SetGarbageCollectCode(bool value) {
1237 Thread* self = Thread::Current();
Nicolas Geoffray2a905b22019-06-06 09:04:07 +01001238 MutexLock mu(self, *Locks::jit_lock_);
Nicolas Geoffray9c7b4f12020-08-03 15:22:59 +01001239 // Update the flag while holding the lock to ensure no thread will try to GC.
1240 garbage_collect_code_ = value;
Nicolas Geoffray226805d2018-12-14 10:59:02 +00001241}
1242
Nicolas Geoffray0d60a2b2020-06-17 14:31:56 +01001243void JitCodeCache::RemoveMethodBeingCompiled(ArtMethod* method, CompilationKind kind) {
1244 DCHECK(IsMethodBeingCompiled(method, kind));
1245 switch (kind) {
1246 case CompilationKind::kOsr:
1247 current_osr_compilations_.erase(method);
1248 break;
1249 case CompilationKind::kBaseline:
1250 current_baseline_compilations_.erase(method);
1251 break;
1252 case CompilationKind::kOptimized:
1253 current_optimized_compilations_.erase(method);
1254 break;
Nicolas Geoffrayf8cc26e2020-06-10 15:37:37 +01001255 }
1256}
1257
Nicolas Geoffray0d60a2b2020-06-17 14:31:56 +01001258void JitCodeCache::AddMethodBeingCompiled(ArtMethod* method, CompilationKind kind) {
1259 DCHECK(!IsMethodBeingCompiled(method, kind));
1260 switch (kind) {
1261 case CompilationKind::kOsr:
1262 current_osr_compilations_.insert(method);
1263 break;
1264 case CompilationKind::kBaseline:
1265 current_baseline_compilations_.insert(method);
1266 break;
1267 case CompilationKind::kOptimized:
1268 current_optimized_compilations_.insert(method);
1269 break;
Nicolas Geoffrayf8cc26e2020-06-10 15:37:37 +01001270 }
1271}
1272
Nicolas Geoffray0d60a2b2020-06-17 14:31:56 +01001273bool JitCodeCache::IsMethodBeingCompiled(ArtMethod* method, CompilationKind kind) {
1274 switch (kind) {
1275 case CompilationKind::kOsr:
1276 return ContainsElement(current_osr_compilations_, method);
1277 case CompilationKind::kBaseline:
1278 return ContainsElement(current_baseline_compilations_, method);
1279 case CompilationKind::kOptimized:
1280 return ContainsElement(current_optimized_compilations_, method);
1281 }
Nicolas Geoffrayf8cc26e2020-06-10 15:37:37 +01001282}
1283
1284bool JitCodeCache::IsMethodBeingCompiled(ArtMethod* method) {
1285 return ContainsElement(current_optimized_compilations_, method) ||
1286 ContainsElement(current_osr_compilations_, method) ||
1287 ContainsElement(current_baseline_compilations_, method);
1288}
1289
Nicolas Geoffray35122442016-03-02 12:05:30 +00001290void JitCodeCache::DoCollection(Thread* self, bool collect_profiling_info) {
Mathieu Chartier32ce2ad2016-03-04 14:58:03 -08001291 ScopedTrace trace(__FUNCTION__);
Nicolas Geoffray35122442016-03-02 12:05:30 +00001292 {
Nicolas Geoffray2a905b22019-06-06 09:04:07 +01001293 MutexLock mu(self, *Locks::jit_lock_);
Nicolas Geoffrayb9a639d2016-03-22 11:25:20 +00001294
Nicolas Geoffray1a277a62020-07-31 16:07:17 +01001295 // Update to interpreter the methods that have baseline entrypoints and whose baseline
1296 // hotness count is zero.
1297 // Note that these methods may be in thread stack or concurrently revived
1298 // between. That's OK, as the thread executing it will mark it.
1299 for (ProfilingInfo* info : profiling_infos_) {
1300 if (info->GetBaselineHotnessCount() == 0) {
1301 const void* entry_point = info->GetMethod()->GetEntryPointFromQuickCompiledCode();
1302 if (ContainsPc(entry_point)) {
1303 OatQuickMethodHeader* method_header =
1304 OatQuickMethodHeader::FromEntryPoint(entry_point);
1305 if (CodeInfo::IsBaseline(method_header->GetOptimizedCodeInfoPtr())) {
1306 info->GetMethod()->SetEntryPointFromQuickCompiledCode(GetQuickToInterpreterBridge());
Nicolas Geoffrayb0a97472019-12-05 15:17:46 +00001307 }
Nicolas Geoffrayb9a639d2016-03-22 11:25:20 +00001308 }
Nicolas Geoffray35122442016-03-02 12:05:30 +00001309 }
Nicolas Geoffray26705e22015-10-28 12:50:11 +00001310 }
Nicolas Geoffray1a277a62020-07-31 16:07:17 +01001311 // TODO: collect profiling info
1312 // TODO: collect optimized code
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +00001313
Nicolas Geoffray9abb2972016-03-04 14:32:59 +00001314 // Mark compiled code that are entrypoints of ArtMethods. Compiled code that is not
1315 // an entry point is either:
1316 // - an osr compiled code, that will be removed if not in a thread call stack.
1317 // - discarded compiled code, that will be removed if not in a thread call stack.
Vladimir Marko2196c652017-11-30 16:16:07 +00001318 for (const auto& entry : jni_stubs_map_) {
1319 const JniStubData& data = entry.second;
1320 const void* code_ptr = data.GetCode();
Nicolas Geoffrayce9ed362018-11-29 03:19:28 +00001321 if (IsInZygoteExecSpace(code_ptr)) {
1322 continue;
1323 }
Vladimir Marko2196c652017-11-30 16:16:07 +00001324 const OatQuickMethodHeader* method_header = OatQuickMethodHeader::FromCodePointer(code_ptr);
1325 for (ArtMethod* method : data.GetMethods()) {
1326 if (method_header->GetEntryPoint() == method->GetEntryPointFromQuickCompiledCode()) {
1327 GetLiveBitmap()->AtomicTestAndSet(FromCodeToAllocation(code_ptr));
1328 break;
1329 }
1330 }
1331 }
Nicolas Geoffray9abb2972016-03-04 14:32:59 +00001332 for (const auto& it : method_code_map_) {
1333 ArtMethod* method = it.second;
1334 const void* code_ptr = it.first;
Nicolas Geoffrayce9ed362018-11-29 03:19:28 +00001335 if (IsInZygoteExecSpace(code_ptr)) {
1336 continue;
1337 }
Nicolas Geoffray9abb2972016-03-04 14:32:59 +00001338 const OatQuickMethodHeader* method_header = OatQuickMethodHeader::FromCodePointer(code_ptr);
1339 if (method_header->GetEntryPoint() == method->GetEntryPointFromQuickCompiledCode()) {
1340 GetLiveBitmap()->AtomicTestAndSet(FromCodeToAllocation(code_ptr));
1341 }
1342 }
1343
Nicolas Geoffrayd9994f02016-02-11 17:35:55 +00001344 // Empty osr method map, as osr compiled code will be deleted (except the ones
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +00001345 // on thread stacks).
1346 osr_code_map_.clear();
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +01001347 }
1348
1349 // Run a checkpoint on all threads to mark the JIT compiled code they are running.
Nicolas Geoffray8d372502016-02-23 13:56:43 +00001350 MarkCompiledCodeOnThreadStacks(self);
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +01001351
Nicolas Geoffray9abb2972016-03-04 14:32:59 +00001352 // At this point, mutator threads are still running, and entrypoints of methods can
1353 // change. We do know they cannot change to a code cache entry that is not marked,
1354 // therefore we can safely remove those entries.
1355 RemoveUnmarkedCode(self);
Nicolas Geoffraya96917a2016-03-01 22:18:02 +00001356
Nicolas Geoffray35122442016-03-02 12:05:30 +00001357 if (collect_profiling_info) {
Nicolas Geoffray2a905b22019-06-06 09:04:07 +01001358 MutexLock mu(self, *Locks::jit_lock_);
Nicolas Geoffray35122442016-03-02 12:05:30 +00001359 // Free all profiling infos of methods not compiled nor being compiled.
Nicolas Geoffray73be1e82015-09-17 15:22:56 +01001360 auto profiling_kept_end = std::remove_if(profiling_infos_.begin(), profiling_infos_.end(),
Nicolas Geoffray38ea9bd2016-02-19 16:25:57 +00001361 [this] (ProfilingInfo* info) NO_THREAD_SAFETY_ANALYSIS {
Nicolas Geoffray35122442016-03-02 12:05:30 +00001362 const void* ptr = info->GetMethod()->GetEntryPointFromQuickCompiledCode();
Nicolas Geoffray511e41b2016-03-02 17:09:35 +00001363 // We have previously cleared the ProfilingInfo pointer in the ArtMethod in the hope
1364 // that the compiled code would not get revived. As mutator threads run concurrently,
1365 // they may have revived the compiled code, and now we are in the situation where
1366 // a method has compiled code but no ProfilingInfo.
1367 // We make sure compiled methods have a ProfilingInfo object. It is needed for
1368 // code cache collection.
Andreas Gampe542451c2016-07-26 09:02:02 -07001369 if (ContainsPc(ptr) &&
1370 info->GetMethod()->GetProfilingInfo(kRuntimePointerSize) == nullptr) {
Nicolas Geoffray35122442016-03-02 12:05:30 +00001371 info->GetMethod()->SetProfilingInfo(info);
Andreas Gampe542451c2016-07-26 09:02:02 -07001372 } else if (info->GetMethod()->GetProfilingInfo(kRuntimePointerSize) != info) {
Nicolas Geoffray35122442016-03-02 12:05:30 +00001373 // No need for this ProfilingInfo object anymore.
David Srbecky87fb0322019-08-20 10:34:02 +01001374 private_region_.FreeWritableData(reinterpret_cast<uint8_t*>(info));
Nicolas Geoffray73be1e82015-09-17 15:22:56 +01001375 return true;
1376 }
1377 return false;
1378 });
1379 profiling_infos_.erase(profiling_kept_end, profiling_infos_.end());
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +01001380 }
Mathieu Chartiere5f13e52015-02-24 09:37:21 -08001381}
1382
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +01001383OatQuickMethodHeader* JitCodeCache::LookupMethodHeader(uintptr_t pc, ArtMethod* method) {
Vladimir Marko33bff252017-11-01 14:35:42 +00001384 static_assert(kRuntimeISA != InstructionSet::kThumb2, "kThumb2 cannot be a runtime ISA");
1385 if (kRuntimeISA == InstructionSet::kArm) {
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +01001386 // On Thumb-2, the pc is offset by one.
1387 --pc;
Mathieu Chartiere5f13e52015-02-24 09:37:21 -08001388 }
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +01001389 if (!ContainsPc(reinterpret_cast<const void*>(pc))) {
1390 return nullptr;
1391 }
1392
Vladimir Marko2196c652017-11-30 16:16:07 +00001393 if (!kIsDebugBuild) {
1394 // Called with null `method` only from MarkCodeClosure::Run() in debug build.
1395 CHECK(method != nullptr);
Vladimir Marko47d31852017-11-28 18:36:12 +00001396 }
Vladimir Markoe7441632017-11-29 13:00:56 +00001397
Nicolas Geoffray2a905b22019-06-06 09:04:07 +01001398 MutexLock mu(Thread::Current(), *Locks::jit_lock_);
Vladimir Marko2196c652017-11-30 16:16:07 +00001399 OatQuickMethodHeader* method_header = nullptr;
1400 ArtMethod* found_method = nullptr; // Only for DCHECK(), not for JNI stubs.
1401 if (method != nullptr && UNLIKELY(method->IsNative())) {
1402 auto it = jni_stubs_map_.find(JniStubKey(method));
1403 if (it == jni_stubs_map_.end() || !ContainsElement(it->second.GetMethods(), method)) {
1404 return nullptr;
1405 }
1406 const void* code_ptr = it->second.GetCode();
1407 method_header = OatQuickMethodHeader::FromCodePointer(code_ptr);
1408 if (!method_header->Contains(pc)) {
1409 return nullptr;
1410 }
1411 } else {
Nicolas Geoffraye32d24c2019-07-05 10:28:59 +01001412 if (shared_region_.IsInExecSpace(reinterpret_cast<const void*>(pc))) {
1413 const void* code_ptr = zygote_map_.GetCodeFor(method, pc);
1414 if (code_ptr != nullptr) {
1415 return OatQuickMethodHeader::FromCodePointer(code_ptr);
1416 }
1417 }
Vladimir Marko2196c652017-11-30 16:16:07 +00001418 auto it = method_code_map_.lower_bound(reinterpret_cast<const void*>(pc));
1419 if (it != method_code_map_.begin()) {
1420 --it;
1421 const void* code_ptr = it->first;
1422 if (OatQuickMethodHeader::FromCodePointer(code_ptr)->Contains(pc)) {
1423 method_header = OatQuickMethodHeader::FromCodePointer(code_ptr);
1424 found_method = it->second;
1425 }
1426 }
1427 if (method_header == nullptr && method == nullptr) {
1428 // Scan all compiled JNI stubs as well. This slow search is used only
1429 // for checks in debug build, for release builds the `method` is not null.
1430 for (auto&& entry : jni_stubs_map_) {
1431 const JniStubData& data = entry.second;
1432 if (data.IsCompiled() &&
1433 OatQuickMethodHeader::FromCodePointer(data.GetCode())->Contains(pc)) {
1434 method_header = OatQuickMethodHeader::FromCodePointer(data.GetCode());
1435 }
1436 }
1437 }
1438 if (method_header == nullptr) {
1439 return nullptr;
1440 }
Nicolas Geoffray056d7752017-11-30 09:12:13 +00001441 }
Vladimir Marko2196c652017-11-30 16:16:07 +00001442
1443 if (kIsDebugBuild && method != nullptr && !method->IsNative()) {
Vladimir Markoeab02482019-05-09 10:28:17 +01001444 DCHECK_EQ(found_method, method)
1445 << ArtMethod::PrettyMethod(method) << " "
1446 << ArtMethod::PrettyMethod(found_method) << " "
David Sehr709b0702016-10-13 09:12:37 -07001447 << std::hex << pc;
Nicolas Geoffray5a23d2e2015-11-03 18:58:57 +00001448 }
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +01001449 return method_header;
Mathieu Chartiere5f13e52015-02-24 09:37:21 -08001450}
1451
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +00001452OatQuickMethodHeader* JitCodeCache::LookupOsrMethodHeader(ArtMethod* method) {
Nicolas Geoffray2a905b22019-06-06 09:04:07 +01001453 MutexLock mu(Thread::Current(), *Locks::jit_lock_);
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +00001454 auto it = osr_code_map_.find(method);
1455 if (it == osr_code_map_.end()) {
1456 return nullptr;
1457 }
1458 return OatQuickMethodHeader::FromCodePointer(it->second);
1459}
1460
Nicolas Geoffray26705e22015-10-28 12:50:11 +00001461ProfilingInfo* JitCodeCache::AddProfilingInfo(Thread* self,
1462 ArtMethod* method,
Nicolas Geoffray60ef3992020-08-07 07:49:57 +00001463 const std::vector<uint32_t>& entries) {
Nicolas Geoffraya48c3df2019-06-27 13:11:12 +00001464 DCHECK(CanAllocateProfilingInfo());
Nicolas Geoffray1e7da9b2016-03-01 14:11:40 +00001465 ProfilingInfo* info = nullptr;
Nicolas Geoffray60ef3992020-08-07 07:49:57 +00001466 {
1467 MutexLock mu(self, *Locks::jit_lock_);
1468 info = AddProfilingInfoInternal(self, method, entries);
1469 }
Nicolas Geoffray26705e22015-10-28 12:50:11 +00001470
Nicolas Geoffray60ef3992020-08-07 07:49:57 +00001471 if (info == nullptr) {
1472 GarbageCollectCache(self);
1473 MutexLock mu(self, *Locks::jit_lock_);
1474 info = AddProfilingInfoInternal(self, method, entries);
Nicolas Geoffray26705e22015-10-28 12:50:11 +00001475 }
1476 return info;
1477}
1478
Nicolas Geoffray1e7da9b2016-03-01 14:11:40 +00001479ProfilingInfo* JitCodeCache::AddProfilingInfoInternal(Thread* self ATTRIBUTE_UNUSED,
Nicolas Geoffray26705e22015-10-28 12:50:11 +00001480 ArtMethod* method,
1481 const std::vector<uint32_t>& entries) {
1482 size_t profile_info_size = RoundUp(
Nicolas Geoffray73be1e82015-09-17 15:22:56 +01001483 sizeof(ProfilingInfo) + sizeof(InlineCache) * entries.size(),
Nicolas Geoffray26705e22015-10-28 12:50:11 +00001484 sizeof(void*));
Nicolas Geoffray26705e22015-10-28 12:50:11 +00001485
1486 // Check whether some other thread has concurrently created it.
Andreas Gampe542451c2016-07-26 09:02:02 -07001487 ProfilingInfo* info = method->GetProfilingInfo(kRuntimePointerSize);
Nicolas Geoffray26705e22015-10-28 12:50:11 +00001488 if (info != nullptr) {
1489 return info;
1490 }
1491
David Srbecky87fb0322019-08-20 10:34:02 +01001492 const uint8_t* data = private_region_.AllocateData(profile_info_size);
Nicolas Geoffray26705e22015-10-28 12:50:11 +00001493 if (data == nullptr) {
1494 return nullptr;
1495 }
David Srbecky87fb0322019-08-20 10:34:02 +01001496 uint8_t* writable_data = private_region_.GetWritableDataAddress(data);
1497 info = new (writable_data) ProfilingInfo(method, entries);
Nicolas Geoffray07f35642016-01-04 16:06:51 +00001498
1499 // Make sure other threads see the data in the profiling info object before the
1500 // store in the ArtMethod's ProfilingInfo pointer.
Orion Hodson27b96762018-03-13 16:06:57 +00001501 std::atomic_thread_fence(std::memory_order_release);
Nicolas Geoffray07f35642016-01-04 16:06:51 +00001502
Nicolas Geoffray26705e22015-10-28 12:50:11 +00001503 method->SetProfilingInfo(info);
1504 profiling_infos_.push_back(info);
Nicolas Geoffray933330a2016-03-16 14:20:06 +00001505 histogram_profiling_info_memory_use_.AddValue(profile_info_size);
Nicolas Geoffray26705e22015-10-28 12:50:11 +00001506 return info;
1507}
1508
Nicolas Geoffray2a905b22019-06-06 09:04:07 +01001509void* JitCodeCache::MoreCore(const void* mspace, intptr_t increment) {
Nicolas Geoffraya48c3df2019-06-27 13:11:12 +00001510 return shared_region_.OwnsSpace(mspace)
1511 ? shared_region_.MoreCore(mspace, increment)
1512 : private_region_.MoreCore(mspace, increment);
Nicolas Geoffray0a3be162015-11-18 11:15:22 +00001513}
1514
Calin Juravle99629622016-04-19 16:33:46 +01001515void JitCodeCache::GetProfiledMethods(const std::set<std::string>& dex_base_locations,
Calin Juravle940eb0c2017-01-30 19:30:44 -08001516 std::vector<ProfileMethodInfo>& methods) {
Nicolas Geoffray1afdfe62018-11-21 09:38:10 +00001517 Thread* self = Thread::Current();
1518 WaitUntilInlineCacheAccessible(self);
Nicolas Geoffray2a905b22019-06-06 09:04:07 +01001519 MutexLock mu(self, *Locks::jit_lock_);
Mathieu Chartier32ce2ad2016-03-04 14:58:03 -08001520 ScopedTrace trace(__FUNCTION__);
Calin Juravlea39fd982017-05-18 10:15:52 -07001521 uint16_t jit_compile_threshold = Runtime::Current()->GetJITOptions()->GetCompileThreshold();
Calin Juravle99629622016-04-19 16:33:46 +01001522 for (const ProfilingInfo* info : profiling_infos_) {
1523 ArtMethod* method = info->GetMethod();
1524 const DexFile* dex_file = method->GetDexFile();
Mathieu Chartier79c87da2017-10-10 11:54:29 -07001525 const std::string base_location = DexFileLoader::GetBaseLocation(dex_file->GetLocation());
1526 if (!ContainsElement(dex_base_locations, base_location)) {
Calin Juravle940eb0c2017-01-30 19:30:44 -08001527 // Skip dex files which are not profiled.
1528 continue;
Calin Juravle31f2c152015-10-23 17:56:15 +01001529 }
Calin Juravle940eb0c2017-01-30 19:30:44 -08001530 std::vector<ProfileMethodInfo::ProfileInlineCache> inline_caches;
Calin Juravlea39fd982017-05-18 10:15:52 -07001531
1532 // If the method didn't reach the compilation threshold don't save the inline caches.
1533 // They might be incomplete and cause unnecessary deoptimizations.
1534 // If the inline cache is empty the compiler will generate a regular invoke virtual/interface.
1535 if (method->GetCounter() < jit_compile_threshold) {
1536 methods.emplace_back(/*ProfileMethodInfo*/
Mathieu Chartierbbe3a5e2017-06-13 16:36:17 -07001537 MethodReference(dex_file, method->GetDexMethodIndex()), inline_caches);
Calin Juravlea39fd982017-05-18 10:15:52 -07001538 continue;
1539 }
1540
Calin Juravle940eb0c2017-01-30 19:30:44 -08001541 for (size_t i = 0; i < info->number_of_inline_caches_; ++i) {
Mathieu Chartierdbddc222017-05-24 12:04:13 -07001542 std::vector<TypeReference> profile_classes;
Calin Juravle940eb0c2017-01-30 19:30:44 -08001543 const InlineCache& cache = info->cache_[i];
Calin Juravle13439f02017-02-21 01:17:21 -08001544 ArtMethod* caller = info->GetMethod();
Calin Juravle589e71e2017-03-03 16:05:05 -08001545 bool is_missing_types = false;
Calin Juravle940eb0c2017-01-30 19:30:44 -08001546 for (size_t k = 0; k < InlineCache::kIndividualCacheSize; k++) {
1547 mirror::Class* cls = cache.classes_[k].Read();
1548 if (cls == nullptr) {
1549 break;
1550 }
Calin Juravle4ca70a32017-02-21 16:22:24 -08001551
Calin Juravle13439f02017-02-21 01:17:21 -08001552 // Check if the receiver is in the boot class path or if it's in the
1553 // same class loader as the caller. If not, skip it, as there is not
1554 // much we can do during AOT.
1555 if (!cls->IsBootStrapClassLoaded() &&
1556 caller->GetClassLoader() != cls->GetClassLoader()) {
1557 is_missing_types = true;
1558 continue;
1559 }
1560
Calin Juravle4ca70a32017-02-21 16:22:24 -08001561 const DexFile* class_dex_file = nullptr;
1562 dex::TypeIndex type_index;
1563
1564 if (cls->GetDexCache() == nullptr) {
1565 DCHECK(cls->IsArrayClass()) << cls->PrettyClass();
Calin Juravlee21806f2017-02-22 11:49:43 -08001566 // Make a best effort to find the type index in the method's dex file.
1567 // We could search all open dex files but that might turn expensive
1568 // and probably not worth it.
Calin Juravle4ca70a32017-02-21 16:22:24 -08001569 class_dex_file = dex_file;
1570 type_index = cls->FindTypeIndexInOtherDexFile(*dex_file);
1571 } else {
1572 class_dex_file = &(cls->GetDexFile());
1573 type_index = cls->GetDexTypeIndex();
1574 }
1575 if (!type_index.IsValid()) {
1576 // Could be a proxy class or an array for which we couldn't find the type index.
Calin Juravle589e71e2017-03-03 16:05:05 -08001577 is_missing_types = true;
Calin Juravle4ca70a32017-02-21 16:22:24 -08001578 continue;
1579 }
Mathieu Chartier79c87da2017-10-10 11:54:29 -07001580 if (ContainsElement(dex_base_locations,
1581 DexFileLoader::GetBaseLocation(class_dex_file->GetLocation()))) {
Calin Juravle940eb0c2017-01-30 19:30:44 -08001582 // Only consider classes from the same apk (including multidex).
1583 profile_classes.emplace_back(/*ProfileMethodInfo::ProfileClassReference*/
Calin Juravle4ca70a32017-02-21 16:22:24 -08001584 class_dex_file, type_index);
Calin Juravle589e71e2017-03-03 16:05:05 -08001585 } else {
1586 is_missing_types = true;
Calin Juravle940eb0c2017-01-30 19:30:44 -08001587 }
1588 }
1589 if (!profile_classes.empty()) {
1590 inline_caches.emplace_back(/*ProfileMethodInfo::ProfileInlineCache*/
Calin Juravle589e71e2017-03-03 16:05:05 -08001591 cache.dex_pc_, is_missing_types, profile_classes);
Calin Juravle940eb0c2017-01-30 19:30:44 -08001592 }
1593 }
1594 methods.emplace_back(/*ProfileMethodInfo*/
Mathieu Chartierbbe3a5e2017-06-13 16:36:17 -07001595 MethodReference(dex_file, method->GetDexMethodIndex()), inline_caches);
Calin Juravle31f2c152015-10-23 17:56:15 +01001596 }
1597}
1598
Nicolas Geoffray71cd50f2016-04-14 15:00:33 +01001599bool JitCodeCache::IsOsrCompiled(ArtMethod* method) {
Nicolas Geoffray2a905b22019-06-06 09:04:07 +01001600 MutexLock mu(Thread::Current(), *Locks::jit_lock_);
Nicolas Geoffray71cd50f2016-04-14 15:00:33 +01001601 return osr_code_map_.find(method) != osr_code_map_.end();
1602}
1603
Nicolas Geoffraya48c3df2019-06-27 13:11:12 +00001604bool JitCodeCache::NotifyCompilationOf(ArtMethod* method,
1605 Thread* self,
Nicolas Geoffray0d60a2b2020-06-17 14:31:56 +01001606 CompilationKind compilation_kind,
Nicolas Geoffray60ef3992020-08-07 07:49:57 +00001607 bool prejit) {
Nicolas Geoffraya59af8a2019-11-27 17:42:32 +00001608 const void* existing_entry_point = method->GetEntryPointFromQuickCompiledCode();
Nicolas Geoffray0d60a2b2020-06-17 14:31:56 +01001609 if (compilation_kind != CompilationKind::kOsr && ContainsPc(existing_entry_point)) {
Nicolas Geoffraya59af8a2019-11-27 17:42:32 +00001610 OatQuickMethodHeader* method_header =
1611 OatQuickMethodHeader::FromEntryPoint(existing_entry_point);
Nicolas Geoffray0d60a2b2020-06-17 14:31:56 +01001612 bool is_baseline = (compilation_kind == CompilationKind::kBaseline);
1613 if (CodeInfo::IsBaseline(method_header->GetOptimizedCodeInfoPtr()) == is_baseline) {
Nicolas Geoffraya59af8a2019-11-27 17:42:32 +00001614 VLOG(jit) << "Not compiling "
1615 << method->PrettyMethod()
1616 << " because it has already been compiled"
Nicolas Geoffray0d60a2b2020-06-17 14:31:56 +01001617 << " kind=" << compilation_kind;
Nicolas Geoffraya59af8a2019-11-27 17:42:32 +00001618 return false;
1619 }
Nicolas Geoffray73be1e82015-09-17 15:22:56 +01001620 }
Nicolas Geoffraya42363f2015-12-17 14:57:09 +00001621
Vladimir Marko5115a4d2019-10-17 14:56:47 +01001622 if (NeedsClinitCheckBeforeCall(method) && !prejit) {
1623 // We do not need a synchronization barrier for checking the visibly initialized status
1624 // or checking the initialized status just for requesting visible initialization.
1625 ClassStatus status = method->GetDeclaringClass()
1626 ->GetStatus<kDefaultVerifyFlags, /*kWithSynchronizationBarrier=*/ false>();
1627 if (status != ClassStatus::kVisiblyInitialized) {
1628 // Unless we're pre-jitting, we currently don't save the JIT compiled code if we cannot
1629 // update the entrypoint due to needing an initialization check.
1630 if (status == ClassStatus::kInitialized) {
1631 // Request visible initialization but do not block to allow compiling other methods.
1632 // Hopefully, this will complete by the time the method becomes hot again.
1633 Runtime::Current()->GetClassLinker()->MakeInitializedClassesVisiblyInitialized(
1634 self, /*wait=*/ false);
1635 }
1636 VLOG(jit) << "Not compiling "
1637 << method->PrettyMethod()
1638 << " because it has the resolution stub";
1639 // Give it a new chance to be hot.
1640 ClearMethodCounter(method, /*was_warm=*/ false);
1641 return false;
Vladimir Markocce414f2019-10-07 08:51:33 +01001642 }
Nicolas Geoffrayd03e8dd2019-04-10 23:13:20 +01001643 }
1644
Nicolas Geoffray0d60a2b2020-06-17 14:31:56 +01001645 if (compilation_kind == CompilationKind::kOsr) {
Nicolas Geoffray085f7402019-12-16 16:30:48 +00001646 MutexLock mu(self, *Locks::jit_lock_);
1647 if (osr_code_map_.find(method) != osr_code_map_.end()) {
1648 return false;
1649 }
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +00001650 }
Nicolas Geoffraybcd94c82016-03-03 13:23:33 +00001651
Vladimir Marko2196c652017-11-30 16:16:07 +00001652 if (UNLIKELY(method->IsNative())) {
Nicolas Geoffray085f7402019-12-16 16:30:48 +00001653 MutexLock mu(self, *Locks::jit_lock_);
Vladimir Marko2196c652017-11-30 16:16:07 +00001654 JniStubKey key(method);
1655 auto it = jni_stubs_map_.find(key);
1656 bool new_compilation = false;
1657 if (it == jni_stubs_map_.end()) {
1658 // Create a new entry to mark the stub as being compiled.
1659 it = jni_stubs_map_.Put(key, JniStubData{});
1660 new_compilation = true;
1661 }
1662 JniStubData* data = &it->second;
1663 data->AddMethod(method);
1664 if (data->IsCompiled()) {
1665 OatQuickMethodHeader* method_header = OatQuickMethodHeader::FromCodePointer(data->GetCode());
1666 const void* entrypoint = method_header->GetEntryPoint();
1667 // Update also entrypoints of other methods held by the JniStubData.
1668 // We could simply update the entrypoint of `method` but if the last JIT GC has
1669 // changed these entrypoints to GenericJNI in preparation for a full GC, we may
1670 // as well change them back as this stub shall not be collected anyway and this
1671 // can avoid a few expensive GenericJNI calls.
Vladimir Markocce414f2019-10-07 08:51:33 +01001672 data->UpdateEntryPoints(entrypoint);
Vladimir Marko2196c652017-11-30 16:16:07 +00001673 if (collection_in_progress_) {
David Srbeckyc45b5892019-04-24 10:32:04 +01001674 if (!IsInZygoteExecSpace(data->GetCode())) {
1675 GetLiveBitmap()->AtomicTestAndSet(FromCodeToAllocation(data->GetCode()));
1676 }
Vladimir Marko2196c652017-11-30 16:16:07 +00001677 }
1678 }
1679 return new_compilation;
1680 } else {
Nicolas Geoffray0d60a2b2020-06-17 14:31:56 +01001681 if (CanAllocateProfilingInfo() &&
1682 (compilation_kind == CompilationKind::kBaseline) &&
Nicolas Geoffray60ef3992020-08-07 07:49:57 +00001683 (method->GetProfilingInfo(kRuntimePointerSize) == nullptr)) {
1684 if (ProfilingInfo::Create(self, method) == nullptr) {
1685 VLOG(jit) << method->PrettyMethod() << " needs a ProfilingInfo to be compiled baseline";
Nicolas Geoffrayd2f13ba2019-06-04 16:48:58 +01001686 ClearMethodCounter(method, /*was_warm=*/ false);
1687 return false;
1688 }
Vladimir Marko2196c652017-11-30 16:16:07 +00001689 }
Nicolas Geoffrayf8cc26e2020-06-10 15:37:37 +01001690 MutexLock mu(self, *Locks::jit_lock_);
Nicolas Geoffray0d60a2b2020-06-17 14:31:56 +01001691 if (IsMethodBeingCompiled(method, compilation_kind)) {
Nicolas Geoffrayf8cc26e2020-06-10 15:37:37 +01001692 return false;
1693 }
Nicolas Geoffray0d60a2b2020-06-17 14:31:56 +01001694 AddMethodBeingCompiled(method, compilation_kind);
Vladimir Marko2196c652017-11-30 16:16:07 +00001695 return true;
1696 }
Nicolas Geoffray73be1e82015-09-17 15:22:56 +01001697}
1698
Nicolas Geoffray07e3ca92016-03-11 09:57:57 +00001699ProfilingInfo* JitCodeCache::NotifyCompilerUse(ArtMethod* method, Thread* self) {
Nicolas Geoffray2a905b22019-06-06 09:04:07 +01001700 MutexLock mu(self, *Locks::jit_lock_);
Andreas Gampe542451c2016-07-26 09:02:02 -07001701 ProfilingInfo* info = method->GetProfilingInfo(kRuntimePointerSize);
Nicolas Geoffrayb6e20ae2016-03-07 14:29:04 +00001702 if (info != nullptr) {
Nicolas Geoffrayf6d46682017-02-28 17:41:45 +00001703 if (!info->IncrementInlineUse()) {
1704 // Overflow of inlining uses, just bail.
1705 return nullptr;
1706 }
Nicolas Geoffrayb6e20ae2016-03-07 14:29:04 +00001707 }
Nicolas Geoffray07e3ca92016-03-11 09:57:57 +00001708 return info;
Nicolas Geoffrayb6e20ae2016-03-07 14:29:04 +00001709}
1710
Nicolas Geoffray07e3ca92016-03-11 09:57:57 +00001711void JitCodeCache::DoneCompilerUse(ArtMethod* method, Thread* self) {
Nicolas Geoffray2a905b22019-06-06 09:04:07 +01001712 MutexLock mu(self, *Locks::jit_lock_);
Andreas Gampe542451c2016-07-26 09:02:02 -07001713 ProfilingInfo* info = method->GetProfilingInfo(kRuntimePointerSize);
Nicolas Geoffray07e3ca92016-03-11 09:57:57 +00001714 DCHECK(info != nullptr);
1715 info->DecrementInlineUse();
Nicolas Geoffrayb6e20ae2016-03-07 14:29:04 +00001716}
1717
Nicolas Geoffray0d60a2b2020-06-17 14:31:56 +01001718void JitCodeCache::DoneCompiling(ArtMethod* method,
1719 Thread* self,
1720 CompilationKind compilation_kind) {
Vladimir Marko2196c652017-11-30 16:16:07 +00001721 DCHECK_EQ(Thread::Current(), self);
Nicolas Geoffray2a905b22019-06-06 09:04:07 +01001722 MutexLock mu(self, *Locks::jit_lock_);
Vladimir Marko2196c652017-11-30 16:16:07 +00001723 if (UNLIKELY(method->IsNative())) {
1724 auto it = jni_stubs_map_.find(JniStubKey(method));
1725 DCHECK(it != jni_stubs_map_.end());
1726 JniStubData* data = &it->second;
1727 DCHECK(ContainsElement(data->GetMethods(), method));
1728 if (UNLIKELY(!data->IsCompiled())) {
1729 // Failed to compile; the JNI compiler never fails, but the cache may be full.
1730 jni_stubs_map_.erase(it); // Remove the entry added in NotifyCompilationOf().
David Srbeckyadb66f92019-10-10 12:59:43 +00001731 } // else Commit() updated entrypoints of all methods in the JniStubData.
Vladimir Marko2196c652017-11-30 16:16:07 +00001732 } else {
Nicolas Geoffray0d60a2b2020-06-17 14:31:56 +01001733 RemoveMethodBeingCompiled(method, compilation_kind);
Vladimir Marko2196c652017-11-30 16:16:07 +00001734 }
Nicolas Geoffray73be1e82015-09-17 15:22:56 +01001735}
1736
Nicolas Geoffray4ac0e152019-09-18 06:14:50 +00001737void JitCodeCache::InvalidateAllCompiledCode() {
1738 art::MutexLock mu(Thread::Current(), *Locks::jit_lock_);
Nicolas Geoffray60ef3992020-08-07 07:49:57 +00001739 VLOG(jit) << "Invalidating all compiled code";
1740 ClassLinker* linker = Runtime::Current()->GetClassLinker();
1741 for (auto it : method_code_map_) {
1742 ArtMethod* meth = it.second;
1743 // We were compiled, so we must be warm.
Nicolas Geoffray4ac0e152019-09-18 06:14:50 +00001744 ClearMethodCounter(meth, /*was_warm=*/true);
Nicolas Geoffray4ac0e152019-09-18 06:14:50 +00001745 if (meth->IsObsolete()) {
1746 linker->SetEntryPointsForObsoleteMethod(meth);
1747 } else {
1748 linker->SetEntryPointsToInterpreter(meth);
1749 }
1750 }
Nicolas Geoffray60ef3992020-08-07 07:49:57 +00001751 saved_compiled_methods_map_.clear();
Nicolas Geoffray4ac0e152019-09-18 06:14:50 +00001752 osr_code_map_.clear();
Nicolas Geoffray4ac0e152019-09-18 06:14:50 +00001753}
1754
Nicolas Geoffrayb88d59e2016-02-17 11:31:49 +00001755void JitCodeCache::InvalidateCompiledCodeFor(ArtMethod* method,
1756 const OatQuickMethodHeader* header) {
Vladimir Marko2196c652017-11-30 16:16:07 +00001757 DCHECK(!method->IsNative());
Andreas Gampe542451c2016-07-26 09:02:02 -07001758 ProfilingInfo* profiling_info = method->GetProfilingInfo(kRuntimePointerSize);
Alex Light2d441b12018-06-08 15:33:21 -07001759 const void* method_entrypoint = method->GetEntryPointFromQuickCompiledCode();
Nicolas Geoffray35122442016-03-02 12:05:30 +00001760
Alex Light2d441b12018-06-08 15:33:21 -07001761 // Clear the method counter if we are running jitted code since we might want to jit this again in
1762 // the future.
1763 if (method_entrypoint == header->GetEntryPoint()) {
Jeff Hao00286db2017-05-30 16:53:07 -07001764 // The entrypoint is the one to invalidate, so we just update it to the interpreter entry point
Mathieu Chartierf044c222017-05-31 15:27:54 -07001765 // and clear the counter to get the method Jitted again.
Nicolas Geoffrayb88d59e2016-02-17 11:31:49 +00001766 Runtime::Current()->GetInstrumentation()->UpdateMethodsCode(
1767 method, GetQuickToInterpreterBridge());
Andreas Gampe98ea9d92018-10-19 14:06:15 -07001768 ClearMethodCounter(method, /*was_warm=*/ profiling_info != nullptr);
Nicolas Geoffrayb88d59e2016-02-17 11:31:49 +00001769 } else {
Nicolas Geoffray2a905b22019-06-06 09:04:07 +01001770 MutexLock mu(Thread::Current(), *Locks::jit_lock_);
Nicolas Geoffrayb88d59e2016-02-17 11:31:49 +00001771 auto it = osr_code_map_.find(method);
1772 if (it != osr_code_map_.end() && OatQuickMethodHeader::FromCodePointer(it->second) == header) {
1773 // Remove the OSR method, to avoid using it again.
1774 osr_code_map_.erase(it);
1775 }
1776 }
Nicolas Geoffraye32d24c2019-07-05 10:28:59 +01001777
Nicolas Geoffray32384402019-07-17 20:06:44 +01001778 // In case the method was pre-compiled, clear that information so we
Nicolas Geoffraye32d24c2019-07-05 10:28:59 +01001779 // can recompile it ourselves.
Nicolas Geoffray32384402019-07-17 20:06:44 +01001780 if (method->IsPreCompiled()) {
1781 method->ClearPreCompiled();
Nicolas Geoffraye32d24c2019-07-05 10:28:59 +01001782 }
Nicolas Geoffrayb88d59e2016-02-17 11:31:49 +00001783}
1784
Nicolas Geoffraybcd94c82016-03-03 13:23:33 +00001785void JitCodeCache::Dump(std::ostream& os) {
Nicolas Geoffray2a905b22019-06-06 09:04:07 +01001786 MutexLock mu(Thread::Current(), *Locks::jit_lock_);
David Srbecky44b977d2019-08-09 12:15:32 +01001787 os << "Current JIT code cache size (used / resident): "
1788 << GetCurrentRegion()->GetUsedMemoryForCode() / KB << "KB / "
1789 << GetCurrentRegion()->GetResidentMemoryForCode() / KB << "KB\n"
1790 << "Current JIT data cache size (used / resident): "
1791 << GetCurrentRegion()->GetUsedMemoryForData() / KB << "KB / "
1792 << GetCurrentRegion()->GetResidentMemoryForData() / KB << "KB\n";
Nicolas Geoffrayf2dcba02019-07-22 13:59:24 +01001793 if (!Runtime::Current()->IsZygote()) {
1794 os << "Zygote JIT code cache size (at point of fork): "
David Srbecky44b977d2019-08-09 12:15:32 +01001795 << shared_region_.GetUsedMemoryForCode() / KB << "KB / "
1796 << shared_region_.GetResidentMemoryForCode() / KB << "KB\n"
Nicolas Geoffrayf2dcba02019-07-22 13:59:24 +01001797 << "Zygote JIT data cache size (at point of fork): "
David Srbecky44b977d2019-08-09 12:15:32 +01001798 << shared_region_.GetUsedMemoryForData() / KB << "KB / "
1799 << shared_region_.GetResidentMemoryForData() / KB << "KB\n";
Nicolas Geoffrayf2dcba02019-07-22 13:59:24 +01001800 }
1801 os << "Current JIT mini-debug-info size: " << PrettySize(GetJitMiniDebugInfoMemUsage()) << "\n"
1802 << "Current JIT capacity: " << PrettySize(GetCurrentRegion()->GetCurrentCapacity()) << "\n"
Vladimir Marko2196c652017-11-30 16:16:07 +00001803 << "Current number of JIT JNI stub entries: " << jni_stubs_map_.size() << "\n"
Nicolas Geoffraybcd94c82016-03-03 13:23:33 +00001804 << "Current number of JIT code cache entries: " << method_code_map_.size() << "\n"
Nicolas Geoffrayc473dc72020-07-03 15:04:21 +01001805 << "Total number of JIT baseline compilations: " << number_of_baseline_compilations_ << "\n"
1806 << "Total number of JIT optimized compilations: " << number_of_optimized_compilations_ << "\n"
Nicolas Geoffraybcd94c82016-03-03 13:23:33 +00001807 << "Total number of JIT compilations for on stack replacement: "
1808 << number_of_osr_compilations_ << "\n"
Nicolas Geoffraybcd94c82016-03-03 13:23:33 +00001809 << "Total number of JIT code cache collections: " << number_of_collections_ << std::endl;
Nicolas Geoffray933330a2016-03-16 14:20:06 +00001810 histogram_stack_map_memory_use_.PrintMemoryUse(os);
1811 histogram_code_memory_use_.PrintMemoryUse(os);
1812 histogram_profiling_info_memory_use_.PrintMemoryUse(os);
Nicolas Geoffraybcd94c82016-03-03 13:23:33 +00001813}
1814
Nicolas Geoffray7a2c7c22018-11-20 10:03:13 +00001815void JitCodeCache::PostForkChildAction(bool is_system_server, bool is_zygote) {
Nicolas Geoffrayb08d5db2019-07-17 10:45:36 +01001816 Thread* self = Thread::Current();
1817
1818 // Remove potential tasks that have been inherited from the zygote.
1819 // We do this now and not in Jit::PostForkChildAction, as system server calls
1820 // JitCodeCache::PostForkChildAction first, and then does some code loading
1821 // that may result in new JIT tasks that we want to keep.
1822 ThreadPool* pool = Runtime::Current()->GetJit()->GetThreadPool();
1823 if (pool != nullptr) {
1824 pool->RemoveAllTasks(self);
1825 }
1826
1827 MutexLock mu(self, *Locks::jit_lock_);
Nicolas Geoffray88f3fd92019-06-27 16:32:13 +01001828
1829 // Reset potential writable MemMaps inherited from the zygote. We never want
1830 // to write to them.
1831 shared_region_.ResetWritableMappings();
1832
Nicolas Geoffraya48c3df2019-06-27 13:11:12 +00001833 if (is_zygote || Runtime::Current()->IsSafeMode()) {
1834 // Don't create a private region for a child zygote. Regions are usually map shared
1835 // (to satisfy dual-view), and we don't want children of a child zygote to inherit it.
Nicolas Geoffrayce9ed362018-11-29 03:19:28 +00001836 return;
1837 }
Nicolas Geoffray2a905b22019-06-06 09:04:07 +01001838
1839 // Reset all statistics to be specific to this process.
Nicolas Geoffrayc473dc72020-07-03 15:04:21 +01001840 number_of_baseline_compilations_ = 0;
1841 number_of_optimized_compilations_ = 0;
Nicolas Geoffray2a905b22019-06-06 09:04:07 +01001842 number_of_osr_compilations_ = 0;
1843 number_of_collections_ = 0;
Nicolas Geoffrayf2dcba02019-07-22 13:59:24 +01001844 histogram_stack_map_memory_use_.Reset();
1845 histogram_code_memory_use_.Reset();
1846 histogram_profiling_info_memory_use_.Reset();
Nicolas Geoffray7a2c7c22018-11-20 10:03:13 +00001847
1848 size_t initial_capacity = Runtime::Current()->GetJITOptions()->GetCodeCacheInitialCapacity();
1849 size_t max_capacity = Runtime::Current()->GetJITOptions()->GetCodeCacheMaxCapacity();
Nicolas Geoffray7a2c7c22018-11-20 10:03:13 +00001850 std::string error_msg;
Nicolas Geoffray9c54e182019-06-18 10:42:52 +01001851 if (!private_region_.Initialize(initial_capacity,
1852 max_capacity,
1853 /* rwx_memory_allowed= */ !is_system_server,
1854 is_zygote,
1855 &error_msg)) {
1856 LOG(WARNING) << "Could not create private region after zygote fork: " << error_msg;
Nicolas Geoffray7a2c7c22018-11-20 10:03:13 +00001857 }
Nicolas Geoffray7a2c7c22018-11-20 10:03:13 +00001858}
1859
Nicolas Geoffraya48c3df2019-06-27 13:11:12 +00001860JitMemoryRegion* JitCodeCache::GetCurrentRegion() {
1861 return Runtime::Current()->IsZygote() ? &shared_region_ : &private_region_;
1862}
1863
David Srbecky41617b12020-03-18 21:19:06 +00001864void JitCodeCache::VisitAllMethods(const std::function<void(const void*, ArtMethod*)>& cb) {
1865 for (const auto& it : jni_stubs_map_) {
1866 const JniStubData& data = it.second;
1867 if (data.IsCompiled()) {
1868 for (ArtMethod* method : data.GetMethods()) {
1869 cb(data.GetCode(), method);
1870 }
1871 }
1872 }
1873 for (auto it : method_code_map_) { // Includes OSR methods.
1874 cb(it.first, it.second);
1875 }
1876 for (auto it : saved_compiled_methods_map_) {
1877 cb(it.second, it.first);
1878 }
1879 for (auto it : zygote_map_) {
1880 if (it.code_ptr != nullptr && it.method != nullptr) {
1881 cb(it.code_ptr, it.method);
1882 }
1883 }
1884}
1885
Nicolas Geoffraye32d24c2019-07-05 10:28:59 +01001886void ZygoteMap::Initialize(uint32_t number_of_methods) {
1887 MutexLock mu(Thread::Current(), *Locks::jit_lock_);
1888 // Allocate for 40-80% capacity. This will offer OK lookup times, and termination
1889 // cases.
1890 size_t capacity = RoundUpToPowerOfTwo(number_of_methods * 100 / 80);
Nicolas Geoffraye3884e32019-10-28 17:04:49 +00001891 const uint8_t* memory = region_->AllocateData(
1892 capacity * sizeof(Entry) + sizeof(ZygoteCompilationState));
1893 if (memory == nullptr) {
1894 LOG(WARNING) << "Could not allocate data for the zygote map";
1895 return;
Nicolas Geoffraye32d24c2019-07-05 10:28:59 +01001896 }
Nicolas Geoffraye3884e32019-10-28 17:04:49 +00001897 const Entry* data = reinterpret_cast<const Entry*>(memory);
1898 region_->FillData(data, capacity, Entry { nullptr, nullptr });
1899 map_ = ArrayRef(data, capacity);
1900 compilation_state_ = reinterpret_cast<const ZygoteCompilationState*>(
1901 memory + capacity * sizeof(Entry));
1902 region_->WriteData(compilation_state_, ZygoteCompilationState::kInProgress);
Nicolas Geoffraye32d24c2019-07-05 10:28:59 +01001903}
1904
1905const void* ZygoteMap::GetCodeFor(ArtMethod* method, uintptr_t pc) const {
1906 if (map_.empty()) {
1907 return nullptr;
1908 }
1909
1910 if (method == nullptr) {
1911 // Do a linear search. This should only be used in debug builds.
1912 CHECK(kIsDebugBuild);
1913 for (const Entry& entry : map_) {
1914 const void* code_ptr = entry.code_ptr;
1915 if (code_ptr != nullptr) {
1916 OatQuickMethodHeader* method_header = OatQuickMethodHeader::FromCodePointer(code_ptr);
1917 if (method_header->Contains(pc)) {
1918 return code_ptr;
1919 }
1920 }
1921 }
1922 return nullptr;
1923 }
1924
1925 std::hash<ArtMethod*> hf;
1926 size_t index = hf(method) & (map_.size() - 1u);
1927 size_t original_index = index;
1928 // Loop over the array: we know this loop terminates as we will either
1929 // encounter the given method, or a null entry. Both terminate the loop.
1930 // Note that the zygote may concurrently write new entries to the map. That's OK as the
1931 // map is never resized.
1932 while (true) {
1933 const Entry& entry = map_[index];
1934 if (entry.method == nullptr) {
1935 // Not compiled yet.
1936 return nullptr;
1937 }
1938 if (entry.method == method) {
1939 if (entry.code_ptr == nullptr) {
1940 // This is a race with the zygote which wrote the method, but hasn't written the
1941 // code. Just bail and wait for the next time we need the method.
1942 return nullptr;
1943 }
1944 if (pc != 0 && !OatQuickMethodHeader::FromCodePointer(entry.code_ptr)->Contains(pc)) {
1945 return nullptr;
1946 }
1947 return entry.code_ptr;
1948 }
1949 index = (index + 1) & (map_.size() - 1);
1950 DCHECK_NE(original_index, index);
1951 }
1952}
1953
1954void ZygoteMap::Put(const void* code, ArtMethod* method) {
1955 if (map_.empty()) {
1956 return;
1957 }
1958 CHECK(Runtime::Current()->IsZygote());
1959 std::hash<ArtMethod*> hf;
1960 size_t index = hf(method) & (map_.size() - 1);
1961 size_t original_index = index;
1962 // Because the size of the map is bigger than the number of methods that will
1963 // be added, we are guaranteed to find a free slot in the array, and
1964 // therefore for this loop to terminate.
1965 while (true) {
David Srbecky87fb0322019-08-20 10:34:02 +01001966 const Entry* entry = &map_[index];
Nicolas Geoffraye32d24c2019-07-05 10:28:59 +01001967 if (entry->method == nullptr) {
1968 // Note that readers can read this memory concurrently, but that's OK as
1969 // we are writing pointers.
1970 region_->WriteData(entry, Entry { method, code });
1971 break;
1972 }
1973 index = (index + 1) & (map_.size() - 1);
1974 DCHECK_NE(original_index, index);
1975 }
1976 DCHECK_EQ(GetCodeFor(method), code);
1977}
1978
Mathieu Chartiere5f13e52015-02-24 09:37:21 -08001979} // namespace jit
1980} // namespace art