blob: 4b81f717d582dfe9ab908c025f17cd7d470b9462 [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;
Mathieu Chartiere5f13e52015-02-24 09:37:21 -080047class JitOptions;
48
Nicolas Geoffray274fe4a2016-04-12 16:33:24 +010049static constexpr int16_t kJitCheckForOSR = -1;
50static constexpr int16_t kJitHotnessDisabled = -2;
Nicolas Geoffray47b95802018-05-16 15:42:17 +010051// At what priority to schedule jit threads. 9 is the lowest foreground priority on device.
52// See android/os/Process.java.
53static constexpr int kJitPoolThreadPthreadDefaultPriority = 9;
David Srbeckye3fc2d12018-11-30 13:41:14 +000054static constexpr uint32_t kJitSamplesBatchSize = 32; // Must be power of 2.
Nicolas Geoffray47b95802018-05-16 15:42:17 +010055
56class JitOptions {
57 public:
58 static JitOptions* CreateFromRuntimeArguments(const RuntimeArgumentMap& options);
59
60 uint16_t GetCompileThreshold() const {
61 return compile_threshold_;
62 }
63
64 uint16_t GetWarmupThreshold() const {
65 return warmup_threshold_;
66 }
67
68 uint16_t GetOsrThreshold() const {
69 return osr_threshold_;
70 }
71
72 uint16_t GetPriorityThreadWeight() const {
73 return priority_thread_weight_;
74 }
75
76 uint16_t GetInvokeTransitionWeight() const {
77 return invoke_transition_weight_;
78 }
79
80 size_t GetCodeCacheInitialCapacity() const {
81 return code_cache_initial_capacity_;
82 }
83
84 size_t GetCodeCacheMaxCapacity() const {
85 return code_cache_max_capacity_;
86 }
87
88 bool DumpJitInfoOnShutdown() const {
89 return dump_info_on_shutdown_;
90 }
91
92 const ProfileSaverOptions& GetProfileSaverOptions() const {
93 return profile_saver_options_;
94 }
95
96 bool GetSaveProfilingInfo() const {
97 return profile_saver_options_.IsEnabled();
98 }
99
100 int GetThreadPoolPthreadPriority() const {
101 return thread_pool_pthread_priority_;
102 }
103
104 bool UseJitCompilation() const {
105 return use_jit_compilation_;
106 }
107
108 void SetUseJitCompilation(bool b) {
109 use_jit_compilation_ = b;
110 }
111
112 void SetSaveProfilingInfo(bool save_profiling_info) {
113 profile_saver_options_.SetEnabled(save_profiling_info);
114 }
115
116 void SetWaitForJitNotificationsToSaveProfile(bool value) {
117 profile_saver_options_.SetWaitForJitNotificationsToSave(value);
118 }
119
120 void SetProfileAOTCode(bool value) {
121 profile_saver_options_.SetProfileAOTCode(value);
122 }
123
124 void SetJitAtFirstUse() {
125 use_jit_compilation_ = true;
126 compile_threshold_ = 0;
127 }
128
129 private:
David Srbeckye3fc2d12018-11-30 13:41:14 +0000130 // We add the sample in batches of size kJitSamplesBatchSize.
131 // This method rounds the threshold so that it is multiple of the batch size.
132 static uint32_t RoundUpThreshold(uint32_t threshold);
133
Nicolas Geoffray47b95802018-05-16 15:42:17 +0100134 bool use_jit_compilation_;
135 size_t code_cache_initial_capacity_;
136 size_t code_cache_max_capacity_;
David Srbeckye3fc2d12018-11-30 13:41:14 +0000137 uint32_t compile_threshold_;
138 uint32_t warmup_threshold_;
139 uint32_t osr_threshold_;
Nicolas Geoffray47b95802018-05-16 15:42:17 +0100140 uint16_t priority_thread_weight_;
141 uint16_t invoke_transition_weight_;
142 bool dump_info_on_shutdown_;
143 int thread_pool_pthread_priority_;
144 ProfileSaverOptions profile_saver_options_;
145
146 JitOptions()
147 : use_jit_compilation_(false),
148 code_cache_initial_capacity_(0),
149 code_cache_max_capacity_(0),
150 compile_threshold_(0),
151 warmup_threshold_(0),
152 osr_threshold_(0),
153 priority_thread_weight_(0),
154 invoke_transition_weight_(0),
155 dump_info_on_shutdown_(false),
Nicolas Geoffrayc9de61c2018-11-27 17:34:31 +0000156 thread_pool_pthread_priority_(kJitPoolThreadPthreadDefaultPriority) {}
Nicolas Geoffray47b95802018-05-16 15:42:17 +0100157
158 DISALLOW_COPY_AND_ASSIGN(JitOptions);
159};
Nicolas Geoffray274fe4a2016-04-12 16:33:24 +0100160
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800161class Jit {
162 public:
Nicolas Geoffray71cd50f2016-04-14 15:00:33 +0100163 static constexpr size_t kDefaultPriorityThreadWeightRatio = 1000;
Nicolas Geoffraybd553eb2016-04-28 13:56:04 +0100164 static constexpr size_t kDefaultInvokeTransitionWeightRatio = 500;
buzbee42a09cb02017-02-01 09:08:31 -0800165 // How frequently should the interpreter check to see if OSR compilation is ready.
David Srbeckye3fc2d12018-11-30 13:41:14 +0000166 static constexpr int16_t kJitRecheckOSRThreshold = 101; // Prime number to avoid patterns.
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800167
168 virtual ~Jit();
Orion Hodsonad28f5e2018-10-17 09:08:17 +0100169
170 // Create JIT itself.
171 static Jit* Create(JitCodeCache* code_cache, JitOptions* options);
172
Nicolas Geoffray075456e2018-12-14 08:54:21 +0000173 bool CompileMethod(ArtMethod* method, Thread* self, bool baseline, bool osr)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700174 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray274fe4a2016-04-12 16:33:24 +0100175
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800176 const JitCodeCache* GetCodeCache() const {
Orion Hodsonad28f5e2018-10-17 09:08:17 +0100177 return code_cache_;
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800178 }
Nicolas Geoffray274fe4a2016-04-12 16:33:24 +0100179
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800180 JitCodeCache* GetCodeCache() {
Orion Hodsonad28f5e2018-10-17 09:08:17 +0100181 return code_cache_;
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800182 }
Nicolas Geoffray274fe4a2016-04-12 16:33:24 +0100183
Orion Hodsonad28f5e2018-10-17 09:08:17 +0100184 void CreateThreadPool();
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800185 void DeleteThreadPool();
Mathieu Chartier93c21ba2018-12-10 13:08:30 -0800186 void WaitForWorkersToBeCreated();
Orion Hodsonad28f5e2018-10-17 09:08:17 +0100187
Mathieu Chartiera4885cb2015-03-09 15:38:54 -0700188 // Dump interesting info: #methods compiled, code vs data size, compile / verify cumulative
189 // loggers.
Nicolas Geoffraya4f81542016-03-08 16:57:48 +0000190 void DumpInfo(std::ostream& os) REQUIRES(!lock_);
Mathieu Chartiera4885cb2015-03-09 15:38:54 -0700191 // Add a timing logger to cumulative_timings_.
192 void AddTimingLogger(const TimingLogger& logger);
Nicolas Geoffraya4f81542016-03-08 16:57:48 +0000193
194 void AddMemoryUsage(ArtMethod* method, size_t bytes)
195 REQUIRES(!lock_)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700196 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffraya4f81542016-03-08 16:57:48 +0000197
Nicolas Geoffray47b95802018-05-16 15:42:17 +0100198 uint16_t OSRMethodThreshold() const {
199 return options_->GetOsrThreshold();
Mathieu Chartiera50f9cf2015-09-25 11:34:45 -0700200 }
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800201
Nicolas Geoffray47b95802018-05-16 15:42:17 +0100202 uint16_t HotMethodThreshold() const {
203 return options_->GetCompileThreshold();
Nicolas Geoffray274fe4a2016-04-12 16:33:24 +0100204 }
205
Nicolas Geoffray47b95802018-05-16 15:42:17 +0100206 uint16_t WarmMethodThreshold() const {
207 return options_->GetWarmupThreshold();
Nicolas Geoffray274fe4a2016-04-12 16:33:24 +0100208 }
209
210 uint16_t PriorityThreadWeight() const {
Nicolas Geoffray47b95802018-05-16 15:42:17 +0100211 return options_->GetPriorityThreadWeight();
Nicolas Geoffray274fe4a2016-04-12 16:33:24 +0100212 }
213
Calin Juravleffc87072016-04-20 14:22:09 +0100214 // Returns false if we only need to save profile information and not compile methods.
215 bool UseJitCompilation() const {
Nicolas Geoffray47b95802018-05-16 15:42:17 +0100216 return options_->UseJitCompilation();
Calin Juravleffc87072016-04-20 14:22:09 +0100217 }
218
Calin Juravle138dbff2016-06-28 19:36:58 +0100219 bool GetSaveProfilingInfo() const {
Nicolas Geoffray47b95802018-05-16 15:42:17 +0100220 return options_->GetSaveProfilingInfo();
Calin Juravleffc87072016-04-20 14:22:09 +0100221 }
222
Nicolas Geoffray274fe4a2016-04-12 16:33:24 +0100223 // Wait until there is no more pending compilation tasks.
224 void WaitForCompilationToFinish(Thread* self);
225
226 // Profiling methods.
227 void MethodEntered(Thread* thread, ArtMethod* method)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700228 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray274fe4a2016-04-12 16:33:24 +0100229
David Srbeckye3fc2d12018-11-30 13:41:14 +0000230 ALWAYS_INLINE void AddSamples(Thread* self,
231 ArtMethod* method,
232 uint16_t samples,
233 bool with_backedges)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700234 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray274fe4a2016-04-12 16:33:24 +0100235
Mathieu Chartieref41db72016-10-25 15:08:01 -0700236 void InvokeVirtualOrInterface(ObjPtr<mirror::Object> this_object,
Nicolas Geoffray274fe4a2016-04-12 16:33:24 +0100237 ArtMethod* caller,
238 uint32_t dex_pc,
239 ArtMethod* callee)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700240 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffray274fe4a2016-04-12 16:33:24 +0100241
Nicolas Geoffray71cd50f2016-04-14 15:00:33 +0100242 void NotifyInterpreterToCompiledCodeTransition(Thread* self, ArtMethod* caller)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700243 REQUIRES_SHARED(Locks::mutator_lock_) {
Nicolas Geoffray47b95802018-05-16 15:42:17 +0100244 AddSamples(self, caller, options_->GetInvokeTransitionWeight(), false);
Nicolas Geoffray71cd50f2016-04-14 15:00:33 +0100245 }
246
247 void NotifyCompiledCodeToInterpreterTransition(Thread* self, ArtMethod* callee)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700248 REQUIRES_SHARED(Locks::mutator_lock_) {
Nicolas Geoffray47b95802018-05-16 15:42:17 +0100249 AddSamples(self, callee, options_->GetInvokeTransitionWeight(), false);
Nicolas Geoffray71cd50f2016-04-14 15:00:33 +0100250 }
251
Calin Juravlec90bc922016-02-24 10:13:09 +0000252 // Starts the profile saver if the config options allow profile recording.
253 // The profile will be stored in the specified `filename` and will contain
254 // information collected from the given `code_paths` (a set of dex locations).
Calin Juravlec90bc922016-02-24 10:13:09 +0000255 void StartProfileSaver(const std::string& filename,
Calin Juravle77651c42017-03-03 18:04:02 -0800256 const std::vector<std::string>& code_paths);
Calin Juravle4d77b6a2015-12-01 18:38:09 +0000257 void StopProfileSaver();
Calin Juravle31f2c152015-10-23 17:56:15 +0100258
Calin Juravleb8e69992016-03-09 15:37:48 +0000259 void DumpForSigQuit(std::ostream& os) REQUIRES(!lock_);
Nicolas Geoffrayaee21562015-12-15 16:39:44 +0000260
Tamas Berghammer160e6df2016-01-05 14:29:02 +0000261 static void NewTypeLoadedIfUsingJit(mirror::Class* type)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700262 REQUIRES_SHARED(Locks::mutator_lock_);
Tamas Berghammer160e6df2016-01-05 14:29:02 +0000263
Tamas Berghammerfffbee42016-01-15 13:09:34 +0000264 // If debug info generation is turned on then write the type information for types already loaded
265 // into the specified class linker to the jit debug interface,
266 void DumpTypeInfoForLoadedTypes(ClassLinker* linker);
267
Nicolas Geoffray35122442016-03-02 12:05:30 +0000268 // Return whether we should try to JIT compiled code as soon as an ArtMethod is invoked.
Siva Chandra05d24152016-01-05 17:43:17 -0800269 bool JitAtFirstUse();
270
Nicolas Geoffray35122442016-03-02 12:05:30 +0000271 // Return whether we can invoke JIT code for `method`.
272 bool CanInvokeCompiledCode(ArtMethod* method);
273
Calin Juravleb2771b42016-04-07 17:09:25 +0100274 // Return whether the runtime should use a priority thread weight when sampling.
Vladimir Markoa710d912017-09-12 14:56:07 +0100275 static bool ShouldUsePriorityThreadWeight(Thread* self);
Calin Juravleb2771b42016-04-07 17:09:25 +0100276
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000277 // If an OSR compiled version is available for `method`,
278 // and `dex_pc + dex_pc_offset` is an entry point of that compiled
279 // version, this method will jump to the compiled code, let it run,
280 // and return true afterwards. Return false otherwise.
281 static bool MaybeDoOnStackReplacement(Thread* thread,
282 ArtMethod* method,
283 uint32_t dex_pc,
284 int32_t dex_pc_offset,
285 JValue* result)
Andreas Gampebdf7f1c2016-08-30 16:38:47 -0700286 REQUIRES_SHARED(Locks::mutator_lock_);
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +0000287
Nicolas Geoffraya7edd0d2018-11-07 03:18:16 +0000288 // Load the compiler library.
289 static bool LoadCompilerLibrary(std::string* error_msg);
Mathieu Chartier72918ea2016-03-24 11:07:06 -0700290
Andreas Gampef149b3f2016-11-16 14:58:24 -0800291 ThreadPool* GetThreadPool() const {
292 return thread_pool_.get();
293 }
294
Nicolas Geoffray021c5f22016-12-16 11:22:05 +0000295 // Stop the JIT by waiting for all current compilations and enqueued compilations to finish.
296 void Stop();
297
298 // Start JIT threads.
299 void Start();
300
Nicolas Geoffrayce9ed362018-11-29 03:19:28 +0000301 // Transition to a child state.
Nicolas Geoffray0d54cfb2019-05-03 09:13:52 +0100302 void PostForkChildAction(bool is_system_server, bool is_zygote);
Nicolas Geoffrayce9ed362018-11-29 03:19:28 +0000303
304 // Prepare for forking.
305 void PreZygoteFork();
306
307 // Adjust state after forking.
308 void PostZygoteFork();
Nicolas Geoffrayc9de61c2018-11-27 17:34:31 +0000309
Nicolas Geoffray9ac09ee2019-05-08 23:38:27 +0100310 // Compile methods from the given profile. If `add_to_queue` is true, methods
311 // in the profile are added to the JIT queue. Otherwise they are compiled
312 // directly.
313 void CompileMethodsFromProfile(Thread* self,
314 const std::vector<const DexFile*>& dex_files,
315 const std::string& profile_path,
316 Handle<mirror::ClassLoader> class_loader,
317 bool add_to_queue);
318
319 // Register the dex files to the JIT. This is to perform any compilation/optimization
320 // at the point of loading the dex files.
321 void RegisterDexFiles(const std::vector<std::unique_ptr<const DexFile>>& dex_files,
322 ObjPtr<mirror::ClassLoader> class_loader);
Nicolas Geoffrayde1b2a22019-02-27 09:10:57 +0000323
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800324 private:
Orion Hodsonad28f5e2018-10-17 09:08:17 +0100325 Jit(JitCodeCache* code_cache, JitOptions* options);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800326
David Srbeckye3fc2d12018-11-30 13:41:14 +0000327 // Compile the method if the number of samples passes a threshold.
328 // Returns false if we can not compile now - don't increment the counter and retry later.
329 bool MaybeCompileMethod(Thread* self,
330 ArtMethod* method,
331 uint32_t old_count,
332 uint32_t new_count,
333 bool with_backedges)
334 REQUIRES_SHARED(Locks::mutator_lock_);
335
Orion Hodsonad28f5e2018-10-17 09:08:17 +0100336 static bool BindCompilerMethods(std::string* error_msg);
Mathieu Chartierc1bc4152016-03-24 17:22:52 -0700337
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800338 // JIT compiler
Mathieu Chartier72918ea2016-03-24 11:07:06 -0700339 static void* jit_library_handle_;
340 static void* jit_compiler_handle_;
Nicolas Geoffrayc9de61c2018-11-27 17:34:31 +0000341 static void* (*jit_load_)(void);
Mathieu Chartier72918ea2016-03-24 11:07:06 -0700342 static void (*jit_unload_)(void*);
Nicolas Geoffray075456e2018-12-14 08:54:21 +0000343 static bool (*jit_compile_method_)(void*, ArtMethod*, Thread*, bool, bool);
Mathieu Chartier72918ea2016-03-24 11:07:06 -0700344 static void (*jit_types_loaded_)(void*, mirror::Class**, size_t count);
Nicolas Geoffrayc9de61c2018-11-27 17:34:31 +0000345 static void (*jit_update_options_)(void*);
346 static bool (*jit_generate_debug_info_)(void*);
347 template <typename T> static bool LoadSymbol(T*, const char* symbol, std::string* error_msg);
Nicolas Geoffray47b95802018-05-16 15:42:17 +0100348
Orion Hodsonad28f5e2018-10-17 09:08:17 +0100349 // JIT resources owned by runtime.
350 jit::JitCodeCache* const code_cache_;
Nicolas Geoffray47b95802018-05-16 15:42:17 +0100351 const JitOptions* const options_;
352
Nicolas Geoffray47b95802018-05-16 15:42:17 +0100353 std::unique_ptr<ThreadPool> thread_pool_;
Nicolas Geoffraydc2fbb62019-04-11 22:55:50 +0100354 std::vector<std::unique_ptr<OatDexFile>> type_lookup_tables_;
Nicolas Geoffray47b95802018-05-16 15:42:17 +0100355
Mathieu Chartiera4885cb2015-03-09 15:38:54 -0700356 // Performance monitoring.
Mathieu Chartiera4885cb2015-03-09 15:38:54 -0700357 CumulativeLogger cumulative_timings_;
Nicolas Geoffraya4f81542016-03-08 16:57:48 +0000358 Histogram<uint64_t> memory_use_ GUARDED_BY(lock_);
359 Mutex lock_ DEFAULT_MUTEX_ACQUIRED_AFTER;
Mathieu Chartiera4885cb2015-03-09 15:38:54 -0700360
Mathieu Chartier3130cdf2015-05-03 15:20:23 -0700361 DISALLOW_COPY_AND_ASSIGN(Jit);
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800362};
363
Andreas Gampef149b3f2016-11-16 14:58:24 -0800364// Helper class to stop the JIT for a given scope. This will wait for the JIT to quiesce.
365class ScopedJitSuspend {
366 public:
367 ScopedJitSuspend();
368 ~ScopedJitSuspend();
369
370 private:
371 bool was_on_;
372};
373
Mathieu Chartiere5f13e52015-02-24 09:37:21 -0800374} // namespace jit
375} // namespace art
376
377#endif // ART_RUNTIME_JIT_JIT_H_