| 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 | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 17 | #include "dex_cache.h" |
| Brian Carlstrom | a1ce1fe | 2014-02-24 23:23:58 -0800 | [diff] [blame] | 18 | |
| 19 | #include <stdio.h> |
| 20 | |
| Andreas Gampe | c6ea7d0 | 2017-02-01 16:46:28 -0800 | [diff] [blame] | 21 | #include "art_method-inl.h" |
| Brian Carlstrom | a1ce1fe | 2014-02-24 23:23:58 -0800 | [diff] [blame] | 22 | #include "class_linker.h" |
| 23 | #include "common_runtime_test.h" |
| Andreas Gampe | 8cf9cb3 | 2017-07-19 09:28:38 -0700 | [diff] [blame] | 24 | #include "handle_scope-inl.h" |
| Mathieu Chartier | d57d454 | 2015-10-14 10:55:30 -0700 | [diff] [blame] | 25 | #include "linear_alloc.h" |
| 26 | #include "mirror/class_loader-inl.h" |
| Christina Wadsworth | bf44e0e | 2016-08-18 10:37:42 -0700 | [diff] [blame] | 27 | #include "mirror/dex_cache-inl.h" |
| Mathieu Chartier | 0795f23 | 2016-09-27 18:43:30 -0700 | [diff] [blame] | 28 | #include "scoped_thread_state_change-inl.h" |
| Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 29 | |
| Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 30 | namespace art { |
| Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 31 | namespace mirror { |
| Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 32 | |
| Brian Carlstrom | a1ce1fe | 2014-02-24 23:23:58 -0800 | [diff] [blame] | 33 | class DexCacheTest : public CommonRuntimeTest {}; |
| Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 34 | |
| Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 35 | class DexCacheMethodHandlesTest : public DexCacheTest { |
| 36 | protected: |
| Roland Levillain | f73caca | 2018-08-24 17:19:07 +0100 | [diff] [blame] | 37 | void SetUpRuntimeOptions(RuntimeOptions* options) override { |
| Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 38 | CommonRuntimeTest::SetUpRuntimeOptions(options); |
| Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 39 | } |
| 40 | }; |
| 41 | |
| Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 42 | TEST_F(DexCacheTest, Open) { |
| Ian Rogers | 00f7d0e | 2012-07-19 15:28:27 -0700 | [diff] [blame] | 43 | ScopedObjectAccess soa(Thread::Current()); |
| Mathieu Chartier | eb8167a | 2014-05-07 15:43:14 -0700 | [diff] [blame] | 44 | StackHandleScope<1> hs(soa.Self()); |
| Mathieu Chartier | 2cebb24 | 2015-04-21 16:50:40 -0700 | [diff] [blame] | 45 | ASSERT_TRUE(java_lang_dex_file_ != nullptr); |
| Mathieu Chartier | eb8167a | 2014-05-07 15:43:14 -0700 | [diff] [blame] | 46 | Handle<DexCache> dex_cache( |
| Mathieu Chartier | 6c60d84 | 2016-09-15 10:24:43 -0700 | [diff] [blame] | 47 | hs.NewHandle(class_linker_->AllocAndInitializeDexCache( |
| David Srbecky | e153a62 | 2021-03-02 15:07:26 +0000 | [diff] [blame^] | 48 | soa.Self(), *java_lang_dex_file_, /*class_loader=*/nullptr))); |
| Andreas Gampe | fa4333d | 2017-02-14 11:10:34 -0800 | [diff] [blame] | 49 | ASSERT_TRUE(dex_cache != nullptr); |
| Brian Carlstrom | c4fa2c0 | 2011-08-21 03:00:12 -0700 | [diff] [blame] | 50 | |
| David Srbecky | e153a62 | 2021-03-02 15:07:26 +0000 | [diff] [blame^] | 51 | // The cache is initially empty. |
| 52 | EXPECT_EQ(0u, dex_cache->NumStrings()); |
| 53 | EXPECT_EQ(0u, dex_cache->NumResolvedTypes()); |
| 54 | EXPECT_EQ(0u, dex_cache->NumResolvedMethods()); |
| 55 | EXPECT_EQ(0u, dex_cache->NumResolvedFields()); |
| 56 | EXPECT_EQ(0u, dex_cache->NumResolvedMethodTypes()); |
| Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 57 | } |
| 58 | |
| 59 | TEST_F(DexCacheMethodHandlesTest, Open) { |
| 60 | ScopedObjectAccess soa(Thread::Current()); |
| 61 | StackHandleScope<1> hs(soa.Self()); |
| 62 | ASSERT_TRUE(java_lang_dex_file_ != nullptr); |
| 63 | Handle<DexCache> dex_cache( |
| Mathieu Chartier | 6c60d84 | 2016-09-15 10:24:43 -0700 | [diff] [blame] | 64 | hs.NewHandle(class_linker_->AllocAndInitializeDexCache( |
| David Srbecky | e153a62 | 2021-03-02 15:07:26 +0000 | [diff] [blame^] | 65 | soa.Self(), *java_lang_dex_file_, /*class_loader=*/nullptr))); |
| Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 66 | |
| David Srbecky | e153a62 | 2021-03-02 15:07:26 +0000 | [diff] [blame^] | 67 | EXPECT_EQ(0u, dex_cache->NumResolvedMethodTypes()); |
| Mathieu Chartier | d57d454 | 2015-10-14 10:55:30 -0700 | [diff] [blame] | 68 | } |
| 69 | |
| Mathieu Chartier | 279ac5c | 2016-09-08 17:34:25 -0700 | [diff] [blame] | 70 | TEST_F(DexCacheTest, TestResolvedFieldAccess) { |
| 71 | ScopedObjectAccess soa(Thread::Current()); |
| 72 | jobject jclass_loader(LoadDex("Packages")); |
| 73 | ASSERT_TRUE(jclass_loader != nullptr); |
| Mathieu Chartier | 279ac5c | 2016-09-08 17:34:25 -0700 | [diff] [blame] | 74 | StackHandleScope<3> hs(soa.Self()); |
| 75 | Handle<mirror::ClassLoader> class_loader(hs.NewHandle( |
| Mathieu Chartier | 0795f23 | 2016-09-27 18:43:30 -0700 | [diff] [blame] | 76 | soa.Decode<mirror::ClassLoader>(jclass_loader))); |
| Mathieu Chartier | 279ac5c | 2016-09-08 17:34:25 -0700 | [diff] [blame] | 77 | Handle<mirror::Class> klass1 = |
| Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 78 | hs.NewHandle(class_linker_->FindClass(soa.Self(), "Lpackage1/Package1;", class_loader)); |
| Andreas Gampe | fa4333d | 2017-02-14 11:10:34 -0800 | [diff] [blame] | 79 | ASSERT_TRUE(klass1 != nullptr); |
| Mathieu Chartier | 279ac5c | 2016-09-08 17:34:25 -0700 | [diff] [blame] | 80 | Handle<mirror::Class> klass2 = |
| Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 81 | hs.NewHandle(class_linker_->FindClass(soa.Self(), "Lpackage2/Package2;", class_loader)); |
| Andreas Gampe | fa4333d | 2017-02-14 11:10:34 -0800 | [diff] [blame] | 82 | ASSERT_TRUE(klass2 != nullptr); |
| Vladimir Marko | c524e9e | 2019-03-26 10:54:50 +0000 | [diff] [blame] | 83 | EXPECT_OBJ_PTR_EQ(klass1->GetDexCache(), klass2->GetDexCache()); |
| Mathieu Chartier | 279ac5c | 2016-09-08 17:34:25 -0700 | [diff] [blame] | 84 | |
| 85 | EXPECT_NE(klass1->NumStaticFields(), 0u); |
| 86 | for (ArtField& field : klass2->GetSFields()) { |
| Vladimir Marko | f79aa7f | 2017-07-04 16:58:55 +0100 | [diff] [blame] | 87 | EXPECT_FALSE( |
| Andreas Gampe | 98ea9d9 | 2018-10-19 14:06:15 -0700 | [diff] [blame] | 88 | klass1->ResolvedFieldAccessTest</*throw_on_failure=*/ false>( |
| Vladimir Marko | f79aa7f | 2017-07-04 16:58:55 +0100 | [diff] [blame] | 89 | klass2.Get(), |
| 90 | &field, |
| 91 | klass1->GetDexCache(), |
| 92 | field.GetDexFieldIndex())); |
| Mathieu Chartier | 279ac5c | 2016-09-08 17:34:25 -0700 | [diff] [blame] | 93 | } |
| 94 | } |
| 95 | |
| Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 96 | TEST_F(DexCacheMethodHandlesTest, TestResolvedMethodTypes) { |
| 97 | ScopedObjectAccess soa(Thread::Current()); |
| 98 | jobject jclass_loader(LoadDex("MethodTypes")); |
| 99 | ASSERT_TRUE(jclass_loader != nullptr); |
| 100 | |
| 101 | StackHandleScope<5> hs(soa.Self()); |
| 102 | Handle<mirror::ClassLoader> class_loader(hs.NewHandle( |
| 103 | soa.Decode<mirror::ClassLoader>(jclass_loader))); |
| 104 | |
| 105 | Handle<mirror::Class> method_types( |
| 106 | hs.NewHandle(class_linker_->FindClass(soa.Self(), "LMethodTypes;", class_loader))); |
| 107 | class_linker_->EnsureInitialized(soa.Self(), method_types, true, true); |
| 108 | |
| Vladimir Marko | ba11882 | 2017-06-12 15:41:56 +0100 | [diff] [blame] | 109 | ArtMethod* method1 = method_types->FindClassMethod( |
| Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 110 | "method1", |
| 111 | "(Ljava/lang/String;)Ljava/lang/String;", |
| 112 | kRuntimePointerSize); |
| Vladimir Marko | ba11882 | 2017-06-12 15:41:56 +0100 | [diff] [blame] | 113 | ASSERT_TRUE(method1 != nullptr); |
| 114 | ASSERT_FALSE(method1->IsDirect()); |
| 115 | ArtMethod* method2 = method_types->FindClassMethod( |
| Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 116 | "method2", |
| 117 | "(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;", |
| 118 | kRuntimePointerSize); |
| Vladimir Marko | ba11882 | 2017-06-12 15:41:56 +0100 | [diff] [blame] | 119 | ASSERT_TRUE(method2 != nullptr); |
| 120 | ASSERT_FALSE(method2->IsDirect()); |
| Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 121 | |
| 122 | const DexFile& dex_file = *(method1->GetDexFile()); |
| 123 | Handle<mirror::DexCache> dex_cache = hs.NewHandle( |
| 124 | class_linker_->FindDexCache(Thread::Current(), dex_file)); |
| 125 | |
| Andreas Gampe | 3f1dcd3 | 2018-12-28 09:39:56 -0800 | [diff] [blame] | 126 | const dex::MethodId& method1_id = dex_file.GetMethodId(method1->GetDexMethodIndex()); |
| 127 | const dex::MethodId& method2_id = dex_file.GetMethodId(method2->GetDexMethodIndex()); |
| Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 128 | Handle<mirror::MethodType> method1_type = hs.NewHandle( |
| Orion Hodson | e7732be | 2017-10-11 14:35:20 +0100 | [diff] [blame] | 129 | class_linker_->ResolveMethodType(soa.Self(), |
| Orion Hodson | e7732be | 2017-10-11 14:35:20 +0100 | [diff] [blame] | 130 | method1_id.proto_idx_, |
| 131 | dex_cache, |
| 132 | class_loader)); |
| Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 133 | Handle<mirror::MethodType> method2_type = hs.NewHandle( |
| Orion Hodson | e7732be | 2017-10-11 14:35:20 +0100 | [diff] [blame] | 134 | class_linker_->ResolveMethodType(soa.Self(), |
| Orion Hodson | e7732be | 2017-10-11 14:35:20 +0100 | [diff] [blame] | 135 | method2_id.proto_idx_, |
| 136 | dex_cache, |
| 137 | class_loader)); |
| Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 138 | EXPECT_EQ(method1_type.Get(), dex_cache->GetResolvedMethodType(method1_id.proto_idx_)); |
| 139 | EXPECT_EQ(method2_type.Get(), dex_cache->GetResolvedMethodType(method2_id.proto_idx_)); |
| 140 | |
| 141 | // The MethodTypes dex file contains a single interface with two abstract |
| 142 | // methods. It must therefore contain precisely two method IDs. |
| 143 | ASSERT_EQ(2u, dex_file.NumProtoIds()); |
| 144 | ASSERT_EQ(dex_file.NumProtoIds(), dex_cache->NumResolvedMethodTypes()); |
| 145 | MethodTypeDexCacheType* method_types_cache = dex_cache->GetResolvedMethodTypes(); |
| 146 | |
| 147 | for (size_t i = 0; i < dex_file.NumProtoIds(); ++i) { |
| 148 | const MethodTypeDexCachePair pair = method_types_cache[i].load(std::memory_order_relaxed); |
| Orion Hodson | 06d10a7 | 2018-05-14 08:53:38 +0100 | [diff] [blame] | 149 | if (dex::ProtoIndex(pair.index) == method1_id.proto_idx_) { |
| Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 150 | ASSERT_EQ(method1_type.Get(), pair.object.Read()); |
| Orion Hodson | 06d10a7 | 2018-05-14 08:53:38 +0100 | [diff] [blame] | 151 | } else if (dex::ProtoIndex(pair.index) == method2_id.proto_idx_) { |
| Narayan Kamath | 25352fc | 2016-08-03 12:46:58 +0100 | [diff] [blame] | 152 | ASSERT_EQ(method2_type.Get(), pair.object.Read()); |
| 153 | } else { |
| 154 | ASSERT_TRUE(false); |
| 155 | } |
| 156 | } |
| 157 | } |
| 158 | |
| Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 159 | } // namespace mirror |
| Brian Carlstrom | 7e49dca | 2011-07-22 18:07:34 -0700 | [diff] [blame] | 160 | } // namespace art |