blob: aa1b1390786d109fb7a4ec2abd9b40c75158b869 [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"
23#include "base/macros.h"
24#include "base/mutex.h"
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010025#include "gc/accounting/bitmap.h"
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080026#include "gc_root.h"
27#include "jni.h"
28#include "oat_file.h"
29#include "object_callbacks.h"
30#include "safe_map.h"
31#include "thread_pool.h"
32
33namespace art {
34
Mathieu Chartiere401d142015-04-22 13:56:20 -070035class ArtMethod;
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010036class LinearAlloc;
Nicolas Geoffray26705e22015-10-28 12:50:11 +000037class ProfilingInfo;
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080038
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080039namespace jit {
40
41class JitInstrumentationCache;
42
Nicolas Geoffray0a3be162015-11-18 11:15:22 +000043// Alignment in bits that will suit all architectures.
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010044static constexpr int kJitCodeAlignment = 16;
45using CodeCacheBitmap = gc::accounting::MemoryRangeBitmap<kJitCodeAlignment>;
46
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080047class JitCodeCache {
48 public:
Nicolas Geoffray0a3be162015-11-18 11:15:22 +000049 static constexpr size_t kMaxCapacity = 64 * MB;
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010050 // Put the default to a very low amount for debug builds to stress the code cache
51 // collection.
Nicolas Geoffray7ca4b772016-02-23 13:52:01 +000052 static constexpr size_t kInitialCapacity = kIsDebugBuild ? 8 * KB : 64 * KB;
Nicolas Geoffray65b83d82016-02-22 13:14:04 +000053
54 // By default, do not GC until reaching 256KB.
55 static constexpr size_t kReservedCapacity = kInitialCapacity * 4;
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080056
Mathieu Chartierbce416f2015-03-23 12:37:35 -070057 // Create the code cache with a code + data capacity equal to "capacity", error message is passed
58 // in the out arg error_msg.
Nicolas Geoffraya25dce92016-01-12 16:41:10 +000059 static JitCodeCache* Create(size_t initial_capacity,
60 size_t max_capacity,
61 bool generate_debug_info,
62 std::string* error_msg);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080063
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010064 // Number of bytes allocated in the code cache.
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +010065 size_t CodeCacheSize() REQUIRES(!lock_);
66
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010067 // Number of bytes allocated in the data cache.
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +010068 size_t DataCacheSize() REQUIRES(!lock_);
69
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010070 // Number of compiled code in the code cache. Note that this is not the number
71 // of methods that got JIT compiled, as we might have collected some.
72 size_t NumberOfCompiledCode() REQUIRES(!lock_);
73
Nicolas Geoffray0a522232016-01-19 09:34:58 +000074 // Number of compilations done throughout the lifetime of the JIT.
75 size_t NumberOfCompilations() REQUIRES(!lock_);
Nicolas Geoffrayfcdd7292016-02-25 13:27:47 +000076 size_t NumberOfOsrCompilations() REQUIRES(!lock_);
Nicolas Geoffray0a522232016-01-19 09:34:58 +000077
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +000078 bool NotifyCompilationOf(ArtMethod* method, Thread* self, bool osr)
Nicolas Geoffray73be1e82015-09-17 15:22:56 +010079 SHARED_REQUIRES(Locks::mutator_lock_)
80 REQUIRES(!lock_);
81
82 void DoneCompiling(ArtMethod* method, Thread* self)
83 SHARED_REQUIRES(Locks::mutator_lock_)
84 REQUIRES(!lock_);
85
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +010086 // Allocate and write code and its metadata to the code cache.
87 uint8_t* CommitCode(Thread* self,
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010088 ArtMethod* method,
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +010089 const uint8_t* mapping_table,
90 const uint8_t* vmap_table,
91 const uint8_t* gc_map,
92 size_t frame_size_in_bytes,
93 size_t core_spill_mask,
94 size_t fp_spill_mask,
95 const uint8_t* code,
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +000096 size_t code_size,
97 bool osr)
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010098 SHARED_REQUIRES(Locks::mutator_lock_)
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +010099 REQUIRES(!lock_);
100
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100101 // Return true if the code cache contains this pc.
102 bool ContainsPc(const void* pc) const;
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800103
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000104 // Return true if the code cache contains this method.
105 bool ContainsMethod(ArtMethod* method) REQUIRES(!lock_);
106
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100107 // Reserve a region of data of size at least "size". Returns null if there is no more room.
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100108 uint8_t* ReserveData(Thread* self, size_t size)
109 SHARED_REQUIRES(Locks::mutator_lock_)
110 REQUIRES(!lock_);
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100111
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000112 // Clear data from the data portion of the code cache.
113 void ClearData(Thread* self, void* data)
114 SHARED_REQUIRES(Locks::mutator_lock_)
115 REQUIRES(!lock_);
116
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700117 // Add a data array of size (end - begin) with the associated contents, returns null if there
Mathieu Chartierbce416f2015-03-23 12:37:35 -0700118 // is no more room.
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800119 uint8_t* AddDataArray(Thread* self, const uint8_t* begin, const uint8_t* end)
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100120 SHARED_REQUIRES(Locks::mutator_lock_)
Mathieu Chartier90443472015-07-16 20:32:27 -0700121 REQUIRES(!lock_);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800122
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100123 CodeCacheBitmap* GetLiveBitmap() const {
124 return live_bitmap_.get();
125 }
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800126
Nicolas Geoffray35122442016-03-02 12:05:30 +0000127 // Return whether we should do a full collection given the current state of the cache.
128 bool ShouldDoFullCollection()
129 REQUIRES(lock_)
130 SHARED_REQUIRES(Locks::mutator_lock_);
131
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100132 // Perform a collection on the code cache.
133 void GarbageCollectCache(Thread* self)
134 REQUIRES(!lock_)
135 SHARED_REQUIRES(Locks::mutator_lock_);
136
137 // Given the 'pc', try to find the JIT compiled code associated with it.
138 // Return null if 'pc' is not in the code cache. 'method' is passed for
139 // sanity check.
140 OatQuickMethodHeader* LookupMethodHeader(uintptr_t pc, ArtMethod* method)
141 REQUIRES(!lock_)
142 SHARED_REQUIRES(Locks::mutator_lock_);
143
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000144 OatQuickMethodHeader* LookupOsrMethodHeader(ArtMethod* method)
145 REQUIRES(!lock_)
146 SHARED_REQUIRES(Locks::mutator_lock_);
147
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000148 // Remove all methods in our cache that were allocated by 'alloc'.
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100149 void RemoveMethodsIn(Thread* self, const LinearAlloc& alloc)
150 REQUIRES(!lock_)
151 REQUIRES(Locks::classlinker_classes_lock_)
152 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800153
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000154 // Create a 'ProfileInfo' for 'method'. If 'retry_allocation' is true,
155 // will collect and retry if the first allocation is unsuccessful.
156 ProfilingInfo* AddProfilingInfo(Thread* self,
157 ArtMethod* method,
158 const std::vector<uint32_t>& entries,
159 bool retry_allocation)
160 REQUIRES(!lock_)
161 SHARED_REQUIRES(Locks::mutator_lock_);
162
Nicolas Geoffray0a3be162015-11-18 11:15:22 +0000163 bool OwnsSpace(const void* mspace) const NO_THREAD_SAFETY_ANALYSIS {
164 return mspace == code_mspace_ || mspace == data_mspace_;
165 }
166
167 void* MoreCore(const void* mspace, intptr_t increment);
168
Calin Juravle66f55232015-12-08 15:09:10 +0000169 // Adds to `methods` all the compiled ArtMethods which are part of any of the given dex locations.
Calin Juravleb4eddd22016-01-13 15:52:33 -0800170 void GetCompiledArtMethods(const std::set<std::string>& dex_base_locations,
Calin Juravle4d77b6a2015-12-01 18:38:09 +0000171 std::vector<ArtMethod*>& methods)
Calin Juravle31f2c152015-10-23 17:56:15 +0100172 REQUIRES(!lock_)
173 SHARED_REQUIRES(Locks::mutator_lock_);
174
Calin Juravle4d77b6a2015-12-01 18:38:09 +0000175 uint64_t GetLastUpdateTimeNs() const;
Calin Juravle31f2c152015-10-23 17:56:15 +0100176
Nicolas Geoffrayaee21562015-12-15 16:39:44 +0000177 size_t GetCurrentCapacity() REQUIRES(!lock_) {
178 MutexLock lock(Thread::Current(), lock_);
179 return current_capacity_;
180 }
181
Nicolas Geoffraya25dce92016-01-12 16:41:10 +0000182 size_t GetMemorySizeOfCodePointer(const void* ptr) REQUIRES(!lock_);
183
Nicolas Geoffrayb88d59e2016-02-17 11:31:49 +0000184 void InvalidateCompiledCodeFor(ArtMethod* method, const OatQuickMethodHeader* code)
185 REQUIRES(!lock_)
186 SHARED_REQUIRES(Locks::mutator_lock_);
187
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800188 private:
Nicolas Geoffray0a3be162015-11-18 11:15:22 +0000189 // Take ownership of maps.
190 JitCodeCache(MemMap* code_map,
191 MemMap* data_map,
192 size_t initial_code_capacity,
193 size_t initial_data_capacity,
Nicolas Geoffraya25dce92016-01-12 16:41:10 +0000194 size_t max_capacity,
195 bool garbage_collect_code);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800196
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100197 // Internal version of 'CommitCode' that will not retry if the
198 // allocation fails. Return null if the allocation fails.
199 uint8_t* CommitCodeInternal(Thread* self,
200 ArtMethod* method,
201 const uint8_t* mapping_table,
202 const uint8_t* vmap_table,
203 const uint8_t* gc_map,
204 size_t frame_size_in_bytes,
205 size_t core_spill_mask,
206 size_t fp_spill_mask,
207 const uint8_t* code,
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000208 size_t code_size,
209 bool osr)
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100210 REQUIRES(!lock_)
211 SHARED_REQUIRES(Locks::mutator_lock_);
212
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000213 ProfilingInfo* AddProfilingInfoInternal(Thread* self,
214 ArtMethod* method,
215 const std::vector<uint32_t>& entries)
Nicolas Geoffray1e7da9b2016-03-01 14:11:40 +0000216 REQUIRES(lock_)
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000217 SHARED_REQUIRES(Locks::mutator_lock_);
218
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100219 // If a collection is in progress, wait for it to finish. Return
220 // whether the thread actually waited.
221 bool WaitForPotentialCollectionToComplete(Thread* self)
222 REQUIRES(lock_) REQUIRES(!Locks::mutator_lock_);
223
224 // Free in the mspace allocations taken by 'method'.
225 void FreeCode(const void* code_ptr, ArtMethod* method) REQUIRES(lock_);
226
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000227 // Number of bytes allocated in the code cache.
228 size_t CodeCacheSizeLocked() REQUIRES(lock_);
229
230 // Number of bytes allocated in the data cache.
231 size_t DataCacheSizeLocked() REQUIRES(lock_);
232
Nicolas Geoffray0a3be162015-11-18 11:15:22 +0000233 // Notify all waiting threads that a collection is done.
234 void NotifyCollectionDone(Thread* self) REQUIRES(lock_);
235
236 // Try to increase the current capacity of the code cache. Return whether we
237 // succeeded at doing so.
238 bool IncreaseCodeCacheCapacity() REQUIRES(lock_);
239
240 // Set the footprint limit of the code cache.
241 void SetFootprintLimit(size_t new_footprint) REQUIRES(lock_);
242
Nicolas Geoffray35122442016-03-02 12:05:30 +0000243 void DoCollection(Thread* self, bool collect_profiling_info)
Nicolas Geoffray8d372502016-02-23 13:56:43 +0000244 REQUIRES(!lock_)
245 SHARED_REQUIRES(Locks::mutator_lock_);
246
Nicolas Geoffray35122442016-03-02 12:05:30 +0000247 void RemoveUnusedAndUnmarkedCode(Thread* self)
Nicolas Geoffray8d372502016-02-23 13:56:43 +0000248 REQUIRES(!lock_)
249 SHARED_REQUIRES(Locks::mutator_lock_);
250
251 void MarkCompiledCodeOnThreadStacks(Thread* self)
252 REQUIRES(!lock_)
253 SHARED_REQUIRES(Locks::mutator_lock_);
254
Nicolas Geoffray35122442016-03-02 12:05:30 +0000255 bool CheckLiveCompiledCodeHasProfilingInfo()
256 REQUIRES(lock_)
257 SHARED_REQUIRES(Locks::mutator_lock_);
258
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100259 // Lock for guarding allocations, collections, and the method_code_map_.
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800260 Mutex lock_;
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100261 // Condition to wait on during collection.
262 ConditionVariable lock_cond_ GUARDED_BY(lock_);
263 // Whether there is a code cache collection in progress.
264 bool collection_in_progress_ GUARDED_BY(lock_);
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100265 // Mem map which holds code.
266 std::unique_ptr<MemMap> code_map_;
267 // Mem map which holds data (stack maps and profiling info).
268 std::unique_ptr<MemMap> data_map_;
269 // The opaque mspace for allocating code.
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100270 void* code_mspace_ GUARDED_BY(lock_);
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100271 // The opaque mspace for allocating data.
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100272 void* data_mspace_ GUARDED_BY(lock_);
273 // Bitmap for collecting code and data.
274 std::unique_ptr<CodeCacheBitmap> live_bitmap_;
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000275 // Holds compiled code associated to the ArtMethod.
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100276 SafeMap<const void*, ArtMethod*> method_code_map_ GUARDED_BY(lock_);
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000277 // Holds osr compiled code associated to the ArtMethod.
278 SafeMap<ArtMethod*, const void*> osr_code_map_ GUARDED_BY(lock_);
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000279 // ProfilingInfo objects we have allocated.
280 std::vector<ProfilingInfo*> profiling_infos_ GUARDED_BY(lock_);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800281
Nicolas Geoffray0a3be162015-11-18 11:15:22 +0000282 // The maximum capacity in bytes this code cache can go to.
283 size_t max_capacity_ GUARDED_BY(lock_);
284
285 // The current capacity in bytes of the code cache.
286 size_t current_capacity_ GUARDED_BY(lock_);
287
288 // The current footprint in bytes of the code portion of the code cache.
289 size_t code_end_ GUARDED_BY(lock_);
290
291 // The current footprint in bytes of the data portion of the code cache.
292 size_t data_end_ GUARDED_BY(lock_);
293
Nicolas Geoffray35122442016-03-02 12:05:30 +0000294 // Whether the last collection round increased the code cache.
295 bool last_collection_increased_code_cache_ GUARDED_BY(lock_);
Nicolas Geoffray0a3be162015-11-18 11:15:22 +0000296
Calin Juravle31f2c152015-10-23 17:56:15 +0100297 // Last time the the code_cache was updated.
Calin Juravle4d77b6a2015-12-01 18:38:09 +0000298 // It is atomic to avoid locking when reading it.
299 Atomic<uint64_t> last_update_time_ns_;
Calin Juravle31f2c152015-10-23 17:56:15 +0100300
Nicolas Geoffraya25dce92016-01-12 16:41:10 +0000301 // Whether we can do garbage collection.
302 const bool garbage_collect_code_;
303
Nicolas Geoffray38ea9bd2016-02-19 16:25:57 +0000304 // The size in bytes of used memory for the data portion of the code cache.
305 size_t used_memory_for_data_ GUARDED_BY(lock_);
306
307 // The size in bytes of used memory for the code portion of the code cache.
308 size_t used_memory_for_code_ GUARDED_BY(lock_);
309
310 void FreeCode(uint8_t* code) REQUIRES(lock_);
311 uint8_t* AllocateCode(size_t code_size) REQUIRES(lock_);
312 void FreeData(uint8_t* data) REQUIRES(lock_);
313 uint8_t* AllocateData(size_t data_size) REQUIRES(lock_);
314
Nicolas Geoffray0a522232016-01-19 09:34:58 +0000315 // Number of compilations done throughout the lifetime of the JIT.
316 size_t number_of_compilations_ GUARDED_BY(lock_);
Nicolas Geoffrayfcdd7292016-02-25 13:27:47 +0000317 size_t number_of_osr_compilations_ GUARDED_BY(lock_);
Nicolas Geoffray0a522232016-01-19 09:34:58 +0000318
Mathieu Chartier3130cdf2015-05-03 15:20:23 -0700319 DISALLOW_IMPLICIT_CONSTRUCTORS(JitCodeCache);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800320};
321
322
323} // namespace jit
324} // namespace art
325
326#endif // ART_RUNTIME_JIT_JIT_CODE_CACHE_H_