blob: 770c45d558e6c50f5f961a15a4fcda920619f77e [file] [log] [blame]
Elliott Hughes2faa5f12012-01-30 14:42:07 -08001/*
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 Carlstrom7e49dca2011-07-22 18:07:34 -070016
Brian Carlstromfc0e3212013-07-17 14:40:12 -070017#ifndef ART_RUNTIME_MIRROR_DEX_CACHE_H_
18#define ART_RUNTIME_MIRROR_DEX_CACHE_H_
Brian Carlstrom7e49dca2011-07-22 18:07:34 -070019
Mathieu Chartiere401d142015-04-22 13:56:20 -070020#include "array.h"
Andreas Gampe58a5af82014-07-31 16:23:49 -070021#include "art_field.h"
Brian Carlstromea46f952013-07-30 01:26:50 -070022#include "art_method.h"
Andreas Gampe58a5af82014-07-31 16:23:49 -070023#include "class.h"
Brian Carlstrom7e49dca2011-07-22 18:07:34 -070024#include "object.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080025#include "object_array.h"
Brian Carlstrom7e49dca2011-07-22 18:07:34 -070026
27namespace art {
28
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080029struct DexCacheOffsets;
30class DexFile;
31class ImageWriter;
32union JValue;
33
34namespace mirror {
35
Mingyao Yang98d1cc82014-05-15 17:02:16 -070036class String;
Brian Carlstrom7e49dca2011-07-22 18:07:34 -070037
Christina Wadsworth9210ce92016-08-19 13:28:19 -070038struct PACKED(8) StringDexCachePair {
Christina Wadsworthbf44e0e2016-08-18 10:37:42 -070039 GcRoot<String> string_pointer;
40 uint32_t string_index;
41 // The array is initially [ {0,0}, {0,0}, {0,0} ... ]
42 // We maintain the invariant that once a dex cache entry is populated,
43 // the pointer is always non-0
44 // Any given entry would thus be:
45 // {non-0, non-0} OR {0,0}
46 //
47 // It's generally sufficiently enough then to check if the
48 // lookup string index matches the stored string index (for a >0 string index)
49 // because if it's true the pointer is also non-null.
50 //
51 // For the 0th entry which is a special case, the value is either
52 // {0,0} (initial state) or {non-0, 0} which indicates
53 // that a valid string is stored at that index for a dex string id of 0.
54 //
55 // As an optimization, we want to avoid branching on the string pointer since
56 // it's always non-null if the string id branch succeeds (except for the 0th string id).
57 // Set the initial state for the 0th entry to be {0,1} which is guaranteed to fail
58 // the lookup string id == stored id branch.
59 static void Initialize(StringDexCacheType* strings) {
60 DCHECK(StringDexCacheType().is_lock_free());
61 mirror::StringDexCachePair first_elem;
62 first_elem.string_pointer = GcRoot<String>(nullptr);
63 first_elem.string_index = 1;
64 strings[0].store(first_elem, std::memory_order_relaxed);
65 }
66 static GcRoot<String> LookupString(StringDexCacheType* dex_cache,
67 uint32_t string_idx,
68 uint32_t cache_size) {
69 StringDexCachePair index_string = dex_cache[string_idx % cache_size]
70 .load(std::memory_order_relaxed);
71 if (string_idx != index_string.string_index) return GcRoot<String>(nullptr);
72 DCHECK(!index_string.string_pointer.IsNull());
73 return index_string.string_pointer;
74 }
75};
76using StringDexCacheType = std::atomic<StringDexCachePair>;
77
78
Mingyao Yang98d1cc82014-05-15 17:02:16 -070079// C++ mirror of java.lang.DexCache.
80class MANAGED DexCache FINAL : public Object {
Brian Carlstrom83db7722011-08-26 17:32:56 -070081 public:
Mingyao Yang98d1cc82014-05-15 17:02:16 -070082 // Size of java.lang.DexCache.class.
Andreas Gampe542451c2016-07-26 09:02:02 -070083 static uint32_t ClassSize(PointerSize pointer_size);
Mingyao Yang98d1cc82014-05-15 17:02:16 -070084
Christina Wadsworthbf44e0e2016-08-18 10:37:42 -070085 // Size of string dex cache. Needs to be a power of 2 for entrypoint assumptions to hold.
86 static constexpr size_t kDexCacheStringCacheSize = 1024;
87 static_assert(IsPowerOfTwo(kDexCacheStringCacheSize),
88 "String dex cache size is not a power of 2.");
89
90 static constexpr size_t StaticStringSize() {
91 return kDexCacheStringCacheSize;
92 }
93
Mingyao Yang98d1cc82014-05-15 17:02:16 -070094 // Size of an instance of java.lang.DexCache not including referenced values.
95 static constexpr uint32_t InstanceSize() {
96 return sizeof(DexCache);
97 }
98
Vladimir Marko05792b92015-08-03 11:56:49 +010099 void Init(const DexFile* dex_file,
100 String* location,
Christina Wadsworthbf44e0e2016-08-18 10:37:42 -0700101 StringDexCacheType* strings,
Vladimir Marko05792b92015-08-03 11:56:49 +0100102 uint32_t num_strings,
103 GcRoot<Class>* resolved_types,
104 uint32_t num_resolved_types,
105 ArtMethod** resolved_methods,
106 uint32_t num_resolved_methods,
107 ArtField** resolved_fields,
108 uint32_t num_resolved_fields,
Andreas Gampe542451c2016-07-26 09:02:02 -0700109 PointerSize pointer_size) SHARED_REQUIRES(Locks::mutator_lock_);
Brian Carlstrom7e49dca2011-07-22 18:07:34 -0700110
Andreas Gampe542451c2016-07-26 09:02:02 -0700111 void Fixup(ArtMethod* trampoline, PointerSize pointer_size)
Mathieu Chartier90443472015-07-16 20:32:27 -0700112 SHARED_REQUIRES(Locks::mutator_lock_);
Ian Rogers19846512012-02-24 11:42:47 -0800113
Mathieu Chartier60bc39c2016-01-27 18:37:48 -0800114 template <ReadBarrierOption kReadBarrierOption = kWithReadBarrier, typename Visitor>
Christina Wadsworthbf44e0e2016-08-18 10:37:42 -0700115 void FixupStrings(StringDexCacheType* dest, const Visitor& visitor)
Mathieu Chartier4b00d342015-11-13 10:42:08 -0800116 SHARED_REQUIRES(Locks::mutator_lock_);
117
Mathieu Chartier60bc39c2016-01-27 18:37:48 -0800118 template <ReadBarrierOption kReadBarrierOption = kWithReadBarrier, typename Visitor>
Mathieu Chartier4b00d342015-11-13 10:42:08 -0800119 void FixupResolvedTypes(GcRoot<mirror::Class>* dest, const Visitor& visitor)
120 SHARED_REQUIRES(Locks::mutator_lock_);
121
Mathieu Chartier90443472015-07-16 20:32:27 -0700122 String* GetLocation() SHARED_REQUIRES(Locks::mutator_lock_) {
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700123 return GetFieldObject<String>(OFFSET_OF_OBJECT_MEMBER(DexCache, location_));
Brian Carlstroma663ea52011-08-19 23:33:41 -0700124 }
125
Andreas Gampedd9d0552015-03-09 12:57:41 -0700126 static MemberOffset DexOffset() {
127 return OFFSET_OF_OBJECT_MEMBER(DexCache, dex_);
128 }
129
buzbee5cd21802011-08-26 10:40:14 -0700130 static MemberOffset StringsOffset() {
Mathieu Chartier66f19252012-09-18 08:57:04 -0700131 return OFFSET_OF_OBJECT_MEMBER(DexCache, strings_);
buzbeec5ef0462011-08-25 18:44:49 -0700132 }
133
Vladimir Marko05792b92015-08-03 11:56:49 +0100134 static MemberOffset ResolvedTypesOffset() {
135 return OFFSET_OF_OBJECT_MEMBER(DexCache, resolved_types_);
136 }
137
Brian Carlstrom1caa2c22011-08-28 13:02:33 -0700138 static MemberOffset ResolvedFieldsOffset() {
Mathieu Chartier66f19252012-09-18 08:57:04 -0700139 return OFFSET_OF_OBJECT_MEMBER(DexCache, resolved_fields_);
buzbeec5ef0462011-08-25 18:44:49 -0700140 }
141
Brian Carlstrom1caa2c22011-08-28 13:02:33 -0700142 static MemberOffset ResolvedMethodsOffset() {
Mathieu Chartier66f19252012-09-18 08:57:04 -0700143 return OFFSET_OF_OBJECT_MEMBER(DexCache, resolved_methods_);
buzbeec5ef0462011-08-25 18:44:49 -0700144 }
145
Vladimir Marko05792b92015-08-03 11:56:49 +0100146 static MemberOffset NumStringsOffset() {
147 return OFFSET_OF_OBJECT_MEMBER(DexCache, num_strings_);
Brian Carlstrom7e49dca2011-07-22 18:07:34 -0700148 }
149
Vladimir Marko05792b92015-08-03 11:56:49 +0100150 static MemberOffset NumResolvedTypesOffset() {
151 return OFFSET_OF_OBJECT_MEMBER(DexCache, num_resolved_types_);
Brian Carlstrom7e49dca2011-07-22 18:07:34 -0700152 }
153
Vladimir Marko05792b92015-08-03 11:56:49 +0100154 static MemberOffset NumResolvedFieldsOffset() {
155 return OFFSET_OF_OBJECT_MEMBER(DexCache, num_resolved_fields_);
Brian Carlstrom7e49dca2011-07-22 18:07:34 -0700156 }
157
Vladimir Marko05792b92015-08-03 11:56:49 +0100158 static MemberOffset NumResolvedMethodsOffset() {
159 return OFFSET_OF_OBJECT_MEMBER(DexCache, num_resolved_methods_);
Brian Carlstrom7e49dca2011-07-22 18:07:34 -0700160 }
161
Christina Wadsworthbf44e0e2016-08-18 10:37:42 -0700162 mirror::String* GetResolvedString(uint32_t string_idx) ALWAYS_INLINE
Vladimir Marko05792b92015-08-03 11:56:49 +0100163 SHARED_REQUIRES(Locks::mutator_lock_);
Brian Carlstrom7e49dca2011-07-22 18:07:34 -0700164
Christina Wadsworthbf44e0e2016-08-18 10:37:42 -0700165 void SetResolvedString(uint32_t string_idx, mirror::String* resolved) ALWAYS_INLINE
Mathieu Chartier90443472015-07-16 20:32:27 -0700166 SHARED_REQUIRES(Locks::mutator_lock_);
Brian Carlstrom7e49dca2011-07-22 18:07:34 -0700167
Vladimir Marko05792b92015-08-03 11:56:49 +0100168 Class* GetResolvedType(uint32_t type_idx) SHARED_REQUIRES(Locks::mutator_lock_);
169
170 void SetResolvedType(uint32_t type_idx, Class* resolved) SHARED_REQUIRES(Locks::mutator_lock_);
171
Andreas Gampe542451c2016-07-26 09:02:02 -0700172 ALWAYS_INLINE ArtMethod* GetResolvedMethod(uint32_t method_idx, PointerSize ptr_size)
Mathieu Chartier90443472015-07-16 20:32:27 -0700173 SHARED_REQUIRES(Locks::mutator_lock_);
Brian Carlstrom7e49dca2011-07-22 18:07:34 -0700174
Andreas Gampe542451c2016-07-26 09:02:02 -0700175 ALWAYS_INLINE void SetResolvedMethod(uint32_t method_idx,
176 ArtMethod* resolved,
177 PointerSize ptr_size)
Mathieu Chartier90443472015-07-16 20:32:27 -0700178 SHARED_REQUIRES(Locks::mutator_lock_);
Brian Carlstrom7e49dca2011-07-22 18:07:34 -0700179
Mathieu Chartierc7853442015-03-27 14:35:38 -0700180 // Pointer sized variant, used for patching.
Andreas Gampe542451c2016-07-26 09:02:02 -0700181 ALWAYS_INLINE ArtField* GetResolvedField(uint32_t idx, PointerSize ptr_size)
Mathieu Chartier90443472015-07-16 20:32:27 -0700182 SHARED_REQUIRES(Locks::mutator_lock_);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700183
184 // Pointer sized variant, used for patching.
Andreas Gampe542451c2016-07-26 09:02:02 -0700185 ALWAYS_INLINE void SetResolvedField(uint32_t idx, ArtField* field, PointerSize ptr_size)
Mathieu Chartier90443472015-07-16 20:32:27 -0700186 SHARED_REQUIRES(Locks::mutator_lock_);
Brian Carlstrom7e49dca2011-07-22 18:07:34 -0700187
Christina Wadsworthbf44e0e2016-08-18 10:37:42 -0700188 StringDexCacheType* GetStrings() ALWAYS_INLINE SHARED_REQUIRES(Locks::mutator_lock_) {
189 return GetFieldPtr64<StringDexCacheType*>(StringsOffset());
Brian Carlstrom1caa2c22011-08-28 13:02:33 -0700190 }
Brian Carlstrom83db7722011-08-26 17:32:56 -0700191
Christina Wadsworthbf44e0e2016-08-18 10:37:42 -0700192 void SetStrings(StringDexCacheType* strings) ALWAYS_INLINE SHARED_REQUIRES(Locks::mutator_lock_) {
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800193 SetFieldPtr<false>(StringsOffset(), strings);
194 }
195
Vladimir Marko05792b92015-08-03 11:56:49 +0100196 GcRoot<Class>* GetResolvedTypes() ALWAYS_INLINE SHARED_REQUIRES(Locks::mutator_lock_) {
197 return GetFieldPtr<GcRoot<Class>*>(ResolvedTypesOffset());
Mathieu Chartier66f19252012-09-18 08:57:04 -0700198 }
199
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800200 void SetResolvedTypes(GcRoot<Class>* resolved_types)
201 ALWAYS_INLINE
202 SHARED_REQUIRES(Locks::mutator_lock_) {
203 SetFieldPtr<false>(ResolvedTypesOffset(), resolved_types);
204 }
205
Vladimir Marko05792b92015-08-03 11:56:49 +0100206 ArtMethod** GetResolvedMethods() ALWAYS_INLINE SHARED_REQUIRES(Locks::mutator_lock_) {
207 return GetFieldPtr<ArtMethod**>(ResolvedMethodsOffset());
Mathieu Chartier66f19252012-09-18 08:57:04 -0700208 }
209
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800210 void SetResolvedMethods(ArtMethod** resolved_methods)
211 ALWAYS_INLINE
212 SHARED_REQUIRES(Locks::mutator_lock_) {
213 SetFieldPtr<false>(ResolvedMethodsOffset(), resolved_methods);
214 }
215
Vladimir Marko05792b92015-08-03 11:56:49 +0100216 ArtField** GetResolvedFields() ALWAYS_INLINE SHARED_REQUIRES(Locks::mutator_lock_) {
217 return GetFieldPtr<ArtField**>(ResolvedFieldsOffset());
218 }
219
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800220 void SetResolvedFields(ArtField** resolved_fields)
221 ALWAYS_INLINE
222 SHARED_REQUIRES(Locks::mutator_lock_) {
223 SetFieldPtr<false>(ResolvedFieldsOffset(), resolved_fields);
224 }
225
Vladimir Marko05792b92015-08-03 11:56:49 +0100226 size_t NumStrings() SHARED_REQUIRES(Locks::mutator_lock_) {
227 return GetField32(NumStringsOffset());
228 }
229
230 size_t NumResolvedTypes() SHARED_REQUIRES(Locks::mutator_lock_) {
231 return GetField32(NumResolvedTypesOffset());
232 }
233
234 size_t NumResolvedMethods() SHARED_REQUIRES(Locks::mutator_lock_) {
235 return GetField32(NumResolvedMethodsOffset());
236 }
237
238 size_t NumResolvedFields() SHARED_REQUIRES(Locks::mutator_lock_) {
239 return GetField32(NumResolvedFieldsOffset());
Mathieu Chartier66f19252012-09-18 08:57:04 -0700240 }
241
Mathieu Chartier90443472015-07-16 20:32:27 -0700242 const DexFile* GetDexFile() ALWAYS_INLINE SHARED_REQUIRES(Locks::mutator_lock_) {
Ian Rogersb0fa5dc2014-04-28 16:47:08 -0700243 return GetFieldPtr<const DexFile*>(OFFSET_OF_OBJECT_MEMBER(DexCache, dex_file_));
Mathieu Chartier66f19252012-09-18 08:57:04 -0700244 }
245
Mathieu Chartier76172162016-01-26 14:54:06 -0800246 void SetDexFile(const DexFile* dex_file) SHARED_REQUIRES(Locks::mutator_lock_) {
247 SetFieldPtr<false>(OFFSET_OF_OBJECT_MEMBER(DexCache, dex_file_), dex_file);
Brian Carlstrom4b620ff2011-09-11 01:11:01 -0700248 }
Brian Carlstromc4fa2c02011-08-21 03:00:12 -0700249
Mathieu Chartier76172162016-01-26 14:54:06 -0800250 void SetLocation(mirror::String* location) SHARED_REQUIRES(Locks::mutator_lock_);
251
Vladimir Marko05792b92015-08-03 11:56:49 +0100252 // NOTE: Get/SetElementPtrSize() are intended for working with ArtMethod** and ArtField**
253 // provided by GetResolvedMethods/Fields() and ArtMethod::GetDexCacheResolvedMethods(),
254 // so they need to be public.
255
256 template <typename PtrType>
Andreas Gampe542451c2016-07-26 09:02:02 -0700257 static PtrType GetElementPtrSize(PtrType* ptr_array, size_t idx, PointerSize ptr_size);
Vladimir Marko05792b92015-08-03 11:56:49 +0100258
259 template <typename PtrType>
Andreas Gampe542451c2016-07-26 09:02:02 -0700260 static void SetElementPtrSize(PtrType* ptr_array, size_t idx, PtrType ptr, PointerSize ptr_size);
Vladimir Marko05792b92015-08-03 11:56:49 +0100261
Brian Carlstromc4fa2c02011-08-21 03:00:12 -0700262 private:
Vladimir Marko05792b92015-08-03 11:56:49 +0100263 // Visit instance fields of the dex cache as well as its associated arrays.
Mathieu Chartierfbc31082016-01-24 11:59:56 -0800264 template <bool kVisitNativeRoots,
265 VerifyObjectFlags kVerifyFlags = kDefaultVerifyFlags,
266 ReadBarrierOption kReadBarrierOption = kWithReadBarrier,
267 typename Visitor>
Vladimir Marko05792b92015-08-03 11:56:49 +0100268 void VisitReferences(mirror::Class* klass, const Visitor& visitor)
269 SHARED_REQUIRES(Locks::mutator_lock_) REQUIRES(Locks::heap_bitmap_lock_);
270
Ian Rogersef7d42f2014-01-06 12:55:46 -0800271 HeapReference<Object> dex_;
272 HeapReference<String> location_;
Vladimir Marko05792b92015-08-03 11:56:49 +0100273 uint64_t dex_file_; // const DexFile*
274 uint64_t resolved_fields_; // ArtField*, array with num_resolved_fields_ elements.
275 uint64_t resolved_methods_; // ArtMethod*, array with num_resolved_methods_ elements.
276 uint64_t resolved_types_; // GcRoot<Class>*, array with num_resolved_types_ elements.
Christina Wadsworthbf44e0e2016-08-18 10:37:42 -0700277 uint64_t strings_; // std::atomic<StringDexCachePair>*,
278 // array with num_strings_ elements.
Vladimir Marko05792b92015-08-03 11:56:49 +0100279 uint32_t num_resolved_fields_; // Number of elements in the resolved_fields_ array.
280 uint32_t num_resolved_methods_; // Number of elements in the resolved_methods_ array.
281 uint32_t num_resolved_types_; // Number of elements in the resolved_types_ array.
282 uint32_t num_strings_; // Number of elements in the strings_ array.
Brian Carlstrom83db7722011-08-26 17:32:56 -0700283
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700284 friend struct art::DexCacheOffsets; // for verifying offset information
Vladimir Marko05792b92015-08-03 11:56:49 +0100285 friend class Object; // For VisitReferences
Brian Carlstromc4fa2c02011-08-21 03:00:12 -0700286 DISALLOW_IMPLICIT_CONSTRUCTORS(DexCache);
Brian Carlstrom7e49dca2011-07-22 18:07:34 -0700287};
288
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800289} // namespace mirror
Brian Carlstrom7e49dca2011-07-22 18:07:34 -0700290} // namespace art
291
Brian Carlstromfc0e3212013-07-17 14:40:12 -0700292#endif // ART_RUNTIME_MIRROR_DEX_CACHE_H_