blob: a56f6f05f891bb0206a3a0476cfd4a116cec8c0f [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#ifndef ART_RUNTIME_JIT_JIT_CODE_CACHE_H_
18#define ART_RUNTIME_JIT_JIT_CODE_CACHE_H_
19
Andreas Gampef0f3c592018-06-26 13:28:00 -070020#include <iosfwd>
21#include <memory>
22#include <set>
23#include <string>
24#include <unordered_set>
25#include <vector>
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080026
Mingyao Yang063fc772016-08-02 11:02:54 -070027#include "base/arena_containers.h"
David Sehrc431b9d2018-03-02 12:01:51 -080028#include "base/atomic.h"
Andreas Gampef0f3c592018-06-26 13:28:00 -070029#include "base/histogram.h"
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080030#include "base/macros.h"
Vladimir Markoc34bebf2018-08-16 16:12:49 +010031#include "base/mem_map.h"
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080032#include "base/mutex.h"
David Sehr67bf42e2018-02-26 16:43:04 -080033#include "base/safe_map.h"
Nicolas Geoffray2a905b22019-06-06 09:04:07 +010034#include "jit_memory_region.h"
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080035
36namespace art {
37
Mathieu Chartiere401d142015-04-22 13:56:20 -070038class ArtMethod;
Vladimir Markob0b68cf2017-11-14 18:11:50 +000039template<class T> class Handle;
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010040class LinearAlloc;
Nicolas Geoffraye51ca8b2016-11-22 14:49:31 +000041class InlineCache;
Andreas Gampe5d08fcc2017-06-05 17:56:46 -070042class IsMarkedVisitor;
Vladimir Marko2196c652017-11-30 16:16:07 +000043class JitJniStubTestHelper;
Andreas Gampe513061a2017-06-01 09:17:34 -070044class OatQuickMethodHeader;
Vladimir Markob0b68cf2017-11-14 18:11:50 +000045struct ProfileMethodInfo;
Nicolas Geoffray26705e22015-10-28 12:50:11 +000046class ProfilingInfo;
Vladimir Marko2196c652017-11-30 16:16:07 +000047class Thread;
48
49namespace gc {
50namespace accounting {
51template<size_t kAlignment> class MemoryRangeBitmap;
52} // namespace accounting
53} // namespace gc
54
55namespace mirror {
56class Class;
57class Object;
58template<class T> class ObjectArray;
59} // namespace mirror
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080060
Vladimir Markob0b68cf2017-11-14 18:11:50 +000061namespace gc {
62namespace accounting {
63template<size_t kAlignment> class MemoryRangeBitmap;
64} // namespace accounting
65} // namespace gc
66
67namespace mirror {
68class Class;
69class Object;
70template<class T> class ObjectArray;
71} // namespace mirror
72
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080073namespace jit {
74
Nicolas Geoffrayce9ed362018-11-29 03:19:28 +000075class MarkCodeClosure;
Orion Hodsondf1ab202019-06-02 16:45:03 +010076
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010077using CodeCacheBitmap = gc::accounting::MemoryRangeBitmap<kJitCodeAlignment>;
78
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080079class JitCodeCache {
80 public:
Nicolas Geoffray0a3be162015-11-18 11:15:22 +000081 static constexpr size_t kMaxCapacity = 64 * MB;
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010082 // Put the default to a very low amount for debug builds to stress the code cache
83 // collection.
Nicolas Geoffray7ca4b772016-02-23 13:52:01 +000084 static constexpr size_t kInitialCapacity = kIsDebugBuild ? 8 * KB : 64 * KB;
Nicolas Geoffray65b83d82016-02-22 13:14:04 +000085
86 // By default, do not GC until reaching 256KB.
87 static constexpr size_t kReservedCapacity = kInitialCapacity * 4;
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080088
Mathieu Chartierbce416f2015-03-23 12:37:35 -070089 // Create the code cache with a code + data capacity equal to "capacity", error message is passed
90 // in the out arg error_msg.
Nicolas Geoffrayc9de61c2018-11-27 17:34:31 +000091 static JitCodeCache* Create(bool used_only_for_profile_data,
Orion Hodsonad28f5e2018-10-17 09:08:17 +010092 bool rwx_memory_allowed,
Nicolas Geoffrayc9de61c2018-11-27 17:34:31 +000093 bool is_zygote,
Nicolas Geoffraya25dce92016-01-12 16:41:10 +000094 std::string* error_msg);
Vladimir Markob0b68cf2017-11-14 18:11:50 +000095 ~JitCodeCache();
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080096
Nicolas Geoffrayd2f13ba2019-06-04 16:48:58 +010097 bool NotifyCompilationOf(ArtMethod* method, Thread* self, bool osr, bool prejit)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -070098 REQUIRES_SHARED(Locks::mutator_lock_)
Nicolas Geoffray2a905b22019-06-06 09:04:07 +010099 REQUIRES(!Locks::jit_lock_);
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100100
Alex Lightdba61482016-12-21 08:20:29 -0800101 void NotifyMethodRedefined(ArtMethod* method)
102 REQUIRES(Locks::mutator_lock_)
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100103 REQUIRES(!Locks::jit_lock_);
Alex Lightdba61482016-12-21 08:20:29 -0800104
Nicolas Geoffray07e3ca92016-03-11 09:57:57 +0000105 // Notify to the code cache that the compiler wants to use the
106 // profiling info of `method` to drive optimizations,
107 // and therefore ensure the returned profiling info object is not
108 // collected.
109 ProfilingInfo* NotifyCompilerUse(ArtMethod* method, Thread* self)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700110 REQUIRES_SHARED(Locks::mutator_lock_)
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100111 REQUIRES(!Locks::jit_lock_);
Nicolas Geoffrayb6e20ae2016-03-07 14:29:04 +0000112
buzbee454b3b62016-04-07 14:42:47 -0700113 void DoneCompiling(ArtMethod* method, Thread* self, bool osr)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700114 REQUIRES_SHARED(Locks::mutator_lock_)
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100115 REQUIRES(!Locks::jit_lock_);
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100116
Nicolas Geoffray07e3ca92016-03-11 09:57:57 +0000117 void DoneCompilerUse(ArtMethod* method, Thread* self)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700118 REQUIRES_SHARED(Locks::mutator_lock_)
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100119 REQUIRES(!Locks::jit_lock_);
Nicolas Geoffrayb6e20ae2016-03-07 14:29:04 +0000120
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100121 // Allocate and write code and its metadata to the code cache.
Mingyao Yang063fc772016-08-02 11:02:54 -0700122 // `cha_single_implementation_list` needs to be registered via CHA (if it's
123 // still valid), since the compiled code still needs to be invalidated if the
124 // single-implementation assumptions are violated later. This needs to be done
125 // even if `has_should_deoptimize_flag` is false, which can happen due to CHA
126 // guard elimination.
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100127 uint8_t* CommitCode(Thread* self,
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100128 ArtMethod* method,
Nicolas Geoffray132d8362016-11-16 09:19:42 +0000129 uint8_t* stack_map,
130 uint8_t* roots_data,
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100131 const uint8_t* code,
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000132 size_t code_size,
Orion Hodsondbd05fe2017-08-10 11:41:35 +0100133 size_t data_size,
Nicolas Geoffray132d8362016-11-16 09:19:42 +0000134 bool osr,
Vladimir Markoac3ac682018-09-20 11:01:43 +0100135 const std::vector<Handle<mirror::Object>>& roots,
Mingyao Yang063fc772016-08-02 11:02:54 -0700136 bool has_should_deoptimize_flag,
137 const ArenaSet<ArtMethod*>& cha_single_implementation_list)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700138 REQUIRES_SHARED(Locks::mutator_lock_)
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100139 REQUIRES(!Locks::jit_lock_);
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100140
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100141 // Return true if the code cache contains this pc.
142 bool ContainsPc(const void* pc) const;
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800143
Alex Light2d441b12018-06-08 15:33:21 -0700144 // Returns true if either the method's entrypoint is JIT compiled code or it is the
145 // instrumentation entrypoint and we can jump to jit code for this method. For testing use only.
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100146 bool WillExecuteJitCode(ArtMethod* method) REQUIRES(!Locks::jit_lock_);
Alex Light2d441b12018-06-08 15:33:21 -0700147
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000148 // Return true if the code cache contains this method.
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100149 bool ContainsMethod(ArtMethod* method) REQUIRES(!Locks::jit_lock_);
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000150
Vladimir Marko2196c652017-11-30 16:16:07 +0000151 // Return the code pointer for a JNI-compiled stub if the method is in the cache, null otherwise.
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100152 const void* GetJniStubCode(ArtMethod* method) REQUIRES(!Locks::jit_lock_);
Vladimir Marko2196c652017-11-30 16:16:07 +0000153
Nicolas Geoffray132d8362016-11-16 09:19:42 +0000154 // Allocate a region of data that contain `size` bytes, and potentially space
155 // for storing `number_of_roots` roots. Returns null if there is no more room.
Nicolas Geoffrayed015ac2016-12-15 17:58:48 +0000156 // Return the number of bytes allocated.
157 size_t ReserveData(Thread* self,
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700158 size_t stack_map_size,
Nicolas Geoffrayed015ac2016-12-15 17:58:48 +0000159 size_t number_of_roots,
160 ArtMethod* method,
161 uint8_t** stack_map_data,
162 uint8_t** roots_data)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700163 REQUIRES_SHARED(Locks::mutator_lock_)
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100164 REQUIRES(!Locks::jit_lock_);
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100165
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000166 // Clear data from the data portion of the code cache.
Nicolas Geoffrayf46501c2016-11-22 13:45:36 +0000167 void ClearData(Thread* self, uint8_t* stack_map_data, uint8_t* roots_data)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700168 REQUIRES_SHARED(Locks::mutator_lock_)
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100169 REQUIRES(!Locks::jit_lock_);
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000170
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100171 // Perform a collection on the code cache.
172 void GarbageCollectCache(Thread* self)
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100173 REQUIRES(!Locks::jit_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700174 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100175
176 // Given the 'pc', try to find the JIT compiled code associated with it.
177 // Return null if 'pc' is not in the code cache. 'method' is passed for
178 // sanity check.
179 OatQuickMethodHeader* LookupMethodHeader(uintptr_t pc, ArtMethod* method)
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100180 REQUIRES(!Locks::jit_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700181 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100182
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000183 OatQuickMethodHeader* LookupOsrMethodHeader(ArtMethod* method)
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100184 REQUIRES(!Locks::jit_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700185 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000186
Orion Hodsoneced6922017-06-01 10:54:28 +0100187 // Removes method from the cache for testing purposes. The caller
188 // must ensure that all threads are suspended and the method should
189 // not be in any thread's stack.
190 bool RemoveMethod(ArtMethod* method, bool release_memory)
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100191 REQUIRES(!Locks::jit_lock_)
Orion Hodsoneced6922017-06-01 10:54:28 +0100192 REQUIRES(Locks::mutator_lock_);
193
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000194 // Remove all methods in our cache that were allocated by 'alloc'.
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100195 void RemoveMethodsIn(Thread* self, const LinearAlloc& alloc)
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100196 REQUIRES(!Locks::jit_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700197 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800198
Nicolas Geoffraye51ca8b2016-11-22 14:49:31 +0000199 void CopyInlineCacheInto(const InlineCache& ic, Handle<mirror::ObjectArray<mirror::Class>> array)
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100200 REQUIRES(!Locks::jit_lock_)
Nicolas Geoffraye51ca8b2016-11-22 14:49:31 +0000201 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffrayb6e20ae2016-03-07 14:29:04 +0000202
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000203 // Create a 'ProfileInfo' for 'method'. If 'retry_allocation' is true,
204 // will collect and retry if the first allocation is unsuccessful.
205 ProfilingInfo* AddProfilingInfo(Thread* self,
206 ArtMethod* method,
207 const std::vector<uint32_t>& entries,
208 bool retry_allocation)
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100209 REQUIRES(!Locks::jit_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700210 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000211
Nicolas Geoffray0a3be162015-11-18 11:15:22 +0000212 bool OwnsSpace(const void* mspace) const NO_THREAD_SAFETY_ANALYSIS {
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100213 return private_region_.OwnsSpace(mspace);
Nicolas Geoffray0a3be162015-11-18 11:15:22 +0000214 }
215
216 void* MoreCore(const void* mspace, intptr_t increment);
217
Calin Juravle99629622016-04-19 16:33:46 +0100218 // Adds to `methods` all profiled methods which are part of any of the given dex locations.
219 void GetProfiledMethods(const std::set<std::string>& dex_base_locations,
Calin Juravle940eb0c2017-01-30 19:30:44 -0800220 std::vector<ProfileMethodInfo>& methods)
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100221 REQUIRES(!Locks::jit_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700222 REQUIRES_SHARED(Locks::mutator_lock_);
Calin Juravle31f2c152015-10-23 17:56:15 +0100223
Nicolas Geoffrayb88d59e2016-02-17 11:31:49 +0000224 void InvalidateCompiledCodeFor(ArtMethod* method, const OatQuickMethodHeader* code)
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100225 REQUIRES(!Locks::jit_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700226 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffrayb88d59e2016-02-17 11:31:49 +0000227
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100228 void Dump(std::ostream& os) REQUIRES(!Locks::jit_lock_);
Nicolas Geoffraybcd94c82016-03-03 13:23:33 +0000229
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100230 bool IsOsrCompiled(ArtMethod* method) REQUIRES(!Locks::jit_lock_);
Nicolas Geoffray71cd50f2016-04-14 15:00:33 +0100231
Nicolas Geoffray132d8362016-11-16 09:19:42 +0000232 void SweepRootTables(IsMarkedVisitor* visitor)
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100233 REQUIRES(!Locks::jit_lock_)
Nicolas Geoffray132d8362016-11-16 09:19:42 +0000234 REQUIRES_SHARED(Locks::mutator_lock_);
235
Nicolas Geoffraye51ca8b2016-11-22 14:49:31 +0000236 // The GC needs to disallow the reading of inline caches when it processes them,
237 // to avoid having a class being used while it is being deleted.
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100238 void AllowInlineCacheAccess() REQUIRES(!Locks::jit_lock_);
239 void DisallowInlineCacheAccess() REQUIRES(!Locks::jit_lock_);
240 void BroadcastForInlineCacheAccess() REQUIRES(!Locks::jit_lock_);
Nicolas Geoffraye51ca8b2016-11-22 14:49:31 +0000241
Alex Lightdba61482016-12-21 08:20:29 -0800242 // Notify the code cache that the method at the pointer 'old_method' is being moved to the pointer
243 // 'new_method' since it is being made obsolete.
244 void MoveObsoleteMethod(ArtMethod* old_method, ArtMethod* new_method)
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100245 REQUIRES(!Locks::jit_lock_) REQUIRES(Locks::mutator_lock_);
Alex Lightdba61482016-12-21 08:20:29 -0800246
Nicolas Geoffray226805d2018-12-14 10:59:02 +0000247 // Dynamically change whether we want to garbage collect code.
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100248 void SetGarbageCollectCode(bool value) REQUIRES(!Locks::jit_lock_);
Nicolas Geoffray169722b2017-02-27 14:01:59 +0000249
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100250 bool GetGarbageCollectCode() REQUIRES(!Locks::jit_lock_);
Nicolas Geoffray226805d2018-12-14 10:59:02 +0000251
252 // Unsafe variant for debug checks.
253 bool GetGarbageCollectCodeUnsafe() const NO_THREAD_SAFETY_ANALYSIS {
Alex Light2d441b12018-06-08 15:33:21 -0700254 return garbage_collect_code_;
255 }
256
257 // If Jit-gc has been disabled (and instrumentation has been enabled) this will return the
258 // jit-compiled entrypoint for this method. Otherwise it will return null.
259 const void* FindCompiledCodeForInstrumentation(ArtMethod* method)
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100260 REQUIRES(!Locks::jit_lock_)
Alex Light2d441b12018-06-08 15:33:21 -0700261 REQUIRES_SHARED(Locks::mutator_lock_);
262
Nicolas Geoffray7989ac92019-04-10 12:42:30 +0100263 // Fetch the entrypoint that zygote may have saved for a method. The zygote saves an entrypoint
264 // only for the case when the method's declaring class is not initialized.
265 const void* GetZygoteSavedEntryPoint(ArtMethod* method)
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100266 REQUIRES(!Locks::jit_lock_)
Nicolas Geoffray7989ac92019-04-10 12:42:30 +0100267 REQUIRES_SHARED(Locks::mutator_lock_);
268
Nicolas Geoffrayc9de61c2018-11-27 17:34:31 +0000269 void PostForkChildAction(bool is_system_server, bool is_zygote);
270
Nicolas Geoffray226805d2018-12-14 10:59:02 +0000271 // Clear the entrypoints of JIT compiled methods that belong in the zygote space.
272 // This is used for removing non-debuggable JIT code at the point we realize the runtime
273 // is debuggable.
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100274 void ClearEntryPointsInZygoteExecSpace() REQUIRES(!Locks::jit_lock_) REQUIRES(Locks::mutator_lock_);
Nicolas Geoffray226805d2018-12-14 10:59:02 +0000275
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800276 private:
Nicolas Geoffrayc9de61c2018-11-27 17:34:31 +0000277 JitCodeCache();
278
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100279 // Internal version of 'CommitCode' that will not retry if the
280 // allocation fails. Return null if the allocation fails.
281 uint8_t* CommitCodeInternal(Thread* self,
282 ArtMethod* method,
Nicolas Geoffray132d8362016-11-16 09:19:42 +0000283 uint8_t* stack_map,
284 uint8_t* roots_data,
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100285 const uint8_t* code,
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000286 size_t code_size,
Orion Hodsondbd05fe2017-08-10 11:41:35 +0100287 size_t data_size,
Nicolas Geoffray132d8362016-11-16 09:19:42 +0000288 bool osr,
Vladimir Markoac3ac682018-09-20 11:01:43 +0100289 const std::vector<Handle<mirror::Object>>& roots,
Mingyao Yang063fc772016-08-02 11:02:54 -0700290 bool has_should_deoptimize_flag,
291 const ArenaSet<ArtMethod*>& cha_single_implementation_list)
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100292 REQUIRES(!Locks::jit_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700293 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100294
Alex Light3e36a9c2018-06-19 09:45:05 -0700295 // Adds the given roots to the roots_data. Only a member for annotalysis.
Vladimir Markoac3ac682018-09-20 11:01:43 +0100296 void FillRootTable(uint8_t* roots_data, const std::vector<Handle<mirror::Object>>& roots)
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100297 REQUIRES(Locks::jit_lock_)
Alex Light3e36a9c2018-06-19 09:45:05 -0700298 REQUIRES_SHARED(Locks::mutator_lock_);
299
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000300 ProfilingInfo* AddProfilingInfoInternal(Thread* self,
301 ArtMethod* method,
302 const std::vector<uint32_t>& entries)
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100303 REQUIRES(Locks::jit_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700304 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000305
Alex Light33b7b5d2018-08-07 19:13:51 +0000306 // If a collection is in progress, wait for it to finish. Must be called with the mutator lock.
307 // The non-mutator lock version should be used if possible. This method will release then
308 // re-acquire the mutator lock.
309 void WaitForPotentialCollectionToCompleteRunnable(Thread* self)
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100310 REQUIRES(Locks::jit_lock_, !Roles::uninterruptible_) REQUIRES_SHARED(Locks::mutator_lock_);
Alex Light33b7b5d2018-08-07 19:13:51 +0000311
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100312 // If a collection is in progress, wait for it to finish. Return
313 // whether the thread actually waited.
314 bool WaitForPotentialCollectionToComplete(Thread* self)
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100315 REQUIRES(Locks::jit_lock_) REQUIRES(!Locks::mutator_lock_);
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100316
Mingyao Yang063fc772016-08-02 11:02:54 -0700317 // Remove CHA dependents and underlying allocations for entries in `method_headers`.
318 void FreeAllMethodHeaders(const std::unordered_set<OatQuickMethodHeader*>& method_headers)
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100319 REQUIRES(!Locks::jit_lock_)
Mingyao Yang063fc772016-08-02 11:02:54 -0700320 REQUIRES(!Locks::cha_lock_);
321
Vladimir Marko2196c652017-11-30 16:16:07 +0000322 // Removes method from the cache. The caller must ensure that all threads
323 // are suspended and the method should not be in any thread's stack.
324 bool RemoveMethodLocked(ArtMethod* method, bool release_memory)
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100325 REQUIRES(Locks::jit_lock_)
Vladimir Marko2196c652017-11-30 16:16:07 +0000326 REQUIRES(Locks::mutator_lock_);
327
Orion Hodson607624f2018-05-11 10:10:46 +0100328 // Free code and data allocations for `code_ptr`.
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100329 void FreeCodeAndData(const void* code_ptr) REQUIRES(Locks::jit_lock_);
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100330
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000331 // Number of bytes allocated in the code cache.
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100332 size_t CodeCacheSize() REQUIRES(!Locks::jit_lock_);
Nicolas Geoffrayb9f1af52018-11-16 10:30:29 +0000333
334 // Number of bytes allocated in the data cache.
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100335 size_t DataCacheSize() REQUIRES(!Locks::jit_lock_);
Nicolas Geoffrayb9f1af52018-11-16 10:30:29 +0000336
337 // Number of bytes allocated in the code cache.
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100338 size_t CodeCacheSizeLocked() REQUIRES(Locks::jit_lock_);
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000339
340 // Number of bytes allocated in the data cache.
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100341 size_t DataCacheSizeLocked() REQUIRES(Locks::jit_lock_);
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000342
Nicolas Geoffray0a3be162015-11-18 11:15:22 +0000343 // Notify all waiting threads that a collection is done.
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100344 void NotifyCollectionDone(Thread* self) REQUIRES(Locks::jit_lock_);
Nicolas Geoffray0a3be162015-11-18 11:15:22 +0000345
Vladimir Marko2196c652017-11-30 16:16:07 +0000346 // Return whether we should do a full collection given the current state of the cache.
347 bool ShouldDoFullCollection()
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100348 REQUIRES(Locks::jit_lock_)
Vladimir Marko2196c652017-11-30 16:16:07 +0000349 REQUIRES_SHARED(Locks::mutator_lock_);
350
Nicolas Geoffray35122442016-03-02 12:05:30 +0000351 void DoCollection(Thread* self, bool collect_profiling_info)
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100352 REQUIRES(!Locks::jit_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700353 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray8d372502016-02-23 13:56:43 +0000354
Nicolas Geoffray9abb2972016-03-04 14:32:59 +0000355 void RemoveUnmarkedCode(Thread* self)
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100356 REQUIRES(!Locks::jit_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700357 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray8d372502016-02-23 13:56:43 +0000358
359 void MarkCompiledCodeOnThreadStacks(Thread* self)
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100360 REQUIRES(!Locks::jit_lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700361 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray8d372502016-02-23 13:56:43 +0000362
Nicolas Geoffrayb9f1af52018-11-16 10:30:29 +0000363 CodeCacheBitmap* GetLiveBitmap() const {
364 return live_bitmap_.get();
365 }
366
Nicolas Geoffrayce9ed362018-11-29 03:19:28 +0000367 bool IsInZygoteDataSpace(const void* ptr) const {
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100368 return shared_region_.IsInDataSpace(ptr);
Nicolas Geoffrayce9ed362018-11-29 03:19:28 +0000369 }
370
371 bool IsInZygoteExecSpace(const void* ptr) const {
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100372 return shared_region_.IsInExecSpace(ptr);
Nicolas Geoffrayce9ed362018-11-29 03:19:28 +0000373 }
374
Nicolas Geoffraye51ca8b2016-11-22 14:49:31 +0000375 bool IsWeakAccessEnabled(Thread* self) const;
376 void WaitUntilInlineCacheAccessible(Thread* self)
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100377 REQUIRES(!Locks::jit_lock_)
Nicolas Geoffraye51ca8b2016-11-22 14:49:31 +0000378 REQUIRES_SHARED(Locks::mutator_lock_);
379
Vladimir Marko2196c652017-11-30 16:16:07 +0000380 class JniStubKey;
381 class JniStubData;
382
Nicolas Geoffraye51ca8b2016-11-22 14:49:31 +0000383 // Whether the GC allows accessing weaks in inline caches. Note that this
384 // is not used by the concurrent collector, which uses
385 // Thread::SetWeakRefAccessEnabled instead.
386 Atomic<bool> is_weak_access_enabled_;
387
388 // Condition to wait on for accessing inline caches.
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100389 ConditionVariable inline_cache_cond_ GUARDED_BY(Locks::jit_lock_);
Nicolas Geoffraye51ca8b2016-11-22 14:49:31 +0000390
Nicolas Geoffray2a905b22019-06-06 09:04:07 +0100391 // -------------- JIT memory regions ------------------------------------- //
392
393 // Shared region, inherited from the zygote.
394 JitMemoryRegion shared_region_;
395
396 // Process's own region.
397 JitMemoryRegion private_region_;
398
399 // -------------- Global JIT maps --------------------------------------- //
400
401 // Holds compiled code associated with the shorty for a JNI stub.
402 SafeMap<JniStubKey, JniStubData> jni_stubs_map_ GUARDED_BY(Locks::jit_lock_);
403
404 // Holds compiled code associated to the ArtMethod.
405 SafeMap<const void*, ArtMethod*> method_code_map_ GUARDED_BY(Locks::jit_lock_);
406
407 // Holds osr compiled code associated to the ArtMethod.
408 SafeMap<ArtMethod*, const void*> osr_code_map_ GUARDED_BY(Locks::jit_lock_);
409
410 // ProfilingInfo objects we have allocated.
411 std::vector<ProfilingInfo*> profiling_infos_ GUARDED_BY(Locks::jit_lock_);
412
413 // -------------- JIT GC related data structures ----------------------- //
414
415 // Condition to wait on during collection.
416 ConditionVariable lock_cond_ GUARDED_BY(Locks::jit_lock_);
417
418 // Whether there is a code cache collection in progress.
419 bool collection_in_progress_ GUARDED_BY(Locks::jit_lock_);
420
421 // Bitmap for collecting code and data.
422 std::unique_ptr<CodeCacheBitmap> live_bitmap_;
423
424 // Whether the last collection round increased the code cache.
425 bool last_collection_increased_code_cache_ GUARDED_BY(Locks::jit_lock_);
426
427 // Whether we can do garbage collection. Not 'const' as tests may override this.
428 bool garbage_collect_code_ GUARDED_BY(Locks::jit_lock_);
429
430 // ---------------- JIT statistics -------------------------------------- //
431
432 // Number of compilations done throughout the lifetime of the JIT.
433 size_t number_of_compilations_ GUARDED_BY(Locks::jit_lock_);
434
435 // Number of compilations for on-stack-replacement done throughout the lifetime of the JIT.
436 size_t number_of_osr_compilations_ GUARDED_BY(Locks::jit_lock_);
437
438 // Number of code cache collections done throughout the lifetime of the JIT.
439 size_t number_of_collections_ GUARDED_BY(Locks::jit_lock_);
440
441 // Histograms for keeping track of stack map size statistics.
442 Histogram<uint64_t> histogram_stack_map_memory_use_ GUARDED_BY(Locks::jit_lock_);
443
444 // Histograms for keeping track of code size statistics.
445 Histogram<uint64_t> histogram_code_memory_use_ GUARDED_BY(Locks::jit_lock_);
446
447 // Histograms for keeping track of profiling info statistics.
448 Histogram<uint64_t> histogram_profiling_info_memory_use_ GUARDED_BY(Locks::jit_lock_);
Nicolas Geoffrayc9de61c2018-11-27 17:34:31 +0000449
Vladimir Marko2196c652017-11-30 16:16:07 +0000450 friend class art::JitJniStubTestHelper;
Calin Juravle016fcbe22018-05-03 19:47:35 -0700451 friend class ScopedCodeCacheWrite;
Nicolas Geoffrayce9ed362018-11-29 03:19:28 +0000452 friend class MarkCodeClosure;
Calin Juravle016fcbe22018-05-03 19:47:35 -0700453
Nicolas Geoffrayc9de61c2018-11-27 17:34:31 +0000454 DISALLOW_COPY_AND_ASSIGN(JitCodeCache);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800455};
456
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800457} // namespace jit
458} // namespace art
459
460#endif // ART_RUNTIME_JIT_JIT_CODE_CACHE_H_