Elliott Hughes | 2faa5f1 | 2012-01-30 14:42:07 -0800 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2011 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 | */ |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 16 | |
Brian Carlstrom | fc0e321 | 2013-07-17 14:40:12 -0700 | [diff] [blame] | 17 | #ifndef ART_RUNTIME_MIRROR_DEX_CACHE_H_ |
| 18 | #define ART_RUNTIME_MIRROR_DEX_CACHE_H_ |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 19 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 20 | #include "array.h" |
Vladimir Marko | ec78622 | 2016-12-20 16:24:13 +0000 | [diff] [blame] | 21 | #include "base/bit_utils.h" |
Andreas Gampe | a5b09a6 | 2016-11-17 15:21:22 -0800 | [diff] [blame] | 22 | #include "dex_file_types.h" |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 23 | #include "object.h" |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 24 | #include "object_array.h" |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 25 | |
| 26 | namespace art { |
| 27 | |
Vladimir Marko | ec78622 | 2016-12-20 16:24:13 +0000 | [diff] [blame] | 28 | class ArtField; |
Alex Light | dba6148 | 2016-12-21 08:20:29 -0800 | [diff] [blame] | 29 | class ArtMethod; |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 30 | struct DexCacheOffsets; |
| 31 | class DexFile; |
| 32 | class ImageWriter; |
| 33 | union JValue; |
Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 34 | class LinearAlloc; |
| 35 | class Thread; |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 36 | |
| 37 | namespace mirror { |
| 38 | |
Vladimir Marko | ec78622 | 2016-12-20 16:24:13 +0000 | [diff] [blame] | 39 | class Class; |
Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 40 | class MethodType; |
Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 41 | class String; |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 42 | |
Narayan Kamath | c38a6f8 | 2016-09-29 17:07:20 +0100 | [diff] [blame] | 43 | template <typename T> struct PACKED(8) DexCachePair { |
| 44 | GcRoot<T> object; |
| 45 | uint32_t index; |
Christina Wadsworth | bf44e0e | 2016-08-18 10:37:42 -0700 | [diff] [blame] | 46 | // The array is initially [ {0,0}, {0,0}, {0,0} ... ] |
| 47 | // We maintain the invariant that once a dex cache entry is populated, |
| 48 | // the pointer is always non-0 |
| 49 | // Any given entry would thus be: |
| 50 | // {non-0, non-0} OR {0,0} |
| 51 | // |
| 52 | // It's generally sufficiently enough then to check if the |
Narayan Kamath | c38a6f8 | 2016-09-29 17:07:20 +0100 | [diff] [blame] | 53 | // lookup index matches the stored index (for a >0 lookup index) |
Christina Wadsworth | bf44e0e | 2016-08-18 10:37:42 -0700 | [diff] [blame] | 54 | // because if it's true the pointer is also non-null. |
| 55 | // |
| 56 | // For the 0th entry which is a special case, the value is either |
| 57 | // {0,0} (initial state) or {non-0, 0} which indicates |
Narayan Kamath | c38a6f8 | 2016-09-29 17:07:20 +0100 | [diff] [blame] | 58 | // that a valid object is stored at that index for a dex section id of 0. |
Christina Wadsworth | bf44e0e | 2016-08-18 10:37:42 -0700 | [diff] [blame] | 59 | // |
Narayan Kamath | c38a6f8 | 2016-09-29 17:07:20 +0100 | [diff] [blame] | 60 | // As an optimization, we want to avoid branching on the object pointer since |
| 61 | // it's always non-null if the id branch succeeds (except for the 0th id). |
Christina Wadsworth | bf44e0e | 2016-08-18 10:37:42 -0700 | [diff] [blame] | 62 | // Set the initial state for the 0th entry to be {0,1} which is guaranteed to fail |
Narayan Kamath | c38a6f8 | 2016-09-29 17:07:20 +0100 | [diff] [blame] | 63 | // the lookup id == stored id branch. |
Vladimir Marko | ec78622 | 2016-12-20 16:24:13 +0000 | [diff] [blame] | 64 | DexCachePair(ObjPtr<T> object, uint32_t index) |
Narayan Kamath | c38a6f8 | 2016-09-29 17:07:20 +0100 | [diff] [blame] | 65 | : object(object), |
| 66 | index(index) {} |
| 67 | DexCachePair() = default; |
| 68 | DexCachePair(const DexCachePair<T>&) = default; |
| 69 | DexCachePair& operator=(const DexCachePair<T>&) = default; |
Mathieu Chartier | bb816d6 | 2016-09-07 10:17:46 -0700 | [diff] [blame] | 70 | |
Narayan Kamath | c38a6f8 | 2016-09-29 17:07:20 +0100 | [diff] [blame] | 71 | static void Initialize(std::atomic<DexCachePair<T>>* dex_cache) { |
| 72 | DexCachePair<T> first_elem; |
| 73 | first_elem.object = GcRoot<T>(nullptr); |
| 74 | first_elem.index = InvalidIndexForSlot(0); |
| 75 | dex_cache[0].store(first_elem, std::memory_order_relaxed); |
Christina Wadsworth | bf44e0e | 2016-08-18 10:37:42 -0700 | [diff] [blame] | 76 | } |
Mathieu Chartier | bb816d6 | 2016-09-07 10:17:46 -0700 | [diff] [blame] | 77 | |
Narayan Kamath | c38a6f8 | 2016-09-29 17:07:20 +0100 | [diff] [blame] | 78 | static uint32_t InvalidIndexForSlot(uint32_t slot) { |
Mathieu Chartier | bb816d6 | 2016-09-07 10:17:46 -0700 | [diff] [blame] | 79 | // Since the cache size is a power of two, 0 will always map to slot 0. |
| 80 | // Use 1 for slot 0 and 0 for all other slots. |
| 81 | return (slot == 0) ? 1u : 0u; |
| 82 | } |
Vladimir Marko | ec78622 | 2016-12-20 16:24:13 +0000 | [diff] [blame] | 83 | |
| 84 | T* GetObjectForIndex(uint32_t idx) REQUIRES_SHARED(Locks::mutator_lock_) { |
| 85 | if (idx != index) { |
| 86 | return nullptr; |
| 87 | } |
| 88 | DCHECK(!object.IsNull()); |
| 89 | return object.Read(); |
| 90 | } |
Christina Wadsworth | bf44e0e | 2016-08-18 10:37:42 -0700 | [diff] [blame] | 91 | }; |
Narayan Kamath | c38a6f8 | 2016-09-29 17:07:20 +0100 | [diff] [blame] | 92 | |
Vladimir Marko | ec78622 | 2016-12-20 16:24:13 +0000 | [diff] [blame] | 93 | using TypeDexCachePair = DexCachePair<Class>; |
| 94 | using TypeDexCacheType = std::atomic<TypeDexCachePair>; |
| 95 | |
| 96 | using StringDexCachePair = DexCachePair<String>; |
Christina Wadsworth | bf44e0e | 2016-08-18 10:37:42 -0700 | [diff] [blame] | 97 | using StringDexCacheType = std::atomic<StringDexCachePair>; |
| 98 | |
Vladimir Marko | ec78622 | 2016-12-20 16:24:13 +0000 | [diff] [blame] | 99 | using MethodTypeDexCachePair = DexCachePair<MethodType>; |
Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 100 | using MethodTypeDexCacheType = std::atomic<MethodTypeDexCachePair>; |
| 101 | |
Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 102 | // C++ mirror of java.lang.DexCache. |
| 103 | class MANAGED DexCache FINAL : public Object { |
Brian Carlstrom | 83db772 | 2011-08-26 17:32:56 -0700 | [diff] [blame] | 104 | public: |
Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 105 | // Size of java.lang.DexCache.class. |
Andreas Gampe | 542451c | 2016-07-26 09:02:02 -0700 | [diff] [blame] | 106 | static uint32_t ClassSize(PointerSize pointer_size); |
Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 107 | |
Vladimir Marko | ec78622 | 2016-12-20 16:24:13 +0000 | [diff] [blame] | 108 | // Size of type dex cache. Needs to be a power of 2 for entrypoint assumptions to hold. |
| 109 | static constexpr size_t kDexCacheTypeCacheSize = 1024; |
| 110 | static_assert(IsPowerOfTwo(kDexCacheTypeCacheSize), |
| 111 | "Type dex cache size is not a power of 2."); |
| 112 | |
Christina Wadsworth | bf44e0e | 2016-08-18 10:37:42 -0700 | [diff] [blame] | 113 | // Size of string dex cache. Needs to be a power of 2 for entrypoint assumptions to hold. |
| 114 | static constexpr size_t kDexCacheStringCacheSize = 1024; |
| 115 | static_assert(IsPowerOfTwo(kDexCacheStringCacheSize), |
| 116 | "String dex cache size is not a power of 2."); |
| 117 | |
Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 118 | // Size of method type dex cache. Needs to be a power of 2 for entrypoint assumptions |
| 119 | // to hold. |
| 120 | static constexpr size_t kDexCacheMethodTypeCacheSize = 1024; |
| 121 | static_assert(IsPowerOfTwo(kDexCacheMethodTypeCacheSize), |
| 122 | "MethodType dex cache size is not a power of 2."); |
| 123 | |
Vladimir Marko | ec78622 | 2016-12-20 16:24:13 +0000 | [diff] [blame] | 124 | static constexpr size_t StaticTypeSize() { |
| 125 | return kDexCacheTypeCacheSize; |
| 126 | } |
| 127 | |
Christina Wadsworth | bf44e0e | 2016-08-18 10:37:42 -0700 | [diff] [blame] | 128 | static constexpr size_t StaticStringSize() { |
| 129 | return kDexCacheStringCacheSize; |
| 130 | } |
| 131 | |
Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 132 | static constexpr size_t StaticMethodTypeSize() { |
| 133 | return kDexCacheMethodTypeCacheSize; |
| 134 | } |
| 135 | |
Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 136 | // Size of an instance of java.lang.DexCache not including referenced values. |
| 137 | static constexpr uint32_t InstanceSize() { |
| 138 | return sizeof(DexCache); |
| 139 | } |
| 140 | |
Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 141 | static void InitializeDexCache(Thread* self, |
| 142 | ObjPtr<mirror::DexCache> dex_cache, |
| 143 | ObjPtr<mirror::String> location, |
| 144 | const DexFile* dex_file, |
| 145 | LinearAlloc* linear_alloc, |
| 146 | PointerSize image_pointer_size) |
| 147 | REQUIRES_SHARED(Locks::mutator_lock_) |
| 148 | REQUIRES(Locks::dex_lock_); |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 149 | |
Andreas Gampe | 542451c | 2016-07-26 09:02:02 -0700 | [diff] [blame] | 150 | void Fixup(ArtMethod* trampoline, PointerSize pointer_size) |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 151 | REQUIRES_SHARED(Locks::mutator_lock_); |
Ian Rogers | 1984651 | 2012-02-24 11:42:47 -0800 | [diff] [blame] | 152 | |
Mathieu Chartier | 60bc39c | 2016-01-27 18:37:48 -0800 | [diff] [blame] | 153 | template <ReadBarrierOption kReadBarrierOption = kWithReadBarrier, typename Visitor> |
Christina Wadsworth | bf44e0e | 2016-08-18 10:37:42 -0700 | [diff] [blame] | 154 | void FixupStrings(StringDexCacheType* dest, const Visitor& visitor) |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 155 | REQUIRES_SHARED(Locks::mutator_lock_); |
Mathieu Chartier | 4b00d34 | 2015-11-13 10:42:08 -0800 | [diff] [blame] | 156 | |
Mathieu Chartier | 60bc39c | 2016-01-27 18:37:48 -0800 | [diff] [blame] | 157 | template <ReadBarrierOption kReadBarrierOption = kWithReadBarrier, typename Visitor> |
Vladimir Marko | ec78622 | 2016-12-20 16:24:13 +0000 | [diff] [blame] | 158 | void FixupResolvedTypes(TypeDexCacheType* dest, const Visitor& visitor) |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 159 | REQUIRES_SHARED(Locks::mutator_lock_); |
Mathieu Chartier | 4b00d34 | 2015-11-13 10:42:08 -0800 | [diff] [blame] | 160 | |
Narayan Kamath | 7fe5658 | 2016-10-14 18:49:12 +0100 | [diff] [blame] | 161 | template <ReadBarrierOption kReadBarrierOption = kWithReadBarrier, typename Visitor> |
| 162 | void FixupResolvedMethodTypes(MethodTypeDexCacheType* dest, const Visitor& visitor) |
| 163 | REQUIRES_SHARED(Locks::mutator_lock_); |
| 164 | |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 165 | String* GetLocation() REQUIRES_SHARED(Locks::mutator_lock_) { |
Ian Rogers | b0fa5dc | 2014-04-28 16:47:08 -0700 | [diff] [blame] | 166 | return GetFieldObject<String>(OFFSET_OF_OBJECT_MEMBER(DexCache, location_)); |
Brian Carlstrom | a663ea5 | 2011-08-19 23:33:41 -0700 | [diff] [blame] | 167 | } |
| 168 | |
Andreas Gampe | dd9d055 | 2015-03-09 12:57:41 -0700 | [diff] [blame] | 169 | static MemberOffset DexOffset() { |
| 170 | return OFFSET_OF_OBJECT_MEMBER(DexCache, dex_); |
| 171 | } |
| 172 | |
buzbee | 5cd2180 | 2011-08-26 10:40:14 -0700 | [diff] [blame] | 173 | static MemberOffset StringsOffset() { |
Mathieu Chartier | 66f1925 | 2012-09-18 08:57:04 -0700 | [diff] [blame] | 174 | return OFFSET_OF_OBJECT_MEMBER(DexCache, strings_); |
buzbee | c5ef046 | 2011-08-25 18:44:49 -0700 | [diff] [blame] | 175 | } |
| 176 | |
Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 177 | static MemberOffset ResolvedTypesOffset() { |
| 178 | return OFFSET_OF_OBJECT_MEMBER(DexCache, resolved_types_); |
| 179 | } |
| 180 | |
Brian Carlstrom | 1caa2c2 | 2011-08-28 13:02:33 -0700 | [diff] [blame] | 181 | static MemberOffset ResolvedFieldsOffset() { |
Mathieu Chartier | 66f1925 | 2012-09-18 08:57:04 -0700 | [diff] [blame] | 182 | return OFFSET_OF_OBJECT_MEMBER(DexCache, resolved_fields_); |
buzbee | c5ef046 | 2011-08-25 18:44:49 -0700 | [diff] [blame] | 183 | } |
| 184 | |
Brian Carlstrom | 1caa2c2 | 2011-08-28 13:02:33 -0700 | [diff] [blame] | 185 | static MemberOffset ResolvedMethodsOffset() { |
Mathieu Chartier | 66f1925 | 2012-09-18 08:57:04 -0700 | [diff] [blame] | 186 | return OFFSET_OF_OBJECT_MEMBER(DexCache, resolved_methods_); |
buzbee | c5ef046 | 2011-08-25 18:44:49 -0700 | [diff] [blame] | 187 | } |
| 188 | |
Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 189 | static MemberOffset ResolvedMethodTypesOffset() { |
| 190 | return OFFSET_OF_OBJECT_MEMBER(DexCache, resolved_method_types_); |
| 191 | } |
| 192 | |
Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 193 | static MemberOffset NumStringsOffset() { |
| 194 | return OFFSET_OF_OBJECT_MEMBER(DexCache, num_strings_); |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 195 | } |
| 196 | |
Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 197 | static MemberOffset NumResolvedTypesOffset() { |
| 198 | return OFFSET_OF_OBJECT_MEMBER(DexCache, num_resolved_types_); |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 199 | } |
| 200 | |
Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 201 | static MemberOffset NumResolvedFieldsOffset() { |
| 202 | return OFFSET_OF_OBJECT_MEMBER(DexCache, num_resolved_fields_); |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 203 | } |
| 204 | |
Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 205 | static MemberOffset NumResolvedMethodsOffset() { |
| 206 | return OFFSET_OF_OBJECT_MEMBER(DexCache, num_resolved_methods_); |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 207 | } |
| 208 | |
Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 209 | static MemberOffset NumResolvedMethodTypesOffset() { |
| 210 | return OFFSET_OF_OBJECT_MEMBER(DexCache, num_resolved_method_types_); |
| 211 | } |
| 212 | |
Vladimir Marko | ec78622 | 2016-12-20 16:24:13 +0000 | [diff] [blame] | 213 | String* GetResolvedString(dex::StringIndex string_idx) ALWAYS_INLINE |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 214 | REQUIRES_SHARED(Locks::mutator_lock_); |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 215 | |
Andreas Gampe | 8a0128a | 2016-11-28 07:38:35 -0800 | [diff] [blame] | 216 | void SetResolvedString(dex::StringIndex string_idx, ObjPtr<mirror::String> resolved) ALWAYS_INLINE |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 217 | REQUIRES_SHARED(Locks::mutator_lock_); |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 218 | |
Mathieu Chartier | bb816d6 | 2016-09-07 10:17:46 -0700 | [diff] [blame] | 219 | // Clear a string for a string_idx, used to undo string intern transactions to make sure |
| 220 | // the string isn't kept live. |
Andreas Gampe | 8a0128a | 2016-11-28 07:38:35 -0800 | [diff] [blame] | 221 | void ClearString(dex::StringIndex string_idx) REQUIRES_SHARED(Locks::mutator_lock_); |
Mathieu Chartier | bb816d6 | 2016-09-07 10:17:46 -0700 | [diff] [blame] | 222 | |
Andreas Gampe | a5b09a6 | 2016-11-17 15:21:22 -0800 | [diff] [blame] | 223 | Class* GetResolvedType(dex::TypeIndex type_idx) REQUIRES_SHARED(Locks::mutator_lock_); |
Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 224 | |
Andreas Gampe | a5b09a6 | 2016-11-17 15:21:22 -0800 | [diff] [blame] | 225 | void SetResolvedType(dex::TypeIndex type_idx, ObjPtr<Class> resolved) |
Mathieu Chartier | 31e8822 | 2016-10-14 18:43:19 -0700 | [diff] [blame] | 226 | REQUIRES_SHARED(Locks::mutator_lock_); |
Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 227 | |
Vladimir Marko | ec78622 | 2016-12-20 16:24:13 +0000 | [diff] [blame] | 228 | void ClearResolvedType(dex::TypeIndex type_idx) REQUIRES_SHARED(Locks::mutator_lock_); |
| 229 | |
Andreas Gampe | 542451c | 2016-07-26 09:02:02 -0700 | [diff] [blame] | 230 | ALWAYS_INLINE ArtMethod* GetResolvedMethod(uint32_t method_idx, PointerSize ptr_size) |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 231 | REQUIRES_SHARED(Locks::mutator_lock_); |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 232 | |
Andreas Gampe | 542451c | 2016-07-26 09:02:02 -0700 | [diff] [blame] | 233 | ALWAYS_INLINE void SetResolvedMethod(uint32_t method_idx, |
| 234 | ArtMethod* resolved, |
| 235 | PointerSize ptr_size) |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 236 | REQUIRES_SHARED(Locks::mutator_lock_); |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 237 | |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 238 | // Pointer sized variant, used for patching. |
Andreas Gampe | 542451c | 2016-07-26 09:02:02 -0700 | [diff] [blame] | 239 | ALWAYS_INLINE ArtField* GetResolvedField(uint32_t idx, PointerSize ptr_size) |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 240 | REQUIRES_SHARED(Locks::mutator_lock_); |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 241 | |
| 242 | // Pointer sized variant, used for patching. |
Andreas Gampe | 542451c | 2016-07-26 09:02:02 -0700 | [diff] [blame] | 243 | ALWAYS_INLINE void SetResolvedField(uint32_t idx, ArtField* field, PointerSize ptr_size) |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 244 | REQUIRES_SHARED(Locks::mutator_lock_); |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 245 | |
Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 246 | MethodType* GetResolvedMethodType(uint32_t proto_idx) REQUIRES_SHARED(Locks::mutator_lock_); |
| 247 | |
| 248 | void SetResolvedMethodType(uint32_t proto_idx, MethodType* resolved) REQUIRES_SHARED(Locks::mutator_lock_); |
| 249 | |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 250 | StringDexCacheType* GetStrings() ALWAYS_INLINE REQUIRES_SHARED(Locks::mutator_lock_) { |
Christina Wadsworth | bf44e0e | 2016-08-18 10:37:42 -0700 | [diff] [blame] | 251 | return GetFieldPtr64<StringDexCacheType*>(StringsOffset()); |
Brian Carlstrom | 1caa2c2 | 2011-08-28 13:02:33 -0700 | [diff] [blame] | 252 | } |
Brian Carlstrom | 83db772 | 2011-08-26 17:32:56 -0700 | [diff] [blame] | 253 | |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 254 | void SetStrings(StringDexCacheType* strings) ALWAYS_INLINE REQUIRES_SHARED(Locks::mutator_lock_) { |
Mathieu Chartier | fbc3108 | 2016-01-24 11:59:56 -0800 | [diff] [blame] | 255 | SetFieldPtr<false>(StringsOffset(), strings); |
| 256 | } |
| 257 | |
Vladimir Marko | ec78622 | 2016-12-20 16:24:13 +0000 | [diff] [blame] | 258 | TypeDexCacheType* GetResolvedTypes() ALWAYS_INLINE REQUIRES_SHARED(Locks::mutator_lock_) { |
| 259 | return GetFieldPtr<TypeDexCacheType*>(ResolvedTypesOffset()); |
Mathieu Chartier | 66f1925 | 2012-09-18 08:57:04 -0700 | [diff] [blame] | 260 | } |
| 261 | |
Vladimir Marko | ec78622 | 2016-12-20 16:24:13 +0000 | [diff] [blame] | 262 | void SetResolvedTypes(TypeDexCacheType* resolved_types) |
Mathieu Chartier | fbc3108 | 2016-01-24 11:59:56 -0800 | [diff] [blame] | 263 | ALWAYS_INLINE |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 264 | REQUIRES_SHARED(Locks::mutator_lock_) { |
Mathieu Chartier | fbc3108 | 2016-01-24 11:59:56 -0800 | [diff] [blame] | 265 | SetFieldPtr<false>(ResolvedTypesOffset(), resolved_types); |
| 266 | } |
| 267 | |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 268 | ArtMethod** GetResolvedMethods() ALWAYS_INLINE REQUIRES_SHARED(Locks::mutator_lock_) { |
Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 269 | return GetFieldPtr<ArtMethod**>(ResolvedMethodsOffset()); |
Mathieu Chartier | 66f1925 | 2012-09-18 08:57:04 -0700 | [diff] [blame] | 270 | } |
| 271 | |
Mathieu Chartier | fbc3108 | 2016-01-24 11:59:56 -0800 | [diff] [blame] | 272 | void SetResolvedMethods(ArtMethod** resolved_methods) |
| 273 | ALWAYS_INLINE |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 274 | REQUIRES_SHARED(Locks::mutator_lock_) { |
Mathieu Chartier | fbc3108 | 2016-01-24 11:59:56 -0800 | [diff] [blame] | 275 | SetFieldPtr<false>(ResolvedMethodsOffset(), resolved_methods); |
| 276 | } |
| 277 | |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 278 | ArtField** GetResolvedFields() ALWAYS_INLINE REQUIRES_SHARED(Locks::mutator_lock_) { |
Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 279 | return GetFieldPtr<ArtField**>(ResolvedFieldsOffset()); |
| 280 | } |
| 281 | |
Mathieu Chartier | fbc3108 | 2016-01-24 11:59:56 -0800 | [diff] [blame] | 282 | void SetResolvedFields(ArtField** resolved_fields) |
| 283 | ALWAYS_INLINE |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 284 | REQUIRES_SHARED(Locks::mutator_lock_) { |
Mathieu Chartier | fbc3108 | 2016-01-24 11:59:56 -0800 | [diff] [blame] | 285 | SetFieldPtr<false>(ResolvedFieldsOffset(), resolved_fields); |
| 286 | } |
| 287 | |
Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 288 | MethodTypeDexCacheType* GetResolvedMethodTypes() |
| 289 | ALWAYS_INLINE REQUIRES_SHARED(Locks::mutator_lock_) { |
Narayan Kamath | 7fe5658 | 2016-10-14 18:49:12 +0100 | [diff] [blame] | 290 | return GetFieldPtr64<MethodTypeDexCacheType*>(ResolvedMethodTypesOffset()); |
Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 291 | } |
| 292 | |
| 293 | void SetResolvedMethodTypes(MethodTypeDexCacheType* resolved_method_types) |
| 294 | ALWAYS_INLINE |
| 295 | REQUIRES_SHARED(Locks::mutator_lock_) { |
| 296 | SetFieldPtr<false>(ResolvedMethodTypesOffset(), resolved_method_types); |
| 297 | } |
| 298 | |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 299 | size_t NumStrings() REQUIRES_SHARED(Locks::mutator_lock_) { |
Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 300 | return GetField32(NumStringsOffset()); |
| 301 | } |
| 302 | |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 303 | size_t NumResolvedTypes() REQUIRES_SHARED(Locks::mutator_lock_) { |
Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 304 | return GetField32(NumResolvedTypesOffset()); |
| 305 | } |
| 306 | |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 307 | size_t NumResolvedMethods() REQUIRES_SHARED(Locks::mutator_lock_) { |
Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 308 | return GetField32(NumResolvedMethodsOffset()); |
| 309 | } |
| 310 | |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 311 | size_t NumResolvedFields() REQUIRES_SHARED(Locks::mutator_lock_) { |
Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 312 | return GetField32(NumResolvedFieldsOffset()); |
Mathieu Chartier | 66f1925 | 2012-09-18 08:57:04 -0700 | [diff] [blame] | 313 | } |
| 314 | |
Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 315 | size_t NumResolvedMethodTypes() REQUIRES_SHARED(Locks::mutator_lock_) { |
| 316 | return GetField32(NumResolvedMethodTypesOffset()); |
| 317 | } |
| 318 | |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 319 | const DexFile* GetDexFile() ALWAYS_INLINE REQUIRES_SHARED(Locks::mutator_lock_) { |
Ian Rogers | b0fa5dc | 2014-04-28 16:47:08 -0700 | [diff] [blame] | 320 | return GetFieldPtr<const DexFile*>(OFFSET_OF_OBJECT_MEMBER(DexCache, dex_file_)); |
Mathieu Chartier | 66f1925 | 2012-09-18 08:57:04 -0700 | [diff] [blame] | 321 | } |
| 322 | |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 323 | void SetDexFile(const DexFile* dex_file) REQUIRES_SHARED(Locks::mutator_lock_) { |
Mathieu Chartier | 7617216 | 2016-01-26 14:54:06 -0800 | [diff] [blame] | 324 | SetFieldPtr<false>(OFFSET_OF_OBJECT_MEMBER(DexCache, dex_file_), dex_file); |
Brian Carlstrom | 4b620ff | 2011-09-11 01:11:01 -0700 | [diff] [blame] | 325 | } |
Brian Carlstrom | c4fa2c0 | 2011-08-21 03:00:12 -0700 | [diff] [blame] | 326 | |
Vladimir Marko | ec78622 | 2016-12-20 16:24:13 +0000 | [diff] [blame] | 327 | void SetLocation(ObjPtr<String> location) REQUIRES_SHARED(Locks::mutator_lock_); |
Mathieu Chartier | 7617216 | 2016-01-26 14:54:06 -0800 | [diff] [blame] | 328 | |
Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 329 | // NOTE: Get/SetElementPtrSize() are intended for working with ArtMethod** and ArtField** |
| 330 | // provided by GetResolvedMethods/Fields() and ArtMethod::GetDexCacheResolvedMethods(), |
| 331 | // so they need to be public. |
| 332 | |
| 333 | template <typename PtrType> |
Andreas Gampe | 542451c | 2016-07-26 09:02:02 -0700 | [diff] [blame] | 334 | static PtrType GetElementPtrSize(PtrType* ptr_array, size_t idx, PointerSize ptr_size); |
Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 335 | |
| 336 | template <typename PtrType> |
Andreas Gampe | 542451c | 2016-07-26 09:02:02 -0700 | [diff] [blame] | 337 | static void SetElementPtrSize(PtrType* ptr_array, size_t idx, PtrType ptr, PointerSize ptr_size); |
Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 338 | |
Brian Carlstrom | c4fa2c0 | 2011-08-21 03:00:12 -0700 | [diff] [blame] | 339 | private: |
Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 340 | void Init(const DexFile* dex_file, |
| 341 | ObjPtr<String> location, |
| 342 | StringDexCacheType* strings, |
| 343 | uint32_t num_strings, |
Vladimir Marko | ec78622 | 2016-12-20 16:24:13 +0000 | [diff] [blame] | 344 | TypeDexCacheType* resolved_types, |
Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 345 | uint32_t num_resolved_types, |
| 346 | ArtMethod** resolved_methods, |
| 347 | uint32_t num_resolved_methods, |
| 348 | ArtField** resolved_fields, |
| 349 | uint32_t num_resolved_fields, |
| 350 | MethodTypeDexCacheType* resolved_methodtypes, |
| 351 | uint32_t num_resolved_methodtypes, |
| 352 | PointerSize pointer_size) |
| 353 | REQUIRES_SHARED(Locks::mutator_lock_); |
| 354 | |
Vladimir Marko | ec78622 | 2016-12-20 16:24:13 +0000 | [diff] [blame] | 355 | uint32_t StringSlotIndex(dex::StringIndex string_idx) REQUIRES_SHARED(Locks::mutator_lock_); |
| 356 | uint32_t TypeSlotIndex(dex::TypeIndex type_idx) REQUIRES_SHARED(Locks::mutator_lock_); |
| 357 | uint32_t MethodTypeSlotIndex(uint32_t proto_idx) REQUIRES_SHARED(Locks::mutator_lock_); |
| 358 | |
Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 359 | // Visit instance fields of the dex cache as well as its associated arrays. |
Mathieu Chartier | fbc3108 | 2016-01-24 11:59:56 -0800 | [diff] [blame] | 360 | template <bool kVisitNativeRoots, |
| 361 | VerifyObjectFlags kVerifyFlags = kDefaultVerifyFlags, |
| 362 | ReadBarrierOption kReadBarrierOption = kWithReadBarrier, |
| 363 | typename Visitor> |
Vladimir Marko | ec78622 | 2016-12-20 16:24:13 +0000 | [diff] [blame] | 364 | void VisitReferences(ObjPtr<Class> klass, const Visitor& visitor) |
Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 365 | REQUIRES_SHARED(Locks::mutator_lock_) REQUIRES(Locks::heap_bitmap_lock_); |
Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 366 | |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 367 | HeapReference<Object> dex_; |
| 368 | HeapReference<String> location_; |
Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 369 | uint64_t dex_file_; // const DexFile* |
| 370 | uint64_t resolved_fields_; // ArtField*, array with num_resolved_fields_ elements. |
| 371 | uint64_t resolved_method_types_; // std::atomic<MethodTypeDexCachePair>* array with |
| 372 | // num_resolved_method_types_ elements. |
| 373 | uint64_t resolved_methods_; // ArtMethod*, array with num_resolved_methods_ elements. |
Vladimir Marko | ec78622 | 2016-12-20 16:24:13 +0000 | [diff] [blame] | 374 | uint64_t resolved_types_; // TypeDexCacheType*, array with num_resolved_types_ elements. |
Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 375 | uint64_t strings_; // std::atomic<StringDexCachePair>*, array with num_strings_ |
| 376 | // elements. |
| 377 | |
| 378 | uint32_t num_resolved_fields_; // Number of elements in the resolved_fields_ array. |
| 379 | uint32_t num_resolved_method_types_; // Number of elements in the resolved_method_types_ array. |
| 380 | uint32_t num_resolved_methods_; // Number of elements in the resolved_methods_ array. |
| 381 | uint32_t num_resolved_types_; // Number of elements in the resolved_types_ array. |
| 382 | uint32_t num_strings_; // Number of elements in the strings_ array. |
Brian Carlstrom | 83db772 | 2011-08-26 17:32:56 -0700 | [diff] [blame] | 383 | |
Brian Carlstrom | 7934ac2 | 2013-07-26 10:54:15 -0700 | [diff] [blame] | 384 | friend struct art::DexCacheOffsets; // for verifying offset information |
Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 385 | friend class Object; // For VisitReferences |
Brian Carlstrom | c4fa2c0 | 2011-08-21 03:00:12 -0700 | [diff] [blame] | 386 | DISALLOW_IMPLICIT_CONSTRUCTORS(DexCache); |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 387 | }; |
| 388 | |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 389 | } // namespace mirror |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 390 | } // namespace art |
| 391 | |
Brian Carlstrom | fc0e321 | 2013-07-17 14:40:12 -0700 | [diff] [blame] | 392 | #endif // ART_RUNTIME_MIRROR_DEX_CACHE_H_ |