blob: 4e829168bcfc2086c162bca60e687b4cbffe286e [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 Geoffray0a3be162015-11-18 11:15:22 +000052 static constexpr size_t kInitialCapacity = kIsDebugBuild ? 16 * KB : 64 * KB;
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080053
Mathieu Chartierbce416f2015-03-23 12:37:35 -070054 // Create the code cache with a code + data capacity equal to "capacity", error message is passed
55 // in the out arg error_msg.
Nicolas Geoffray0a3be162015-11-18 11:15:22 +000056 static JitCodeCache* Create(size_t initial_capacity, size_t max_capacity, std::string* error_msg);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080057
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010058 // Number of bytes allocated in the code cache.
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +010059 size_t CodeCacheSize() REQUIRES(!lock_);
60
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010061 // Number of bytes allocated in the data cache.
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +010062 size_t DataCacheSize() REQUIRES(!lock_);
63
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010064 // Number of compiled code in the code cache. Note that this is not the number
65 // of methods that got JIT compiled, as we might have collected some.
66 size_t NumberOfCompiledCode() REQUIRES(!lock_);
67
Nicolas Geoffray73be1e82015-09-17 15:22:56 +010068 bool NotifyCompilationOf(ArtMethod* method, Thread* self)
69 SHARED_REQUIRES(Locks::mutator_lock_)
70 REQUIRES(!lock_);
71
72 void DoneCompiling(ArtMethod* method, Thread* self)
73 SHARED_REQUIRES(Locks::mutator_lock_)
74 REQUIRES(!lock_);
75
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +010076 // Allocate and write code and its metadata to the code cache.
77 uint8_t* CommitCode(Thread* self,
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010078 ArtMethod* method,
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +010079 const uint8_t* mapping_table,
80 const uint8_t* vmap_table,
81 const uint8_t* gc_map,
82 size_t frame_size_in_bytes,
83 size_t core_spill_mask,
84 size_t fp_spill_mask,
85 const uint8_t* code,
86 size_t code_size)
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010087 SHARED_REQUIRES(Locks::mutator_lock_)
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +010088 REQUIRES(!lock_);
89
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +010090 // Return true if the code cache contains this pc.
91 bool ContainsPc(const void* pc) const;
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080092
Nicolas Geoffraya5891e82015-11-06 14:18:27 +000093 // Return true if the code cache contains this method.
94 bool ContainsMethod(ArtMethod* method) REQUIRES(!lock_);
95
Nicolas Geoffray5550ca82015-08-21 18:38:30 +010096 // 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 +010097 uint8_t* ReserveData(Thread* self, size_t size)
98 SHARED_REQUIRES(Locks::mutator_lock_)
99 REQUIRES(!lock_);
Nicolas Geoffray5550ca82015-08-21 18:38:30 +0100100
Nicolas Geoffrayd28b9692015-11-04 14:36:55 +0000101 // Clear data from the data portion of the code cache.
102 void ClearData(Thread* self, void* data)
103 SHARED_REQUIRES(Locks::mutator_lock_)
104 REQUIRES(!lock_);
105
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700106 // Add a data array of size (end - begin) with the associated contents, returns null if there
Mathieu Chartierbce416f2015-03-23 12:37:35 -0700107 // is no more room.
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800108 uint8_t* AddDataArray(Thread* self, const uint8_t* begin, const uint8_t* end)
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100109 SHARED_REQUIRES(Locks::mutator_lock_)
Mathieu Chartier90443472015-07-16 20:32:27 -0700110 REQUIRES(!lock_);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800111
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100112 CodeCacheBitmap* GetLiveBitmap() const {
113 return live_bitmap_.get();
114 }
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800115
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100116 // Perform a collection on the code cache.
117 void GarbageCollectCache(Thread* self)
118 REQUIRES(!lock_)
119 SHARED_REQUIRES(Locks::mutator_lock_);
120
121 // Given the 'pc', try to find the JIT compiled code associated with it.
122 // Return null if 'pc' is not in the code cache. 'method' is passed for
123 // sanity check.
124 OatQuickMethodHeader* LookupMethodHeader(uintptr_t pc, ArtMethod* method)
125 REQUIRES(!lock_)
126 SHARED_REQUIRES(Locks::mutator_lock_);
127
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000128 // Remove all methods in our cache that were allocated by 'alloc'.
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100129 void RemoveMethodsIn(Thread* self, const LinearAlloc& alloc)
130 REQUIRES(!lock_)
131 REQUIRES(Locks::classlinker_classes_lock_)
132 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800133
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000134 // Create a 'ProfileInfo' for 'method'. If 'retry_allocation' is true,
135 // will collect and retry if the first allocation is unsuccessful.
136 ProfilingInfo* AddProfilingInfo(Thread* self,
137 ArtMethod* method,
138 const std::vector<uint32_t>& entries,
139 bool retry_allocation)
140 REQUIRES(!lock_)
141 SHARED_REQUIRES(Locks::mutator_lock_);
142
Nicolas Geoffray0a3be162015-11-18 11:15:22 +0000143 bool OwnsSpace(const void* mspace) const NO_THREAD_SAFETY_ANALYSIS {
144 return mspace == code_mspace_ || mspace == data_mspace_;
145 }
146
147 void* MoreCore(const void* mspace, intptr_t increment);
148
Calin Juravle31f2c152015-10-23 17:56:15 +0100149 // Adds to `methods` all the compiled ArtMethods which are part of the given `oat_file`.
150 void GetCompiledArtMethods(const OatFile* oat_file, std::set<ArtMethod*>& methods)
151 REQUIRES(!lock_)
152 SHARED_REQUIRES(Locks::mutator_lock_);
153
154 uint64_t GetLastUpdateTimeNs() REQUIRES(!lock_);
155
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800156 private:
Nicolas Geoffray0a3be162015-11-18 11:15:22 +0000157 // Take ownership of maps.
158 JitCodeCache(MemMap* code_map,
159 MemMap* data_map,
160 size_t initial_code_capacity,
161 size_t initial_data_capacity,
162 size_t max_capacity);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800163
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100164 // Internal version of 'CommitCode' that will not retry if the
165 // allocation fails. Return null if the allocation fails.
166 uint8_t* CommitCodeInternal(Thread* self,
167 ArtMethod* method,
168 const uint8_t* mapping_table,
169 const uint8_t* vmap_table,
170 const uint8_t* gc_map,
171 size_t frame_size_in_bytes,
172 size_t core_spill_mask,
173 size_t fp_spill_mask,
174 const uint8_t* code,
175 size_t code_size)
176 REQUIRES(!lock_)
177 SHARED_REQUIRES(Locks::mutator_lock_);
178
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000179 ProfilingInfo* AddProfilingInfoInternal(Thread* self,
180 ArtMethod* method,
181 const std::vector<uint32_t>& entries)
182 REQUIRES(!lock_)
183 SHARED_REQUIRES(Locks::mutator_lock_);
184
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100185 // If a collection is in progress, wait for it to finish. Return
186 // whether the thread actually waited.
187 bool WaitForPotentialCollectionToComplete(Thread* self)
188 REQUIRES(lock_) REQUIRES(!Locks::mutator_lock_);
189
190 // Free in the mspace allocations taken by 'method'.
191 void FreeCode(const void* code_ptr, ArtMethod* method) REQUIRES(lock_);
192
Nicolas Geoffraya5891e82015-11-06 14:18:27 +0000193 // Number of bytes allocated in the code cache.
194 size_t CodeCacheSizeLocked() REQUIRES(lock_);
195
196 // Number of bytes allocated in the data cache.
197 size_t DataCacheSizeLocked() REQUIRES(lock_);
198
Nicolas Geoffray0a3be162015-11-18 11:15:22 +0000199 // Notify all waiting threads that a collection is done.
200 void NotifyCollectionDone(Thread* self) REQUIRES(lock_);
201
202 // Try to increase the current capacity of the code cache. Return whether we
203 // succeeded at doing so.
204 bool IncreaseCodeCacheCapacity() REQUIRES(lock_);
205
206 // Set the footprint limit of the code cache.
207 void SetFootprintLimit(size_t new_footprint) REQUIRES(lock_);
208
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100209 // Lock for guarding allocations, collections, and the method_code_map_.
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800210 Mutex lock_;
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100211 // Condition to wait on during collection.
212 ConditionVariable lock_cond_ GUARDED_BY(lock_);
213 // Whether there is a code cache collection in progress.
214 bool collection_in_progress_ GUARDED_BY(lock_);
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100215 // Mem map which holds code.
216 std::unique_ptr<MemMap> code_map_;
217 // Mem map which holds data (stack maps and profiling info).
218 std::unique_ptr<MemMap> data_map_;
219 // The opaque mspace for allocating code.
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100220 void* code_mspace_ GUARDED_BY(lock_);
Nicolas Geoffray0c3c2662015-10-15 13:53:04 +0100221 // The opaque mspace for allocating data.
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100222 void* data_mspace_ GUARDED_BY(lock_);
223 // Bitmap for collecting code and data.
224 std::unique_ptr<CodeCacheBitmap> live_bitmap_;
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000225 // This map holds compiled code associated to the ArtMethod.
Nicolas Geoffray1dad3f62015-10-23 14:59:54 +0100226 SafeMap<const void*, ArtMethod*> method_code_map_ GUARDED_BY(lock_);
Nicolas Geoffray26705e22015-10-28 12:50:11 +0000227 // ProfilingInfo objects we have allocated.
228 std::vector<ProfilingInfo*> profiling_infos_ GUARDED_BY(lock_);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800229
Nicolas Geoffray0a3be162015-11-18 11:15:22 +0000230 // The maximum capacity in bytes this code cache can go to.
231 size_t max_capacity_ GUARDED_BY(lock_);
232
233 // The current capacity in bytes of the code cache.
234 size_t current_capacity_ GUARDED_BY(lock_);
235
236 // The current footprint in bytes of the code portion of the code cache.
237 size_t code_end_ GUARDED_BY(lock_);
238
239 // The current footprint in bytes of the data portion of the code cache.
240 size_t data_end_ GUARDED_BY(lock_);
241
242 // Whether a collection has already been done on the current capacity.
243 bool has_done_one_collection_ GUARDED_BY(lock_);
244
Calin Juravle31f2c152015-10-23 17:56:15 +0100245 // Last time the the code_cache was updated.
246 uint64_t last_update_time_ns_ GUARDED_BY(lock_);
247
Mathieu Chartier3130cdf2015-05-03 15:20:23 -0700248 DISALLOW_IMPLICIT_CONSTRUCTORS(JitCodeCache);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800249};
250
251
252} // namespace jit
253} // namespace art
254
255#endif // ART_RUNTIME_JIT_JIT_CODE_CACHE_H_