blob: f31cc51d51671e478e753f3c3545b67e69ac3c5f [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
20#include "instrumentation.h"
21
22#include "atomic.h"
Nicolas Geoffray933330a2016-03-16 14:20:06 +000023#include "base/histogram-inl.h"
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080024#include "base/macros.h"
25#include "base/mutex.h"
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010026#include "gc/accounting/bitmap.h"
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080027#include "gc_root.h"
28#include "jni.h"
29#include "oat_file.h"
30#include "object_callbacks.h"
31#include "safe_map.h"
32#include "thread_pool.h"
33
34namespace art {
35
Mathieu Chartiere401d142015-04-22 13:56:20 -070036class ArtMethod;
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010037class LinearAlloc;
Nicolas Geoffray26705e22015-10-28 12:50:11 +000038class ProfilingInfo;
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080039
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080040namespace jit {
41
42class JitInstrumentationCache;
43
Nicolas Geoffray0a3be162015-11-18 11:15:22 +000044// Alignment in bits that will suit all architectures.
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010045static constexpr int kJitCodeAlignment = 16;
46using CodeCacheBitmap = gc::accounting::MemoryRangeBitmap<kJitCodeAlignment>;
47
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080048class JitCodeCache {
49 public:
Nicolas Geoffray0a3be162015-11-18 11:15:22 +000050 static constexpr size_t kMaxCapacity = 64 * MB;
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010051 // Put the default to a very low amount for debug builds to stress the code cache
52 // collection.
Nicolas Geoffray7ca4b772016-02-23 13:52:01 +000053 static constexpr size_t kInitialCapacity = kIsDebugBuild ? 8 * KB : 64 * KB;
Nicolas Geoffray65b83d82016-02-22 13:14:04 +000054
55 // By default, do not GC until reaching 256KB.
56 static constexpr size_t kReservedCapacity = kInitialCapacity * 4;
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080057
Mathieu Chartierbce416f2015-03-23 12:37:35 -070058 // Create the code cache with a code + data capacity equal to "capacity", error message is passed
59 // in the out arg error_msg.
Nicolas Geoffraya25dce92016-01-12 16:41:10 +000060 static JitCodeCache* Create(size_t initial_capacity,
61 size_t max_capacity,
62 bool generate_debug_info,
63 std::string* error_msg);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080064
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010065 // Number of bytes allocated in the code cache.
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +010066 size_t CodeCacheSize() REQUIRES(!lock_);
67
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010068 // Number of bytes allocated in the data cache.
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +010069 size_t DataCacheSize() REQUIRES(!lock_);
70
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +000071 bool NotifyCompilationOf(ArtMethod* method, Thread* self, bool osr)
Nicolas Geoffray73be1e82015-09-17 15:22:56 +010072 SHARED_REQUIRES(Locks::mutator_lock_)
73 REQUIRES(!lock_);
74
Nicolas Geoffray07e3ca92016-03-11 09:57:57 +000075 // Notify to the code cache that the compiler wants to use the
76 // profiling info of `method` to drive optimizations,
77 // and therefore ensure the returned profiling info object is not
78 // collected.
79 ProfilingInfo* NotifyCompilerUse(ArtMethod* method, Thread* self)
Nicolas Geoffrayb6e20ae2016-03-07 14:29:04 +000080 SHARED_REQUIRES(Locks::mutator_lock_)
81 REQUIRES(!lock_);
82
buzbee454b3b62016-04-07 14:42:47 -070083 void DoneCompiling(ArtMethod* method, Thread* self, bool osr)
Nicolas Geoffray73be1e82015-09-17 15:22:56 +010084 SHARED_REQUIRES(Locks::mutator_lock_)
85 REQUIRES(!lock_);
86
Nicolas Geoffray07e3ca92016-03-11 09:57:57 +000087 void DoneCompilerUse(ArtMethod* method, Thread* self)
Nicolas Geoffrayb6e20ae2016-03-07 14:29:04 +000088 SHARED_REQUIRES(Locks::mutator_lock_)
89 REQUIRES(!lock_);
90
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +010091 // Allocate and write code and its metadata to the code cache.
92 uint8_t* CommitCode(Thread* self,
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010093 ArtMethod* method,
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +010094 const uint8_t* vmap_table,
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +010095 size_t frame_size_in_bytes,
96 size_t core_spill_mask,
97 size_t fp_spill_mask,
98 const uint8_t* code,
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +000099 size_t code_size,
100 bool osr)
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100101 SHARED_REQUIRES(Locks::mutator_lock_)
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100102 REQUIRES(!lock_);
103
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100104 // Return true if the code cache contains this pc.
105 bool ContainsPc(const void* pc) const;
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800106
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000107 // Return true if the code cache contains this method.
108 bool ContainsMethod(ArtMethod* method) REQUIRES(!lock_);
109
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100110 // Reserve a region of data of size at least "size". Returns null if there is no more room.
Nicolas Geoffray933330a2016-03-16 14:20:06 +0000111 uint8_t* ReserveData(Thread* self, size_t size, ArtMethod* method)
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100112 SHARED_REQUIRES(Locks::mutator_lock_)
113 REQUIRES(!lock_);
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100114
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000115 // Clear data from the data portion of the code cache.
116 void ClearData(Thread* self, void* data)
117 SHARED_REQUIRES(Locks::mutator_lock_)
118 REQUIRES(!lock_);
119
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100120 CodeCacheBitmap* GetLiveBitmap() const {
121 return live_bitmap_.get();
122 }
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800123
Nicolas Geoffray35122442016-03-02 12:05:30 +0000124 // Return whether we should do a full collection given the current state of the cache.
125 bool ShouldDoFullCollection()
126 REQUIRES(lock_)
127 SHARED_REQUIRES(Locks::mutator_lock_);
128
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100129 // Perform a collection on the code cache.
130 void GarbageCollectCache(Thread* self)
131 REQUIRES(!lock_)
132 SHARED_REQUIRES(Locks::mutator_lock_);
133
134 // Given the 'pc', try to find the JIT compiled code associated with it.
135 // Return null if 'pc' is not in the code cache. 'method' is passed for
136 // sanity check.
137 OatQuickMethodHeader* LookupMethodHeader(uintptr_t pc, ArtMethod* method)
138 REQUIRES(!lock_)
139 SHARED_REQUIRES(Locks::mutator_lock_);
140
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000141 OatQuickMethodHeader* LookupOsrMethodHeader(ArtMethod* method)
142 REQUIRES(!lock_)
143 SHARED_REQUIRES(Locks::mutator_lock_);
144
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000145 // Remove all methods in our cache that were allocated by 'alloc'.
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100146 void RemoveMethodsIn(Thread* self, const LinearAlloc& alloc)
147 REQUIRES(!lock_)
148 REQUIRES(Locks::classlinker_classes_lock_)
149 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800150
Nicolas Geoffrayb6e20ae2016-03-07 14:29:04 +0000151 void ClearGcRootsInInlineCaches(Thread* self) REQUIRES(!lock_);
152
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000153 // Create a 'ProfileInfo' for 'method'. If 'retry_allocation' is true,
154 // will collect and retry if the first allocation is unsuccessful.
155 ProfilingInfo* AddProfilingInfo(Thread* self,
156 ArtMethod* method,
157 const std::vector<uint32_t>& entries,
158 bool retry_allocation)
159 REQUIRES(!lock_)
160 SHARED_REQUIRES(Locks::mutator_lock_);
161
Nicolas Geoffray0a3be162015-11-18 11:15:22 +0000162 bool OwnsSpace(const void* mspace) const NO_THREAD_SAFETY_ANALYSIS {
163 return mspace == code_mspace_ || mspace == data_mspace_;
164 }
165
166 void* MoreCore(const void* mspace, intptr_t increment);
167
Calin Juravle66f55232015-12-08 15:09:10 +0000168 // Adds to `methods` all the compiled ArtMethods which are part of any of the given dex locations.
Calin Juravleb4eddd22016-01-13 15:52:33 -0800169 void GetCompiledArtMethods(const std::set<std::string>& dex_base_locations,
Calin Juravle4d77b6a2015-12-01 18:38:09 +0000170 std::vector<ArtMethod*>& methods)
Calin Juravle31f2c152015-10-23 17:56:15 +0100171 REQUIRES(!lock_)
172 SHARED_REQUIRES(Locks::mutator_lock_);
173
Calin Juravle4d77b6a2015-12-01 18:38:09 +0000174 uint64_t GetLastUpdateTimeNs() const;
Calin Juravle31f2c152015-10-23 17:56:15 +0100175
Nicolas Geoffrayaee21562015-12-15 16:39:44 +0000176 size_t GetCurrentCapacity() REQUIRES(!lock_) {
177 MutexLock lock(Thread::Current(), lock_);
178 return current_capacity_;
179 }
180
Nicolas Geoffraya25dce92016-01-12 16:41:10 +0000181 size_t GetMemorySizeOfCodePointer(const void* ptr) REQUIRES(!lock_);
182
Nicolas Geoffrayb88d59e2016-02-17 11:31:49 +0000183 void InvalidateCompiledCodeFor(ArtMethod* method, const OatQuickMethodHeader* code)
184 REQUIRES(!lock_)
185 SHARED_REQUIRES(Locks::mutator_lock_);
186
Nicolas Geoffraybcd94c82016-03-03 13:23:33 +0000187 void Dump(std::ostream& os) REQUIRES(!lock_);
188
Nicolas Geoffray71cd50f2016-04-14 15:00:33 +0100189 bool IsOsrCompiled(ArtMethod* method) REQUIRES(!lock_);
190
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800191 private:
Nicolas Geoffray0a3be162015-11-18 11:15:22 +0000192 // Take ownership of maps.
193 JitCodeCache(MemMap* code_map,
194 MemMap* data_map,
195 size_t initial_code_capacity,
196 size_t initial_data_capacity,
Nicolas Geoffraya25dce92016-01-12 16:41:10 +0000197 size_t max_capacity,
198 bool garbage_collect_code);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800199
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100200 // Internal version of 'CommitCode' that will not retry if the
201 // allocation fails. Return null if the allocation fails.
202 uint8_t* CommitCodeInternal(Thread* self,
203 ArtMethod* method,
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100204 const uint8_t* vmap_table,
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100205 size_t frame_size_in_bytes,
206 size_t core_spill_mask,
207 size_t fp_spill_mask,
208 const uint8_t* code,
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000209 size_t code_size,
210 bool osr)
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100211 REQUIRES(!lock_)
212 SHARED_REQUIRES(Locks::mutator_lock_);
213
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000214 ProfilingInfo* AddProfilingInfoInternal(Thread* self,
215 ArtMethod* method,
216 const std::vector<uint32_t>& entries)
Nicolas Geoffray1e7da9b2016-03-01 14:11:40 +0000217 REQUIRES(lock_)
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000218 SHARED_REQUIRES(Locks::mutator_lock_);
219
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100220 // If a collection is in progress, wait for it to finish. Return
221 // whether the thread actually waited.
222 bool WaitForPotentialCollectionToComplete(Thread* self)
223 REQUIRES(lock_) REQUIRES(!Locks::mutator_lock_);
224
225 // Free in the mspace allocations taken by 'method'.
226 void FreeCode(const void* code_ptr, ArtMethod* method) REQUIRES(lock_);
227
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000228 // Number of bytes allocated in the code cache.
229 size_t CodeCacheSizeLocked() REQUIRES(lock_);
230
231 // Number of bytes allocated in the data cache.
232 size_t DataCacheSizeLocked() REQUIRES(lock_);
233
Nicolas Geoffray0a3be162015-11-18 11:15:22 +0000234 // Notify all waiting threads that a collection is done.
235 void NotifyCollectionDone(Thread* self) REQUIRES(lock_);
236
237 // Try to increase the current capacity of the code cache. Return whether we
238 // succeeded at doing so.
239 bool IncreaseCodeCacheCapacity() REQUIRES(lock_);
240
241 // Set the footprint limit of the code cache.
242 void SetFootprintLimit(size_t new_footprint) REQUIRES(lock_);
243
Nicolas Geoffray35122442016-03-02 12:05:30 +0000244 void DoCollection(Thread* self, bool collect_profiling_info)
Nicolas Geoffray8d372502016-02-23 13:56:43 +0000245 REQUIRES(!lock_)
246 SHARED_REQUIRES(Locks::mutator_lock_);
247
Nicolas Geoffray9abb2972016-03-04 14:32:59 +0000248 void RemoveUnmarkedCode(Thread* self)
Nicolas Geoffray8d372502016-02-23 13:56:43 +0000249 REQUIRES(!lock_)
250 SHARED_REQUIRES(Locks::mutator_lock_);
251
252 void MarkCompiledCodeOnThreadStacks(Thread* self)
253 REQUIRES(!lock_)
254 SHARED_REQUIRES(Locks::mutator_lock_);
255
Nicolas Geoffray35122442016-03-02 12:05:30 +0000256 bool CheckLiveCompiledCodeHasProfilingInfo()
257 REQUIRES(lock_)
258 SHARED_REQUIRES(Locks::mutator_lock_);
259
Nicolas Geoffraybcd94c82016-03-03 13:23:33 +0000260 void FreeCode(uint8_t* code) REQUIRES(lock_);
261 uint8_t* AllocateCode(size_t code_size) REQUIRES(lock_);
262 void FreeData(uint8_t* data) REQUIRES(lock_);
263 uint8_t* AllocateData(size_t data_size) REQUIRES(lock_);
264
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100265 // Lock for guarding allocations, collections, and the method_code_map_.
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800266 Mutex lock_;
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100267 // Condition to wait on during collection.
268 ConditionVariable lock_cond_ GUARDED_BY(lock_);
269 // Whether there is a code cache collection in progress.
270 bool collection_in_progress_ GUARDED_BY(lock_);
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100271 // Mem map which holds code.
272 std::unique_ptr<MemMap> code_map_;
273 // Mem map which holds data (stack maps and profiling info).
274 std::unique_ptr<MemMap> data_map_;
275 // The opaque mspace for allocating code.
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100276 void* code_mspace_ GUARDED_BY(lock_);
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100277 // The opaque mspace for allocating data.
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100278 void* data_mspace_ GUARDED_BY(lock_);
279 // Bitmap for collecting code and data.
280 std::unique_ptr<CodeCacheBitmap> live_bitmap_;
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000281 // Holds compiled code associated to the ArtMethod.
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100282 SafeMap<const void*, ArtMethod*> method_code_map_ GUARDED_BY(lock_);
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000283 // Holds osr compiled code associated to the ArtMethod.
284 SafeMap<ArtMethod*, const void*> osr_code_map_ GUARDED_BY(lock_);
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000285 // ProfilingInfo objects we have allocated.
286 std::vector<ProfilingInfo*> profiling_infos_ GUARDED_BY(lock_);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800287
Nicolas Geoffray0a3be162015-11-18 11:15:22 +0000288 // The maximum capacity in bytes this code cache can go to.
289 size_t max_capacity_ GUARDED_BY(lock_);
290
291 // The current capacity in bytes of the code cache.
292 size_t current_capacity_ GUARDED_BY(lock_);
293
294 // The current footprint in bytes of the code portion of the code cache.
295 size_t code_end_ GUARDED_BY(lock_);
296
297 // The current footprint in bytes of the data portion of the code cache.
298 size_t data_end_ GUARDED_BY(lock_);
299
Nicolas Geoffray35122442016-03-02 12:05:30 +0000300 // Whether the last collection round increased the code cache.
301 bool last_collection_increased_code_cache_ GUARDED_BY(lock_);
Nicolas Geoffray0a3be162015-11-18 11:15:22 +0000302
Calin Juravle31f2c152015-10-23 17:56:15 +0100303 // Last time the the code_cache was updated.
Calin Juravle4d77b6a2015-12-01 18:38:09 +0000304 // It is atomic to avoid locking when reading it.
305 Atomic<uint64_t> last_update_time_ns_;
Calin Juravle31f2c152015-10-23 17:56:15 +0100306
Nicolas Geoffraya25dce92016-01-12 16:41:10 +0000307 // Whether we can do garbage collection.
308 const bool garbage_collect_code_;
309
Nicolas Geoffray38ea9bd2016-02-19 16:25:57 +0000310 // The size in bytes of used memory for the data portion of the code cache.
311 size_t used_memory_for_data_ GUARDED_BY(lock_);
312
313 // The size in bytes of used memory for the code portion of the code cache.
314 size_t used_memory_for_code_ GUARDED_BY(lock_);
315
Nicolas Geoffray0a522232016-01-19 09:34:58 +0000316 // Number of compilations done throughout the lifetime of the JIT.
317 size_t number_of_compilations_ GUARDED_BY(lock_);
Nicolas Geoffraybcd94c82016-03-03 13:23:33 +0000318
319 // Number of compilations for on-stack-replacement done throughout the lifetime of the JIT.
Nicolas Geoffrayfcdd7292016-02-25 13:27:47 +0000320 size_t number_of_osr_compilations_ GUARDED_BY(lock_);
Nicolas Geoffray0a522232016-01-19 09:34:58 +0000321
Nicolas Geoffraybcd94c82016-03-03 13:23:33 +0000322 // Number of deoptimizations done throughout the lifetime of the JIT.
323 size_t number_of_deoptimizations_ GUARDED_BY(lock_);
324
325 // Number of code cache collections done throughout the lifetime of the JIT.
326 size_t number_of_collections_ GUARDED_BY(lock_);
327
Nicolas Geoffray933330a2016-03-16 14:20:06 +0000328 // Histograms for keeping track of stack map size statistics.
329 Histogram<uint64_t> histogram_stack_map_memory_use_ GUARDED_BY(lock_);
330
331 // Histograms for keeping track of code size statistics.
332 Histogram<uint64_t> histogram_code_memory_use_ GUARDED_BY(lock_);
333
334 // Histograms for keeping track of profiling info statistics.
335 Histogram<uint64_t> histogram_profiling_info_memory_use_ GUARDED_BY(lock_);
336
Mathieu Chartier3130cdf2015-05-03 15:20:23 -0700337 DISALLOW_IMPLICIT_CONSTRUCTORS(JitCodeCache);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800338};
339
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800340} // namespace jit
341} // namespace art
342
343#endif // ART_RUNTIME_JIT_JIT_CODE_CACHE_H_