Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2015 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 | #include "class_table.h" |
| 18 | |
| 19 | #include "mirror/class-inl.h" |
| 20 | |
| 21 | namespace art { |
| 22 | |
Mathieu Chartier | 1609e3a | 2016-04-05 14:36:57 -0700 | [diff] [blame] | 23 | ClassTable::ClassTable() : lock_("Class loader classes", kClassLoaderClassesLock) { |
Mathieu Chartier | 32cc9ee | 2015-10-15 09:19:15 -0700 | [diff] [blame] | 24 | Runtime* const runtime = Runtime::Current(); |
| 25 | classes_.push_back(ClassSet(runtime->GetHashTableMinLoadFactor(), |
| 26 | runtime->GetHashTableMaxLoadFactor())); |
Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 27 | } |
| 28 | |
| 29 | void ClassTable::FreezeSnapshot() { |
Mathieu Chartier | 1609e3a | 2016-04-05 14:36:57 -0700 | [diff] [blame] | 30 | WriterMutexLock mu(Thread::Current(), lock_); |
Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 31 | classes_.push_back(ClassSet()); |
| 32 | } |
| 33 | |
Mathieu Chartier | 28357fa | 2016-10-18 16:27:40 -0700 | [diff] [blame] | 34 | bool ClassTable::Contains(ObjPtr<mirror::Class> klass) { |
Mathieu Chartier | 1609e3a | 2016-04-05 14:36:57 -0700 | [diff] [blame] | 35 | ReaderMutexLock mu(Thread::Current(), lock_); |
Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 36 | for (ClassSet& class_set : classes_) { |
Mathieu Chartier | 58c3f6a | 2016-12-01 14:21:11 -0800 | [diff] [blame] | 37 | auto it = class_set.Find(TableSlot(klass)); |
Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 38 | if (it != class_set.end()) { |
| 39 | return it->Read() == klass; |
| 40 | } |
| 41 | } |
| 42 | return false; |
| 43 | } |
| 44 | |
Mathieu Chartier | 28357fa | 2016-10-18 16:27:40 -0700 | [diff] [blame] | 45 | mirror::Class* ClassTable::LookupByDescriptor(ObjPtr<mirror::Class> klass) { |
Mathieu Chartier | 1609e3a | 2016-04-05 14:36:57 -0700 | [diff] [blame] | 46 | ReaderMutexLock mu(Thread::Current(), lock_); |
Mathieu Chartier | fbc3108 | 2016-01-24 11:59:56 -0800 | [diff] [blame] | 47 | for (ClassSet& class_set : classes_) { |
Mathieu Chartier | 58c3f6a | 2016-12-01 14:21:11 -0800 | [diff] [blame] | 48 | auto it = class_set.Find(TableSlot(klass)); |
Mathieu Chartier | fbc3108 | 2016-01-24 11:59:56 -0800 | [diff] [blame] | 49 | if (it != class_set.end()) { |
| 50 | return it->Read(); |
| 51 | } |
| 52 | } |
| 53 | return nullptr; |
| 54 | } |
| 55 | |
Pirama Arumuga Nainar | 813b9c4 | 2016-08-25 23:42:50 -0700 | [diff] [blame] | 56 | // Bug: http://b/31104323 Ignore -Wunreachable-code from the for loop below |
| 57 | #pragma clang diagnostic push |
| 58 | #pragma clang diagnostic ignored "-Wunreachable-code" |
| 59 | |
Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 60 | mirror::Class* ClassTable::UpdateClass(const char* descriptor, mirror::Class* klass, size_t hash) { |
Mathieu Chartier | 1609e3a | 2016-04-05 14:36:57 -0700 | [diff] [blame] | 61 | WriterMutexLock mu(Thread::Current(), lock_); |
Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 62 | // Should only be updating latest table. |
Mathieu Chartier | 58c3f6a | 2016-12-01 14:21:11 -0800 | [diff] [blame] | 63 | DescriptorHashPair pair(descriptor, hash); |
| 64 | auto existing_it = classes_.back().FindWithHash(pair, hash); |
Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 65 | if (kIsDebugBuild && existing_it == classes_.back().end()) { |
| 66 | for (const ClassSet& class_set : classes_) { |
Mathieu Chartier | 58c3f6a | 2016-12-01 14:21:11 -0800 | [diff] [blame] | 67 | if (class_set.FindWithHash(pair, hash) != class_set.end()) { |
Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 68 | LOG(FATAL) << "Updating class found in frozen table " << descriptor; |
| 69 | } |
| 70 | } |
| 71 | LOG(FATAL) << "Updating class not found " << descriptor; |
| 72 | } |
| 73 | mirror::Class* const existing = existing_it->Read(); |
| 74 | CHECK_NE(existing, klass) << descriptor; |
| 75 | CHECK(!existing->IsResolved()) << descriptor; |
| 76 | CHECK_EQ(klass->GetStatus(), mirror::Class::kStatusResolving) << descriptor; |
| 77 | CHECK(!klass->IsTemp()) << descriptor; |
| 78 | VerifyObject(klass); |
| 79 | // Update the element in the hash set with the new class. This is safe to do since the descriptor |
| 80 | // doesn't change. |
Mathieu Chartier | 58c3f6a | 2016-12-01 14:21:11 -0800 | [diff] [blame] | 81 | *existing_it = TableSlot(klass, hash); |
Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 82 | return existing; |
| 83 | } |
| 84 | |
Pirama Arumuga Nainar | 813b9c4 | 2016-08-25 23:42:50 -0700 | [diff] [blame] | 85 | #pragma clang diagnostic pop // http://b/31104323 |
| 86 | |
Vladimir Marko | 2c8c6b6 | 2016-12-01 17:42:00 +0000 | [diff] [blame] | 87 | size_t ClassTable::NumZygoteClasses() const { |
Mathieu Chartier | 1609e3a | 2016-04-05 14:36:57 -0700 | [diff] [blame] | 88 | ReaderMutexLock mu(Thread::Current(), lock_); |
Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 89 | size_t sum = 0; |
| 90 | for (size_t i = 0; i < classes_.size() - 1; ++i) { |
Vladimir Marko | 2c8c6b6 | 2016-12-01 17:42:00 +0000 | [diff] [blame] | 91 | sum += classes_[i].Size(); |
Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 92 | } |
| 93 | return sum; |
| 94 | } |
| 95 | |
Vladimir Marko | 2c8c6b6 | 2016-12-01 17:42:00 +0000 | [diff] [blame] | 96 | size_t ClassTable::NumNonZygoteClasses() const { |
Mathieu Chartier | 1609e3a | 2016-04-05 14:36:57 -0700 | [diff] [blame] | 97 | ReaderMutexLock mu(Thread::Current(), lock_); |
Vladimir Marko | 2c8c6b6 | 2016-12-01 17:42:00 +0000 | [diff] [blame] | 98 | return classes_.back().Size(); |
Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 99 | } |
| 100 | |
| 101 | mirror::Class* ClassTable::Lookup(const char* descriptor, size_t hash) { |
Mathieu Chartier | 1609e3a | 2016-04-05 14:36:57 -0700 | [diff] [blame] | 102 | ReaderMutexLock mu(Thread::Current(), lock_); |
Mathieu Chartier | 58c3f6a | 2016-12-01 14:21:11 -0800 | [diff] [blame] | 103 | DescriptorHashPair pair(descriptor, hash); |
Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 104 | for (ClassSet& class_set : classes_) { |
Mathieu Chartier | 58c3f6a | 2016-12-01 14:21:11 -0800 | [diff] [blame] | 105 | auto it = class_set.FindWithHash(pair, hash); |
Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 106 | if (it != class_set.end()) { |
Vladimir Marko | 2c8c6b6 | 2016-12-01 17:42:00 +0000 | [diff] [blame] | 107 | return it->Read(); |
Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 108 | } |
| 109 | } |
| 110 | return nullptr; |
| 111 | } |
| 112 | |
Mathieu Chartier | 28357fa | 2016-10-18 16:27:40 -0700 | [diff] [blame] | 113 | void ClassTable::Insert(ObjPtr<mirror::Class> klass) { |
Mathieu Chartier | 1609e3a | 2016-04-05 14:36:57 -0700 | [diff] [blame] | 114 | WriterMutexLock mu(Thread::Current(), lock_); |
Mathieu Chartier | 58c3f6a | 2016-12-01 14:21:11 -0800 | [diff] [blame] | 115 | classes_.back().Insert(TableSlot(klass)); |
Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 116 | } |
| 117 | |
Mathieu Chartier | 28357fa | 2016-10-18 16:27:40 -0700 | [diff] [blame] | 118 | void ClassTable::InsertWithoutLocks(ObjPtr<mirror::Class> klass) { |
Mathieu Chartier | 58c3f6a | 2016-12-01 14:21:11 -0800 | [diff] [blame] | 119 | classes_.back().Insert(TableSlot(klass)); |
Mathieu Chartier | 496577f | 2016-09-20 15:33:31 -0700 | [diff] [blame] | 120 | } |
| 121 | |
Mathieu Chartier | 28357fa | 2016-10-18 16:27:40 -0700 | [diff] [blame] | 122 | void ClassTable::InsertWithHash(ObjPtr<mirror::Class> klass, size_t hash) { |
Mathieu Chartier | 1609e3a | 2016-04-05 14:36:57 -0700 | [diff] [blame] | 123 | WriterMutexLock mu(Thread::Current(), lock_); |
Mathieu Chartier | 58c3f6a | 2016-12-01 14:21:11 -0800 | [diff] [blame] | 124 | classes_.back().InsertWithHash(TableSlot(klass, hash), hash); |
Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 125 | } |
| 126 | |
| 127 | bool ClassTable::Remove(const char* descriptor) { |
Mathieu Chartier | 1609e3a | 2016-04-05 14:36:57 -0700 | [diff] [blame] | 128 | WriterMutexLock mu(Thread::Current(), lock_); |
Mathieu Chartier | 58c3f6a | 2016-12-01 14:21:11 -0800 | [diff] [blame] | 129 | DescriptorHashPair pair(descriptor, ComputeModifiedUtf8Hash(descriptor)); |
Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 130 | for (ClassSet& class_set : classes_) { |
Mathieu Chartier | 58c3f6a | 2016-12-01 14:21:11 -0800 | [diff] [blame] | 131 | auto it = class_set.Find(pair); |
Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 132 | if (it != class_set.end()) { |
| 133 | class_set.Erase(it); |
| 134 | return true; |
| 135 | } |
| 136 | } |
| 137 | return false; |
| 138 | } |
| 139 | |
Mathieu Chartier | 58c3f6a | 2016-12-01 14:21:11 -0800 | [diff] [blame] | 140 | uint32_t ClassTable::ClassDescriptorHashEquals::operator()(const TableSlot& slot) |
Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 141 | const { |
| 142 | std::string temp; |
Mathieu Chartier | 58c3f6a | 2016-12-01 14:21:11 -0800 | [diff] [blame] | 143 | return ComputeModifiedUtf8Hash(slot.Read()->GetDescriptor(&temp)); |
Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 144 | } |
| 145 | |
Mathieu Chartier | 58c3f6a | 2016-12-01 14:21:11 -0800 | [diff] [blame] | 146 | bool ClassTable::ClassDescriptorHashEquals::operator()(const TableSlot& a, |
| 147 | const TableSlot& b) const { |
| 148 | if (a.Hash() != b.Hash()) { |
| 149 | std::string temp; |
| 150 | DCHECK(!a.Read()->DescriptorEquals(b.Read()->GetDescriptor(&temp))); |
| 151 | return false; |
| 152 | } |
Vladimir Marko | 2c8c6b6 | 2016-12-01 17:42:00 +0000 | [diff] [blame] | 153 | DCHECK_EQ(a.Read()->GetClassLoader(), b.Read()->GetClassLoader()); |
Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 154 | std::string temp; |
| 155 | return a.Read()->DescriptorEquals(b.Read()->GetDescriptor(&temp)); |
| 156 | } |
| 157 | |
Mathieu Chartier | 58c3f6a | 2016-12-01 14:21:11 -0800 | [diff] [blame] | 158 | bool ClassTable::ClassDescriptorHashEquals::operator()(const TableSlot& a, |
| 159 | const DescriptorHashPair& b) const { |
| 160 | if (!a.MaskedHashEquals(b.second)) { |
| 161 | DCHECK(!a.Read()->DescriptorEquals(b.first)); |
| 162 | return false; |
| 163 | } |
| 164 | return a.Read()->DescriptorEquals(b.first); |
Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 165 | } |
| 166 | |
Mathieu Chartier | 58c3f6a | 2016-12-01 14:21:11 -0800 | [diff] [blame] | 167 | uint32_t ClassTable::ClassDescriptorHashEquals::operator()(const DescriptorHashPair& pair) const { |
| 168 | return ComputeModifiedUtf8Hash(pair.first); |
Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 169 | } |
| 170 | |
Mathieu Chartier | bc5a795 | 2016-10-17 15:46:31 -0700 | [diff] [blame] | 171 | bool ClassTable::InsertStrongRoot(ObjPtr<mirror::Object> obj) { |
Mathieu Chartier | 1609e3a | 2016-04-05 14:36:57 -0700 | [diff] [blame] | 172 | WriterMutexLock mu(Thread::Current(), lock_); |
Mathieu Chartier | c9dbb1d | 2016-06-03 17:47:32 -0700 | [diff] [blame] | 173 | DCHECK(obj != nullptr); |
| 174 | for (GcRoot<mirror::Object>& root : strong_roots_) { |
| 175 | if (root.Read() == obj) { |
Mathieu Chartier | 00310e0 | 2015-10-17 12:46:42 -0700 | [diff] [blame] | 176 | return false; |
| 177 | } |
| 178 | } |
Mathieu Chartier | c9dbb1d | 2016-06-03 17:47:32 -0700 | [diff] [blame] | 179 | strong_roots_.push_back(GcRoot<mirror::Object>(obj)); |
Vladimir Marko | aad75c6 | 2016-10-03 08:46:48 +0000 | [diff] [blame] | 180 | // If `obj` is a dex cache associated with a new oat file with GC roots, add it to oat_files_. |
| 181 | if (obj->IsDexCache()) { |
Mathieu Chartier | bc5a795 | 2016-10-17 15:46:31 -0700 | [diff] [blame] | 182 | const DexFile* dex_file = ObjPtr<mirror::DexCache>::DownCast(obj)->GetDexFile(); |
Vladimir Marko | aad75c6 | 2016-10-03 08:46:48 +0000 | [diff] [blame] | 183 | if (dex_file != nullptr && dex_file->GetOatDexFile() != nullptr) { |
| 184 | const OatFile* oat_file = dex_file->GetOatDexFile()->GetOatFile(); |
Mathieu Chartier | 1b86849 | 2016-11-16 16:22:37 -0800 | [diff] [blame] | 185 | if (oat_file != nullptr && !oat_file->GetBssGcRoots().empty()) { |
Vladimir Marko | 1bc4b17 | 2016-10-24 16:53:39 +0000 | [diff] [blame] | 186 | InsertOatFileLocked(oat_file); // Ignore return value. |
Vladimir Marko | aad75c6 | 2016-10-03 08:46:48 +0000 | [diff] [blame] | 187 | } |
| 188 | } |
| 189 | } |
Mathieu Chartier | 00310e0 | 2015-10-17 12:46:42 -0700 | [diff] [blame] | 190 | return true; |
| 191 | } |
| 192 | |
Vladimir Marko | 1bc4b17 | 2016-10-24 16:53:39 +0000 | [diff] [blame] | 193 | bool ClassTable::InsertOatFile(const OatFile* oat_file) { |
| 194 | WriterMutexLock mu(Thread::Current(), lock_); |
| 195 | return InsertOatFileLocked(oat_file); |
| 196 | } |
| 197 | |
| 198 | bool ClassTable::InsertOatFileLocked(const OatFile* oat_file) { |
| 199 | if (ContainsElement(oat_files_, oat_file)) { |
| 200 | return false; |
| 201 | } |
| 202 | oat_files_.push_back(oat_file); |
| 203 | return true; |
| 204 | } |
| 205 | |
Mathieu Chartier | 208a5cb | 2015-12-02 15:44:07 -0800 | [diff] [blame] | 206 | size_t ClassTable::WriteToMemory(uint8_t* ptr) const { |
Mathieu Chartier | 1609e3a | 2016-04-05 14:36:57 -0700 | [diff] [blame] | 207 | ReaderMutexLock mu(Thread::Current(), lock_); |
Mathieu Chartier | 41dc8ce | 2015-12-04 15:07:48 -0800 | [diff] [blame] | 208 | ClassSet combined; |
| 209 | // Combine all the class sets in case there are multiple, also adjusts load factor back to |
| 210 | // default in case classes were pruned. |
| 211 | for (const ClassSet& class_set : classes_) { |
Mathieu Chartier | 58c3f6a | 2016-12-01 14:21:11 -0800 | [diff] [blame] | 212 | for (const TableSlot& root : class_set) { |
Mathieu Chartier | 41dc8ce | 2015-12-04 15:07:48 -0800 | [diff] [blame] | 213 | combined.Insert(root); |
Mathieu Chartier | 208a5cb | 2015-12-02 15:44:07 -0800 | [diff] [blame] | 214 | } |
| 215 | } |
Mathieu Chartier | 41dc8ce | 2015-12-04 15:07:48 -0800 | [diff] [blame] | 216 | const size_t ret = combined.WriteToMemory(ptr); |
| 217 | // Sanity check. |
| 218 | if (kIsDebugBuild && ptr != nullptr) { |
| 219 | size_t read_count; |
| 220 | ClassSet class_set(ptr, /*make copy*/false, &read_count); |
| 221 | class_set.Verify(); |
| 222 | } |
Mathieu Chartier | 208a5cb | 2015-12-02 15:44:07 -0800 | [diff] [blame] | 223 | return ret; |
| 224 | } |
| 225 | |
| 226 | size_t ClassTable::ReadFromMemory(uint8_t* ptr) { |
| 227 | size_t read_count = 0; |
Mathieu Chartier | 88027bd | 2016-03-02 16:08:31 -0800 | [diff] [blame] | 228 | AddClassSet(ClassSet(ptr, /*make copy*/false, &read_count)); |
Mathieu Chartier | 208a5cb | 2015-12-02 15:44:07 -0800 | [diff] [blame] | 229 | return read_count; |
| 230 | } |
| 231 | |
Mathieu Chartier | 88027bd | 2016-03-02 16:08:31 -0800 | [diff] [blame] | 232 | void ClassTable::AddClassSet(ClassSet&& set) { |
Mathieu Chartier | 1609e3a | 2016-04-05 14:36:57 -0700 | [diff] [blame] | 233 | WriterMutexLock mu(Thread::Current(), lock_); |
Mathieu Chartier | 88027bd | 2016-03-02 16:08:31 -0800 | [diff] [blame] | 234 | classes_.insert(classes_.begin(), std::move(set)); |
| 235 | } |
| 236 | |
Mathieu Chartier | c9dbb1d | 2016-06-03 17:47:32 -0700 | [diff] [blame] | 237 | void ClassTable::ClearStrongRoots() { |
| 238 | WriterMutexLock mu(Thread::Current(), lock_); |
Vladimir Marko | aad75c6 | 2016-10-03 08:46:48 +0000 | [diff] [blame] | 239 | oat_files_.clear(); |
Mathieu Chartier | c9dbb1d | 2016-06-03 17:47:32 -0700 | [diff] [blame] | 240 | strong_roots_.clear(); |
| 241 | } |
Mathieu Chartier | 58c3f6a | 2016-12-01 14:21:11 -0800 | [diff] [blame] | 242 | |
| 243 | ClassTable::TableSlot::TableSlot(ObjPtr<mirror::Class> klass) { |
| 244 | std::string temp; |
| 245 | data_.StoreRelaxed(Encode(klass.Ptr(), |
| 246 | MaskHash(ComputeModifiedUtf8Hash(klass->GetDescriptor(&temp))))); |
| 247 | } |
| 248 | |
Mathieu Chartier | cc5ebdf | 2015-07-27 11:19:43 -0700 | [diff] [blame] | 249 | } // namespace art |