blob: 56432778e12ee0513991a28380c0794393660e28 [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_H_
18#define ART_RUNTIME_JIT_JIT_H_
19
Nicolas Geoffraya4f81542016-03-08 16:57:48 +000020#include "base/histogram-inl.h"
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080021#include "base/macros.h"
22#include "base/mutex.h"
Mathieu Chartiera4885cb2015-03-09 15:38:54 -070023#include "base/timing_logger.h"
Nicolas Geoffray9ac09ee2019-05-08 23:38:27 +010024#include "handle.h"
Mathieu Chartieref41db72016-10-25 15:08:01 -070025#include "jit/profile_saver_options.h"
26#include "obj_ptr.h"
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080027#include "thread_pool.h"
28
29namespace art {
30
Mathieu Chartiere401d142015-04-22 13:56:20 -070031class ArtMethod;
David Sehr9323e6e2016-09-13 08:58:35 -070032class ClassLinker;
Nicolas Geoffray9ac09ee2019-05-08 23:38:27 +010033class DexFile;
Nicolas Geoffraydc2fbb62019-04-11 22:55:50 +010034class OatDexFile;
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080035struct RuntimeArgumentMap;
Vladimir Marko3a21e382016-09-02 12:38:38 +010036union JValue;
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080037
David Sehr709b0702016-10-13 09:12:37 -070038namespace mirror {
39class Object;
40class Class;
Nicolas Geoffray9ac09ee2019-05-08 23:38:27 +010041class ClassLoader;
David Sehr709b0702016-10-13 09:12:37 -070042} // namespace mirror
43
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080044namespace jit {
45
46class JitCodeCache;
Nicolas Geoffray7f7539b2019-06-06 16:20:54 +010047class JitMemoryRegion;
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080048class JitOptions;
49
Nicolas Geoffray274fe4a2016-04-12 16:33:24 +010050static constexpr int16_t kJitCheckForOSR = -1;
51static constexpr int16_t kJitHotnessDisabled = -2;
Nicolas Geoffray47b95802018-05-16 15:42:17 +010052// At what priority to schedule jit threads. 9 is the lowest foreground priority on device.
53// See android/os/Process.java.
54static constexpr int kJitPoolThreadPthreadDefaultPriority = 9;
David Srbeckye3fc2d12018-11-30 13:41:14 +000055static constexpr uint32_t kJitSamplesBatchSize = 32; // Must be power of 2.
Nicolas Geoffray47b95802018-05-16 15:42:17 +010056
57class JitOptions {
58 public:
59 static JitOptions* CreateFromRuntimeArguments(const RuntimeArgumentMap& options);
60
61 uint16_t GetCompileThreshold() const {
62 return compile_threshold_;
63 }
64
65 uint16_t GetWarmupThreshold() const {
66 return warmup_threshold_;
67 }
68
69 uint16_t GetOsrThreshold() const {
70 return osr_threshold_;
71 }
72
73 uint16_t GetPriorityThreadWeight() const {
74 return priority_thread_weight_;
75 }
76
77 uint16_t GetInvokeTransitionWeight() const {
78 return invoke_transition_weight_;
79 }
80
81 size_t GetCodeCacheInitialCapacity() const {
82 return code_cache_initial_capacity_;
83 }
84
85 size_t GetCodeCacheMaxCapacity() const {
86 return code_cache_max_capacity_;
87 }
88
89 bool DumpJitInfoOnShutdown() const {
90 return dump_info_on_shutdown_;
91 }
92
93 const ProfileSaverOptions& GetProfileSaverOptions() const {
94 return profile_saver_options_;
95 }
96
97 bool GetSaveProfilingInfo() const {
98 return profile_saver_options_.IsEnabled();
99 }
100
101 int GetThreadPoolPthreadPriority() const {
102 return thread_pool_pthread_priority_;
103 }
104
105 bool UseJitCompilation() const {
106 return use_jit_compilation_;
107 }
108
109 void SetUseJitCompilation(bool b) {
110 use_jit_compilation_ = b;
111 }
112
113 void SetSaveProfilingInfo(bool save_profiling_info) {
114 profile_saver_options_.SetEnabled(save_profiling_info);
115 }
116
117 void SetWaitForJitNotificationsToSaveProfile(bool value) {
118 profile_saver_options_.SetWaitForJitNotificationsToSave(value);
119 }
120
121 void SetProfileAOTCode(bool value) {
122 profile_saver_options_.SetProfileAOTCode(value);
123 }
124
125 void SetJitAtFirstUse() {
126 use_jit_compilation_ = true;
127 compile_threshold_ = 0;
128 }
129
130 private:
David Srbeckye3fc2d12018-11-30 13:41:14 +0000131 // We add the sample in batches of size kJitSamplesBatchSize.
132 // This method rounds the threshold so that it is multiple of the batch size.
133 static uint32_t RoundUpThreshold(uint32_t threshold);
134
Nicolas Geoffray47b95802018-05-16 15:42:17 +0100135 bool use_jit_compilation_;
136 size_t code_cache_initial_capacity_;
137 size_t code_cache_max_capacity_;
David Srbeckye3fc2d12018-11-30 13:41:14 +0000138 uint32_t compile_threshold_;
139 uint32_t warmup_threshold_;
140 uint32_t osr_threshold_;
Nicolas Geoffray47b95802018-05-16 15:42:17 +0100141 uint16_t priority_thread_weight_;
142 uint16_t invoke_transition_weight_;
143 bool dump_info_on_shutdown_;
144 int thread_pool_pthread_priority_;
145 ProfileSaverOptions profile_saver_options_;
146
147 JitOptions()
148 : use_jit_compilation_(false),
149 code_cache_initial_capacity_(0),
150 code_cache_max_capacity_(0),
151 compile_threshold_(0),
152 warmup_threshold_(0),
153 osr_threshold_(0),
154 priority_thread_weight_(0),
155 invoke_transition_weight_(0),
156 dump_info_on_shutdown_(false),
Nicolas Geoffrayc9de61c2018-11-27 17:34:31 +0000157 thread_pool_pthread_priority_(kJitPoolThreadPthreadDefaultPriority) {}
Nicolas Geoffray47b95802018-05-16 15:42:17 +0100158
159 DISALLOW_COPY_AND_ASSIGN(JitOptions);
160};
Nicolas Geoffray274fe4a2016-04-12 16:33:24 +0100161
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800162class Jit {
163 public:
Nicolas Geoffray71cd50f2016-04-14 15:00:33 +0100164 static constexpr size_t kDefaultPriorityThreadWeightRatio = 1000;
Nicolas Geoffraybd553eb2016-04-28 13:56:04 +0100165 static constexpr size_t kDefaultInvokeTransitionWeightRatio = 500;
buzbee42a09cb02017-02-01 09:08:31 -0800166 // How frequently should the interpreter check to see if OSR compilation is ready.
David Srbeckye3fc2d12018-11-30 13:41:14 +0000167 static constexpr int16_t kJitRecheckOSRThreshold = 101; // Prime number to avoid patterns.
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800168
169 virtual ~Jit();
Orion Hodsonad28f5e2018-10-17 09:08:17 +0100170
171 // Create JIT itself.
172 static Jit* Create(JitCodeCache* code_cache, JitOptions* options);
173
Nicolas Geoffrayd2f13ba2019-06-04 16:48:58 +0100174 bool CompileMethod(ArtMethod* method, Thread* self, bool baseline, bool osr, bool prejit)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700175 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray274fe4a2016-04-12 16:33:24 +0100176
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800177 const JitCodeCache* GetCodeCache() const {
Orion Hodsonad28f5e2018-10-17 09:08:17 +0100178 return code_cache_;
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800179 }
Nicolas Geoffray274fe4a2016-04-12 16:33:24 +0100180
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800181 JitCodeCache* GetCodeCache() {
Orion Hodsonad28f5e2018-10-17 09:08:17 +0100182 return code_cache_;
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800183 }
Nicolas Geoffray274fe4a2016-04-12 16:33:24 +0100184
Orion Hodsonad28f5e2018-10-17 09:08:17 +0100185 void CreateThreadPool();
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800186 void DeleteThreadPool();
Mathieu Chartier93c21ba2018-12-10 13:08:30 -0800187 void WaitForWorkersToBeCreated();
Orion Hodsonad28f5e2018-10-17 09:08:17 +0100188
Mathieu Chartiera4885cb2015-03-09 15:38:54 -0700189 // Dump interesting info: #methods compiled, code vs data size, compile / verify cumulative
190 // loggers.
Nicolas Geoffraya4f81542016-03-08 16:57:48 +0000191 void DumpInfo(std::ostream& os) REQUIRES(!lock_);
Mathieu Chartiera4885cb2015-03-09 15:38:54 -0700192 // Add a timing logger to cumulative_timings_.
193 void AddTimingLogger(const TimingLogger& logger);
Nicolas Geoffraya4f81542016-03-08 16:57:48 +0000194
195 void AddMemoryUsage(ArtMethod* method, size_t bytes)
196 REQUIRES(!lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700197 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffraya4f81542016-03-08 16:57:48 +0000198
Nicolas Geoffray47b95802018-05-16 15:42:17 +0100199 uint16_t OSRMethodThreshold() const {
200 return options_->GetOsrThreshold();
Mathieu Chartiera50f9cf2015-09-25 11:34:45 -0700201 }
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800202
Nicolas Geoffray47b95802018-05-16 15:42:17 +0100203 uint16_t HotMethodThreshold() const {
204 return options_->GetCompileThreshold();
Nicolas Geoffray274fe4a2016-04-12 16:33:24 +0100205 }
206
Nicolas Geoffray47b95802018-05-16 15:42:17 +0100207 uint16_t WarmMethodThreshold() const {
208 return options_->GetWarmupThreshold();
Nicolas Geoffray274fe4a2016-04-12 16:33:24 +0100209 }
210
211 uint16_t PriorityThreadWeight() const {
Nicolas Geoffray47b95802018-05-16 15:42:17 +0100212 return options_->GetPriorityThreadWeight();
Nicolas Geoffray274fe4a2016-04-12 16:33:24 +0100213 }
214
Calin Juravleffc87072016-04-20 14:22:09 +0100215 // Returns false if we only need to save profile information and not compile methods.
216 bool UseJitCompilation() const {
Nicolas Geoffray47b95802018-05-16 15:42:17 +0100217 return options_->UseJitCompilation();
Calin Juravleffc87072016-04-20 14:22:09 +0100218 }
219
Calin Juravle138dbff2016-06-28 19:36:58 +0100220 bool GetSaveProfilingInfo() const {
Nicolas Geoffray47b95802018-05-16 15:42:17 +0100221 return options_->GetSaveProfilingInfo();
Calin Juravleffc87072016-04-20 14:22:09 +0100222 }
223
Nicolas Geoffray274fe4a2016-04-12 16:33:24 +0100224 // Wait until there is no more pending compilation tasks.
225 void WaitForCompilationToFinish(Thread* self);
226
227 // Profiling methods.
228 void MethodEntered(Thread* thread, ArtMethod* method)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700229 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray274fe4a2016-04-12 16:33:24 +0100230
David Srbeckye3fc2d12018-11-30 13:41:14 +0000231 ALWAYS_INLINE void AddSamples(Thread* self,
232 ArtMethod* method,
233 uint16_t samples,
234 bool with_backedges)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700235 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray274fe4a2016-04-12 16:33:24 +0100236
Mathieu Chartieref41db72016-10-25 15:08:01 -0700237 void InvokeVirtualOrInterface(ObjPtr<mirror::Object> this_object,
Nicolas Geoffray274fe4a2016-04-12 16:33:24 +0100238 ArtMethod* caller,
239 uint32_t dex_pc,
240 ArtMethod* callee)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700241 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray274fe4a2016-04-12 16:33:24 +0100242
Nicolas Geoffray71cd50f2016-04-14 15:00:33 +0100243 void NotifyInterpreterToCompiledCodeTransition(Thread* self, ArtMethod* caller)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700244 REQUIRES_SHARED(Locks::mutator_lock_) {
Nicolas Geoffray47b95802018-05-16 15:42:17 +0100245 AddSamples(self, caller, options_->GetInvokeTransitionWeight(), false);
Nicolas Geoffray71cd50f2016-04-14 15:00:33 +0100246 }
247
248 void NotifyCompiledCodeToInterpreterTransition(Thread* self, ArtMethod* callee)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700249 REQUIRES_SHARED(Locks::mutator_lock_) {
Nicolas Geoffray47b95802018-05-16 15:42:17 +0100250 AddSamples(self, callee, options_->GetInvokeTransitionWeight(), false);
Nicolas Geoffray71cd50f2016-04-14 15:00:33 +0100251 }
252
Calin Juravlec90bc922016-02-24 10:13:09 +0000253 // Starts the profile saver if the config options allow profile recording.
254 // The profile will be stored in the specified `filename` and will contain
255 // information collected from the given `code_paths` (a set of dex locations).
Calin Juravlec90bc922016-02-24 10:13:09 +0000256 void StartProfileSaver(const std::string& filename,
Calin Juravle77651c42017-03-03 18:04:02 -0800257 const std::vector<std::string>& code_paths);
Calin Juravle4d77b6a2015-12-01 18:38:09 +0000258 void StopProfileSaver();
Calin Juravle31f2c152015-10-23 17:56:15 +0100259
Calin Juravleb8e69992016-03-09 15:37:48 +0000260 void DumpForSigQuit(std::ostream& os) REQUIRES(!lock_);
Nicolas Geoffrayaee21562015-12-15 16:39:44 +0000261
Tamas Berghammer160e6df2016-01-05 14:29:02 +0000262 static void NewTypeLoadedIfUsingJit(mirror::Class* type)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700263 REQUIRES_SHARED(Locks::mutator_lock_);
Tamas Berghammer160e6df2016-01-05 14:29:02 +0000264
Tamas Berghammerfffbee42016-01-15 13:09:34 +0000265 // If debug info generation is turned on then write the type information for types already loaded
266 // into the specified class linker to the jit debug interface,
267 void DumpTypeInfoForLoadedTypes(ClassLinker* linker);
268
Nicolas Geoffray35122442016-03-02 12:05:30 +0000269 // Return whether we should try to JIT compiled code as soon as an ArtMethod is invoked.
Siva Chandra05d24152016-01-05 17:43:17 -0800270 bool JitAtFirstUse();
271
Nicolas Geoffray35122442016-03-02 12:05:30 +0000272 // Return whether we can invoke JIT code for `method`.
273 bool CanInvokeCompiledCode(ArtMethod* method);
274
Calin Juravleb2771b42016-04-07 17:09:25 +0100275 // Return whether the runtime should use a priority thread weight when sampling.
Vladimir Markoa710d912017-09-12 14:56:07 +0100276 static bool ShouldUsePriorityThreadWeight(Thread* self);
Calin Juravleb2771b42016-04-07 17:09:25 +0100277
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000278 // If an OSR compiled version is available for `method`,
279 // and `dex_pc + dex_pc_offset` is an entry point of that compiled
280 // version, this method will jump to the compiled code, let it run,
281 // and return true afterwards. Return false otherwise.
282 static bool MaybeDoOnStackReplacement(Thread* thread,
283 ArtMethod* method,
284 uint32_t dex_pc,
285 int32_t dex_pc_offset,
286 JValue* result)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700287 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000288
Nicolas Geoffraya7edd0d2018-11-07 03:18:16 +0000289 // Load the compiler library.
290 static bool LoadCompilerLibrary(std::string* error_msg);
Mathieu Chartier72918ea2016-03-24 11:07:06 -0700291
Andreas Gampef149b3f2016-11-16 14:58:24 -0800292 ThreadPool* GetThreadPool() const {
293 return thread_pool_.get();
294 }
295
Nicolas Geoffray021c5f22016-12-16 11:22:05 +0000296 // Stop the JIT by waiting for all current compilations and enqueued compilations to finish.
297 void Stop();
298
299 // Start JIT threads.
300 void Start();
301
Nicolas Geoffrayce9ed362018-11-29 03:19:28 +0000302 // Transition to a child state.
Nicolas Geoffray0d54cfb2019-05-03 09:13:52 +0100303 void PostForkChildAction(bool is_system_server, bool is_zygote);
Nicolas Geoffrayce9ed362018-11-29 03:19:28 +0000304
305 // Prepare for forking.
306 void PreZygoteFork();
307
308 // Adjust state after forking.
309 void PostZygoteFork();
Nicolas Geoffrayc9de61c2018-11-27 17:34:31 +0000310
Nicolas Geoffray9ac09ee2019-05-08 23:38:27 +0100311 // Compile methods from the given profile. If `add_to_queue` is true, methods
312 // in the profile are added to the JIT queue. Otherwise they are compiled
313 // directly.
314 void CompileMethodsFromProfile(Thread* self,
315 const std::vector<const DexFile*>& dex_files,
316 const std::string& profile_path,
317 Handle<mirror::ClassLoader> class_loader,
318 bool add_to_queue);
319
320 // Register the dex files to the JIT. This is to perform any compilation/optimization
321 // at the point of loading the dex files.
322 void RegisterDexFiles(const std::vector<std::unique_ptr<const DexFile>>& dex_files,
Nicolas Geoffray741a0702019-06-10 11:18:11 +0100323 jobject class_loader);
Nicolas Geoffrayde1b2a22019-02-27 09:10:57 +0000324
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800325 private:
Orion Hodsonad28f5e2018-10-17 09:08:17 +0100326 Jit(JitCodeCache* code_cache, JitOptions* options);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800327
David Srbeckye3fc2d12018-11-30 13:41:14 +0000328 // Compile the method if the number of samples passes a threshold.
329 // Returns false if we can not compile now - don't increment the counter and retry later.
330 bool MaybeCompileMethod(Thread* self,
331 ArtMethod* method,
332 uint32_t old_count,
333 uint32_t new_count,
334 bool with_backedges)
335 REQUIRES_SHARED(Locks::mutator_lock_);
336
Orion Hodsonad28f5e2018-10-17 09:08:17 +0100337 static bool BindCompilerMethods(std::string* error_msg);
Mathieu Chartierc1bc4152016-03-24 17:22:52 -0700338
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800339 // JIT compiler
Mathieu Chartier72918ea2016-03-24 11:07:06 -0700340 static void* jit_library_handle_;
341 static void* jit_compiler_handle_;
Nicolas Geoffrayc9de61c2018-11-27 17:34:31 +0000342 static void* (*jit_load_)(void);
Mathieu Chartier72918ea2016-03-24 11:07:06 -0700343 static void (*jit_unload_)(void*);
Nicolas Geoffray7f7539b2019-06-06 16:20:54 +0100344 static bool (*jit_compile_method_)(void*, JitMemoryRegion*, ArtMethod*, Thread*, bool, bool);
Mathieu Chartier72918ea2016-03-24 11:07:06 -0700345 static void (*jit_types_loaded_)(void*, mirror::Class**, size_t count);
Nicolas Geoffrayc9de61c2018-11-27 17:34:31 +0000346 static void (*jit_update_options_)(void*);
347 static bool (*jit_generate_debug_info_)(void*);
348 template <typename T> static bool LoadSymbol(T*, const char* symbol, std::string* error_msg);
Nicolas Geoffray47b95802018-05-16 15:42:17 +0100349
Orion Hodsonad28f5e2018-10-17 09:08:17 +0100350 // JIT resources owned by runtime.
351 jit::JitCodeCache* const code_cache_;
Nicolas Geoffray47b95802018-05-16 15:42:17 +0100352 const JitOptions* const options_;
353
Nicolas Geoffray47b95802018-05-16 15:42:17 +0100354 std::unique_ptr<ThreadPool> thread_pool_;
Nicolas Geoffraydc2fbb62019-04-11 22:55:50 +0100355 std::vector<std::unique_ptr<OatDexFile>> type_lookup_tables_;
Nicolas Geoffray47b95802018-05-16 15:42:17 +0100356
Mathieu Chartiera4885cb2015-03-09 15:38:54 -0700357 // Performance monitoring.
Mathieu Chartiera4885cb2015-03-09 15:38:54 -0700358 CumulativeLogger cumulative_timings_;
Nicolas Geoffraya4f81542016-03-08 16:57:48 +0000359 Histogram<uint64_t> memory_use_ GUARDED_BY(lock_);
360 Mutex lock_ DEFAULT_MUTEX_ACQUIRED_AFTER;
Mathieu Chartiera4885cb2015-03-09 15:38:54 -0700361
Mathieu Chartier3130cdf2015-05-03 15:20:23 -0700362 DISALLOW_COPY_AND_ASSIGN(Jit);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800363};
364
Andreas Gampef149b3f2016-11-16 14:58:24 -0800365// Helper class to stop the JIT for a given scope. This will wait for the JIT to quiesce.
366class ScopedJitSuspend {
367 public:
368 ScopedJitSuspend();
369 ~ScopedJitSuspend();
370
371 private:
372 bool was_on_;
373};
374
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800375} // namespace jit
376} // namespace art
377
378#endif // ART_RUNTIME_JIT_JIT_H_