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 | |
Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 17 | #include "dex_cache-inl.h" |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 18 | |
Brian Carlstrom | ea46f95 | 2013-07-30 01:26:50 -0700 | [diff] [blame] | 19 | #include "art_method-inl.h" |
David Sehr | 1979c64 | 2018-04-26 14:41:18 -0700 | [diff] [blame] | 20 | #include "base/globals.h" |
Brian Carlstrom | 9ea1cb1 | 2011-08-24 23:18:18 -0700 | [diff] [blame] | 21 | #include "class_linker.h" |
Ian Rogers | 1d54e73 | 2013-05-02 21:10:01 -0700 | [diff] [blame] | 22 | #include "gc/accounting/card_table-inl.h" |
| 23 | #include "gc/heap.h" |
Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 24 | #include "linear_alloc.h" |
Andreas Gampe | 2ff3b97 | 2017-06-05 18:14:53 -0700 | [diff] [blame] | 25 | #include "oat_file.h" |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 26 | #include "object-inl.h" |
Andreas Gampe | 8cf9cb3 | 2017-07-19 09:28:38 -0700 | [diff] [blame] | 27 | #include "object.h" |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 28 | #include "object_array-inl.h" |
| 29 | #include "runtime.h" |
| 30 | #include "string.h" |
Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 31 | #include "thread.h" |
| 32 | #include "utils/dex_cache_arrays_layout-inl.h" |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 33 | |
| 34 | namespace art { |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 35 | namespace mirror { |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 36 | |
Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 37 | void DexCache::InitializeDexCache(Thread* self, |
| 38 | ObjPtr<mirror::DexCache> dex_cache, |
| 39 | ObjPtr<mirror::String> location, |
| 40 | const DexFile* dex_file, |
| 41 | LinearAlloc* linear_alloc, |
| 42 | PointerSize image_pointer_size) { |
| 43 | DCHECK(dex_file != nullptr); |
| 44 | ScopedAssertNoThreadSuspension sants(__FUNCTION__); |
| 45 | DexCacheArraysLayout layout(image_pointer_size, dex_file); |
| 46 | uint8_t* raw_arrays = nullptr; |
| 47 | |
Vladimir Marko | 0f3c700 | 2017-09-07 14:15:56 +0100 | [diff] [blame] | 48 | if (dex_file->NumStringIds() != 0u || |
| 49 | dex_file->NumTypeIds() != 0u || |
| 50 | dex_file->NumMethodIds() != 0u || |
| 51 | dex_file->NumFieldIds() != 0u) { |
Vladimir Marko | f44d36c | 2017-03-14 14:18:46 +0000 | [diff] [blame] | 52 | static_assert(ArenaAllocator::kAlignment == 8, "Expecting arena alignment of 8."); |
| 53 | DCHECK(layout.Alignment() == 8u || layout.Alignment() == 16u); |
Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 54 | // Zero-initialized. |
Vladimir Marko | f44d36c | 2017-03-14 14:18:46 +0000 | [diff] [blame] | 55 | raw_arrays = (layout.Alignment() == 16u) |
| 56 | ? reinterpret_cast<uint8_t*>(linear_alloc->AllocAlign16(self, layout.Size())) |
| 57 | : reinterpret_cast<uint8_t*>(linear_alloc->Alloc(self, layout.Size())); |
Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 58 | } |
| 59 | |
Vladimir Marko | 07bfbac | 2017-07-06 14:55:02 +0100 | [diff] [blame] | 60 | StringDexCacheType* strings = (dex_file->NumStringIds() == 0u) ? nullptr : |
| 61 | reinterpret_cast<StringDexCacheType*>(raw_arrays + layout.StringsOffset()); |
| 62 | TypeDexCacheType* types = (dex_file->NumTypeIds() == 0u) ? nullptr : |
| 63 | reinterpret_cast<TypeDexCacheType*>(raw_arrays + layout.TypesOffset()); |
| 64 | MethodDexCacheType* methods = (dex_file->NumMethodIds() == 0u) ? nullptr : |
| 65 | reinterpret_cast<MethodDexCacheType*>(raw_arrays + layout.MethodsOffset()); |
| 66 | FieldDexCacheType* fields = (dex_file->NumFieldIds() == 0u) ? nullptr : |
| 67 | reinterpret_cast<FieldDexCacheType*>(raw_arrays + layout.FieldsOffset()); |
Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 68 | |
Vladimir Marko | f44d36c | 2017-03-14 14:18:46 +0000 | [diff] [blame] | 69 | size_t num_strings = kDexCacheStringCacheSize; |
Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 70 | if (dex_file->NumStringIds() < num_strings) { |
| 71 | num_strings = dex_file->NumStringIds(); |
| 72 | } |
Vladimir Marko | f44d36c | 2017-03-14 14:18:46 +0000 | [diff] [blame] | 73 | size_t num_types = kDexCacheTypeCacheSize; |
Vladimir Marko | 8d6768d | 2017-03-14 10:13:21 +0000 | [diff] [blame] | 74 | if (dex_file->NumTypeIds() < num_types) { |
| 75 | num_types = dex_file->NumTypeIds(); |
| 76 | } |
Vladimir Marko | f44d36c | 2017-03-14 14:18:46 +0000 | [diff] [blame] | 77 | size_t num_fields = kDexCacheFieldCacheSize; |
| 78 | if (dex_file->NumFieldIds() < num_fields) { |
| 79 | num_fields = dex_file->NumFieldIds(); |
| 80 | } |
Vladimir Marko | 07bfbac | 2017-07-06 14:55:02 +0100 | [diff] [blame] | 81 | size_t num_methods = kDexCacheMethodCacheSize; |
| 82 | if (dex_file->NumMethodIds() < num_methods) { |
| 83 | num_methods = dex_file->NumMethodIds(); |
| 84 | } |
Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 85 | |
| 86 | // Note that we allocate the method type dex caches regardless of this flag, |
| 87 | // and we make sure here that they're not used by the runtime. This is in the |
| 88 | // interest of simplicity and to avoid extensive compiler and layout class changes. |
| 89 | // |
| 90 | // If this needs to be mitigated in a production system running this code, |
| 91 | // DexCache::kDexCacheMethodTypeCacheSize can be set to zero. |
Vladimir Marko | f44d36c | 2017-03-14 14:18:46 +0000 | [diff] [blame] | 92 | MethodTypeDexCacheType* method_types = nullptr; |
Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 93 | size_t num_method_types = 0; |
| 94 | |
Vladimir Marko | f44d36c | 2017-03-14 14:18:46 +0000 | [diff] [blame] | 95 | if (dex_file->NumProtoIds() < kDexCacheMethodTypeCacheSize) { |
Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 96 | num_method_types = dex_file->NumProtoIds(); |
| 97 | } else { |
Vladimir Marko | f44d36c | 2017-03-14 14:18:46 +0000 | [diff] [blame] | 98 | num_method_types = kDexCacheMethodTypeCacheSize; |
Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 99 | } |
| 100 | |
| 101 | if (num_method_types > 0) { |
Vladimir Marko | f44d36c | 2017-03-14 14:18:46 +0000 | [diff] [blame] | 102 | method_types = reinterpret_cast<MethodTypeDexCacheType*>( |
Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 103 | raw_arrays + layout.MethodTypesOffset()); |
| 104 | } |
| 105 | |
Orion Hodson | c069a30 | 2017-01-18 09:23:12 +0000 | [diff] [blame] | 106 | GcRoot<mirror::CallSite>* call_sites = (dex_file->NumCallSiteIds() == 0) |
| 107 | ? nullptr |
Vladimir Marko | 07bfbac | 2017-07-06 14:55:02 +0100 | [diff] [blame] | 108 | : reinterpret_cast<GcRoot<CallSite>*>(raw_arrays + layout.CallSitesOffset()); |
Orion Hodson | c069a30 | 2017-01-18 09:23:12 +0000 | [diff] [blame] | 109 | |
Vladimir Marko | f44d36c | 2017-03-14 14:18:46 +0000 | [diff] [blame] | 110 | DCHECK_ALIGNED(raw_arrays, alignof(StringDexCacheType)) << |
Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 111 | "Expected raw_arrays to align to StringDexCacheType."; |
Vladimir Marko | f44d36c | 2017-03-14 14:18:46 +0000 | [diff] [blame] | 112 | DCHECK_ALIGNED(layout.StringsOffset(), alignof(StringDexCacheType)) << |
Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 113 | "Expected StringsOffset() to align to StringDexCacheType."; |
Vladimir Marko | f44d36c | 2017-03-14 14:18:46 +0000 | [diff] [blame] | 114 | DCHECK_ALIGNED(strings, alignof(StringDexCacheType)) << |
Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 115 | "Expected strings to align to StringDexCacheType."; |
Vladimir Marko | f44d36c | 2017-03-14 14:18:46 +0000 | [diff] [blame] | 116 | static_assert(alignof(StringDexCacheType) == 8u, |
Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 117 | "Expected StringDexCacheType to have align of 8."); |
| 118 | if (kIsDebugBuild) { |
| 119 | // Sanity check to make sure all the dex cache arrays are empty. b/28992179 |
| 120 | for (size_t i = 0; i < num_strings; ++i) { |
| 121 | CHECK_EQ(strings[i].load(std::memory_order_relaxed).index, 0u); |
| 122 | CHECK(strings[i].load(std::memory_order_relaxed).object.IsNull()); |
| 123 | } |
Vladimir Marko | 8d6768d | 2017-03-14 10:13:21 +0000 | [diff] [blame] | 124 | for (size_t i = 0; i < num_types; ++i) { |
| 125 | CHECK_EQ(types[i].load(std::memory_order_relaxed).index, 0u); |
| 126 | CHECK(types[i].load(std::memory_order_relaxed).object.IsNull()); |
Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 127 | } |
Vladimir Marko | 07bfbac | 2017-07-06 14:55:02 +0100 | [diff] [blame] | 128 | for (size_t i = 0; i < num_methods; ++i) { |
| 129 | CHECK_EQ(GetNativePairPtrSize(methods, i, image_pointer_size).index, 0u); |
| 130 | CHECK(GetNativePairPtrSize(methods, i, image_pointer_size).object == nullptr); |
Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 131 | } |
Vladimir Marko | f44d36c | 2017-03-14 14:18:46 +0000 | [diff] [blame] | 132 | for (size_t i = 0; i < num_fields; ++i) { |
| 133 | CHECK_EQ(GetNativePairPtrSize(fields, i, image_pointer_size).index, 0u); |
| 134 | CHECK(GetNativePairPtrSize(fields, i, image_pointer_size).object == nullptr); |
Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 135 | } |
| 136 | for (size_t i = 0; i < num_method_types; ++i) { |
| 137 | CHECK_EQ(method_types[i].load(std::memory_order_relaxed).index, 0u); |
| 138 | CHECK(method_types[i].load(std::memory_order_relaxed).object.IsNull()); |
| 139 | } |
Orion Hodson | c069a30 | 2017-01-18 09:23:12 +0000 | [diff] [blame] | 140 | for (size_t i = 0; i < dex_file->NumCallSiteIds(); ++i) { |
| 141 | CHECK(call_sites[i].IsNull()); |
| 142 | } |
Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 143 | } |
| 144 | if (strings != nullptr) { |
| 145 | mirror::StringDexCachePair::Initialize(strings); |
| 146 | } |
Vladimir Marko | 8d6768d | 2017-03-14 10:13:21 +0000 | [diff] [blame] | 147 | if (types != nullptr) { |
| 148 | mirror::TypeDexCachePair::Initialize(types); |
| 149 | } |
Vladimir Marko | f44d36c | 2017-03-14 14:18:46 +0000 | [diff] [blame] | 150 | if (fields != nullptr) { |
| 151 | mirror::FieldDexCachePair::Initialize(fields, image_pointer_size); |
| 152 | } |
Vladimir Marko | 07bfbac | 2017-07-06 14:55:02 +0100 | [diff] [blame] | 153 | if (methods != nullptr) { |
| 154 | mirror::MethodDexCachePair::Initialize(methods, image_pointer_size); |
| 155 | } |
Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 156 | if (method_types != nullptr) { |
| 157 | mirror::MethodTypeDexCachePair::Initialize(method_types); |
| 158 | } |
| 159 | dex_cache->Init(dex_file, |
| 160 | location, |
| 161 | strings, |
| 162 | num_strings, |
| 163 | types, |
Vladimir Marko | 8d6768d | 2017-03-14 10:13:21 +0000 | [diff] [blame] | 164 | num_types, |
Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 165 | methods, |
Vladimir Marko | 07bfbac | 2017-07-06 14:55:02 +0100 | [diff] [blame] | 166 | num_methods, |
Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 167 | fields, |
Vladimir Marko | f44d36c | 2017-03-14 14:18:46 +0000 | [diff] [blame] | 168 | num_fields, |
Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 169 | method_types, |
| 170 | num_method_types, |
Orion Hodson | c069a30 | 2017-01-18 09:23:12 +0000 | [diff] [blame] | 171 | call_sites, |
Vladimir Marko | 07bfbac | 2017-07-06 14:55:02 +0100 | [diff] [blame] | 172 | dex_file->NumCallSiteIds()); |
Andreas Gampe | cc1b535 | 2016-12-01 16:58:38 -0800 | [diff] [blame] | 173 | } |
| 174 | |
Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 175 | void DexCache::Init(const DexFile* dex_file, |
Mathieu Chartier | 28357fa | 2016-10-18 16:27:40 -0700 | [diff] [blame] | 176 | ObjPtr<String> location, |
Christina Wadsworth | bf44e0e | 2016-08-18 10:37:42 -0700 | [diff] [blame] | 177 | StringDexCacheType* strings, |
Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 178 | uint32_t num_strings, |
Vladimir Marko | 8d6768d | 2017-03-14 10:13:21 +0000 | [diff] [blame] | 179 | TypeDexCacheType* resolved_types, |
Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 180 | uint32_t num_resolved_types, |
Vladimir Marko | 07bfbac | 2017-07-06 14:55:02 +0100 | [diff] [blame] | 181 | MethodDexCacheType* resolved_methods, |
Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 182 | uint32_t num_resolved_methods, |
Vladimir Marko | f44d36c | 2017-03-14 14:18:46 +0000 | [diff] [blame] | 183 | FieldDexCacheType* resolved_fields, |
Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 184 | uint32_t num_resolved_fields, |
Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 185 | MethodTypeDexCacheType* resolved_method_types, |
| 186 | uint32_t num_resolved_method_types, |
Orion Hodson | c069a30 | 2017-01-18 09:23:12 +0000 | [diff] [blame] | 187 | GcRoot<CallSite>* resolved_call_sites, |
Vladimir Marko | 07bfbac | 2017-07-06 14:55:02 +0100 | [diff] [blame] | 188 | uint32_t num_resolved_call_sites) { |
Ian Rogers | 5ddb410 | 2014-01-07 08:58:46 -0800 | [diff] [blame] | 189 | CHECK(dex_file != nullptr); |
| 190 | CHECK(location != nullptr); |
Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 191 | CHECK_EQ(num_strings != 0u, strings != nullptr); |
| 192 | CHECK_EQ(num_resolved_types != 0u, resolved_types != nullptr); |
| 193 | CHECK_EQ(num_resolved_methods != 0u, resolved_methods != nullptr); |
| 194 | CHECK_EQ(num_resolved_fields != 0u, resolved_fields != nullptr); |
Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 195 | CHECK_EQ(num_resolved_method_types != 0u, resolved_method_types != nullptr); |
Orion Hodson | c069a30 | 2017-01-18 09:23:12 +0000 | [diff] [blame] | 196 | CHECK_EQ(num_resolved_call_sites != 0u, resolved_call_sites != nullptr); |
Mathieu Chartier | 66f1925 | 2012-09-18 08:57:04 -0700 | [diff] [blame] | 197 | |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 198 | SetDexFile(dex_file); |
Mathieu Chartier | 7617216 | 2016-01-26 14:54:06 -0800 | [diff] [blame] | 199 | SetLocation(location); |
Mathieu Chartier | fbc3108 | 2016-01-24 11:59:56 -0800 | [diff] [blame] | 200 | SetStrings(strings); |
| 201 | SetResolvedTypes(resolved_types); |
| 202 | SetResolvedMethods(resolved_methods); |
| 203 | SetResolvedFields(resolved_fields); |
Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 204 | SetResolvedMethodTypes(resolved_method_types); |
Orion Hodson | c069a30 | 2017-01-18 09:23:12 +0000 | [diff] [blame] | 205 | SetResolvedCallSites(resolved_call_sites); |
Vladimir Marko | 05792b9 | 2015-08-03 11:56:49 +0100 | [diff] [blame] | 206 | SetField32<false>(NumStringsOffset(), num_strings); |
| 207 | SetField32<false>(NumResolvedTypesOffset(), num_resolved_types); |
| 208 | SetField32<false>(NumResolvedMethodsOffset(), num_resolved_methods); |
| 209 | SetField32<false>(NumResolvedFieldsOffset(), num_resolved_fields); |
Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 210 | SetField32<false>(NumResolvedMethodTypesOffset(), num_resolved_method_types); |
Orion Hodson | c069a30 | 2017-01-18 09:23:12 +0000 | [diff] [blame] | 211 | SetField32<false>(NumResolvedCallSitesOffset(), num_resolved_call_sites); |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 212 | } |
| 213 | |
Mathieu Chartier | 28357fa | 2016-10-18 16:27:40 -0700 | [diff] [blame] | 214 | void DexCache::SetLocation(ObjPtr<mirror::String> location) { |
Mathieu Chartier | 7617216 | 2016-01-26 14:54:06 -0800 | [diff] [blame] | 215 | SetFieldObject<false>(OFFSET_OF_OBJECT_MEMBER(DexCache, location_), location); |
| 216 | } |
| 217 | |
Alexey Frunze | 279cfba | 2017-07-22 00:24:43 -0700 | [diff] [blame] | 218 | #if !defined(__aarch64__) && !defined(__x86_64__) && !defined(__mips__) |
Vladimir Marko | f44d36c | 2017-03-14 14:18:46 +0000 | [diff] [blame] | 219 | static pthread_mutex_t dex_cache_slow_atomic_mutex = PTHREAD_MUTEX_INITIALIZER; |
| 220 | |
| 221 | DexCache::ConversionPair64 DexCache::AtomicLoadRelaxed16B(std::atomic<ConversionPair64>* target) { |
| 222 | pthread_mutex_lock(&dex_cache_slow_atomic_mutex); |
| 223 | DexCache::ConversionPair64 value = *reinterpret_cast<ConversionPair64*>(target); |
| 224 | pthread_mutex_unlock(&dex_cache_slow_atomic_mutex); |
| 225 | return value; |
| 226 | } |
| 227 | |
| 228 | void DexCache::AtomicStoreRelease16B(std::atomic<ConversionPair64>* target, |
| 229 | ConversionPair64 value) { |
| 230 | pthread_mutex_lock(&dex_cache_slow_atomic_mutex); |
| 231 | *reinterpret_cast<ConversionPair64*>(target) = value; |
| 232 | pthread_mutex_unlock(&dex_cache_slow_atomic_mutex); |
| 233 | } |
| 234 | #endif |
| 235 | |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 236 | } // namespace mirror |
Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 237 | } // namespace art |