| Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2008 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 | |
| Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 17 | #include "space_bitmap-inl.h" |
| Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 18 | |
| Andreas Gampe | 46ee31b | 2016-12-14 10:11:49 -0800 | [diff] [blame] | 19 | #include "android-base/stringprintf.h" |
| 20 | |
| Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 21 | #include "art_field-inl.h" |
| David Sehr | 79e2607 | 2018-04-06 17:58:50 -0700 | [diff] [blame] | 22 | #include "base/mem_map.h" |
| David Sehr | 9e734c7 | 2018-01-04 17:56:19 -0800 | [diff] [blame] | 23 | #include "dex/dex_file-inl.h" |
| Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 24 | #include "mirror/class-inl.h" |
| Andreas Gampe | 8cf9cb3 | 2017-07-19 09:28:38 -0700 | [diff] [blame] | 25 | #include "mirror/object-inl.h" |
| Ian Rogers | 22d5e73 | 2014-07-15 22:23:51 -0700 | [diff] [blame] | 26 | #include "mirror/object_array.h" |
| 27 | |
| Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 28 | namespace art { |
| Ian Rogers | 1d54e73 | 2013-05-02 21:10:01 -0700 | [diff] [blame] | 29 | namespace gc { |
| 30 | namespace accounting { |
| Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 31 | |
| Andreas Gampe | 46ee31b | 2016-12-14 10:11:49 -0800 | [diff] [blame] | 32 | using android::base::StringPrintf; |
| 33 | |
| Mathieu Chartier | a8e8f9c | 2014-04-09 14:51:05 -0700 | [diff] [blame] | 34 | template<size_t kAlignment> |
| Mathieu Chartier | 73d1e17 | 2014-04-11 17:53:48 -0700 | [diff] [blame] | 35 | size_t SpaceBitmap<kAlignment>::ComputeBitmapSize(uint64_t capacity) { |
| Roland Levillain | 8f7ea9a | 2018-01-26 17:27:59 +0000 | [diff] [blame] | 36 | // Number of space (heap) bytes covered by one bitmap word. |
| 37 | // (Word size in bytes = `sizeof(intptr_t)`, which is expected to be |
| 38 | // 4 on a 32-bit architecture and 8 on a 64-bit one.) |
| Ian Rogers | 1373595 | 2014-10-08 12:43:28 -0700 | [diff] [blame] | 39 | const uint64_t kBytesCoveredPerWord = kAlignment * kBitsPerIntPtrT; |
| Roland Levillain | 8f7ea9a | 2018-01-26 17:27:59 +0000 | [diff] [blame] | 40 | // Calculate the number of words required to cover a space (heap) |
| 41 | // having a size of `capacity` bytes. |
| Ian Rogers | 1373595 | 2014-10-08 12:43:28 -0700 | [diff] [blame] | 42 | return (RoundUp(capacity, kBytesCoveredPerWord) / kBytesCoveredPerWord) * sizeof(intptr_t); |
| Mathieu Chartier | 73d1e17 | 2014-04-11 17:53:48 -0700 | [diff] [blame] | 43 | } |
| 44 | |
| 45 | template<size_t kAlignment> |
| Mathieu Chartier | d39645e | 2015-06-09 17:50:29 -0700 | [diff] [blame] | 46 | size_t SpaceBitmap<kAlignment>::ComputeHeapSize(uint64_t bitmap_bytes) { |
| 47 | return bitmap_bytes * kBitsPerByte * kAlignment; |
| 48 | } |
| 49 | |
| 50 | template<size_t kAlignment> |
| Mathieu Chartier | 6f38201 | 2019-07-30 09:47:35 -0700 | [diff] [blame] | 51 | SpaceBitmap<kAlignment> SpaceBitmap<kAlignment>::CreateFromMemMap( |
| Vladimir Marko | c34bebf | 2018-08-16 16:12:49 +0100 | [diff] [blame] | 52 | const std::string& name, MemMap&& mem_map, uint8_t* heap_begin, size_t heap_capacity) { |
| 53 | CHECK(mem_map.IsValid()); |
| 54 | uintptr_t* bitmap_begin = reinterpret_cast<uintptr_t*>(mem_map.Begin()); |
| Mathieu Chartier | 73d1e17 | 2014-04-11 17:53:48 -0700 | [diff] [blame] | 55 | const size_t bitmap_size = ComputeBitmapSize(heap_capacity); |
| Mathieu Chartier | 6f38201 | 2019-07-30 09:47:35 -0700 | [diff] [blame] | 56 | return { name, std::move(mem_map), bitmap_begin, bitmap_size, heap_begin, heap_capacity }; |
| Mathieu Chartier | 31e8925 | 2013-08-28 11:29:12 -0700 | [diff] [blame] | 57 | } |
| 58 | |
| Mathieu Chartier | a8e8f9c | 2014-04-09 14:51:05 -0700 | [diff] [blame] | 59 | template<size_t kAlignment> |
| Mathieu Chartier | 2a1513b | 2017-08-07 20:01:46 -0700 | [diff] [blame] | 60 | SpaceBitmap<kAlignment>::SpaceBitmap(const std::string& name, |
| Vladimir Marko | c34bebf | 2018-08-16 16:12:49 +0100 | [diff] [blame] | 61 | MemMap&& mem_map, |
| Mathieu Chartier | 2a1513b | 2017-08-07 20:01:46 -0700 | [diff] [blame] | 62 | uintptr_t* bitmap_begin, |
| 63 | size_t bitmap_size, |
| 64 | const void* heap_begin, |
| 65 | size_t heap_capacity) |
| Vladimir Marko | c34bebf | 2018-08-16 16:12:49 +0100 | [diff] [blame] | 66 | : mem_map_(std::move(mem_map)), |
| Mathieu Chartier | c381c36 | 2016-08-23 13:27:53 -0700 | [diff] [blame] | 67 | bitmap_begin_(reinterpret_cast<Atomic<uintptr_t>*>(bitmap_begin)), |
| 68 | bitmap_size_(bitmap_size), |
| Mathieu Chartier | bbd695c | 2014-04-16 09:48:48 -0700 | [diff] [blame] | 69 | heap_begin_(reinterpret_cast<uintptr_t>(heap_begin)), |
| Mathieu Chartier | 2a1513b | 2017-08-07 20:01:46 -0700 | [diff] [blame] | 70 | heap_limit_(reinterpret_cast<uintptr_t>(heap_begin) + heap_capacity), |
| Mathieu Chartier | bbd695c | 2014-04-16 09:48:48 -0700 | [diff] [blame] | 71 | name_(name) { |
| 72 | CHECK(bitmap_begin_ != nullptr); |
| 73 | CHECK_NE(bitmap_size, 0U); |
| 74 | } |
| 75 | |
| 76 | template<size_t kAlignment> |
| Ian Rogers | 22d5e73 | 2014-07-15 22:23:51 -0700 | [diff] [blame] | 77 | SpaceBitmap<kAlignment>::~SpaceBitmap() {} |
| 78 | |
| 79 | template<size_t kAlignment> |
| Mathieu Chartier | 6f38201 | 2019-07-30 09:47:35 -0700 | [diff] [blame] | 80 | SpaceBitmap<kAlignment> SpaceBitmap<kAlignment>::Create( |
| Ian Rogers | 1373595 | 2014-10-08 12:43:28 -0700 | [diff] [blame] | 81 | const std::string& name, uint8_t* heap_begin, size_t heap_capacity) { |
| Roland Levillain | 8f7ea9a | 2018-01-26 17:27:59 +0000 | [diff] [blame] | 82 | // Round up since `heap_capacity` is not necessarily a multiple of `kAlignment * kBitsPerIntPtrT` |
| 83 | // (we represent one word as an `intptr_t`). |
| Mathieu Chartier | 73d1e17 | 2014-04-11 17:53:48 -0700 | [diff] [blame] | 84 | const size_t bitmap_size = ComputeBitmapSize(heap_capacity); |
| Ian Rogers | 8d31bbd | 2013-10-13 10:44:14 -0700 | [diff] [blame] | 85 | std::string error_msg; |
| Vladimir Marko | c34bebf | 2018-08-16 16:12:49 +0100 | [diff] [blame] | 86 | MemMap mem_map = MemMap::MapAnonymous(name.c_str(), |
| Vladimir Marko | c34bebf | 2018-08-16 16:12:49 +0100 | [diff] [blame] | 87 | bitmap_size, |
| 88 | PROT_READ | PROT_WRITE, |
| Vladimir Marko | 1130659 | 2018-10-26 14:22:59 +0100 | [diff] [blame] | 89 | /*low_4gb=*/ false, |
| Vladimir Marko | c34bebf | 2018-08-16 16:12:49 +0100 | [diff] [blame] | 90 | &error_msg); |
| 91 | if (UNLIKELY(!mem_map.IsValid())) { |
| Ian Rogers | 8d31bbd | 2013-10-13 10:44:14 -0700 | [diff] [blame] | 92 | LOG(ERROR) << "Failed to allocate bitmap " << name << ": " << error_msg; |
| Mathieu Chartier | 6f38201 | 2019-07-30 09:47:35 -0700 | [diff] [blame] | 93 | return SpaceBitmap<kAlignment>(); |
| Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 94 | } |
| Vladimir Marko | c34bebf | 2018-08-16 16:12:49 +0100 | [diff] [blame] | 95 | return CreateFromMemMap(name, std::move(mem_map), heap_begin, heap_capacity); |
| Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 96 | } |
| 97 | |
| Mathieu Chartier | a8e8f9c | 2014-04-09 14:51:05 -0700 | [diff] [blame] | 98 | template<size_t kAlignment> |
| 99 | void SpaceBitmap<kAlignment>::SetHeapLimit(uintptr_t new_end) { |
| Roland Levillain | 14d9057 | 2015-07-16 10:52:26 +0100 | [diff] [blame] | 100 | DCHECK_ALIGNED(new_end, kBitsPerIntPtrT * kAlignment); |
| Ian Rogers | 1373595 | 2014-10-08 12:43:28 -0700 | [diff] [blame] | 101 | size_t new_size = OffsetToIndex(new_end - heap_begin_) * sizeof(intptr_t); |
| Mathieu Chartier | cc236d7 | 2012-07-20 10:29:05 -0700 | [diff] [blame] | 102 | if (new_size < bitmap_size_) { |
| 103 | bitmap_size_ = new_size; |
| 104 | } |
| Mathieu Chartier | 2a1513b | 2017-08-07 20:01:46 -0700 | [diff] [blame] | 105 | heap_limit_ = new_end; |
| Mathieu Chartier | cc236d7 | 2012-07-20 10:29:05 -0700 | [diff] [blame] | 106 | // Not sure if doing this trim is necessary, since nothing past the end of the heap capacity |
| 107 | // should be marked. |
| Mathieu Chartier | cc236d7 | 2012-07-20 10:29:05 -0700 | [diff] [blame] | 108 | } |
| 109 | |
| Mathieu Chartier | a8e8f9c | 2014-04-09 14:51:05 -0700 | [diff] [blame] | 110 | template<size_t kAlignment> |
| Ian Rogers | 576ca0c | 2014-06-06 15:58:22 -0700 | [diff] [blame] | 111 | std::string SpaceBitmap<kAlignment>::Dump() const { |
| 112 | return StringPrintf("%s: %p-%p", name_.c_str(), reinterpret_cast<void*>(HeapBegin()), |
| 113 | reinterpret_cast<void*>(HeapLimit())); |
| 114 | } |
| 115 | |
| 116 | template<size_t kAlignment> |
| Mathieu Chartier | a8e8f9c | 2014-04-09 14:51:05 -0700 | [diff] [blame] | 117 | void SpaceBitmap<kAlignment>::Clear() { |
| Ian Rogers | c5f1773 | 2014-06-05 20:48:42 -0700 | [diff] [blame] | 118 | if (bitmap_begin_ != nullptr) { |
| Vladimir Marko | c34bebf | 2018-08-16 16:12:49 +0100 | [diff] [blame] | 119 | mem_map_.MadviseDontNeedAndZero(); |
| Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 120 | } |
| 121 | } |
| 122 | |
| Mathieu Chartier | a8e8f9c | 2014-04-09 14:51:05 -0700 | [diff] [blame] | 123 | template<size_t kAlignment> |
| Mathieu Chartier | 7ec38dc | 2016-10-07 15:24:46 -0700 | [diff] [blame] | 124 | void SpaceBitmap<kAlignment>::ClearRange(const mirror::Object* begin, const mirror::Object* end) { |
| 125 | uintptr_t begin_offset = reinterpret_cast<uintptr_t>(begin) - heap_begin_; |
| 126 | uintptr_t end_offset = reinterpret_cast<uintptr_t>(end) - heap_begin_; |
| Roland Levillain | 8f7ea9a | 2018-01-26 17:27:59 +0000 | [diff] [blame] | 127 | // Align begin and end to bitmap word boundaries. |
| Mathieu Chartier | 7ec38dc | 2016-10-07 15:24:46 -0700 | [diff] [blame] | 128 | while (begin_offset < end_offset && OffsetBitIndex(begin_offset) != 0) { |
| 129 | Clear(reinterpret_cast<mirror::Object*>(heap_begin_ + begin_offset)); |
| 130 | begin_offset += kAlignment; |
| 131 | } |
| 132 | while (begin_offset < end_offset && OffsetBitIndex(end_offset) != 0) { |
| 133 | end_offset -= kAlignment; |
| 134 | Clear(reinterpret_cast<mirror::Object*>(heap_begin_ + end_offset)); |
| 135 | } |
| Roland Levillain | 8f7ea9a | 2018-01-26 17:27:59 +0000 | [diff] [blame] | 136 | // Bitmap word boundaries. |
| Mathieu Chartier | 7ec38dc | 2016-10-07 15:24:46 -0700 | [diff] [blame] | 137 | const uintptr_t start_index = OffsetToIndex(begin_offset); |
| 138 | const uintptr_t end_index = OffsetToIndex(end_offset); |
| Mathieu Chartier | 6e6078a | 2016-10-24 15:45:41 -0700 | [diff] [blame] | 139 | ZeroAndReleasePages(reinterpret_cast<uint8_t*>(&bitmap_begin_[start_index]), |
| 140 | (end_index - start_index) * sizeof(*bitmap_begin_)); |
| Mathieu Chartier | 7ec38dc | 2016-10-07 15:24:46 -0700 | [diff] [blame] | 141 | } |
| 142 | |
| 143 | template<size_t kAlignment> |
| Mathieu Chartier | bbd695c | 2014-04-16 09:48:48 -0700 | [diff] [blame] | 144 | void SpaceBitmap<kAlignment>::CopyFrom(SpaceBitmap* source_bitmap) { |
| Mathieu Chartier | 357e9be | 2012-08-01 11:00:14 -0700 | [diff] [blame] | 145 | DCHECK_EQ(Size(), source_bitmap->Size()); |
| Mathieu Chartier | c381c36 | 2016-08-23 13:27:53 -0700 | [diff] [blame] | 146 | const size_t count = source_bitmap->Size() / sizeof(intptr_t); |
| 147 | Atomic<uintptr_t>* const src = source_bitmap->Begin(); |
| 148 | Atomic<uintptr_t>* const dest = Begin(); |
| 149 | for (size_t i = 0; i < count; ++i) { |
| Orion Hodson | 88591fe | 2018-03-06 13:35:43 +0000 | [diff] [blame] | 150 | dest[i].store(src[i].load(std::memory_order_relaxed), std::memory_order_relaxed); |
| Mathieu Chartier | c381c36 | 2016-08-23 13:27:53 -0700 | [diff] [blame] | 151 | } |
| Mathieu Chartier | 357e9be | 2012-08-01 11:00:14 -0700 | [diff] [blame] | 152 | } |
| 153 | |
| Mathieu Chartier | a8e8f9c | 2014-04-09 14:51:05 -0700 | [diff] [blame] | 154 | template<size_t kAlignment> |
| Mathieu Chartier | a8e8f9c | 2014-04-09 14:51:05 -0700 | [diff] [blame] | 155 | void SpaceBitmap<kAlignment>::SweepWalk(const SpaceBitmap<kAlignment>& live_bitmap, |
| Mathieu Chartier | bbd695c | 2014-04-16 09:48:48 -0700 | [diff] [blame] | 156 | const SpaceBitmap<kAlignment>& mark_bitmap, |
| 157 | uintptr_t sweep_begin, uintptr_t sweep_end, |
| 158 | SpaceBitmap::SweepCallback* callback, void* arg) { |
| 159 | CHECK(live_bitmap.bitmap_begin_ != nullptr); |
| 160 | CHECK(mark_bitmap.bitmap_begin_ != nullptr); |
| Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 161 | CHECK_EQ(live_bitmap.heap_begin_, mark_bitmap.heap_begin_); |
| 162 | CHECK_EQ(live_bitmap.bitmap_size_, mark_bitmap.bitmap_size_); |
| Mathieu Chartier | 2cebb24 | 2015-04-21 16:50:40 -0700 | [diff] [blame] | 163 | CHECK(callback != nullptr); |
| Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 164 | CHECK_LE(sweep_begin, sweep_end); |
| 165 | CHECK_GE(sweep_begin, live_bitmap.heap_begin_); |
| Mathieu Chartier | 357e9be | 2012-08-01 11:00:14 -0700 | [diff] [blame] | 166 | |
| 167 | if (sweep_end <= sweep_begin) { |
| Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 168 | return; |
| 169 | } |
| Mathieu Chartier | 357e9be | 2012-08-01 11:00:14 -0700 | [diff] [blame] | 170 | |
| Mathieu Chartier | 164f133 | 2019-05-02 16:19:46 -0700 | [diff] [blame] | 171 | size_t buffer_size = sizeof(intptr_t) * kBitsPerIntPtrT; |
| Mathieu Chartier | c381c36 | 2016-08-23 13:27:53 -0700 | [diff] [blame] | 172 | Atomic<uintptr_t>* live = live_bitmap.bitmap_begin_; |
| 173 | Atomic<uintptr_t>* mark = mark_bitmap.bitmap_begin_; |
| Mathieu Chartier | 164f133 | 2019-05-02 16:19:46 -0700 | [diff] [blame] | 174 | const size_t start = OffsetToIndex(sweep_begin - live_bitmap.heap_begin_); |
| 175 | const size_t end = OffsetToIndex(sweep_end - live_bitmap.heap_begin_ - 1); |
| 176 | CHECK_LT(end, live_bitmap.Size() / sizeof(intptr_t)); |
| 177 | |
| 178 | if (Runtime::Current()->IsRunningOnMemoryTool()) { |
| 179 | // For memory tool, make the buffer large enough to hold all allocations. This is done since |
| 180 | // we get the size of objects (and hence read the class) inside of the freeing logic. This can |
| 181 | // cause crashes for unloaded classes since the class may get zeroed out before it is read. |
| 182 | // See b/131542326 |
| 183 | for (size_t i = start; i <= end; i++) { |
| 184 | uintptr_t garbage = |
| 185 | live[i].load(std::memory_order_relaxed) & ~mark[i].load(std::memory_order_relaxed); |
| 186 | buffer_size += POPCOUNT(garbage); |
| 187 | } |
| 188 | } |
| 189 | std::vector<mirror::Object*> pointer_buf(buffer_size); |
| 190 | mirror::Object** cur_pointer = &pointer_buf[0]; |
| 191 | mirror::Object** pointer_end = cur_pointer + (buffer_size - kBitsPerIntPtrT); |
| 192 | |
| Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 193 | for (size_t i = start; i <= end; i++) { |
| Orion Hodson | 88591fe | 2018-03-06 13:35:43 +0000 | [diff] [blame] | 194 | uintptr_t garbage = |
| 195 | live[i].load(std::memory_order_relaxed) & ~mark[i].load(std::memory_order_relaxed); |
| Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 196 | if (UNLIKELY(garbage != 0)) { |
| Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 197 | uintptr_t ptr_base = IndexToOffset(i) + live_bitmap.heap_begin_; |
| Mathieu Chartier | 357e9be | 2012-08-01 11:00:14 -0700 | [diff] [blame] | 198 | do { |
| Andreas Gampe | cb8aea4 | 2014-04-02 15:39:58 -0700 | [diff] [blame] | 199 | const size_t shift = CTZ(garbage); |
| Ian Rogers | 1373595 | 2014-10-08 12:43:28 -0700 | [diff] [blame] | 200 | garbage ^= (static_cast<uintptr_t>(1)) << shift; |
| Mathieu Chartier | 164f133 | 2019-05-02 16:19:46 -0700 | [diff] [blame] | 201 | *cur_pointer++ = reinterpret_cast<mirror::Object*>(ptr_base + shift * kAlignment); |
| Mathieu Chartier | 357e9be | 2012-08-01 11:00:14 -0700 | [diff] [blame] | 202 | } while (garbage != 0); |
| Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 203 | // Make sure that there are always enough slots available for an |
| 204 | // entire word of one bits. |
| Mathieu Chartier | 164f133 | 2019-05-02 16:19:46 -0700 | [diff] [blame] | 205 | if (cur_pointer >= pointer_end) { |
| 206 | (*callback)(cur_pointer - &pointer_buf[0], &pointer_buf[0], arg); |
| 207 | cur_pointer = &pointer_buf[0]; |
| Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 208 | } |
| 209 | } |
| 210 | } |
| Mathieu Chartier | 164f133 | 2019-05-02 16:19:46 -0700 | [diff] [blame] | 211 | if (cur_pointer > &pointer_buf[0]) { |
| 212 | (*callback)(cur_pointer - &pointer_buf[0], &pointer_buf[0], arg); |
| Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 213 | } |
| 214 | } |
| 215 | |
| Mathieu Chartier | a8e8f9c | 2014-04-09 14:51:05 -0700 | [diff] [blame] | 216 | template class SpaceBitmap<kObjectAlignment>; |
| 217 | template class SpaceBitmap<kPageSize>; |
| 218 | |
| Ian Rogers | 1d54e73 | 2013-05-02 21:10:01 -0700 | [diff] [blame] | 219 | } // namespace accounting |
| 220 | } // namespace gc |
| Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 221 | } // namespace art |