Mathieu Chartier | e5f13e5 | 2015-02-24 09:37:21 -0800 | [diff] [blame] | 1 | /* |
| 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 Geoffray | a4f8154 | 2016-03-08 16:57:48 +0000 | [diff] [blame] | 20 | #include "base/arena_allocator.h" |
| 21 | #include "base/histogram-inl.h" |
Mathieu Chartier | e5f13e5 | 2015-02-24 09:37:21 -0800 | [diff] [blame] | 22 | #include "base/macros.h" |
| 23 | #include "base/mutex.h" |
Mathieu Chartier | a4885cb | 2015-03-09 15:38:54 -0700 | [diff] [blame] | 24 | #include "base/timing_logger.h" |
Mathieu Chartier | e5f13e5 | 2015-02-24 09:37:21 -0800 | [diff] [blame] | 25 | #include "object_callbacks.h" |
Calin Juravle | 31f2c15 | 2015-10-23 17:56:15 +0100 | [diff] [blame] | 26 | #include "offline_profiling_info.h" |
Mathieu Chartier | e5f13e5 | 2015-02-24 09:37:21 -0800 | [diff] [blame] | 27 | #include "thread_pool.h" |
| 28 | |
| 29 | namespace art { |
| 30 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 31 | class ArtMethod; |
Mathieu Chartier | e5f13e5 | 2015-02-24 09:37:21 -0800 | [diff] [blame] | 32 | struct RuntimeArgumentMap; |
| 33 | |
| 34 | namespace jit { |
| 35 | |
| 36 | class JitCodeCache; |
Mathieu Chartier | e5f13e5 | 2015-02-24 09:37:21 -0800 | [diff] [blame] | 37 | class JitOptions; |
| 38 | |
Nicolas Geoffray | 274fe4a | 2016-04-12 16:33:24 +0100 | [diff] [blame] | 39 | static constexpr int16_t kJitCheckForOSR = -1; |
| 40 | static constexpr int16_t kJitHotnessDisabled = -2; |
| 41 | |
Mathieu Chartier | e5f13e5 | 2015-02-24 09:37:21 -0800 | [diff] [blame] | 42 | class Jit { |
| 43 | public: |
| 44 | static constexpr bool kStressMode = kIsDebugBuild; |
Nicolas Geoffray | 83f080a | 2016-03-08 16:50:21 +0000 | [diff] [blame] | 45 | static constexpr size_t kDefaultCompileThreshold = kStressMode ? 2 : 10000; |
Nicolas Geoffray | 71cd50f | 2016-04-14 15:00:33 +0100 | [diff] [blame] | 46 | static constexpr size_t kDefaultPriorityThreadWeightRatio = 1000; |
Nicolas Geoffray | bd553eb | 2016-04-28 13:56:04 +0100 | [diff] [blame^] | 47 | static constexpr size_t kDefaultInvokeTransitionWeightRatio = 500; |
Mathieu Chartier | e5f13e5 | 2015-02-24 09:37:21 -0800 | [diff] [blame] | 48 | |
| 49 | virtual ~Jit(); |
| 50 | static Jit* Create(JitOptions* options, std::string* error_msg); |
Nicolas Geoffray | b331feb | 2016-02-05 16:51:53 +0000 | [diff] [blame] | 51 | bool CompileMethod(ArtMethod* method, Thread* self, bool osr) |
Mathieu Chartier | 9044347 | 2015-07-16 20:32:27 -0700 | [diff] [blame] | 52 | SHARED_REQUIRES(Locks::mutator_lock_); |
Mathieu Chartier | e5f13e5 | 2015-02-24 09:37:21 -0800 | [diff] [blame] | 53 | void CreateThreadPool(); |
Nicolas Geoffray | 274fe4a | 2016-04-12 16:33:24 +0100 | [diff] [blame] | 54 | |
Mathieu Chartier | e5f13e5 | 2015-02-24 09:37:21 -0800 | [diff] [blame] | 55 | const JitCodeCache* GetCodeCache() const { |
| 56 | return code_cache_.get(); |
| 57 | } |
Nicolas Geoffray | 274fe4a | 2016-04-12 16:33:24 +0100 | [diff] [blame] | 58 | |
Mathieu Chartier | e5f13e5 | 2015-02-24 09:37:21 -0800 | [diff] [blame] | 59 | JitCodeCache* GetCodeCache() { |
| 60 | return code_cache_.get(); |
| 61 | } |
Nicolas Geoffray | 274fe4a | 2016-04-12 16:33:24 +0100 | [diff] [blame] | 62 | |
Mathieu Chartier | e5f13e5 | 2015-02-24 09:37:21 -0800 | [diff] [blame] | 63 | void DeleteThreadPool(); |
Mathieu Chartier | a4885cb | 2015-03-09 15:38:54 -0700 | [diff] [blame] | 64 | // Dump interesting info: #methods compiled, code vs data size, compile / verify cumulative |
| 65 | // loggers. |
Nicolas Geoffray | a4f8154 | 2016-03-08 16:57:48 +0000 | [diff] [blame] | 66 | void DumpInfo(std::ostream& os) REQUIRES(!lock_); |
Mathieu Chartier | a4885cb | 2015-03-09 15:38:54 -0700 | [diff] [blame] | 67 | // Add a timing logger to cumulative_timings_. |
| 68 | void AddTimingLogger(const TimingLogger& logger); |
Nicolas Geoffray | a4f8154 | 2016-03-08 16:57:48 +0000 | [diff] [blame] | 69 | |
| 70 | void AddMemoryUsage(ArtMethod* method, size_t bytes) |
| 71 | REQUIRES(!lock_) |
| 72 | SHARED_REQUIRES(Locks::mutator_lock_); |
| 73 | |
Nicolas Geoffray | 274fe4a | 2016-04-12 16:33:24 +0100 | [diff] [blame] | 74 | size_t OSRMethodThreshold() const { |
| 75 | return osr_method_threshold_; |
Mathieu Chartier | a50f9cf | 2015-09-25 11:34:45 -0700 | [diff] [blame] | 76 | } |
Mathieu Chartier | e5f13e5 | 2015-02-24 09:37:21 -0800 | [diff] [blame] | 77 | |
Nicolas Geoffray | 274fe4a | 2016-04-12 16:33:24 +0100 | [diff] [blame] | 78 | size_t HotMethodThreshold() const { |
| 79 | return hot_method_threshold_; |
| 80 | } |
| 81 | |
| 82 | size_t WarmMethodThreshold() const { |
| 83 | return warm_method_threshold_; |
| 84 | } |
| 85 | |
| 86 | uint16_t PriorityThreadWeight() const { |
| 87 | return priority_thread_weight_; |
| 88 | } |
| 89 | |
Calin Juravle | ffc8707 | 2016-04-20 14:22:09 +0100 | [diff] [blame] | 90 | // Returns false if we only need to save profile information and not compile methods. |
| 91 | bool UseJitCompilation() const { |
| 92 | return use_jit_compilation_; |
| 93 | } |
| 94 | |
| 95 | bool SaveProfilingInfo() const { |
| 96 | return save_profiling_info_; |
| 97 | } |
| 98 | |
Nicolas Geoffray | 274fe4a | 2016-04-12 16:33:24 +0100 | [diff] [blame] | 99 | // Wait until there is no more pending compilation tasks. |
| 100 | void WaitForCompilationToFinish(Thread* self); |
| 101 | |
| 102 | // Profiling methods. |
| 103 | void MethodEntered(Thread* thread, ArtMethod* method) |
| 104 | SHARED_REQUIRES(Locks::mutator_lock_); |
| 105 | |
Nicolas Geoffray | 71cd50f | 2016-04-14 15:00:33 +0100 | [diff] [blame] | 106 | void AddSamples(Thread* self, ArtMethod* method, uint16_t samples, bool with_backedges) |
Nicolas Geoffray | 274fe4a | 2016-04-12 16:33:24 +0100 | [diff] [blame] | 107 | SHARED_REQUIRES(Locks::mutator_lock_); |
| 108 | |
| 109 | void InvokeVirtualOrInterface(Thread* thread, |
| 110 | mirror::Object* this_object, |
| 111 | ArtMethod* caller, |
| 112 | uint32_t dex_pc, |
| 113 | ArtMethod* callee) |
| 114 | SHARED_REQUIRES(Locks::mutator_lock_); |
| 115 | |
Nicolas Geoffray | 71cd50f | 2016-04-14 15:00:33 +0100 | [diff] [blame] | 116 | void NotifyInterpreterToCompiledCodeTransition(Thread* self, ArtMethod* caller) |
| 117 | SHARED_REQUIRES(Locks::mutator_lock_) { |
Calin Juravle | 155ff3d | 2016-04-27 14:14:58 +0100 | [diff] [blame] | 118 | AddSamples(self, caller, invoke_transition_weight_, false); |
Nicolas Geoffray | 71cd50f | 2016-04-14 15:00:33 +0100 | [diff] [blame] | 119 | } |
| 120 | |
| 121 | void NotifyCompiledCodeToInterpreterTransition(Thread* self, ArtMethod* callee) |
| 122 | SHARED_REQUIRES(Locks::mutator_lock_) { |
Calin Juravle | 155ff3d | 2016-04-27 14:14:58 +0100 | [diff] [blame] | 123 | AddSamples(self, callee, invoke_transition_weight_, false); |
Nicolas Geoffray | 71cd50f | 2016-04-14 15:00:33 +0100 | [diff] [blame] | 124 | } |
| 125 | |
Calin Juravle | c90bc92 | 2016-02-24 10:13:09 +0000 | [diff] [blame] | 126 | // Starts the profile saver if the config options allow profile recording. |
| 127 | // The profile will be stored in the specified `filename` and will contain |
| 128 | // information collected from the given `code_paths` (a set of dex locations). |
| 129 | // The `foreign_dex_profile_path` is the path where the saver will put the |
| 130 | // profile markers for loaded dex files which are not owned by the application. |
| 131 | // The `app_dir` is the application directory and is used to decide which |
| 132 | // dex files belong to the application. |
| 133 | void StartProfileSaver(const std::string& filename, |
| 134 | const std::vector<std::string>& code_paths, |
| 135 | const std::string& foreign_dex_profile_path, |
| 136 | const std::string& app_dir); |
Calin Juravle | 4d77b6a | 2015-12-01 18:38:09 +0000 | [diff] [blame] | 137 | void StopProfileSaver(); |
Calin Juravle | 31f2c15 | 2015-10-23 17:56:15 +0100 | [diff] [blame] | 138 | |
Calin Juravle | b8e6999 | 2016-03-09 15:37:48 +0000 | [diff] [blame] | 139 | void DumpForSigQuit(std::ostream& os) REQUIRES(!lock_); |
Nicolas Geoffray | aee2156 | 2015-12-15 16:39:44 +0000 | [diff] [blame] | 140 | |
Tamas Berghammer | 160e6df | 2016-01-05 14:29:02 +0000 | [diff] [blame] | 141 | static void NewTypeLoadedIfUsingJit(mirror::Class* type) |
| 142 | SHARED_REQUIRES(Locks::mutator_lock_); |
| 143 | |
Tamas Berghammer | fffbee4 | 2016-01-15 13:09:34 +0000 | [diff] [blame] | 144 | // If debug info generation is turned on then write the type information for types already loaded |
| 145 | // into the specified class linker to the jit debug interface, |
| 146 | void DumpTypeInfoForLoadedTypes(ClassLinker* linker); |
| 147 | |
Nicolas Geoffray | 3512244 | 2016-03-02 12:05:30 +0000 | [diff] [blame] | 148 | // Return whether we should try to JIT compiled code as soon as an ArtMethod is invoked. |
Siva Chandra | 05d2415 | 2016-01-05 17:43:17 -0800 | [diff] [blame] | 149 | bool JitAtFirstUse(); |
| 150 | |
Nicolas Geoffray | 3512244 | 2016-03-02 12:05:30 +0000 | [diff] [blame] | 151 | // Return whether we can invoke JIT code for `method`. |
| 152 | bool CanInvokeCompiledCode(ArtMethod* method); |
| 153 | |
Calin Juravle | b2771b4 | 2016-04-07 17:09:25 +0100 | [diff] [blame] | 154 | // Return whether the runtime should use a priority thread weight when sampling. |
| 155 | static bool ShouldUsePriorityThreadWeight(); |
| 156 | |
Nicolas Geoffray | b331feb | 2016-02-05 16:51:53 +0000 | [diff] [blame] | 157 | // If an OSR compiled version is available for `method`, |
| 158 | // and `dex_pc + dex_pc_offset` is an entry point of that compiled |
| 159 | // version, this method will jump to the compiled code, let it run, |
| 160 | // and return true afterwards. Return false otherwise. |
| 161 | static bool MaybeDoOnStackReplacement(Thread* thread, |
| 162 | ArtMethod* method, |
| 163 | uint32_t dex_pc, |
| 164 | int32_t dex_pc_offset, |
| 165 | JValue* result) |
| 166 | SHARED_REQUIRES(Locks::mutator_lock_); |
| 167 | |
Mathieu Chartier | c1bc415 | 2016-03-24 17:22:52 -0700 | [diff] [blame] | 168 | static bool LoadCompilerLibrary(std::string* error_msg); |
Mathieu Chartier | 72918ea | 2016-03-24 11:07:06 -0700 | [diff] [blame] | 169 | |
Mathieu Chartier | e5f13e5 | 2015-02-24 09:37:21 -0800 | [diff] [blame] | 170 | private: |
| 171 | Jit(); |
Mathieu Chartier | e5f13e5 | 2015-02-24 09:37:21 -0800 | [diff] [blame] | 172 | |
Mathieu Chartier | c1bc415 | 2016-03-24 17:22:52 -0700 | [diff] [blame] | 173 | static bool LoadCompiler(std::string* error_msg); |
| 174 | |
Mathieu Chartier | e5f13e5 | 2015-02-24 09:37:21 -0800 | [diff] [blame] | 175 | // JIT compiler |
Mathieu Chartier | 72918ea | 2016-03-24 11:07:06 -0700 | [diff] [blame] | 176 | static void* jit_library_handle_; |
| 177 | static void* jit_compiler_handle_; |
| 178 | static void* (*jit_load_)(bool*); |
| 179 | static void (*jit_unload_)(void*); |
| 180 | static bool (*jit_compile_method_)(void*, ArtMethod*, Thread*, bool); |
| 181 | static void (*jit_types_loaded_)(void*, mirror::Class**, size_t count); |
Mathieu Chartier | e5f13e5 | 2015-02-24 09:37:21 -0800 | [diff] [blame] | 182 | |
Mathieu Chartier | a4885cb | 2015-03-09 15:38:54 -0700 | [diff] [blame] | 183 | // Performance monitoring. |
| 184 | bool dump_info_on_shutdown_; |
| 185 | CumulativeLogger cumulative_timings_; |
Nicolas Geoffray | a4f8154 | 2016-03-08 16:57:48 +0000 | [diff] [blame] | 186 | Histogram<uint64_t> memory_use_ GUARDED_BY(lock_); |
| 187 | Mutex lock_ DEFAULT_MUTEX_ACQUIRED_AFTER; |
Mathieu Chartier | a4885cb | 2015-03-09 15:38:54 -0700 | [diff] [blame] | 188 | |
Mathieu Chartier | e5f13e5 | 2015-02-24 09:37:21 -0800 | [diff] [blame] | 189 | std::unique_ptr<jit::JitCodeCache> code_cache_; |
Mathieu Chartier | 3130cdf | 2015-05-03 15:20:23 -0700 | [diff] [blame] | 190 | |
Calin Juravle | ffc8707 | 2016-04-20 14:22:09 +0100 | [diff] [blame] | 191 | bool use_jit_compilation_; |
Calin Juravle | 4d77b6a | 2015-12-01 18:38:09 +0000 | [diff] [blame] | 192 | bool save_profiling_info_; |
Mathieu Chartier | 72918ea | 2016-03-24 11:07:06 -0700 | [diff] [blame] | 193 | static bool generate_debug_info_; |
Nicolas Geoffray | 274fe4a | 2016-04-12 16:33:24 +0100 | [diff] [blame] | 194 | uint16_t hot_method_threshold_; |
| 195 | uint16_t warm_method_threshold_; |
| 196 | uint16_t osr_method_threshold_; |
| 197 | uint16_t priority_thread_weight_; |
Calin Juravle | 155ff3d | 2016-04-27 14:14:58 +0100 | [diff] [blame] | 198 | uint16_t invoke_transition_weight_; |
Nicolas Geoffray | 274fe4a | 2016-04-12 16:33:24 +0100 | [diff] [blame] | 199 | std::unique_ptr<ThreadPool> thread_pool_; |
Calin Juravle | 4d77b6a | 2015-12-01 18:38:09 +0000 | [diff] [blame] | 200 | |
Mathieu Chartier | 3130cdf | 2015-05-03 15:20:23 -0700 | [diff] [blame] | 201 | DISALLOW_COPY_AND_ASSIGN(Jit); |
Mathieu Chartier | e5f13e5 | 2015-02-24 09:37:21 -0800 | [diff] [blame] | 202 | }; |
| 203 | |
| 204 | class JitOptions { |
| 205 | public: |
| 206 | static JitOptions* CreateFromRuntimeArguments(const RuntimeArgumentMap& options); |
| 207 | size_t GetCompileThreshold() const { |
| 208 | return compile_threshold_; |
| 209 | } |
Nicolas Geoffray | 5550ca8 | 2015-08-21 18:38:30 +0100 | [diff] [blame] | 210 | size_t GetWarmupThreshold() const { |
| 211 | return warmup_threshold_; |
| 212 | } |
Nicolas Geoffray | b331feb | 2016-02-05 16:51:53 +0000 | [diff] [blame] | 213 | size_t GetOsrThreshold() const { |
| 214 | return osr_threshold_; |
| 215 | } |
Calin Juravle | b2771b4 | 2016-04-07 17:09:25 +0100 | [diff] [blame] | 216 | uint16_t GetPriorityThreadWeight() const { |
| 217 | return priority_thread_weight_; |
| 218 | } |
Calin Juravle | 155ff3d | 2016-04-27 14:14:58 +0100 | [diff] [blame] | 219 | size_t GetInvokeTransitionWeight() const { |
| 220 | return invoke_transition_weight_; |
| 221 | } |
Nicolas Geoffray | 0a3be16 | 2015-11-18 11:15:22 +0000 | [diff] [blame] | 222 | size_t GetCodeCacheInitialCapacity() const { |
| 223 | return code_cache_initial_capacity_; |
| 224 | } |
| 225 | size_t GetCodeCacheMaxCapacity() const { |
| 226 | return code_cache_max_capacity_; |
Mathieu Chartier | e5f13e5 | 2015-02-24 09:37:21 -0800 | [diff] [blame] | 227 | } |
Mathieu Chartier | a4885cb | 2015-03-09 15:38:54 -0700 | [diff] [blame] | 228 | bool DumpJitInfoOnShutdown() const { |
| 229 | return dump_info_on_shutdown_; |
| 230 | } |
Calin Juravle | 31f2c15 | 2015-10-23 17:56:15 +0100 | [diff] [blame] | 231 | bool GetSaveProfilingInfo() const { |
| 232 | return save_profiling_info_; |
| 233 | } |
Calin Juravle | ffc8707 | 2016-04-20 14:22:09 +0100 | [diff] [blame] | 234 | bool UseJitCompilation() const { |
| 235 | return use_jit_compilation_; |
Mathieu Chartier | 455f67c | 2015-03-17 13:48:29 -0700 | [diff] [blame] | 236 | } |
Calin Juravle | ffc8707 | 2016-04-20 14:22:09 +0100 | [diff] [blame] | 237 | void SetUseJitCompilation(bool b) { |
| 238 | use_jit_compilation_ = b; |
Mathieu Chartier | 455f67c | 2015-03-17 13:48:29 -0700 | [diff] [blame] | 239 | } |
Calin Juravle | 31f2c15 | 2015-10-23 17:56:15 +0100 | [diff] [blame] | 240 | void SetSaveProfilingInfo(bool b) { |
| 241 | save_profiling_info_ = b; |
| 242 | } |
Siva Chandra | 05d2415 | 2016-01-05 17:43:17 -0800 | [diff] [blame] | 243 | void SetJitAtFirstUse() { |
Calin Juravle | ffc8707 | 2016-04-20 14:22:09 +0100 | [diff] [blame] | 244 | use_jit_compilation_ = true; |
Siva Chandra | 05d2415 | 2016-01-05 17:43:17 -0800 | [diff] [blame] | 245 | compile_threshold_ = 0; |
| 246 | } |
Mathieu Chartier | e5f13e5 | 2015-02-24 09:37:21 -0800 | [diff] [blame] | 247 | |
| 248 | private: |
Calin Juravle | ffc8707 | 2016-04-20 14:22:09 +0100 | [diff] [blame] | 249 | bool use_jit_compilation_; |
Nicolas Geoffray | 0a3be16 | 2015-11-18 11:15:22 +0000 | [diff] [blame] | 250 | size_t code_cache_initial_capacity_; |
| 251 | size_t code_cache_max_capacity_; |
Mathieu Chartier | e5f13e5 | 2015-02-24 09:37:21 -0800 | [diff] [blame] | 252 | size_t compile_threshold_; |
Nicolas Geoffray | 5550ca8 | 2015-08-21 18:38:30 +0100 | [diff] [blame] | 253 | size_t warmup_threshold_; |
Nicolas Geoffray | b331feb | 2016-02-05 16:51:53 +0000 | [diff] [blame] | 254 | size_t osr_threshold_; |
Calin Juravle | b2771b4 | 2016-04-07 17:09:25 +0100 | [diff] [blame] | 255 | uint16_t priority_thread_weight_; |
Calin Juravle | 155ff3d | 2016-04-27 14:14:58 +0100 | [diff] [blame] | 256 | size_t invoke_transition_weight_; |
Mathieu Chartier | a4885cb | 2015-03-09 15:38:54 -0700 | [diff] [blame] | 257 | bool dump_info_on_shutdown_; |
Calin Juravle | 31f2c15 | 2015-10-23 17:56:15 +0100 | [diff] [blame] | 258 | bool save_profiling_info_; |
Mathieu Chartier | e5f13e5 | 2015-02-24 09:37:21 -0800 | [diff] [blame] | 259 | |
Nicolas Geoffray | 0a3be16 | 2015-11-18 11:15:22 +0000 | [diff] [blame] | 260 | JitOptions() |
Calin Juravle | ffc8707 | 2016-04-20 14:22:09 +0100 | [diff] [blame] | 261 | : use_jit_compilation_(false), |
Nicolas Geoffray | 0a3be16 | 2015-11-18 11:15:22 +0000 | [diff] [blame] | 262 | code_cache_initial_capacity_(0), |
| 263 | code_cache_max_capacity_(0), |
| 264 | compile_threshold_(0), |
Calin Juravle | 31f2c15 | 2015-10-23 17:56:15 +0100 | [diff] [blame] | 265 | dump_info_on_shutdown_(false), |
| 266 | save_profiling_info_(false) { } |
Mathieu Chartier | 3130cdf | 2015-05-03 15:20:23 -0700 | [diff] [blame] | 267 | |
| 268 | DISALLOW_COPY_AND_ASSIGN(JitOptions); |
Mathieu Chartier | e5f13e5 | 2015-02-24 09:37:21 -0800 | [diff] [blame] | 269 | }; |
| 270 | |
| 271 | } // namespace jit |
| 272 | } // namespace art |
| 273 | |
| 274 | #endif // ART_RUNTIME_JIT_JIT_H_ |