blob: f7829de8e7a158ae081aa976f613e888a0547afc [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"
31#include "base/mutex.h"
David Sehr67bf42e2018-02-26 16:43:04 -080032#include "base/safe_map.h"
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080033
34namespace art {
35
Mathieu Chartiere401d142015-04-22 13:56:20 -070036class ArtMethod;
Vladimir Markob0b68cf2017-11-14 18:11:50 +000037template<class T> class Handle;
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010038class LinearAlloc;
Nicolas Geoffraye51ca8b2016-11-22 14:49:31 +000039class InlineCache;
Andreas Gampe5d08fcc2017-06-05 17:56:46 -070040class IsMarkedVisitor;
Vladimir Marko2196c652017-11-30 16:16:07 +000041class JitJniStubTestHelper;
Andreas Gampef0f3c592018-06-26 13:28:00 -070042class MemMap;
Andreas Gampe513061a2017-06-01 09:17:34 -070043class OatQuickMethodHeader;
Vladimir Markob0b68cf2017-11-14 18:11:50 +000044struct ProfileMethodInfo;
Nicolas Geoffray26705e22015-10-28 12:50:11 +000045class ProfilingInfo;
Vladimir Marko2196c652017-11-30 16:16:07 +000046class Thread;
47
48namespace gc {
49namespace accounting {
50template<size_t kAlignment> class MemoryRangeBitmap;
51} // namespace accounting
52} // namespace gc
53
54namespace mirror {
55class Class;
56class Object;
57template<class T> class ObjectArray;
58} // namespace mirror
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080059
Vladimir Markob0b68cf2017-11-14 18:11:50 +000060namespace gc {
61namespace accounting {
62template<size_t kAlignment> class MemoryRangeBitmap;
63} // namespace accounting
64} // namespace gc
65
66namespace mirror {
67class Class;
68class Object;
69template<class T> class ObjectArray;
70} // namespace mirror
71
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080072namespace jit {
73
74class JitInstrumentationCache;
Calin Juravle016fcbe22018-05-03 19:47:35 -070075class ScopedCodeCacheWrite;
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080076
Nicolas Geoffray0a3be162015-11-18 11:15:22 +000077// Alignment in bits that will suit all architectures.
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010078static constexpr int kJitCodeAlignment = 16;
79using CodeCacheBitmap = gc::accounting::MemoryRangeBitmap<kJitCodeAlignment>;
80
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080081class JitCodeCache {
82 public:
Nicolas Geoffray0a3be162015-11-18 11:15:22 +000083 static constexpr size_t kMaxCapacity = 64 * MB;
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010084 // Put the default to a very low amount for debug builds to stress the code cache
85 // collection.
Nicolas Geoffray7ca4b772016-02-23 13:52:01 +000086 static constexpr size_t kInitialCapacity = kIsDebugBuild ? 8 * KB : 64 * KB;
Nicolas Geoffray65b83d82016-02-22 13:14:04 +000087
88 // By default, do not GC until reaching 256KB.
89 static constexpr size_t kReservedCapacity = kInitialCapacity * 4;
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080090
Mathieu Chartierbce416f2015-03-23 12:37:35 -070091 // Create the code cache with a code + data capacity equal to "capacity", error message is passed
92 // in the out arg error_msg.
Nicolas Geoffraya25dce92016-01-12 16:41:10 +000093 static JitCodeCache* Create(size_t initial_capacity,
94 size_t max_capacity,
95 bool generate_debug_info,
Calin Juravle016fcbe22018-05-03 19:47:35 -070096 bool used_only_for_profile_data,
Nicolas Geoffraya25dce92016-01-12 16:41:10 +000097 std::string* error_msg);
Vladimir Markob0b68cf2017-11-14 18:11:50 +000098 ~JitCodeCache();
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080099
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100100 // Number of bytes allocated in the code cache.
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100101 size_t CodeCacheSize() REQUIRES(!lock_);
102
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100103 // Number of bytes allocated in the data cache.
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100104 size_t DataCacheSize() REQUIRES(!lock_);
105
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000106 bool NotifyCompilationOf(ArtMethod* method, Thread* self, bool osr)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700107 REQUIRES_SHARED(Locks::mutator_lock_)
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100108 REQUIRES(!lock_);
109
Alex Lightdba61482016-12-21 08:20:29 -0800110 void NotifyMethodRedefined(ArtMethod* method)
111 REQUIRES(Locks::mutator_lock_)
112 REQUIRES(!lock_);
113
Nicolas Geoffray07e3ca92016-03-11 09:57:57 +0000114 // Notify to the code cache that the compiler wants to use the
115 // profiling info of `method` to drive optimizations,
116 // and therefore ensure the returned profiling info object is not
117 // collected.
118 ProfilingInfo* NotifyCompilerUse(ArtMethod* method, Thread* self)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700119 REQUIRES_SHARED(Locks::mutator_lock_)
Nicolas Geoffrayb6e20ae2016-03-07 14:29:04 +0000120 REQUIRES(!lock_);
121
buzbee454b3b62016-04-07 14:42:47 -0700122 void DoneCompiling(ArtMethod* method, Thread* self, bool osr)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700123 REQUIRES_SHARED(Locks::mutator_lock_)
Nicolas Geoffray73be1e82015-09-17 15:22:56 +0100124 REQUIRES(!lock_);
125
Nicolas Geoffray07e3ca92016-03-11 09:57:57 +0000126 void DoneCompilerUse(ArtMethod* method, Thread* self)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700127 REQUIRES_SHARED(Locks::mutator_lock_)
Nicolas Geoffrayb6e20ae2016-03-07 14:29:04 +0000128 REQUIRES(!lock_);
129
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100130 // Allocate and write code and its metadata to the code cache.
Mingyao Yang063fc772016-08-02 11:02:54 -0700131 // `cha_single_implementation_list` needs to be registered via CHA (if it's
132 // still valid), since the compiled code still needs to be invalidated if the
133 // single-implementation assumptions are violated later. This needs to be done
134 // even if `has_should_deoptimize_flag` is false, which can happen due to CHA
135 // guard elimination.
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100136 uint8_t* CommitCode(Thread* self,
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100137 ArtMethod* method,
Nicolas Geoffray132d8362016-11-16 09:19:42 +0000138 uint8_t* stack_map,
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700139 uint8_t* method_info,
Nicolas Geoffray132d8362016-11-16 09:19:42 +0000140 uint8_t* roots_data,
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100141 size_t frame_size_in_bytes,
142 size_t core_spill_mask,
143 size_t fp_spill_mask,
144 const uint8_t* code,
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000145 size_t code_size,
Orion Hodsondbd05fe2017-08-10 11:41:35 +0100146 size_t data_size,
Nicolas Geoffray132d8362016-11-16 09:19:42 +0000147 bool osr,
Mingyao Yang063fc772016-08-02 11:02:54 -0700148 Handle<mirror::ObjectArray<mirror::Object>> roots,
149 bool has_should_deoptimize_flag,
150 const ArenaSet<ArtMethod*>& cha_single_implementation_list)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700151 REQUIRES_SHARED(Locks::mutator_lock_)
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100152 REQUIRES(!lock_);
153
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100154 // Return true if the code cache contains this pc.
155 bool ContainsPc(const void* pc) const;
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800156
Alex Light2d441b12018-06-08 15:33:21 -0700157 // Returns true if either the method's entrypoint is JIT compiled code or it is the
158 // instrumentation entrypoint and we can jump to jit code for this method. For testing use only.
159 bool WillExecuteJitCode(ArtMethod* method) REQUIRES(!lock_);
160
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000161 // Return true if the code cache contains this method.
162 bool ContainsMethod(ArtMethod* method) REQUIRES(!lock_);
163
Vladimir Marko2196c652017-11-30 16:16:07 +0000164 // Return the code pointer for a JNI-compiled stub if the method is in the cache, null otherwise.
165 const void* GetJniStubCode(ArtMethod* method) REQUIRES(!lock_);
166
Nicolas Geoffray132d8362016-11-16 09:19:42 +0000167 // Allocate a region of data that contain `size` bytes, and potentially space
168 // for storing `number_of_roots` roots. Returns null if there is no more room.
Nicolas Geoffrayed015ac2016-12-15 17:58:48 +0000169 // Return the number of bytes allocated.
170 size_t ReserveData(Thread* self,
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700171 size_t stack_map_size,
172 size_t method_info_size,
Nicolas Geoffrayed015ac2016-12-15 17:58:48 +0000173 size_t number_of_roots,
174 ArtMethod* method,
175 uint8_t** stack_map_data,
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700176 uint8_t** method_info_data,
Nicolas Geoffrayed015ac2016-12-15 17:58:48 +0000177 uint8_t** roots_data)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700178 REQUIRES_SHARED(Locks::mutator_lock_)
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100179 REQUIRES(!lock_);
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100180
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000181 // Clear data from the data portion of the code cache.
Nicolas Geoffrayf46501c2016-11-22 13:45:36 +0000182 void ClearData(Thread* self, uint8_t* stack_map_data, uint8_t* roots_data)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700183 REQUIRES_SHARED(Locks::mutator_lock_)
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000184 REQUIRES(!lock_);
185
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100186 CodeCacheBitmap* GetLiveBitmap() const {
187 return live_bitmap_.get();
188 }
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800189
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100190 // Perform a collection on the code cache.
191 void GarbageCollectCache(Thread* self)
192 REQUIRES(!lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700193 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100194
195 // Given the 'pc', try to find the JIT compiled code associated with it.
196 // Return null if 'pc' is not in the code cache. 'method' is passed for
197 // sanity check.
198 OatQuickMethodHeader* LookupMethodHeader(uintptr_t pc, ArtMethod* method)
199 REQUIRES(!lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700200 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100201
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000202 OatQuickMethodHeader* LookupOsrMethodHeader(ArtMethod* method)
203 REQUIRES(!lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700204 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000205
Orion Hodsoneced6922017-06-01 10:54:28 +0100206 // Removes method from the cache for testing purposes. The caller
207 // must ensure that all threads are suspended and the method should
208 // not be in any thread's stack.
209 bool RemoveMethod(ArtMethod* method, bool release_memory)
210 REQUIRES(!lock_)
211 REQUIRES(Locks::mutator_lock_);
212
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000213 // Remove all methods in our cache that were allocated by 'alloc'.
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100214 void RemoveMethodsIn(Thread* self, const LinearAlloc& alloc)
215 REQUIRES(!lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700216 REQUIRES_SHARED(Locks::mutator_lock_);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800217
Nicolas Geoffraye51ca8b2016-11-22 14:49:31 +0000218 void CopyInlineCacheInto(const InlineCache& ic, Handle<mirror::ObjectArray<mirror::Class>> array)
219 REQUIRES(!lock_)
220 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffrayb6e20ae2016-03-07 14:29:04 +0000221
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000222 // Create a 'ProfileInfo' for 'method'. If 'retry_allocation' is true,
223 // will collect and retry if the first allocation is unsuccessful.
224 ProfilingInfo* AddProfilingInfo(Thread* self,
225 ArtMethod* method,
226 const std::vector<uint32_t>& entries,
227 bool retry_allocation)
228 REQUIRES(!lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700229 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000230
Nicolas Geoffray0a3be162015-11-18 11:15:22 +0000231 bool OwnsSpace(const void* mspace) const NO_THREAD_SAFETY_ANALYSIS {
232 return mspace == code_mspace_ || mspace == data_mspace_;
233 }
234
235 void* MoreCore(const void* mspace, intptr_t increment);
236
Calin Juravle99629622016-04-19 16:33:46 +0100237 // Adds to `methods` all profiled methods which are part of any of the given dex locations.
238 void GetProfiledMethods(const std::set<std::string>& dex_base_locations,
Calin Juravle940eb0c2017-01-30 19:30:44 -0800239 std::vector<ProfileMethodInfo>& methods)
Calin Juravle31f2c152015-10-23 17:56:15 +0100240 REQUIRES(!lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700241 REQUIRES_SHARED(Locks::mutator_lock_);
Calin Juravle31f2c152015-10-23 17:56:15 +0100242
Calin Juravle4d77b6a2015-12-01 18:38:09 +0000243 uint64_t GetLastUpdateTimeNs() const;
Calin Juravle31f2c152015-10-23 17:56:15 +0100244
Nicolas Geoffraya25dce92016-01-12 16:41:10 +0000245 size_t GetMemorySizeOfCodePointer(const void* ptr) REQUIRES(!lock_);
246
Nicolas Geoffrayb88d59e2016-02-17 11:31:49 +0000247 void InvalidateCompiledCodeFor(ArtMethod* method, const OatQuickMethodHeader* code)
248 REQUIRES(!lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700249 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffrayb88d59e2016-02-17 11:31:49 +0000250
Nicolas Geoffraybcd94c82016-03-03 13:23:33 +0000251 void Dump(std::ostream& os) REQUIRES(!lock_);
252
Nicolas Geoffray71cd50f2016-04-14 15:00:33 +0100253 bool IsOsrCompiled(ArtMethod* method) REQUIRES(!lock_);
254
Nicolas Geoffray132d8362016-11-16 09:19:42 +0000255 void SweepRootTables(IsMarkedVisitor* visitor)
256 REQUIRES(!lock_)
257 REQUIRES_SHARED(Locks::mutator_lock_);
258
Nicolas Geoffraye51ca8b2016-11-22 14:49:31 +0000259 // The GC needs to disallow the reading of inline caches when it processes them,
260 // to avoid having a class being used while it is being deleted.
261 void AllowInlineCacheAccess() REQUIRES(!lock_);
262 void DisallowInlineCacheAccess() REQUIRES(!lock_);
263 void BroadcastForInlineCacheAccess() REQUIRES(!lock_);
264
Alex Lightdba61482016-12-21 08:20:29 -0800265 // Notify the code cache that the method at the pointer 'old_method' is being moved to the pointer
266 // 'new_method' since it is being made obsolete.
267 void MoveObsoleteMethod(ArtMethod* old_method, ArtMethod* new_method)
268 REQUIRES(!lock_) REQUIRES(Locks::mutator_lock_);
269
Nicolas Geoffray169722b2017-02-27 14:01:59 +0000270 // Dynamically change whether we want to garbage collect code. Should only be used
271 // by tests.
272 void SetGarbageCollectCode(bool value) {
273 garbage_collect_code_ = value;
274 }
275
Alex Light2d441b12018-06-08 15:33:21 -0700276 bool GetGarbageCollectCode() const {
277 return garbage_collect_code_;
278 }
279
280 // If Jit-gc has been disabled (and instrumentation has been enabled) this will return the
281 // jit-compiled entrypoint for this method. Otherwise it will return null.
282 const void* FindCompiledCodeForInstrumentation(ArtMethod* method)
283 REQUIRES(!lock_)
284 REQUIRES_SHARED(Locks::mutator_lock_);
285
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800286 private:
Nicolas Geoffray0a3be162015-11-18 11:15:22 +0000287 // Take ownership of maps.
288 JitCodeCache(MemMap* code_map,
289 MemMap* data_map,
290 size_t initial_code_capacity,
291 size_t initial_data_capacity,
Nicolas Geoffraya25dce92016-01-12 16:41:10 +0000292 size_t max_capacity,
Calin Juravle016fcbe22018-05-03 19:47:35 -0700293 bool garbage_collect_code,
294 int memmap_flags_prot_code);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800295
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100296 // Internal version of 'CommitCode' that will not retry if the
297 // allocation fails. Return null if the allocation fails.
298 uint8_t* CommitCodeInternal(Thread* self,
299 ArtMethod* method,
Nicolas Geoffray132d8362016-11-16 09:19:42 +0000300 uint8_t* stack_map,
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -0700301 uint8_t* method_info,
Nicolas Geoffray132d8362016-11-16 09:19:42 +0000302 uint8_t* roots_data,
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100303 size_t frame_size_in_bytes,
304 size_t core_spill_mask,
305 size_t fp_spill_mask,
306 const uint8_t* code,
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000307 size_t code_size,
Orion Hodsondbd05fe2017-08-10 11:41:35 +0100308 size_t data_size,
Nicolas Geoffray132d8362016-11-16 09:19:42 +0000309 bool osr,
Mingyao Yang063fc772016-08-02 11:02:54 -0700310 Handle<mirror::ObjectArray<mirror::Object>> roots,
311 bool has_should_deoptimize_flag,
312 const ArenaSet<ArtMethod*>& cha_single_implementation_list)
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100313 REQUIRES(!lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700314 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100315
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000316 ProfilingInfo* AddProfilingInfoInternal(Thread* self,
317 ArtMethod* method,
318 const std::vector<uint32_t>& entries)
Nicolas Geoffray1e7da9b2016-03-01 14:11:40 +0000319 REQUIRES(lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700320 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000321
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100322 // If a collection is in progress, wait for it to finish. Return
323 // whether the thread actually waited.
324 bool WaitForPotentialCollectionToComplete(Thread* self)
325 REQUIRES(lock_) REQUIRES(!Locks::mutator_lock_);
326
Mingyao Yang063fc772016-08-02 11:02:54 -0700327 // Remove CHA dependents and underlying allocations for entries in `method_headers`.
328 void FreeAllMethodHeaders(const std::unordered_set<OatQuickMethodHeader*>& method_headers)
329 REQUIRES(!lock_)
330 REQUIRES(!Locks::cha_lock_);
331
Vladimir Marko2196c652017-11-30 16:16:07 +0000332 // Removes method from the cache. The caller must ensure that all threads
333 // are suspended and the method should not be in any thread's stack.
334 bool RemoveMethodLocked(ArtMethod* method, bool release_memory)
335 REQUIRES(lock_)
336 REQUIRES(Locks::mutator_lock_);
337
Orion Hodson607624f2018-05-11 10:10:46 +0100338 // Free code and data allocations for `code_ptr`.
339 void FreeCodeAndData(const void* code_ptr) REQUIRES(lock_);
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100340
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000341 // Number of bytes allocated in the code cache.
342 size_t CodeCacheSizeLocked() REQUIRES(lock_);
343
344 // Number of bytes allocated in the data cache.
345 size_t DataCacheSizeLocked() REQUIRES(lock_);
346
Nicolas Geoffray0a3be162015-11-18 11:15:22 +0000347 // Notify all waiting threads that a collection is done.
348 void NotifyCollectionDone(Thread* self) REQUIRES(lock_);
349
350 // Try to increase the current capacity of the code cache. Return whether we
351 // succeeded at doing so.
352 bool IncreaseCodeCacheCapacity() REQUIRES(lock_);
353
354 // Set the footprint limit of the code cache.
355 void SetFootprintLimit(size_t new_footprint) REQUIRES(lock_);
356
Vladimir Marko2196c652017-11-30 16:16:07 +0000357 // Return whether we should do a full collection given the current state of the cache.
358 bool ShouldDoFullCollection()
359 REQUIRES(lock_)
360 REQUIRES_SHARED(Locks::mutator_lock_);
361
Nicolas Geoffray35122442016-03-02 12:05:30 +0000362 void DoCollection(Thread* self, bool collect_profiling_info)
Nicolas Geoffray8d372502016-02-23 13:56:43 +0000363 REQUIRES(!lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700364 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray8d372502016-02-23 13:56:43 +0000365
Nicolas Geoffray9abb2972016-03-04 14:32:59 +0000366 void RemoveUnmarkedCode(Thread* self)
Nicolas Geoffray8d372502016-02-23 13:56:43 +0000367 REQUIRES(!lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700368 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray8d372502016-02-23 13:56:43 +0000369
370 void MarkCompiledCodeOnThreadStacks(Thread* self)
371 REQUIRES(!lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700372 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray8d372502016-02-23 13:56:43 +0000373
Nicolas Geoffray35122442016-03-02 12:05:30 +0000374 bool CheckLiveCompiledCodeHasProfilingInfo()
Vladimir Markod1ee20f2017-08-17 09:21:16 +0000375 REQUIRES(lock_)
376 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray35122442016-03-02 12:05:30 +0000377
Nicolas Geoffraybcd94c82016-03-03 13:23:33 +0000378 uint8_t* AllocateCode(size_t code_size) REQUIRES(lock_);
Orion Hodson607624f2018-05-11 10:10:46 +0100379 void FreeCode(uint8_t* code) REQUIRES(lock_);
Nicolas Geoffraybcd94c82016-03-03 13:23:33 +0000380 uint8_t* AllocateData(size_t data_size) REQUIRES(lock_);
Orion Hodson607624f2018-05-11 10:10:46 +0100381 void FreeData(uint8_t* data) REQUIRES(lock_);
Nicolas Geoffraybcd94c82016-03-03 13:23:33 +0000382
Nicolas Geoffraye51ca8b2016-11-22 14:49:31 +0000383 bool IsWeakAccessEnabled(Thread* self) const;
384 void WaitUntilInlineCacheAccessible(Thread* self)
385 REQUIRES(!lock_)
386 REQUIRES_SHARED(Locks::mutator_lock_);
387
Vladimir Marko2196c652017-11-30 16:16:07 +0000388 class JniStubKey;
389 class JniStubData;
390
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100391 // Lock for guarding allocations, collections, and the method_code_map_.
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800392 Mutex lock_;
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100393 // Condition to wait on during collection.
394 ConditionVariable lock_cond_ GUARDED_BY(lock_);
395 // Whether there is a code cache collection in progress.
396 bool collection_in_progress_ GUARDED_BY(lock_);
Orion Hodsondbd05fe2017-08-10 11:41:35 +0100397 // Mem map which holds code.
398 std::unique_ptr<MemMap> code_map_;
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100399 // Mem map which holds data (stack maps and profiling info).
400 std::unique_ptr<MemMap> data_map_;
401 // The opaque mspace for allocating code.
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100402 void* code_mspace_ GUARDED_BY(lock_);
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100403 // The opaque mspace for allocating data.
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100404 void* data_mspace_ GUARDED_BY(lock_);
405 // Bitmap for collecting code and data.
406 std::unique_ptr<CodeCacheBitmap> live_bitmap_;
Vladimir Marko2196c652017-11-30 16:16:07 +0000407 // Holds compiled code associated with the shorty for a JNI stub.
408 SafeMap<JniStubKey, JniStubData> jni_stubs_map_ GUARDED_BY(lock_);
Orion Hodsondbd05fe2017-08-10 11:41:35 +0100409 // Holds compiled code associated to the ArtMethod.
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100410 SafeMap<const void*, ArtMethod*> method_code_map_ GUARDED_BY(lock_);
Orion Hodsondbd05fe2017-08-10 11:41:35 +0100411 // Holds osr compiled code associated to the ArtMethod.
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000412 SafeMap<ArtMethod*, const void*> osr_code_map_ GUARDED_BY(lock_);
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000413 // ProfilingInfo objects we have allocated.
414 std::vector<ProfilingInfo*> profiling_infos_ GUARDED_BY(lock_);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800415
Nicolas Geoffray0a3be162015-11-18 11:15:22 +0000416 // The maximum capacity in bytes this code cache can go to.
417 size_t max_capacity_ GUARDED_BY(lock_);
418
419 // The current capacity in bytes of the code cache.
420 size_t current_capacity_ GUARDED_BY(lock_);
421
422 // The current footprint in bytes of the code portion of the code cache.
423 size_t code_end_ GUARDED_BY(lock_);
424
425 // The current footprint in bytes of the data portion of the code cache.
426 size_t data_end_ GUARDED_BY(lock_);
427
Nicolas Geoffray35122442016-03-02 12:05:30 +0000428 // Whether the last collection round increased the code cache.
429 bool last_collection_increased_code_cache_ GUARDED_BY(lock_);
Nicolas Geoffray0a3be162015-11-18 11:15:22 +0000430
Nicolas Geoffray169722b2017-02-27 14:01:59 +0000431 // Whether we can do garbage collection. Not 'const' as tests may override this.
432 bool garbage_collect_code_;
Nicolas Geoffraya25dce92016-01-12 16:41:10 +0000433
Nicolas Geoffray38ea9bd2016-02-19 16:25:57 +0000434 // The size in bytes of used memory for the data portion of the code cache.
435 size_t used_memory_for_data_ GUARDED_BY(lock_);
436
437 // The size in bytes of used memory for the code portion of the code cache.
438 size_t used_memory_for_code_ GUARDED_BY(lock_);
439
Nicolas Geoffray0a522232016-01-19 09:34:58 +0000440 // Number of compilations done throughout the lifetime of the JIT.
441 size_t number_of_compilations_ GUARDED_BY(lock_);
Nicolas Geoffraybcd94c82016-03-03 13:23:33 +0000442
443 // Number of compilations for on-stack-replacement done throughout the lifetime of the JIT.
Nicolas Geoffrayfcdd7292016-02-25 13:27:47 +0000444 size_t number_of_osr_compilations_ GUARDED_BY(lock_);
Nicolas Geoffray0a522232016-01-19 09:34:58 +0000445
Nicolas Geoffraybcd94c82016-03-03 13:23:33 +0000446 // Number of code cache collections done throughout the lifetime of the JIT.
447 size_t number_of_collections_ GUARDED_BY(lock_);
448
Nicolas Geoffray933330a2016-03-16 14:20:06 +0000449 // Histograms for keeping track of stack map size statistics.
450 Histogram<uint64_t> histogram_stack_map_memory_use_ GUARDED_BY(lock_);
451
452 // Histograms for keeping track of code size statistics.
453 Histogram<uint64_t> histogram_code_memory_use_ GUARDED_BY(lock_);
454
455 // Histograms for keeping track of profiling info statistics.
456 Histogram<uint64_t> histogram_profiling_info_memory_use_ GUARDED_BY(lock_);
457
Nicolas Geoffraye51ca8b2016-11-22 14:49:31 +0000458 // Whether the GC allows accessing weaks in inline caches. Note that this
459 // is not used by the concurrent collector, which uses
460 // Thread::SetWeakRefAccessEnabled instead.
461 Atomic<bool> is_weak_access_enabled_;
462
463 // Condition to wait on for accessing inline caches.
464 ConditionVariable inline_cache_cond_ GUARDED_BY(lock_);
465
Calin Juravle016fcbe22018-05-03 19:47:35 -0700466 // Mapping flags for the code section.
467 const int memmap_flags_prot_code_;
468
Vladimir Marko2196c652017-11-30 16:16:07 +0000469 friend class art::JitJniStubTestHelper;
Calin Juravle016fcbe22018-05-03 19:47:35 -0700470 friend class ScopedCodeCacheWrite;
471
Mathieu Chartier3130cdf2015-05-03 15:20:23 -0700472 DISALLOW_IMPLICIT_CONSTRUCTORS(JitCodeCache);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800473};
474
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800475} // namespace jit
476} // namespace art
477
478#endif // ART_RUNTIME_JIT_JIT_CODE_CACHE_H_