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 */ 16 17 #ifndef ART_RUNTIME_ART_FIELD_INL_H_ 18 #define ART_RUNTIME_ART_FIELD_INL_H_ 19 20 #include "art_field.h" 21 22 #include "base/logging.h" 23 #include "class_linker.h" 24 #include "dex_file-inl.h" 25 #include "gc_root-inl.h" 26 #include "gc/accounting/card_table-inl.h" 27 #include "jvalue.h" 28 #include "mirror/dex_cache-inl.h" 29 #include "mirror/object-inl.h" 30 #include "primitive.h" 31 #include "thread-inl.h" 32 #include "scoped_thread_state_change-inl.h" 33 #include "well_known_classes.h" 34 35 namespace art { 36 37 template<ReadBarrierOption kReadBarrierOption> 38 inline ObjPtr<mirror::Class> ArtField::GetDeclaringClass() { 39 GcRootSource gc_root_source(this); 40 ObjPtr<mirror::Class> result = declaring_class_.Read<kReadBarrierOption>(&gc_root_source); 41 DCHECK(result != nullptr); 42 DCHECK(result->IsLoaded() || result->IsErroneous()) << result->GetStatus(); 43 return result; 44 } 45 46 inline void ArtField::SetDeclaringClass(ObjPtr<mirror::Class> new_declaring_class) { 47 declaring_class_ = GcRoot<mirror::Class>(new_declaring_class); 48 } 49 50 inline MemberOffset ArtField::GetOffsetDuringLinking() { 51 DCHECK(GetDeclaringClass()->IsLoaded() || GetDeclaringClass()->IsErroneous()); 52 return MemberOffset(offset_); 53 } 54 55 inline uint32_t ArtField::Get32(ObjPtr<mirror::Object> object) { 56 DCHECK(object != nullptr) << PrettyField(); 57 DCHECK(!IsStatic() || (object == GetDeclaringClass()) || !Runtime::Current()->IsStarted()); 58 if (UNLIKELY(IsVolatile())) { 59 return object->GetField32Volatile(GetOffset()); 60 } 61 return object->GetField32(GetOffset()); 62 } 63 64 template<bool kTransactionActive> 65 inline void ArtField::Set32(ObjPtr<mirror::Object> object, uint32_t new_value) { 66 DCHECK(object != nullptr) << PrettyField(); 67 DCHECK(!IsStatic() || (object == GetDeclaringClass()) || !Runtime::Current()->IsStarted()); 68 if (UNLIKELY(IsVolatile())) { 69 object->SetField32Volatile<kTransactionActive>(GetOffset(), new_value); 70 } else { 71 object->SetField32<kTransactionActive>(GetOffset(), new_value); 72 } 73 } 74 75 inline uint64_t ArtField::Get64(ObjPtr<mirror::Object> object) { 76 DCHECK(object != nullptr) << PrettyField(); 77 DCHECK(!IsStatic() || (object == GetDeclaringClass()) || !Runtime::Current()->IsStarted()); 78 if (UNLIKELY(IsVolatile())) { 79 return object->GetField64Volatile(GetOffset()); 80 } 81 return object->GetField64(GetOffset()); 82 } 83 84 template<bool kTransactionActive> 85 inline void ArtField::Set64(ObjPtr<mirror::Object> object, uint64_t new_value) { 86 DCHECK(object != nullptr) << PrettyField(); 87 DCHECK(!IsStatic() || (object == GetDeclaringClass()) || !Runtime::Current()->IsStarted()); 88 if (UNLIKELY(IsVolatile())) { 89 object->SetField64Volatile<kTransactionActive>(GetOffset(), new_value); 90 } else { 91 object->SetField64<kTransactionActive>(GetOffset(), new_value); 92 } 93 } 94 95 template<class MirrorType> 96 inline ObjPtr<MirrorType> ArtField::GetObj(ObjPtr<mirror::Object> object) { 97 DCHECK(object != nullptr) << PrettyField(); 98 DCHECK(!IsStatic() || (object == GetDeclaringClass()) || !Runtime::Current()->IsStarted()); 99 if (UNLIKELY(IsVolatile())) { 100 return object->GetFieldObjectVolatile<MirrorType>(GetOffset()); 101 } 102 return object->GetFieldObject<MirrorType>(GetOffset()); 103 } 104 105 template<bool kTransactionActive> 106 inline void ArtField::SetObj(ObjPtr<mirror::Object> object, ObjPtr<mirror::Object> new_value) { 107 DCHECK(object != nullptr) << PrettyField(); 108 DCHECK(!IsStatic() || (object == GetDeclaringClass()) || !Runtime::Current()->IsStarted()); 109 if (UNLIKELY(IsVolatile())) { 110 object->SetFieldObjectVolatile<kTransactionActive>(GetOffset(), new_value); 111 } else { 112 object->SetFieldObject<kTransactionActive>(GetOffset(), new_value); 113 } 114 } 115 116 #define FIELD_GET(object, type) \ 117 DCHECK_EQ(Primitive::kPrim ## type, GetTypeAsPrimitiveType()) << PrettyField(); \ 118 DCHECK((object) != nullptr) << PrettyField(); \ 119 DCHECK(!IsStatic() || ((object) == GetDeclaringClass()) || !Runtime::Current()->IsStarted()); \ 120 if (UNLIKELY(IsVolatile())) { \ 121 return (object)->GetField ## type ## Volatile(GetOffset()); \ 122 } \ 123 return (object)->GetField ## type(GetOffset()); 124 125 #define FIELD_SET(object, type, value) \ 126 DCHECK((object) != nullptr) << PrettyField(); \ 127 DCHECK(!IsStatic() || ((object) == GetDeclaringClass()) || !Runtime::Current()->IsStarted()); \ 128 if (UNLIKELY(IsVolatile())) { \ 129 (object)->SetField ## type ## Volatile<kTransactionActive>(GetOffset(), value); \ 130 } else { \ 131 (object)->SetField ## type<kTransactionActive>(GetOffset(), value); \ 132 } 133 134 inline uint8_t ArtField::GetBoolean(ObjPtr<mirror::Object> object) { 135 FIELD_GET(object, Boolean); 136 } 137 138 template<bool kTransactionActive> 139 inline void ArtField::SetBoolean(ObjPtr<mirror::Object> object, uint8_t z) { 140 if (kIsDebugBuild) { 141 // For simplicity, this method is being called by the compiler entrypoint for 142 // both boolean and byte fields. 143 Primitive::Type type = GetTypeAsPrimitiveType(); 144 DCHECK(type == Primitive::kPrimBoolean || type == Primitive::kPrimByte) << PrettyField(); 145 } 146 FIELD_SET(object, Boolean, z); 147 } 148 149 inline int8_t ArtField::GetByte(ObjPtr<mirror::Object> object) { 150 FIELD_GET(object, Byte); 151 } 152 153 template<bool kTransactionActive> 154 inline void ArtField::SetByte(ObjPtr<mirror::Object> object, int8_t b) { 155 DCHECK_EQ(Primitive::kPrimByte, GetTypeAsPrimitiveType()) << PrettyField(); 156 FIELD_SET(object, Byte, b); 157 } 158 159 inline uint16_t ArtField::GetChar(ObjPtr<mirror::Object> object) { 160 FIELD_GET(object, Char); 161 } 162 163 template<bool kTransactionActive> 164 inline void ArtField::SetChar(ObjPtr<mirror::Object> object, uint16_t c) { 165 if (kIsDebugBuild) { 166 // For simplicity, this method is being called by the compiler entrypoint for 167 // both char and short fields. 168 Primitive::Type type = GetTypeAsPrimitiveType(); 169 DCHECK(type == Primitive::kPrimChar || type == Primitive::kPrimShort) << PrettyField(); 170 } 171 FIELD_SET(object, Char, c); 172 } 173 174 inline int16_t ArtField::GetShort(ObjPtr<mirror::Object> object) { 175 FIELD_GET(object, Short); 176 } 177 178 template<bool kTransactionActive> 179 inline void ArtField::SetShort(ObjPtr<mirror::Object> object, int16_t s) { 180 DCHECK_EQ(Primitive::kPrimShort, GetTypeAsPrimitiveType()) << PrettyField(); 181 FIELD_SET(object, Short, s); 182 } 183 184 #undef FIELD_GET 185 #undef FIELD_SET 186 187 inline int32_t ArtField::GetInt(ObjPtr<mirror::Object> object) { 188 if (kIsDebugBuild) { 189 // For simplicity, this method is being called by the compiler entrypoint for 190 // both int and float fields. 191 Primitive::Type type = GetTypeAsPrimitiveType(); 192 CHECK(type == Primitive::kPrimInt || type == Primitive::kPrimFloat) << PrettyField(); 193 } 194 return Get32(object); 195 } 196 197 template<bool kTransactionActive> 198 inline void ArtField::SetInt(ObjPtr<mirror::Object> object, int32_t i) { 199 if (kIsDebugBuild) { 200 // For simplicity, this method is being called by the compiler entrypoint for 201 // both int and float fields. 202 Primitive::Type type = GetTypeAsPrimitiveType(); 203 CHECK(type == Primitive::kPrimInt || type == Primitive::kPrimFloat) << PrettyField(); 204 } 205 Set32<kTransactionActive>(object, i); 206 } 207 208 inline int64_t ArtField::GetLong(ObjPtr<mirror::Object> object) { 209 if (kIsDebugBuild) { 210 // For simplicity, this method is being called by the compiler entrypoint for 211 // both long and double fields. 212 Primitive::Type type = GetTypeAsPrimitiveType(); 213 CHECK(type == Primitive::kPrimLong || type == Primitive::kPrimDouble) << PrettyField(); 214 } 215 return Get64(object); 216 } 217 218 template<bool kTransactionActive> 219 inline void ArtField::SetLong(ObjPtr<mirror::Object> object, int64_t j) { 220 if (kIsDebugBuild) { 221 // For simplicity, this method is being called by the compiler entrypoint for 222 // both long and double fields. 223 Primitive::Type type = GetTypeAsPrimitiveType(); 224 CHECK(type == Primitive::kPrimLong || type == Primitive::kPrimDouble) << PrettyField(); 225 } 226 Set64<kTransactionActive>(object, j); 227 } 228 229 inline float ArtField::GetFloat(ObjPtr<mirror::Object> object) { 230 DCHECK_EQ(Primitive::kPrimFloat, GetTypeAsPrimitiveType()) << PrettyField(); 231 JValue bits; 232 bits.SetI(Get32(object)); 233 return bits.GetF(); 234 } 235 236 template<bool kTransactionActive> 237 inline void ArtField::SetFloat(ObjPtr<mirror::Object> object, float f) { 238 DCHECK_EQ(Primitive::kPrimFloat, GetTypeAsPrimitiveType()) << PrettyField(); 239 JValue bits; 240 bits.SetF(f); 241 Set32<kTransactionActive>(object, bits.GetI()); 242 } 243 244 inline double ArtField::GetDouble(ObjPtr<mirror::Object> object) { 245 DCHECK_EQ(Primitive::kPrimDouble, GetTypeAsPrimitiveType()) << PrettyField(); 246 JValue bits; 247 bits.SetJ(Get64(object)); 248 return bits.GetD(); 249 } 250 251 template<bool kTransactionActive> 252 inline void ArtField::SetDouble(ObjPtr<mirror::Object> object, double d) { 253 DCHECK_EQ(Primitive::kPrimDouble, GetTypeAsPrimitiveType()) << PrettyField(); 254 JValue bits; 255 bits.SetD(d); 256 Set64<kTransactionActive>(object, bits.GetJ()); 257 } 258 259 inline ObjPtr<mirror::Object> ArtField::GetObject(ObjPtr<mirror::Object> object) { 260 DCHECK_EQ(Primitive::kPrimNot, GetTypeAsPrimitiveType()) << PrettyField(); 261 return GetObj(object); 262 } 263 264 template<bool kTransactionActive> 265 inline void ArtField::SetObject(ObjPtr<mirror::Object> object, ObjPtr<mirror::Object> l) { 266 DCHECK_EQ(Primitive::kPrimNot, GetTypeAsPrimitiveType()) << PrettyField(); 267 SetObj<kTransactionActive>(object, l); 268 } 269 270 inline const char* ArtField::GetName() REQUIRES_SHARED(Locks::mutator_lock_) { 271 uint32_t field_index = GetDexFieldIndex(); 272 if (UNLIKELY(GetDeclaringClass()->IsProxyClass())) { 273 DCHECK(IsStatic()); 274 DCHECK_LT(field_index, 2U); 275 return field_index == 0 ? "interfaces" : "throws"; 276 } 277 const DexFile* dex_file = GetDexFile(); 278 return dex_file->GetFieldName(dex_file->GetFieldId(field_index)); 279 } 280 281 inline const char* ArtField::GetTypeDescriptor() REQUIRES_SHARED(Locks::mutator_lock_) { 282 uint32_t field_index = GetDexFieldIndex(); 283 if (UNLIKELY(GetDeclaringClass()->IsProxyClass())) { 284 DCHECK(IsStatic()); 285 DCHECK_LT(field_index, 2U); 286 // 0 == Class[] interfaces; 1 == Class[][] throws; 287 return field_index == 0 ? "[Ljava/lang/Class;" : "[[Ljava/lang/Class;"; 288 } 289 const DexFile* dex_file = GetDexFile(); 290 const DexFile::FieldId& field_id = dex_file->GetFieldId(field_index); 291 return dex_file->GetFieldTypeDescriptor(field_id); 292 } 293 294 inline Primitive::Type ArtField::GetTypeAsPrimitiveType() 295 REQUIRES_SHARED(Locks::mutator_lock_) { 296 return Primitive::GetType(GetTypeDescriptor()[0]); 297 } 298 299 inline bool ArtField::IsPrimitiveType() REQUIRES_SHARED(Locks::mutator_lock_) { 300 return GetTypeAsPrimitiveType() != Primitive::kPrimNot; 301 } 302 303 template <bool kResolve> 304 inline ObjPtr<mirror::Class> ArtField::GetType() { 305 // TODO: Refactor this function into two functions, ResolveType() and LookupType() 306 // so that we can properly annotate it with no-suspension possible / suspension possible. 307 const uint32_t field_index = GetDexFieldIndex(); 308 ObjPtr<mirror::Class> declaring_class = GetDeclaringClass(); 309 if (UNLIKELY(declaring_class->IsProxyClass())) { 310 return ProxyFindSystemClass(GetTypeDescriptor()); 311 } 312 auto* dex_cache = declaring_class->GetDexCache(); 313 const DexFile* const dex_file = dex_cache->GetDexFile(); 314 const DexFile::FieldId& field_id = dex_file->GetFieldId(field_index); 315 ObjPtr<mirror::Class> type = dex_cache->GetResolvedType(field_id.type_idx_); 316 if (UNLIKELY(type == nullptr)) { 317 ClassLinker* class_linker = Runtime::Current()->GetClassLinker(); 318 if (kResolve) { 319 type = class_linker->ResolveType(*dex_file, field_id.type_idx_, declaring_class); 320 CHECK(type != nullptr || Thread::Current()->IsExceptionPending()); 321 } else { 322 type = class_linker->LookupResolvedType( 323 *dex_file, field_id.type_idx_, dex_cache, declaring_class->GetClassLoader()); 324 DCHECK(!Thread::Current()->IsExceptionPending()); 325 } 326 } 327 return type; 328 } 329 330 inline size_t ArtField::FieldSize() REQUIRES_SHARED(Locks::mutator_lock_) { 331 return Primitive::ComponentSize(GetTypeAsPrimitiveType()); 332 } 333 334 inline ObjPtr<mirror::DexCache> ArtField::GetDexCache() REQUIRES_SHARED(Locks::mutator_lock_) { 335 return GetDeclaringClass()->GetDexCache(); 336 } 337 338 inline const DexFile* ArtField::GetDexFile() REQUIRES_SHARED(Locks::mutator_lock_) { 339 return GetDexCache()->GetDexFile(); 340 } 341 342 inline ObjPtr<mirror::String> ArtField::GetStringName(Thread* self, bool resolve) { 343 auto dex_field_index = GetDexFieldIndex(); 344 CHECK_NE(dex_field_index, DexFile::kDexNoIndex); 345 ObjPtr<mirror::DexCache> dex_cache = GetDexCache(); 346 const auto* dex_file = dex_cache->GetDexFile(); 347 const auto& field_id = dex_file->GetFieldId(dex_field_index); 348 ObjPtr<mirror::String> name = dex_cache->GetResolvedString(field_id.name_idx_); 349 if (resolve && name == nullptr) { 350 name = ResolveGetStringName(self, *dex_file, field_id.name_idx_, dex_cache); 351 } 352 return name; 353 } 354 355 template<typename RootVisitorType> 356 inline void ArtField::VisitRoots(RootVisitorType& visitor) { 357 visitor.VisitRoot(declaring_class_.AddressWithoutBarrier()); 358 } 359 360 template <typename Visitor> 361 inline void ArtField::UpdateObjects(const Visitor& visitor) { 362 ObjPtr<mirror::Class> old_class = DeclaringClassRoot().Read<kWithoutReadBarrier>(); 363 ObjPtr<mirror::Class> new_class = visitor(old_class.Ptr()); 364 if (old_class != new_class) { 365 SetDeclaringClass(new_class); 366 } 367 } 368 369 // If kExactOffset is true then we only find the matching offset, not the field containing the 370 // offset. 371 template <bool kExactOffset> 372 static inline ArtField* FindFieldWithOffset( 373 const IterationRange<StrideIterator<ArtField>>& fields, 374 uint32_t field_offset) REQUIRES_SHARED(Locks::mutator_lock_) { 375 for (ArtField& field : fields) { 376 if (kExactOffset) { 377 if (field.GetOffset().Uint32Value() == field_offset) { 378 return &field; 379 } 380 } else { 381 const uint32_t offset = field.GetOffset().Uint32Value(); 382 Primitive::Type type = field.GetTypeAsPrimitiveType(); 383 const size_t field_size = Primitive::ComponentSize(type); 384 DCHECK_GT(field_size, 0u); 385 if (offset <= field_offset && field_offset < offset + field_size) { 386 return &field; 387 } 388 } 389 } 390 return nullptr; 391 } 392 393 template <bool kExactOffset> 394 inline ArtField* ArtField::FindInstanceFieldWithOffset(ObjPtr<mirror::Class> klass, 395 uint32_t field_offset) { 396 DCHECK(klass != nullptr); 397 ArtField* field = FindFieldWithOffset<kExactOffset>(klass->GetIFields(), field_offset); 398 if (field != nullptr) { 399 return field; 400 } 401 // We did not find field in the class: look into superclass. 402 return (klass->GetSuperClass() != nullptr) ? 403 FindInstanceFieldWithOffset<kExactOffset>(klass->GetSuperClass(), field_offset) : nullptr; 404 } 405 406 template <bool kExactOffset> 407 inline ArtField* ArtField::FindStaticFieldWithOffset(ObjPtr<mirror::Class> klass, 408 uint32_t field_offset) { 409 DCHECK(klass != nullptr); 410 return FindFieldWithOffset<kExactOffset>(klass->GetSFields(), field_offset); 411 } 412 413 } // namespace art 414 415 #endif // ART_RUNTIME_ART_FIELD_INL_H_ 416