| 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 | 8d6768d | 2017-03-14 10:13:21 +0000 | [diff] [blame] | 21 | #include "base/bit_utils.h" |
| Andreas Gampe | 7fbc4a5 | 2018-11-28 08:26:47 -0800 | [diff] [blame] | 22 | #include "base/locks.h" |
| David Sehr | 9e734c7 | 2018-01-04 17:56:19 -0800 | [diff] [blame] | 23 | #include "dex/dex_file_types.h" |
| Andreas Gampe | 88dbad3 | 2018-06-26 19:54:12 -0700 | [diff] [blame] | 24 | #include "gc_root.h" // Note: must not use -inl here to avoid circular dependency. |
| Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 25 | #include "object.h" |
| Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 26 | #include "object_array.h" |
| Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 27 | |
| 28 | namespace art { |
| 29 | |
| Vladimir Marko | ca8de0a | 2018-07-04 11:56:08 +0100 | [diff] [blame] | 30 | namespace linker { |
| 31 | class ImageWriter; |
| 32 | } // namespace linker |
| 33 | |
| Vladimir Marko | 8d6768d | 2017-03-14 10:13:21 +0000 | [diff] [blame] | 34 | class ArtField; |
| Alex Light | dba6148 | 2016-12-21 08:20:29 -0800 | [diff] [blame] | 35 | class ArtMethod; |
| Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 36 | struct DexCacheOffsets; |
| 37 | class DexFile; |
| Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 38 | union JValue; |
| Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 39 | class LinearAlloc; |
| 40 | class Thread; |
| Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 41 | |
| 42 | namespace mirror { |
| 43 | |
| Orion Hodson | c069a30 | 2017-01-18 09:23:12 +0000 | [diff] [blame] | 44 | class CallSite; |
| Vladimir Marko | 8d6768d | 2017-03-14 10:13:21 +0000 | [diff] [blame] | 45 | class Class; |
| Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 46 | class MethodType; |
| Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 47 | class String; |
| Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 48 | |
| Narayan Kamath | c38a6f8 | 2016-09-29 17:07:20 +0100 | [diff] [blame] | 49 | template <typename T> struct PACKED(8) DexCachePair { |
| 50 | GcRoot<T> object; |
| 51 | uint32_t index; |
| Christina Wadsworth | bf44e0e | 2016-08-18 10:37:42 -0700 | [diff] [blame] | 52 | // The array is initially [ {0,0}, {0,0}, {0,0} ... ] |
| 53 | // We maintain the invariant that once a dex cache entry is populated, |
| 54 | // the pointer is always non-0 |
| 55 | // Any given entry would thus be: |
| 56 | // {non-0, non-0} OR {0,0} |
| 57 | // |
| 58 | // It's generally sufficiently enough then to check if the |
| Narayan Kamath | c38a6f8 | 2016-09-29 17:07:20 +0100 | [diff] [blame] | 59 | // lookup index matches the stored index (for a >0 lookup index) |
| Christina Wadsworth | bf44e0e | 2016-08-18 10:37:42 -0700 | [diff] [blame] | 60 | // because if it's true the pointer is also non-null. |
| 61 | // |
| 62 | // For the 0th entry which is a special case, the value is either |
| 63 | // {0,0} (initial state) or {non-0, 0} which indicates |
| Narayan Kamath | c38a6f8 | 2016-09-29 17:07:20 +0100 | [diff] [blame] | 64 | // 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] | 65 | // |
| Narayan Kamath | c38a6f8 | 2016-09-29 17:07:20 +0100 | [diff] [blame] | 66 | // As an optimization, we want to avoid branching on the object pointer since |
| 67 | // 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] | 68 | // 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] | 69 | // the lookup id == stored id branch. |
| Andreas Gampe | 88dbad3 | 2018-06-26 19:54:12 -0700 | [diff] [blame] | 70 | DexCachePair(ObjPtr<T> object, uint32_t index); |
| Andreas Gampe | d9911ee | 2017-03-27 13:27:24 -0700 | [diff] [blame] | 71 | DexCachePair() : index(0) {} |
| Narayan Kamath | c38a6f8 | 2016-09-29 17:07:20 +0100 | [diff] [blame] | 72 | DexCachePair(const DexCachePair<T>&) = default; |
| 73 | DexCachePair& operator=(const DexCachePair<T>&) = default; |
| Mathieu Chartier | bb816d6 | 2016-09-07 10:17:46 -0700 | [diff] [blame] | 74 | |
| Andreas Gampe | 88dbad3 | 2018-06-26 19:54:12 -0700 | [diff] [blame] | 75 | static void Initialize(std::atomic<DexCachePair<T>>* dex_cache); |
| Mathieu Chartier | bb816d6 | 2016-09-07 10:17:46 -0700 | [diff] [blame] | 76 | |
| Narayan Kamath | c38a6f8 | 2016-09-29 17:07:20 +0100 | [diff] [blame] | 77 | static uint32_t InvalidIndexForSlot(uint32_t slot) { |
| Mathieu Chartier | bb816d6 | 2016-09-07 10:17:46 -0700 | [diff] [blame] | 78 | // Since the cache size is a power of two, 0 will always map to slot 0. |
| 79 | // Use 1 for slot 0 and 0 for all other slots. |
| 80 | return (slot == 0) ? 1u : 0u; |
| 81 | } |
| Vladimir Marko | 8d6768d | 2017-03-14 10:13:21 +0000 | [diff] [blame] | 82 | |
| Andreas Gampe | 88dbad3 | 2018-06-26 19:54:12 -0700 | [diff] [blame] | 83 | T* GetObjectForIndex(uint32_t idx) REQUIRES_SHARED(Locks::mutator_lock_); |
| Christina Wadsworth | bf44e0e | 2016-08-18 10:37:42 -0700 | [diff] [blame] | 84 | }; |
| Narayan Kamath | c38a6f8 | 2016-09-29 17:07:20 +0100 | [diff] [blame] | 85 | |
| Vladimir Marko | f44d36c | 2017-03-14 14:18:46 +0000 | [diff] [blame] | 86 | template <typename T> struct PACKED(2 * __SIZEOF_POINTER__) NativeDexCachePair { |
| 87 | T* object; |
| 88 | size_t index; |
| 89 | // This is similar to DexCachePair except that we're storing a native pointer |
| 90 | // instead of a GC root. See DexCachePair for the details. |
| 91 | NativeDexCachePair(T* object, uint32_t index) |
| 92 | : object(object), |
| 93 | index(index) {} |
| 94 | NativeDexCachePair() : object(nullptr), index(0u) { } |
| 95 | NativeDexCachePair(const NativeDexCachePair<T>&) = default; |
| 96 | NativeDexCachePair& operator=(const NativeDexCachePair<T>&) = default; |
| 97 | |
| 98 | static void Initialize(std::atomic<NativeDexCachePair<T>>* dex_cache, PointerSize pointer_size); |
| 99 | |
| 100 | static uint32_t InvalidIndexForSlot(uint32_t slot) { |
| 101 | // Since the cache size is a power of two, 0 will always map to slot 0. |
| 102 | // Use 1 for slot 0 and 0 for all other slots. |
| 103 | return (slot == 0) ? 1u : 0u; |
| 104 | } |
| 105 | |
| 106 | T* GetObjectForIndex(uint32_t idx) REQUIRES_SHARED(Locks::mutator_lock_) { |
| 107 | if (idx != index) { |
| 108 | return nullptr; |
| 109 | } |
| 110 | DCHECK(object != nullptr); |
| 111 | return object; |
| 112 | } |
| 113 | }; |
| 114 | |
| Vladimir Marko | 8d6768d | 2017-03-14 10:13:21 +0000 | [diff] [blame] | 115 | using TypeDexCachePair = DexCachePair<Class>; |
| 116 | using TypeDexCacheType = std::atomic<TypeDexCachePair>; |
| 117 | |
| 118 | using StringDexCachePair = DexCachePair<String>; |
| Christina Wadsworth | bf44e0e | 2016-08-18 10:37:42 -0700 | [diff] [blame] | 119 | using StringDexCacheType = std::atomic<StringDexCachePair>; |
| 120 | |
| Vladimir Marko | f44d36c | 2017-03-14 14:18:46 +0000 | [diff] [blame] | 121 | using FieldDexCachePair = NativeDexCachePair<ArtField>; |
| 122 | using FieldDexCacheType = std::atomic<FieldDexCachePair>; |
| 123 | |
| Vladimir Marko | 07bfbac | 2017-07-06 14:55:02 +0100 | [diff] [blame] | 124 | using MethodDexCachePair = NativeDexCachePair<ArtMethod>; |
| 125 | using MethodDexCacheType = std::atomic<MethodDexCachePair>; |
| 126 | |
| Vladimir Marko | 8d6768d | 2017-03-14 10:13:21 +0000 | [diff] [blame] | 127 | using MethodTypeDexCachePair = DexCachePair<MethodType>; |
| Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 128 | using MethodTypeDexCacheType = std::atomic<MethodTypeDexCachePair>; |
| 129 | |
| Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 130 | // C++ mirror of java.lang.DexCache. |
| Roland Levillain | bbc6e7e | 2018-08-24 16:58:47 +0100 | [diff] [blame] | 131 | class MANAGED DexCache final : public Object { |
| Brian Carlstrom | 83db772 | 2011-08-26 17:32:56 -0700 | [diff] [blame] | 132 | public: |
| Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 133 | // Size of java.lang.DexCache.class. |
| Andreas Gampe | 542451c | 2016-07-26 09:02:02 -0700 | [diff] [blame] | 134 | static uint32_t ClassSize(PointerSize pointer_size); |
| Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 135 | |
| Vladimir Marko | 8d6768d | 2017-03-14 10:13:21 +0000 | [diff] [blame] | 136 | // Size of type dex cache. Needs to be a power of 2 for entrypoint assumptions to hold. |
| 137 | static constexpr size_t kDexCacheTypeCacheSize = 1024; |
| 138 | static_assert(IsPowerOfTwo(kDexCacheTypeCacheSize), |
| 139 | "Type dex cache size is not a power of 2."); |
| 140 | |
| Christina Wadsworth | bf44e0e | 2016-08-18 10:37:42 -0700 | [diff] [blame] | 141 | // Size of string dex cache. Needs to be a power of 2 for entrypoint assumptions to hold. |
| 142 | static constexpr size_t kDexCacheStringCacheSize = 1024; |
| 143 | static_assert(IsPowerOfTwo(kDexCacheStringCacheSize), |
| 144 | "String dex cache size is not a power of 2."); |
| 145 | |
| Vladimir Marko | f44d36c | 2017-03-14 14:18:46 +0000 | [diff] [blame] | 146 | // Size of field dex cache. Needs to be a power of 2 for entrypoint assumptions to hold. |
| Vladimir Marko | 990fc44 | 2018-08-29 13:58:23 +0000 | [diff] [blame] | 147 | static constexpr size_t kDexCacheFieldCacheSize = 1024; |
| Vladimir Marko | f44d36c | 2017-03-14 14:18:46 +0000 | [diff] [blame] | 148 | static_assert(IsPowerOfTwo(kDexCacheFieldCacheSize), |
| 149 | "Field dex cache size is not a power of 2."); |
| 150 | |
| Vladimir Marko | 07bfbac | 2017-07-06 14:55:02 +0100 | [diff] [blame] | 151 | // Size of method dex cache. Needs to be a power of 2 for entrypoint assumptions to hold. |
| Vladimir Marko | 990fc44 | 2018-08-29 13:58:23 +0000 | [diff] [blame] | 152 | static constexpr size_t kDexCacheMethodCacheSize = 1024; |
| Vladimir Marko | 07bfbac | 2017-07-06 14:55:02 +0100 | [diff] [blame] | 153 | static_assert(IsPowerOfTwo(kDexCacheMethodCacheSize), |
| 154 | "Method dex cache size is not a power of 2."); |
| 155 | |
| Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 156 | // Size of method type dex cache. Needs to be a power of 2 for entrypoint assumptions |
| 157 | // to hold. |
| 158 | static constexpr size_t kDexCacheMethodTypeCacheSize = 1024; |
| 159 | static_assert(IsPowerOfTwo(kDexCacheMethodTypeCacheSize), |
| 160 | "MethodType dex cache size is not a power of 2."); |
| 161 | |
| Vladimir Marko | 8d6768d | 2017-03-14 10:13:21 +0000 | [diff] [blame] | 162 | static constexpr size_t StaticTypeSize() { |
| 163 | return kDexCacheTypeCacheSize; |
| 164 | } |
| 165 | |
| Christina Wadsworth | bf44e0e | 2016-08-18 10:37:42 -0700 | [diff] [blame] | 166 | static constexpr size_t StaticStringSize() { |
| 167 | return kDexCacheStringCacheSize; |
| 168 | } |
| 169 | |
| Vladimir Marko | f44d36c | 2017-03-14 14:18:46 +0000 | [diff] [blame] | 170 | static constexpr size_t StaticArtFieldSize() { |
| 171 | return kDexCacheFieldCacheSize; |
| 172 | } |
| 173 | |
| Vladimir Marko | 07bfbac | 2017-07-06 14:55:02 +0100 | [diff] [blame] | 174 | static constexpr size_t StaticMethodSize() { |
| 175 | return kDexCacheMethodCacheSize; |
| 176 | } |
| 177 | |
| Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 178 | static constexpr size_t StaticMethodTypeSize() { |
| 179 | return kDexCacheMethodTypeCacheSize; |
| 180 | } |
| 181 | |
| Mingyao Yang | 98d1cc8 | 2014-05-15 17:02:16 -0700 | [diff] [blame] | 182 | // Size of an instance of java.lang.DexCache not including referenced values. |
| 183 | static constexpr uint32_t InstanceSize() { |
| 184 | return sizeof(DexCache); |
| 185 | } |
| 186 | |
| Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 187 | static void InitializeDexCache(Thread* self, |
| 188 | ObjPtr<mirror::DexCache> dex_cache, |
| 189 | ObjPtr<mirror::String> location, |
| 190 | const DexFile* dex_file, |
| 191 | LinearAlloc* linear_alloc, |
| 192 | PointerSize image_pointer_size) |
| 193 | REQUIRES_SHARED(Locks::mutator_lock_) |
| 194 | REQUIRES(Locks::dex_lock_); |
| Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 195 | |
| Mathieu Chartier | 60bc39c | 2016-01-27 18:37:48 -0800 | [diff] [blame] | 196 | template <ReadBarrierOption kReadBarrierOption = kWithReadBarrier, typename Visitor> |
| Christina Wadsworth | bf44e0e | 2016-08-18 10:37:42 -0700 | [diff] [blame] | 197 | void FixupStrings(StringDexCacheType* dest, const Visitor& visitor) |
| Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 198 | REQUIRES_SHARED(Locks::mutator_lock_); |
| Mathieu Chartier | 4b00d34 | 2015-11-13 10:42:08 -0800 | [diff] [blame] | 199 | |
| Mathieu Chartier | 60bc39c | 2016-01-27 18:37:48 -0800 | [diff] [blame] | 200 | template <ReadBarrierOption kReadBarrierOption = kWithReadBarrier, typename Visitor> |
| Vladimir Marko | 8d6768d | 2017-03-14 10:13:21 +0000 | [diff] [blame] | 201 | void FixupResolvedTypes(TypeDexCacheType* dest, const Visitor& visitor) |
| Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 202 | REQUIRES_SHARED(Locks::mutator_lock_); |
| Mathieu Chartier | 4b00d34 | 2015-11-13 10:42:08 -0800 | [diff] [blame] | 203 | |
| Narayan Kamath | 7fe5658 | 2016-10-14 18:49:12 +0100 | [diff] [blame] | 204 | template <ReadBarrierOption kReadBarrierOption = kWithReadBarrier, typename Visitor> |
| 205 | void FixupResolvedMethodTypes(MethodTypeDexCacheType* dest, const Visitor& visitor) |
| 206 | REQUIRES_SHARED(Locks::mutator_lock_); |
| 207 | |
| Orion Hodson | c069a30 | 2017-01-18 09:23:12 +0000 | [diff] [blame] | 208 | template <ReadBarrierOption kReadBarrierOption = kWithReadBarrier, typename Visitor> |
| 209 | void FixupResolvedCallSites(GcRoot<mirror::CallSite>* dest, const Visitor& visitor) |
| 210 | REQUIRES_SHARED(Locks::mutator_lock_); |
| 211 | |
| Vladimir Marko | 58412b1 | 2019-04-01 13:26:34 +0100 | [diff] [blame] | 212 | ObjPtr<String> GetLocation() REQUIRES_SHARED(Locks::mutator_lock_); |
| Brian Carlstrom | a663ea5 | 2011-08-19 23:33:41 -0700 | [diff] [blame] | 213 | |
| David Srbecky | 56de89a | 2018-10-01 15:32:20 +0100 | [diff] [blame] | 214 | static constexpr MemberOffset StringsOffset() { |
| Mathieu Chartier | 66f1925 | 2012-09-18 08:57:04 -0700 | [diff] [blame] | 215 | return OFFSET_OF_OBJECT_MEMBER(DexCache, strings_); |
| buzbee | c5ef046 | 2011-08-25 18:44:49 -0700 | [diff] [blame] | 216 | } |
| 217 | |
| Mathieu Chartier | 1ca718e | 2018-10-23 12:55:34 -0700 | [diff] [blame] | 218 | static constexpr MemberOffset PreResolvedStringsOffset() { |
| 219 | return OFFSET_OF_OBJECT_MEMBER(DexCache, preresolved_strings_); |
| 220 | } |
| 221 | |
| David Srbecky | 56de89a | 2018-10-01 15:32:20 +0100 | [diff] [blame] | 222 | static constexpr MemberOffset ResolvedTypesOffset() { |
| Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 223 | return OFFSET_OF_OBJECT_MEMBER(DexCache, resolved_types_); |
| 224 | } |
| 225 | |
| David Srbecky | 56de89a | 2018-10-01 15:32:20 +0100 | [diff] [blame] | 226 | static constexpr MemberOffset ResolvedFieldsOffset() { |
| Mathieu Chartier | 66f1925 | 2012-09-18 08:57:04 -0700 | [diff] [blame] | 227 | return OFFSET_OF_OBJECT_MEMBER(DexCache, resolved_fields_); |
| buzbee | c5ef046 | 2011-08-25 18:44:49 -0700 | [diff] [blame] | 228 | } |
| 229 | |
| David Srbecky | 56de89a | 2018-10-01 15:32:20 +0100 | [diff] [blame] | 230 | static constexpr MemberOffset ResolvedMethodsOffset() { |
| Mathieu Chartier | 66f1925 | 2012-09-18 08:57:04 -0700 | [diff] [blame] | 231 | return OFFSET_OF_OBJECT_MEMBER(DexCache, resolved_methods_); |
| buzbee | c5ef046 | 2011-08-25 18:44:49 -0700 | [diff] [blame] | 232 | } |
| 233 | |
| David Srbecky | 56de89a | 2018-10-01 15:32:20 +0100 | [diff] [blame] | 234 | static constexpr MemberOffset ResolvedMethodTypesOffset() { |
| Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 235 | return OFFSET_OF_OBJECT_MEMBER(DexCache, resolved_method_types_); |
| 236 | } |
| 237 | |
| David Srbecky | 56de89a | 2018-10-01 15:32:20 +0100 | [diff] [blame] | 238 | static constexpr MemberOffset ResolvedCallSitesOffset() { |
| Orion Hodson | c069a30 | 2017-01-18 09:23:12 +0000 | [diff] [blame] | 239 | return OFFSET_OF_OBJECT_MEMBER(DexCache, resolved_call_sites_); |
| 240 | } |
| 241 | |
| David Srbecky | 56de89a | 2018-10-01 15:32:20 +0100 | [diff] [blame] | 242 | static constexpr MemberOffset NumStringsOffset() { |
| Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 243 | return OFFSET_OF_OBJECT_MEMBER(DexCache, num_strings_); |
| Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 244 | } |
| 245 | |
| Mathieu Chartier | 1ca718e | 2018-10-23 12:55:34 -0700 | [diff] [blame] | 246 | static constexpr MemberOffset NumPreResolvedStringsOffset() { |
| 247 | return OFFSET_OF_OBJECT_MEMBER(DexCache, num_preresolved_strings_); |
| 248 | } |
| 249 | |
| David Srbecky | 56de89a | 2018-10-01 15:32:20 +0100 | [diff] [blame] | 250 | static constexpr MemberOffset NumResolvedTypesOffset() { |
| Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 251 | return OFFSET_OF_OBJECT_MEMBER(DexCache, num_resolved_types_); |
| Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 252 | } |
| 253 | |
| David Srbecky | 56de89a | 2018-10-01 15:32:20 +0100 | [diff] [blame] | 254 | static constexpr MemberOffset NumResolvedFieldsOffset() { |
| Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 255 | return OFFSET_OF_OBJECT_MEMBER(DexCache, num_resolved_fields_); |
| Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 256 | } |
| 257 | |
| David Srbecky | 56de89a | 2018-10-01 15:32:20 +0100 | [diff] [blame] | 258 | static constexpr MemberOffset NumResolvedMethodsOffset() { |
| Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 259 | return OFFSET_OF_OBJECT_MEMBER(DexCache, num_resolved_methods_); |
| Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 260 | } |
| 261 | |
| David Srbecky | 56de89a | 2018-10-01 15:32:20 +0100 | [diff] [blame] | 262 | static constexpr MemberOffset NumResolvedMethodTypesOffset() { |
| Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 263 | return OFFSET_OF_OBJECT_MEMBER(DexCache, num_resolved_method_types_); |
| 264 | } |
| 265 | |
| David Srbecky | 56de89a | 2018-10-01 15:32:20 +0100 | [diff] [blame] | 266 | static constexpr MemberOffset NumResolvedCallSitesOffset() { |
| Orion Hodson | c069a30 | 2017-01-18 09:23:12 +0000 | [diff] [blame] | 267 | return OFFSET_OF_OBJECT_MEMBER(DexCache, num_resolved_call_sites_); |
| 268 | } |
| 269 | |
| Mathieu Chartier | 1ca718e | 2018-10-23 12:55:34 -0700 | [diff] [blame] | 270 | static constexpr size_t PreResolvedStringsAlignment() { |
| 271 | return alignof(GcRoot<mirror::String>); |
| 272 | } |
| 273 | |
| Vladimir Marko | 8d6768d | 2017-03-14 10:13:21 +0000 | [diff] [blame] | 274 | String* GetResolvedString(dex::StringIndex string_idx) ALWAYS_INLINE |
| Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 275 | REQUIRES_SHARED(Locks::mutator_lock_); |
| Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 276 | |
| Andreas Gampe | 8a0128a | 2016-11-28 07:38:35 -0800 | [diff] [blame] | 277 | void SetResolvedString(dex::StringIndex string_idx, ObjPtr<mirror::String> resolved) ALWAYS_INLINE |
| Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 278 | REQUIRES_SHARED(Locks::mutator_lock_); |
| Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 279 | |
| Mathieu Chartier | 1ca718e | 2018-10-23 12:55:34 -0700 | [diff] [blame] | 280 | void SetPreResolvedString(dex::StringIndex string_idx, |
| 281 | ObjPtr<mirror::String> resolved) |
| 282 | ALWAYS_INLINE REQUIRES_SHARED(Locks::mutator_lock_); |
| 283 | |
| Mathieu Chartier | 6e7a72c | 2019-03-07 21:40:10 -0800 | [diff] [blame] | 284 | // Clear the preresolved string cache to prevent further usage. |
| Mathieu Chartier | a88abfa | 2019-02-04 11:08:29 -0800 | [diff] [blame] | 285 | void ClearPreResolvedStrings() |
| 286 | ALWAYS_INLINE REQUIRES_SHARED(Locks::mutator_lock_); |
| 287 | |
| Mathieu Chartier | bb816d6 | 2016-09-07 10:17:46 -0700 | [diff] [blame] | 288 | // Clear a string for a string_idx, used to undo string intern transactions to make sure |
| 289 | // the string isn't kept live. |
| Andreas Gampe | 8a0128a | 2016-11-28 07:38:35 -0800 | [diff] [blame] | 290 | void ClearString(dex::StringIndex string_idx) REQUIRES_SHARED(Locks::mutator_lock_); |
| Mathieu Chartier | bb816d6 | 2016-09-07 10:17:46 -0700 | [diff] [blame] | 291 | |
| Andreas Gampe | a5b09a6 | 2016-11-17 15:21:22 -0800 | [diff] [blame] | 292 | Class* GetResolvedType(dex::TypeIndex type_idx) REQUIRES_SHARED(Locks::mutator_lock_); |
| Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 293 | |
| Andreas Gampe | a5b09a6 | 2016-11-17 15:21:22 -0800 | [diff] [blame] | 294 | void SetResolvedType(dex::TypeIndex type_idx, ObjPtr<Class> resolved) |
| Mathieu Chartier | 31e8822 | 2016-10-14 18:43:19 -0700 | [diff] [blame] | 295 | REQUIRES_SHARED(Locks::mutator_lock_); |
| Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 296 | |
| Vladimir Marko | 8d6768d | 2017-03-14 10:13:21 +0000 | [diff] [blame] | 297 | void ClearResolvedType(dex::TypeIndex type_idx) REQUIRES_SHARED(Locks::mutator_lock_); |
| 298 | |
| Andreas Gampe | 542451c | 2016-07-26 09:02:02 -0700 | [diff] [blame] | 299 | ALWAYS_INLINE ArtMethod* GetResolvedMethod(uint32_t method_idx, PointerSize ptr_size) |
| Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 300 | REQUIRES_SHARED(Locks::mutator_lock_); |
| Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 301 | |
| Andreas Gampe | 542451c | 2016-07-26 09:02:02 -0700 | [diff] [blame] | 302 | ALWAYS_INLINE void SetResolvedMethod(uint32_t method_idx, |
| 303 | ArtMethod* resolved, |
| 304 | PointerSize ptr_size) |
| Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 305 | REQUIRES_SHARED(Locks::mutator_lock_); |
| Vladimir Marko | 07bfbac | 2017-07-06 14:55:02 +0100 | [diff] [blame] | 306 | ALWAYS_INLINE void ClearResolvedMethod(uint32_t method_idx, PointerSize ptr_size) |
| 307 | REQUIRES_SHARED(Locks::mutator_lock_); |
| Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 308 | |
| Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 309 | // Pointer sized variant, used for patching. |
| Andreas Gampe | 542451c | 2016-07-26 09:02:02 -0700 | [diff] [blame] | 310 | ALWAYS_INLINE ArtField* GetResolvedField(uint32_t idx, PointerSize ptr_size) |
| Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 311 | REQUIRES_SHARED(Locks::mutator_lock_); |
| Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 312 | |
| 313 | // Pointer sized variant, used for patching. |
| Andreas Gampe | 542451c | 2016-07-26 09:02:02 -0700 | [diff] [blame] | 314 | ALWAYS_INLINE void SetResolvedField(uint32_t idx, ArtField* field, PointerSize ptr_size) |
| Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 315 | REQUIRES_SHARED(Locks::mutator_lock_); |
| Vladimir Marko | f44d36c | 2017-03-14 14:18:46 +0000 | [diff] [blame] | 316 | ALWAYS_INLINE void ClearResolvedField(uint32_t idx, PointerSize ptr_size) |
| 317 | REQUIRES_SHARED(Locks::mutator_lock_); |
| Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 318 | |
| Orion Hodson | 06d10a7 | 2018-05-14 08:53:38 +0100 | [diff] [blame] | 319 | MethodType* GetResolvedMethodType(dex::ProtoIndex proto_idx) REQUIRES_SHARED(Locks::mutator_lock_); |
| Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 320 | |
| Orion Hodson | 06d10a7 | 2018-05-14 08:53:38 +0100 | [diff] [blame] | 321 | void SetResolvedMethodType(dex::ProtoIndex proto_idx, MethodType* resolved) |
| Orion Hodson | c069a30 | 2017-01-18 09:23:12 +0000 | [diff] [blame] | 322 | REQUIRES_SHARED(Locks::mutator_lock_); |
| 323 | |
| 324 | CallSite* GetResolvedCallSite(uint32_t call_site_idx) REQUIRES_SHARED(Locks::mutator_lock_); |
| 325 | |
| 326 | // Attempts to bind |call_site_idx| to the call site |resolved|. The |
| 327 | // caller must use the return value in place of |resolved|. This is |
| 328 | // because multiple threads can invoke the bootstrap method each |
| 329 | // producing a call site, but the method handle invocation on the |
| 330 | // call site must be on a common agreed value. |
| Orion Hodson | 4c8e12e | 2018-05-18 08:33:20 +0100 | [diff] [blame] | 331 | ObjPtr<CallSite> SetResolvedCallSite(uint32_t call_site_idx, ObjPtr<CallSite> resolved) |
| 332 | REQUIRES_SHARED(Locks::mutator_lock_) WARN_UNUSED; |
| Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 333 | |
| Vladimir Marko | 98db89c | 2018-09-07 11:45:46 +0100 | [diff] [blame] | 334 | template<VerifyObjectFlags kVerifyFlags = kDefaultVerifyFlags> |
| Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 335 | StringDexCacheType* GetStrings() ALWAYS_INLINE REQUIRES_SHARED(Locks::mutator_lock_) { |
| Vladimir Marko | 98db89c | 2018-09-07 11:45:46 +0100 | [diff] [blame] | 336 | return GetFieldPtr64<StringDexCacheType*, kVerifyFlags>(StringsOffset()); |
| Brian Carlstrom | 1caa2c2 | 2011-08-28 13:02:33 -0700 | [diff] [blame] | 337 | } |
| Brian Carlstrom | 83db772 | 2011-08-26 17:32:56 -0700 | [diff] [blame] | 338 | |
| Mathieu Chartier | 1ca718e | 2018-10-23 12:55:34 -0700 | [diff] [blame] | 339 | template<VerifyObjectFlags kVerifyFlags = kDefaultVerifyFlags> |
| 340 | GcRoot<mirror::String>* GetPreResolvedStrings() ALWAYS_INLINE |
| 341 | REQUIRES_SHARED(Locks::mutator_lock_) { |
| 342 | return GetFieldPtr64<GcRoot<mirror::String>*, kVerifyFlags>(PreResolvedStringsOffset()); |
| 343 | } |
| 344 | |
| Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 345 | void SetStrings(StringDexCacheType* strings) ALWAYS_INLINE REQUIRES_SHARED(Locks::mutator_lock_) { |
| Mathieu Chartier | fbc3108 | 2016-01-24 11:59:56 -0800 | [diff] [blame] | 346 | SetFieldPtr<false>(StringsOffset(), strings); |
| 347 | } |
| 348 | |
| Mathieu Chartier | 1ca718e | 2018-10-23 12:55:34 -0700 | [diff] [blame] | 349 | void SetPreResolvedStrings(GcRoot<mirror::String>* strings) |
| 350 | ALWAYS_INLINE REQUIRES_SHARED(Locks::mutator_lock_) { |
| 351 | SetFieldPtr<false>(PreResolvedStringsOffset(), strings); |
| 352 | } |
| 353 | |
| Vladimir Marko | 98db89c | 2018-09-07 11:45:46 +0100 | [diff] [blame] | 354 | template<VerifyObjectFlags kVerifyFlags = kDefaultVerifyFlags> |
| Vladimir Marko | 8d6768d | 2017-03-14 10:13:21 +0000 | [diff] [blame] | 355 | TypeDexCacheType* GetResolvedTypes() ALWAYS_INLINE REQUIRES_SHARED(Locks::mutator_lock_) { |
| Vladimir Marko | 98db89c | 2018-09-07 11:45:46 +0100 | [diff] [blame] | 356 | return GetFieldPtr<TypeDexCacheType*, kVerifyFlags>(ResolvedTypesOffset()); |
| Mathieu Chartier | 66f1925 | 2012-09-18 08:57:04 -0700 | [diff] [blame] | 357 | } |
| 358 | |
| Vladimir Marko | 8d6768d | 2017-03-14 10:13:21 +0000 | [diff] [blame] | 359 | void SetResolvedTypes(TypeDexCacheType* resolved_types) |
| Mathieu Chartier | fbc3108 | 2016-01-24 11:59:56 -0800 | [diff] [blame] | 360 | ALWAYS_INLINE |
| Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 361 | REQUIRES_SHARED(Locks::mutator_lock_) { |
| Mathieu Chartier | fbc3108 | 2016-01-24 11:59:56 -0800 | [diff] [blame] | 362 | SetFieldPtr<false>(ResolvedTypesOffset(), resolved_types); |
| 363 | } |
| 364 | |
| Vladimir Marko | 07bfbac | 2017-07-06 14:55:02 +0100 | [diff] [blame] | 365 | MethodDexCacheType* GetResolvedMethods() ALWAYS_INLINE REQUIRES_SHARED(Locks::mutator_lock_) { |
| 366 | return GetFieldPtr<MethodDexCacheType*>(ResolvedMethodsOffset()); |
| Mathieu Chartier | 66f1925 | 2012-09-18 08:57:04 -0700 | [diff] [blame] | 367 | } |
| 368 | |
| Vladimir Marko | 07bfbac | 2017-07-06 14:55:02 +0100 | [diff] [blame] | 369 | void SetResolvedMethods(MethodDexCacheType* resolved_methods) |
| Mathieu Chartier | fbc3108 | 2016-01-24 11:59:56 -0800 | [diff] [blame] | 370 | ALWAYS_INLINE |
| Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 371 | REQUIRES_SHARED(Locks::mutator_lock_) { |
| Mathieu Chartier | fbc3108 | 2016-01-24 11:59:56 -0800 | [diff] [blame] | 372 | SetFieldPtr<false>(ResolvedMethodsOffset(), resolved_methods); |
| 373 | } |
| 374 | |
| Vladimir Marko | f44d36c | 2017-03-14 14:18:46 +0000 | [diff] [blame] | 375 | FieldDexCacheType* GetResolvedFields() ALWAYS_INLINE REQUIRES_SHARED(Locks::mutator_lock_) { |
| 376 | return GetFieldPtr<FieldDexCacheType*>(ResolvedFieldsOffset()); |
| Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 377 | } |
| 378 | |
| Vladimir Marko | f44d36c | 2017-03-14 14:18:46 +0000 | [diff] [blame] | 379 | void SetResolvedFields(FieldDexCacheType* resolved_fields) |
| Mathieu Chartier | fbc3108 | 2016-01-24 11:59:56 -0800 | [diff] [blame] | 380 | ALWAYS_INLINE |
| Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 381 | REQUIRES_SHARED(Locks::mutator_lock_) { |
| Mathieu Chartier | fbc3108 | 2016-01-24 11:59:56 -0800 | [diff] [blame] | 382 | SetFieldPtr<false>(ResolvedFieldsOffset(), resolved_fields); |
| 383 | } |
| 384 | |
| Vladimir Marko | 98db89c | 2018-09-07 11:45:46 +0100 | [diff] [blame] | 385 | template<VerifyObjectFlags kVerifyFlags = kDefaultVerifyFlags> |
| Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 386 | MethodTypeDexCacheType* GetResolvedMethodTypes() |
| 387 | ALWAYS_INLINE REQUIRES_SHARED(Locks::mutator_lock_) { |
| Vladimir Marko | 98db89c | 2018-09-07 11:45:46 +0100 | [diff] [blame] | 388 | return GetFieldPtr64<MethodTypeDexCacheType*, kVerifyFlags>(ResolvedMethodTypesOffset()); |
| Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 389 | } |
| 390 | |
| 391 | void SetResolvedMethodTypes(MethodTypeDexCacheType* resolved_method_types) |
| 392 | ALWAYS_INLINE |
| 393 | REQUIRES_SHARED(Locks::mutator_lock_) { |
| 394 | SetFieldPtr<false>(ResolvedMethodTypesOffset(), resolved_method_types); |
| 395 | } |
| 396 | |
| Vladimir Marko | 98db89c | 2018-09-07 11:45:46 +0100 | [diff] [blame] | 397 | template<VerifyObjectFlags kVerifyFlags = kDefaultVerifyFlags> |
| Orion Hodson | c069a30 | 2017-01-18 09:23:12 +0000 | [diff] [blame] | 398 | GcRoot<CallSite>* GetResolvedCallSites() |
| 399 | ALWAYS_INLINE |
| 400 | REQUIRES_SHARED(Locks::mutator_lock_) { |
| Vladimir Marko | 98db89c | 2018-09-07 11:45:46 +0100 | [diff] [blame] | 401 | return GetFieldPtr<GcRoot<CallSite>*, kVerifyFlags>(ResolvedCallSitesOffset()); |
| Orion Hodson | c069a30 | 2017-01-18 09:23:12 +0000 | [diff] [blame] | 402 | } |
| 403 | |
| 404 | void SetResolvedCallSites(GcRoot<CallSite>* resolved_call_sites) |
| 405 | ALWAYS_INLINE |
| 406 | REQUIRES_SHARED(Locks::mutator_lock_) { |
| 407 | SetFieldPtr<false>(ResolvedCallSitesOffset(), resolved_call_sites); |
| 408 | } |
| 409 | |
| Vladimir Marko | 98db89c | 2018-09-07 11:45:46 +0100 | [diff] [blame] | 410 | template<VerifyObjectFlags kVerifyFlags = kDefaultVerifyFlags> |
| Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 411 | size_t NumStrings() REQUIRES_SHARED(Locks::mutator_lock_) { |
| Vladimir Marko | 98db89c | 2018-09-07 11:45:46 +0100 | [diff] [blame] | 412 | return GetField32<kVerifyFlags>(NumStringsOffset()); |
| Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 413 | } |
| 414 | |
| Vladimir Marko | 98db89c | 2018-09-07 11:45:46 +0100 | [diff] [blame] | 415 | template<VerifyObjectFlags kVerifyFlags = kDefaultVerifyFlags> |
| Mathieu Chartier | 1ca718e | 2018-10-23 12:55:34 -0700 | [diff] [blame] | 416 | size_t NumPreResolvedStrings() REQUIRES_SHARED(Locks::mutator_lock_) { |
| 417 | return GetField32<kVerifyFlags>(NumPreResolvedStringsOffset()); |
| 418 | } |
| 419 | |
| 420 | template<VerifyObjectFlags kVerifyFlags = kDefaultVerifyFlags> |
| Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 421 | size_t NumResolvedTypes() REQUIRES_SHARED(Locks::mutator_lock_) { |
| Vladimir Marko | 98db89c | 2018-09-07 11:45:46 +0100 | [diff] [blame] | 422 | return GetField32<kVerifyFlags>(NumResolvedTypesOffset()); |
| Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 423 | } |
| 424 | |
| Vladimir Marko | 924ad50 | 2018-09-19 09:48:04 +0100 | [diff] [blame] | 425 | template<VerifyObjectFlags kVerifyFlags = kDefaultVerifyFlags> |
| Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 426 | size_t NumResolvedMethods() REQUIRES_SHARED(Locks::mutator_lock_) { |
| Vladimir Marko | 924ad50 | 2018-09-19 09:48:04 +0100 | [diff] [blame] | 427 | return GetField32<kVerifyFlags>(NumResolvedMethodsOffset()); |
| Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 428 | } |
| 429 | |
| Vladimir Marko | 924ad50 | 2018-09-19 09:48:04 +0100 | [diff] [blame] | 430 | template<VerifyObjectFlags kVerifyFlags = kDefaultVerifyFlags> |
| Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 431 | size_t NumResolvedFields() REQUIRES_SHARED(Locks::mutator_lock_) { |
| Vladimir Marko | 924ad50 | 2018-09-19 09:48:04 +0100 | [diff] [blame] | 432 | return GetField32<kVerifyFlags>(NumResolvedFieldsOffset()); |
| Mathieu Chartier | 66f1925 | 2012-09-18 08:57:04 -0700 | [diff] [blame] | 433 | } |
| 434 | |
| Vladimir Marko | 98db89c | 2018-09-07 11:45:46 +0100 | [diff] [blame] | 435 | template<VerifyObjectFlags kVerifyFlags = kDefaultVerifyFlags> |
| Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 436 | size_t NumResolvedMethodTypes() REQUIRES_SHARED(Locks::mutator_lock_) { |
| Vladimir Marko | 98db89c | 2018-09-07 11:45:46 +0100 | [diff] [blame] | 437 | return GetField32<kVerifyFlags>(NumResolvedMethodTypesOffset()); |
| Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 438 | } |
| 439 | |
| Vladimir Marko | 98db89c | 2018-09-07 11:45:46 +0100 | [diff] [blame] | 440 | template<VerifyObjectFlags kVerifyFlags = kDefaultVerifyFlags> |
| Orion Hodson | c069a30 | 2017-01-18 09:23:12 +0000 | [diff] [blame] | 441 | size_t NumResolvedCallSites() REQUIRES_SHARED(Locks::mutator_lock_) { |
| Vladimir Marko | 98db89c | 2018-09-07 11:45:46 +0100 | [diff] [blame] | 442 | return GetField32<kVerifyFlags>(NumResolvedCallSitesOffset()); |
| Orion Hodson | c069a30 | 2017-01-18 09:23:12 +0000 | [diff] [blame] | 443 | } |
| 444 | |
| Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 445 | const DexFile* GetDexFile() ALWAYS_INLINE REQUIRES_SHARED(Locks::mutator_lock_) { |
| Ian Rogers | b0fa5dc | 2014-04-28 16:47:08 -0700 | [diff] [blame] | 446 | return GetFieldPtr<const DexFile*>(OFFSET_OF_OBJECT_MEMBER(DexCache, dex_file_)); |
| Mathieu Chartier | 66f1925 | 2012-09-18 08:57:04 -0700 | [diff] [blame] | 447 | } |
| 448 | |
| Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 449 | void SetDexFile(const DexFile* dex_file) REQUIRES_SHARED(Locks::mutator_lock_) { |
| Mathieu Chartier | 7617216 | 2016-01-26 14:54:06 -0800 | [diff] [blame] | 450 | SetFieldPtr<false>(OFFSET_OF_OBJECT_MEMBER(DexCache, dex_file_), dex_file); |
| Brian Carlstrom | 4b620ff | 2011-09-11 01:11:01 -0700 | [diff] [blame] | 451 | } |
| Brian Carlstrom | c4fa2c0 | 2011-08-21 03:00:12 -0700 | [diff] [blame] | 452 | |
| Vladimir Marko | 8d6768d | 2017-03-14 10:13:21 +0000 | [diff] [blame] | 453 | void SetLocation(ObjPtr<String> location) REQUIRES_SHARED(Locks::mutator_lock_); |
| Mathieu Chartier | 7617216 | 2016-01-26 14:54:06 -0800 | [diff] [blame] | 454 | |
| Vladimir Marko | f44d36c | 2017-03-14 14:18:46 +0000 | [diff] [blame] | 455 | template <typename T> |
| 456 | static NativeDexCachePair<T> GetNativePairPtrSize(std::atomic<NativeDexCachePair<T>>* pair_array, |
| 457 | size_t idx, |
| 458 | PointerSize ptr_size); |
| 459 | |
| 460 | template <typename T> |
| 461 | static void SetNativePairPtrSize(std::atomic<NativeDexCachePair<T>>* pair_array, |
| 462 | size_t idx, |
| 463 | NativeDexCachePair<T> pair, |
| 464 | PointerSize ptr_size); |
| 465 | |
| Mathieu Chartier | 1ca718e | 2018-10-23 12:55:34 -0700 | [diff] [blame] | 466 | static size_t PreResolvedStringsSize(size_t num_strings) { |
| 467 | return sizeof(GcRoot<mirror::String>) * num_strings; |
| 468 | } |
| 469 | |
| Vladimir Marko | f25cc73 | 2017-03-16 16:18:15 +0000 | [diff] [blame] | 470 | uint32_t StringSlotIndex(dex::StringIndex string_idx) REQUIRES_SHARED(Locks::mutator_lock_); |
| 471 | uint32_t TypeSlotIndex(dex::TypeIndex type_idx) REQUIRES_SHARED(Locks::mutator_lock_); |
| 472 | uint32_t FieldSlotIndex(uint32_t field_idx) REQUIRES_SHARED(Locks::mutator_lock_); |
| Vladimir Marko | 07bfbac | 2017-07-06 14:55:02 +0100 | [diff] [blame] | 473 | uint32_t MethodSlotIndex(uint32_t method_idx) REQUIRES_SHARED(Locks::mutator_lock_); |
| Orion Hodson | 06d10a7 | 2018-05-14 08:53:38 +0100 | [diff] [blame] | 474 | uint32_t MethodTypeSlotIndex(dex::ProtoIndex proto_idx) REQUIRES_SHARED(Locks::mutator_lock_); |
| Vladimir Marko | f25cc73 | 2017-03-16 16:18:15 +0000 | [diff] [blame] | 475 | |
| Mathieu Chartier | 3ffb5b1 | 2019-06-06 14:23:03 -0700 | [diff] [blame] | 476 | // Returns true if we succeeded in adding the pre-resolved string array. |
| 477 | bool AddPreResolvedStringsArray() REQUIRES_SHARED(Locks::mutator_lock_); |
| Mathieu Chartier | 1ca718e | 2018-10-23 12:55:34 -0700 | [diff] [blame] | 478 | |
| Brian Carlstrom | c4fa2c0 | 2011-08-21 03:00:12 -0700 | [diff] [blame] | 479 | private: |
| Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 480 | void Init(const DexFile* dex_file, |
| 481 | ObjPtr<String> location, |
| 482 | StringDexCacheType* strings, |
| 483 | uint32_t num_strings, |
| Vladimir Marko | 8d6768d | 2017-03-14 10:13:21 +0000 | [diff] [blame] | 484 | TypeDexCacheType* resolved_types, |
| Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 485 | uint32_t num_resolved_types, |
| Vladimir Marko | 07bfbac | 2017-07-06 14:55:02 +0100 | [diff] [blame] | 486 | MethodDexCacheType* resolved_methods, |
| Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 487 | uint32_t num_resolved_methods, |
| Vladimir Marko | f44d36c | 2017-03-14 14:18:46 +0000 | [diff] [blame] | 488 | FieldDexCacheType* resolved_fields, |
| Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 489 | uint32_t num_resolved_fields, |
| Orion Hodson | c069a30 | 2017-01-18 09:23:12 +0000 | [diff] [blame] | 490 | MethodTypeDexCacheType* resolved_method_types, |
| 491 | uint32_t num_resolved_method_types, |
| 492 | GcRoot<CallSite>* resolved_call_sites, |
| Vladimir Marko | 07bfbac | 2017-07-06 14:55:02 +0100 | [diff] [blame] | 493 | uint32_t num_resolved_call_sites) |
| Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 494 | REQUIRES_SHARED(Locks::mutator_lock_); |
| 495 | |
| Vladimir Marko | f44d36c | 2017-03-14 14:18:46 +0000 | [diff] [blame] | 496 | // std::pair<> is not trivially copyable and as such it is unsuitable for atomic operations, |
| 497 | // so we use a custom pair class for loading and storing the NativeDexCachePair<>. |
| 498 | template <typename IntType> |
| 499 | struct PACKED(2 * sizeof(IntType)) ConversionPair { |
| 500 | ConversionPair(IntType f, IntType s) : first(f), second(s) { } |
| 501 | ConversionPair(const ConversionPair&) = default; |
| 502 | ConversionPair& operator=(const ConversionPair&) = default; |
| 503 | IntType first; |
| 504 | IntType second; |
| 505 | }; |
| 506 | using ConversionPair32 = ConversionPair<uint32_t>; |
| 507 | using ConversionPair64 = ConversionPair<uint64_t>; |
| 508 | |
| Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 509 | // 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] | 510 | template <bool kVisitNativeRoots, |
| 511 | VerifyObjectFlags kVerifyFlags = kDefaultVerifyFlags, |
| 512 | ReadBarrierOption kReadBarrierOption = kWithReadBarrier, |
| 513 | typename Visitor> |
| Vladimir Marko | 8d6768d | 2017-03-14 10:13:21 +0000 | [diff] [blame] | 514 | void VisitReferences(ObjPtr<Class> klass, const Visitor& visitor) |
| Andreas Gampe | bdf7f1c | 2016-08-30 16:38:47 -0700 | [diff] [blame] | 515 | REQUIRES_SHARED(Locks::mutator_lock_) REQUIRES(Locks::heap_bitmap_lock_); |
| Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 516 | |
| Vladimir Marko | f44d36c | 2017-03-14 14:18:46 +0000 | [diff] [blame] | 517 | // Due to lack of 16-byte atomics support, we use hand-crafted routines. |
| Alexey Frunze | 279cfba | 2017-07-22 00:24:43 -0700 | [diff] [blame] | 518 | #if defined(__aarch64__) || defined(__mips__) |
| 519 | // 16-byte atomics are supported on aarch64, mips and mips64. |
| Vladimir Marko | f44d36c | 2017-03-14 14:18:46 +0000 | [diff] [blame] | 520 | ALWAYS_INLINE static ConversionPair64 AtomicLoadRelaxed16B( |
| 521 | std::atomic<ConversionPair64>* target) { |
| 522 | return target->load(std::memory_order_relaxed); |
| 523 | } |
| 524 | |
| 525 | ALWAYS_INLINE static void AtomicStoreRelease16B( |
| 526 | std::atomic<ConversionPair64>* target, ConversionPair64 value) { |
| 527 | target->store(value, std::memory_order_release); |
| 528 | } |
| 529 | #elif defined(__x86_64__) |
| 530 | ALWAYS_INLINE static ConversionPair64 AtomicLoadRelaxed16B( |
| 531 | std::atomic<ConversionPair64>* target) { |
| 532 | uint64_t first, second; |
| 533 | __asm__ __volatile__( |
| 534 | "lock cmpxchg16b (%2)" |
| 535 | : "=&a"(first), "=&d"(second) |
| 536 | : "r"(target), "a"(0), "d"(0), "b"(0), "c"(0) |
| 537 | : "cc"); |
| 538 | return ConversionPair64(first, second); |
| 539 | } |
| 540 | |
| 541 | ALWAYS_INLINE static void AtomicStoreRelease16B( |
| 542 | std::atomic<ConversionPair64>* target, ConversionPair64 value) { |
| 543 | uint64_t first, second; |
| 544 | __asm__ __volatile__ ( |
| 545 | "movq (%2), %%rax\n\t" |
| 546 | "movq 8(%2), %%rdx\n\t" |
| 547 | "1:\n\t" |
| 548 | "lock cmpxchg16b (%2)\n\t" |
| 549 | "jnz 1b" |
| 550 | : "=&a"(first), "=&d"(second) |
| 551 | : "r"(target), "b"(value.first), "c"(value.second) |
| 552 | : "cc"); |
| 553 | } |
| 554 | #else |
| 555 | static ConversionPair64 AtomicLoadRelaxed16B(std::atomic<ConversionPair64>* target); |
| 556 | static void AtomicStoreRelease16B(std::atomic<ConversionPair64>* target, ConversionPair64 value); |
| 557 | #endif |
| 558 | |
| Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 559 | HeapReference<String> location_; |
| Mathieu Chartier | 1ca718e | 2018-10-23 12:55:34 -0700 | [diff] [blame] | 560 | // Number of elements in the preresolved_strings_ array. Note that this appears here because of |
| 561 | // our packing logic for 32 bit fields. |
| 562 | uint32_t num_preresolved_strings_; |
| Narayan Kamath | 6b2dc31 | 2017-03-14 13:26:12 +0000 | [diff] [blame] | 563 | |
| Mathieu Chartier | 1ca718e | 2018-10-23 12:55:34 -0700 | [diff] [blame] | 564 | uint64_t dex_file_; // const DexFile* |
| 565 | uint64_t preresolved_strings_; // GcRoot<mirror::String*> array with num_preresolved_strings |
| 566 | // elements. |
| 567 | uint64_t resolved_call_sites_; // GcRoot<CallSite>* array with num_resolved_call_sites_ |
| 568 | // elements. |
| 569 | uint64_t resolved_fields_; // std::atomic<FieldDexCachePair>*, array with |
| 570 | // num_resolved_fields_ elements. |
| 571 | uint64_t resolved_method_types_; // std::atomic<MethodTypeDexCachePair>* array with |
| 572 | // num_resolved_method_types_ elements. |
| 573 | uint64_t resolved_methods_; // ArtMethod*, array with num_resolved_methods_ elements. |
| 574 | uint64_t resolved_types_; // TypeDexCacheType*, array with num_resolved_types_ elements. |
| 575 | uint64_t strings_; // std::atomic<StringDexCachePair>*, array with num_strings_ |
| 576 | // elements. |
| Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 577 | |
| Mathieu Chartier | 1ca718e | 2018-10-23 12:55:34 -0700 | [diff] [blame] | 578 | uint32_t num_resolved_call_sites_; // Number of elements in the call_sites_ array. |
| Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 579 | uint32_t num_resolved_fields_; // Number of elements in the resolved_fields_ array. |
| 580 | uint32_t num_resolved_method_types_; // Number of elements in the resolved_method_types_ array. |
| 581 | uint32_t num_resolved_methods_; // Number of elements in the resolved_methods_ array. |
| 582 | uint32_t num_resolved_types_; // Number of elements in the resolved_types_ array. |
| 583 | uint32_t num_strings_; // Number of elements in the strings_ array. |
| Brian Carlstrom | 83db772 | 2011-08-26 17:32:56 -0700 | [diff] [blame] | 584 | |
| Brian Carlstrom | 7934ac2 | 2013-07-26 10:54:15 -0700 | [diff] [blame] | 585 | friend struct art::DexCacheOffsets; // for verifying offset information |
| Vladimir Marko | ca8de0a | 2018-07-04 11:56:08 +0100 | [diff] [blame] | 586 | friend class linker::ImageWriter; |
| Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 587 | friend class Object; // For VisitReferences |
| Brian Carlstrom | c4fa2c0 | 2011-08-21 03:00:12 -0700 | [diff] [blame] | 588 | DISALLOW_IMPLICIT_CONSTRUCTORS(DexCache); |
| Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 589 | }; |
| 590 | |
| Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 591 | } // namespace mirror |
| Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 592 | } // namespace art |
| 593 | |
| Brian Carlstrom | fc0e321 | 2013-07-17 14:40:12 -0700 | [diff] [blame] | 594 | #endif // ART_RUNTIME_MIRROR_DEX_CACHE_H_ |