| /* |
| * Copyright (C) 2011 The Android Open Source Project |
| * |
| * Licensed under the Apache License, Version 2.0 (the "License"); |
| * you may not use this file except in compliance with the License. |
| * You may obtain a copy of the License at |
| * |
| * http://www.apache.org/licenses/LICENSE-2.0 |
| * |
| * Unless required by applicable law or agreed to in writing, software |
| * distributed under the License is distributed on an "AS IS" BASIS, |
| * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| * See the License for the specific language governing permissions and |
| * limitations under the License. |
| */ |
| |
| #ifndef ART_DEX2OAT_DRIVER_COMPILER_DRIVER_H_ |
| #define ART_DEX2OAT_DRIVER_COMPILER_DRIVER_H_ |
| |
| #include <atomic> |
| #include <set> |
| #include <string> |
| #include <vector> |
| |
| #include "arch/instruction_set.h" |
| #include "base/array_ref.h" |
| #include "base/bit_utils.h" |
| #include "base/hash_set.h" |
| #include "base/mutex.h" |
| #include "base/os.h" |
| #include "base/quasi_atomic.h" |
| #include "base/safe_map.h" |
| #include "base/timing_logger.h" |
| #include "class_status.h" |
| #include "compiler.h" |
| #include "dex/class_reference.h" |
| #include "dex/dex_file_types.h" |
| #include "dex/method_reference.h" |
| #include "driver/compiled_method_storage.h" |
| #include "thread_pool.h" |
| #include "utils/atomic_dex_ref_map.h" |
| |
| namespace art { |
| |
| namespace dex { |
| struct CodeItem; |
| } // namespace dex |
| |
| namespace mirror { |
| class Class; |
| class DexCache; |
| } // namespace mirror |
| |
| namespace verifier { |
| class MethodVerifier; |
| class VerifierDepsTest; |
| } // namespace verifier |
| |
| class ArtField; |
| class BitVector; |
| class CompiledMethod; |
| class CompilerOptions; |
| class DexCompilationUnit; |
| class DexFile; |
| template<class T> class Handle; |
| struct InlineIGetIPutData; |
| class InstructionSetFeatures; |
| class InternTable; |
| enum InvokeType : uint32_t; |
| class MemberOffset; |
| template<class MirrorType> class ObjPtr; |
| class ParallelCompilationManager; |
| class ProfileCompilationInfo; |
| class ScopedObjectAccess; |
| template <class Allocator> class SrcMap; |
| class TimingLogger; |
| class VdexFile; |
| class VerificationResults; |
| |
| class CompilerDriver { |
| public: |
| // Create a compiler targeting the requested "instruction_set". |
| // "image" should be true if image specific optimizations should be |
| // enabled. "image_classes" lets the compiler know what classes it |
| // can assume will be in the image, with null implying all available |
| // classes. |
| CompilerDriver(const CompilerOptions* compiler_options, |
| const VerificationResults* verification_results, |
| Compiler::Kind compiler_kind, |
| size_t thread_count, |
| int swap_fd); |
| |
| ~CompilerDriver(); |
| |
| void PrepareDexFilesForOatFile(TimingLogger* timings); |
| |
| // Set dex files classpath. |
| void SetClasspathDexFiles(const std::vector<const DexFile*>& dex_files); |
| |
| // Initialize and destroy thread pools. This is exposed because we do not want |
| // to do this twice, for PreCompile() and CompileAll(). |
| void InitializeThreadPools(); |
| void FreeThreadPools(); |
| |
| void PreCompile(jobject class_loader, |
| const std::vector<const DexFile*>& dex_files, |
| TimingLogger* timings, |
| /*inout*/ HashSet<std::string>* image_classes) |
| REQUIRES(!Locks::mutator_lock_); |
| void CompileAll(jobject class_loader, |
| const std::vector<const DexFile*>& dex_files, |
| TimingLogger* timings) |
| REQUIRES(!Locks::mutator_lock_); |
| |
| const CompilerOptions& GetCompilerOptions() const { |
| return *compiler_options_; |
| } |
| |
| const VerificationResults* GetVerificationResults() const { |
| return verification_results_; |
| } |
| |
| Compiler* GetCompiler() const { |
| return compiler_.get(); |
| } |
| |
| // Generate the trampolines that are invoked by unresolved direct methods. |
| std::unique_ptr<const std::vector<uint8_t>> CreateJniDlsymLookupTrampoline() const; |
| std::unique_ptr<const std::vector<uint8_t>> CreateJniDlsymLookupCriticalTrampoline() const; |
| std::unique_ptr<const std::vector<uint8_t>> CreateQuickGenericJniTrampoline() const; |
| std::unique_ptr<const std::vector<uint8_t>> CreateQuickImtConflictTrampoline() const; |
| std::unique_ptr<const std::vector<uint8_t>> CreateQuickResolutionTrampoline() const; |
| std::unique_ptr<const std::vector<uint8_t>> CreateQuickToInterpreterBridge() const; |
| std::unique_ptr<const std::vector<uint8_t>> CreateNterpTrampoline() const; |
| |
| ClassStatus GetClassStatus(const ClassReference& ref) const; |
| bool GetCompiledClass(const ClassReference& ref, ClassStatus* status) const; |
| |
| CompiledMethod* GetCompiledMethod(MethodReference ref) const; |
| // Add a compiled method. |
| void AddCompiledMethod(const MethodReference& method_ref, CompiledMethod* const compiled_method); |
| CompiledMethod* RemoveCompiledMethod(const MethodReference& method_ref); |
| |
| // Resolve compiling method's class. Returns null on failure. |
| ObjPtr<mirror::Class> ResolveCompilingMethodsClass(const ScopedObjectAccess& soa, |
| Handle<mirror::DexCache> dex_cache, |
| Handle<mirror::ClassLoader> class_loader, |
| const DexCompilationUnit* mUnit) |
| REQUIRES_SHARED(Locks::mutator_lock_); |
| |
| ObjPtr<mirror::Class> ResolveClass(const ScopedObjectAccess& soa, |
| Handle<mirror::DexCache> dex_cache, |
| Handle<mirror::ClassLoader> class_loader, |
| dex::TypeIndex type_index, |
| const DexCompilationUnit* mUnit) |
| REQUIRES_SHARED(Locks::mutator_lock_); |
| |
| // Resolve a field. Returns null on failure, including incompatible class change. |
| // NOTE: Unlike ClassLinker's ResolveField(), this method enforces is_static. |
| ArtField* ResolveField(const ScopedObjectAccess& soa, |
| Handle<mirror::DexCache> dex_cache, |
| Handle<mirror::ClassLoader> class_loader, |
| uint32_t field_idx, |
| bool is_static) |
| REQUIRES_SHARED(Locks::mutator_lock_); |
| |
| // Can we fast-path an IGET/IPUT access to an instance field? If yes, compute the field offset. |
| std::pair<bool, bool> IsFastInstanceField(ObjPtr<mirror::DexCache> dex_cache, |
| ObjPtr<mirror::Class> referrer_class, |
| ArtField* resolved_field, |
| uint16_t field_idx) |
| REQUIRES_SHARED(Locks::mutator_lock_); |
| |
| void ProcessedInstanceField(bool resolved); |
| void ProcessedStaticField(bool resolved, bool local); |
| |
| // Can we fast path instance field access? Computes field's offset and volatility. |
| bool ComputeInstanceFieldInfo(uint32_t field_idx, const DexCompilationUnit* mUnit, bool is_put, |
| MemberOffset* field_offset, bool* is_volatile) |
| REQUIRES(!Locks::mutator_lock_); |
| |
| ArtField* ComputeInstanceFieldInfo(uint32_t field_idx, |
| const DexCompilationUnit* mUnit, |
| bool is_put, |
| const ScopedObjectAccess& soa) |
| REQUIRES_SHARED(Locks::mutator_lock_); |
| |
| |
| size_t GetThreadCount() const { |
| return parallel_thread_count_; |
| } |
| |
| void SetDedupeEnabled(bool dedupe_enabled) { |
| compiled_method_storage_.SetDedupeEnabled(dedupe_enabled); |
| } |
| |
| bool DedupeEnabled() const { |
| return compiled_method_storage_.DedupeEnabled(); |
| } |
| |
| // Checks whether profile guided verification is enabled and if the method should be verified |
| // according to the profile file. |
| bool ShouldVerifyClassBasedOnProfile(const DexFile& dex_file, uint16_t class_idx) const; |
| |
| void RecordClassStatus(const ClassReference& ref, ClassStatus status); |
| |
| // Get memory usage during compilation. |
| std::string GetMemoryUsageString(bool extended) const; |
| |
| void SetHadHardVerifierFailure() { |
| had_hard_verifier_failure_ = true; |
| } |
| void AddSoftVerifierFailure() { |
| number_of_soft_verifier_failures_++; |
| } |
| |
| Compiler::Kind GetCompilerKind() { |
| return compiler_kind_; |
| } |
| |
| CompiledMethodStorage* GetCompiledMethodStorage() { |
| return &compiled_method_storage_; |
| } |
| |
| const CompiledMethodStorage* GetCompiledMethodStorage() const { |
| return &compiled_method_storage_; |
| } |
| |
| private: |
| void LoadImageClasses(TimingLogger* timings, /*inout*/ HashSet<std::string>* image_classes) |
| REQUIRES(!Locks::mutator_lock_); |
| |
| // Attempt to resolve all type, methods, fields, and strings |
| // referenced from code in the dex file following PathClassLoader |
| // ordering semantics. |
| void Resolve(jobject class_loader, |
| const std::vector<const DexFile*>& dex_files, |
| TimingLogger* timings) |
| REQUIRES(!Locks::mutator_lock_); |
| void ResolveDexFile(jobject class_loader, |
| const DexFile& dex_file, |
| const std::vector<const DexFile*>& dex_files, |
| ThreadPool* thread_pool, |
| size_t thread_count, |
| TimingLogger* timings) |
| REQUIRES(!Locks::mutator_lock_); |
| |
| // Do fast verification through VerifierDeps if possible. Return whether |
| // verification was successful. |
| bool FastVerify(jobject class_loader, |
| const std::vector<const DexFile*>& dex_files, |
| TimingLogger* timings); |
| |
| void Verify(jobject class_loader, |
| const std::vector<const DexFile*>& dex_files, |
| TimingLogger* timings); |
| |
| void VerifyDexFile(jobject class_loader, |
| const DexFile& dex_file, |
| const std::vector<const DexFile*>& dex_files, |
| ThreadPool* thread_pool, |
| size_t thread_count, |
| TimingLogger* timings) |
| REQUIRES(!Locks::mutator_lock_); |
| |
| void SetVerified(jobject class_loader, |
| const std::vector<const DexFile*>& dex_files, |
| TimingLogger* timings); |
| void SetVerifiedDexFile(jobject class_loader, |
| const DexFile& dex_file, |
| const std::vector<const DexFile*>& dex_files, |
| ThreadPool* thread_pool, |
| size_t thread_count, |
| TimingLogger* timings) |
| REQUIRES(!Locks::mutator_lock_); |
| |
| void InitializeClasses(jobject class_loader, |
| const std::vector<const DexFile*>& dex_files, |
| TimingLogger* timings) |
| REQUIRES(!Locks::mutator_lock_); |
| void InitializeClasses(jobject class_loader, |
| const DexFile& dex_file, |
| const std::vector<const DexFile*>& dex_files, |
| TimingLogger* timings) |
| REQUIRES(!Locks::mutator_lock_); |
| |
| void UpdateImageClasses(TimingLogger* timings, /*inout*/ HashSet<std::string>* image_classes) |
| REQUIRES(!Locks::mutator_lock_); |
| |
| void Compile(jobject class_loader, |
| const std::vector<const DexFile*>& dex_files, |
| TimingLogger* timings); |
| |
| void CheckThreadPools(); |
| |
| // Resolve const string literals that are loaded from dex code. If only_startup_strings is |
| // specified, only methods that are marked startup in the profile are resolved. |
| void ResolveConstStrings(const std::vector<const DexFile*>& dex_files, |
| bool only_startup_strings, |
| /*inout*/ TimingLogger* timings); |
| |
| const CompilerOptions* const compiler_options_; |
| const VerificationResults* const verification_results_; |
| |
| std::unique_ptr<Compiler> compiler_; |
| Compiler::Kind compiler_kind_; |
| |
| // All class references that this compiler has compiled. Indexed by class defs. |
| using ClassStateTable = AtomicDexRefMap<ClassReference, ClassStatus>; |
| ClassStateTable compiled_classes_; |
| // All class references that are in the classpath. Indexed by class defs. |
| ClassStateTable classpath_classes_; |
| |
| using MethodTable = AtomicDexRefMap<MethodReference, CompiledMethod*>; |
| |
| // All method references that this compiler has compiled. |
| MethodTable compiled_methods_; |
| |
| std::atomic<uint32_t> number_of_soft_verifier_failures_; |
| |
| bool had_hard_verifier_failure_; |
| |
| // A thread pool that can (potentially) run tasks in parallel. |
| size_t parallel_thread_count_; |
| std::unique_ptr<ThreadPool> parallel_thread_pool_; |
| |
| // A thread pool that guarantees running single-threaded on the main thread. |
| std::unique_ptr<ThreadPool> single_thread_pool_; |
| |
| class AOTCompilationStats; |
| std::unique_ptr<AOTCompilationStats> stats_; |
| |
| CompiledMethodStorage compiled_method_storage_; |
| |
| size_t max_arena_alloc_; |
| |
| friend class CommonCompilerDriverTest; |
| friend class CompileClassVisitor; |
| friend class InitializeClassVisitor; |
| friend class verifier::VerifierDepsTest; |
| DISALLOW_COPY_AND_ASSIGN(CompilerDriver); |
| }; |
| |
| } // namespace art |
| |
| #endif // ART_DEX2OAT_DRIVER_COMPILER_DRIVER_H_ |