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 | |
Mathieu Chartier | c785344 | 2015-03-27 14:35:38 -0700 | [diff] [blame] | 19 | #include "art_field-inl.h" |
Ian Rogers | 22d5e73 | 2014-07-15 22:23:51 -0700 | [diff] [blame] | 20 | #include "base/stringprintf.h" |
Elliott Hughes | 956af0f | 2014-12-11 14:34:28 -0800 | [diff] [blame] | 21 | #include "dex_file-inl.h" |
Ian Rogers | 22d5e73 | 2014-07-15 22:23:51 -0700 | [diff] [blame] | 22 | #include "mem_map.h" |
| 23 | #include "mirror/object-inl.h" |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 24 | #include "mirror/class-inl.h" |
Ian Rogers | 22d5e73 | 2014-07-15 22:23:51 -0700 | [diff] [blame] | 25 | #include "mirror/object_array.h" |
| 26 | |
Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 27 | namespace art { |
Ian Rogers | 1d54e73 | 2013-05-02 21:10:01 -0700 | [diff] [blame] | 28 | namespace gc { |
| 29 | namespace accounting { |
Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 30 | |
Mathieu Chartier | a8e8f9c | 2014-04-09 14:51:05 -0700 | [diff] [blame] | 31 | template<size_t kAlignment> |
Mathieu Chartier | 73d1e17 | 2014-04-11 17:53:48 -0700 | [diff] [blame] | 32 | size_t SpaceBitmap<kAlignment>::ComputeBitmapSize(uint64_t capacity) { |
Ian Rogers | 1373595 | 2014-10-08 12:43:28 -0700 | [diff] [blame] | 33 | const uint64_t kBytesCoveredPerWord = kAlignment * kBitsPerIntPtrT; |
| 34 | return (RoundUp(capacity, kBytesCoveredPerWord) / kBytesCoveredPerWord) * sizeof(intptr_t); |
Mathieu Chartier | 73d1e17 | 2014-04-11 17:53:48 -0700 | [diff] [blame] | 35 | } |
| 36 | |
| 37 | template<size_t kAlignment> |
Mathieu Chartier | d39645e | 2015-06-09 17:50:29 -0700 | [diff] [blame] | 38 | size_t SpaceBitmap<kAlignment>::ComputeHeapSize(uint64_t bitmap_bytes) { |
| 39 | return bitmap_bytes * kBitsPerByte * kAlignment; |
| 40 | } |
| 41 | |
| 42 | template<size_t kAlignment> |
Mathieu Chartier | a8e8f9c | 2014-04-09 14:51:05 -0700 | [diff] [blame] | 43 | SpaceBitmap<kAlignment>* SpaceBitmap<kAlignment>::CreateFromMemMap( |
Ian Rogers | 1373595 | 2014-10-08 12:43:28 -0700 | [diff] [blame] | 44 | const std::string& name, MemMap* mem_map, uint8_t* heap_begin, size_t heap_capacity) { |
Mathieu Chartier | 31e8925 | 2013-08-28 11:29:12 -0700 | [diff] [blame] | 45 | CHECK(mem_map != nullptr); |
Ian Rogers | 1373595 | 2014-10-08 12:43:28 -0700 | [diff] [blame] | 46 | uintptr_t* bitmap_begin = reinterpret_cast<uintptr_t*>(mem_map->Begin()); |
Mathieu Chartier | 73d1e17 | 2014-04-11 17:53:48 -0700 | [diff] [blame] | 47 | const size_t bitmap_size = ComputeBitmapSize(heap_capacity); |
Mathieu Chartier | 31e8925 | 2013-08-28 11:29:12 -0700 | [diff] [blame] | 48 | return new SpaceBitmap(name, mem_map, bitmap_begin, bitmap_size, heap_begin); |
| 49 | } |
| 50 | |
Mathieu Chartier | a8e8f9c | 2014-04-09 14:51:05 -0700 | [diff] [blame] | 51 | template<size_t kAlignment> |
Ian Rogers | 1373595 | 2014-10-08 12:43:28 -0700 | [diff] [blame] | 52 | SpaceBitmap<kAlignment>::SpaceBitmap(const std::string& name, MemMap* mem_map, uintptr_t* bitmap_begin, |
Mathieu Chartier | bbd695c | 2014-04-16 09:48:48 -0700 | [diff] [blame] | 53 | size_t bitmap_size, const void* heap_begin) |
Mathieu Chartier | c381c36 | 2016-08-23 13:27:53 -0700 | [diff] [blame] | 54 | : mem_map_(mem_map), |
| 55 | bitmap_begin_(reinterpret_cast<Atomic<uintptr_t>*>(bitmap_begin)), |
| 56 | bitmap_size_(bitmap_size), |
Mathieu Chartier | bbd695c | 2014-04-16 09:48:48 -0700 | [diff] [blame] | 57 | heap_begin_(reinterpret_cast<uintptr_t>(heap_begin)), |
| 58 | name_(name) { |
| 59 | CHECK(bitmap_begin_ != nullptr); |
| 60 | CHECK_NE(bitmap_size, 0U); |
| 61 | } |
| 62 | |
| 63 | template<size_t kAlignment> |
Ian Rogers | 22d5e73 | 2014-07-15 22:23:51 -0700 | [diff] [blame] | 64 | SpaceBitmap<kAlignment>::~SpaceBitmap() {} |
| 65 | |
| 66 | template<size_t kAlignment> |
Mathieu Chartier | a8e8f9c | 2014-04-09 14:51:05 -0700 | [diff] [blame] | 67 | SpaceBitmap<kAlignment>* SpaceBitmap<kAlignment>::Create( |
Ian Rogers | 1373595 | 2014-10-08 12:43:28 -0700 | [diff] [blame] | 68 | const std::string& name, uint8_t* heap_begin, size_t heap_capacity) { |
Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 69 | // Round up since heap_capacity is not necessarily a multiple of kAlignment * kBitsPerWord. |
Mathieu Chartier | 73d1e17 | 2014-04-11 17:53:48 -0700 | [diff] [blame] | 70 | const size_t bitmap_size = ComputeBitmapSize(heap_capacity); |
Ian Rogers | 8d31bbd | 2013-10-13 10:44:14 -0700 | [diff] [blame] | 71 | std::string error_msg; |
Ian Rogers | 700a402 | 2014-05-19 16:49:03 -0700 | [diff] [blame] | 72 | std::unique_ptr<MemMap> mem_map(MemMap::MapAnonymous(name.c_str(), nullptr, bitmap_size, |
Vladimir Marko | 5c42c29 | 2015-02-25 12:02:49 +0000 | [diff] [blame] | 73 | PROT_READ | PROT_WRITE, false, false, |
| 74 | &error_msg)); |
Ian Rogers | 8d31bbd | 2013-10-13 10:44:14 -0700 | [diff] [blame] | 75 | if (UNLIKELY(mem_map.get() == nullptr)) { |
| 76 | LOG(ERROR) << "Failed to allocate bitmap " << name << ": " << error_msg; |
Mathieu Chartier | bbd695c | 2014-04-16 09:48:48 -0700 | [diff] [blame] | 77 | return nullptr; |
Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 78 | } |
Mathieu Chartier | 31e8925 | 2013-08-28 11:29:12 -0700 | [diff] [blame] | 79 | return CreateFromMemMap(name, mem_map.release(), heap_begin, heap_capacity); |
Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 80 | } |
| 81 | |
Mathieu Chartier | a8e8f9c | 2014-04-09 14:51:05 -0700 | [diff] [blame] | 82 | template<size_t kAlignment> |
| 83 | void SpaceBitmap<kAlignment>::SetHeapLimit(uintptr_t new_end) { |
Roland Levillain | 14d9057 | 2015-07-16 10:52:26 +0100 | [diff] [blame] | 84 | DCHECK_ALIGNED(new_end, kBitsPerIntPtrT * kAlignment); |
Ian Rogers | 1373595 | 2014-10-08 12:43:28 -0700 | [diff] [blame] | 85 | size_t new_size = OffsetToIndex(new_end - heap_begin_) * sizeof(intptr_t); |
Mathieu Chartier | cc236d7 | 2012-07-20 10:29:05 -0700 | [diff] [blame] | 86 | if (new_size < bitmap_size_) { |
| 87 | bitmap_size_ = new_size; |
| 88 | } |
| 89 | // Not sure if doing this trim is necessary, since nothing past the end of the heap capacity |
| 90 | // should be marked. |
Mathieu Chartier | cc236d7 | 2012-07-20 10:29:05 -0700 | [diff] [blame] | 91 | } |
| 92 | |
Mathieu Chartier | a8e8f9c | 2014-04-09 14:51:05 -0700 | [diff] [blame] | 93 | template<size_t kAlignment> |
Ian Rogers | 576ca0c | 2014-06-06 15:58:22 -0700 | [diff] [blame] | 94 | std::string SpaceBitmap<kAlignment>::Dump() const { |
| 95 | return StringPrintf("%s: %p-%p", name_.c_str(), reinterpret_cast<void*>(HeapBegin()), |
| 96 | reinterpret_cast<void*>(HeapLimit())); |
| 97 | } |
| 98 | |
| 99 | template<size_t kAlignment> |
Mathieu Chartier | a8e8f9c | 2014-04-09 14:51:05 -0700 | [diff] [blame] | 100 | void SpaceBitmap<kAlignment>::Clear() { |
Ian Rogers | c5f1773 | 2014-06-05 20:48:42 -0700 | [diff] [blame] | 101 | if (bitmap_begin_ != nullptr) { |
| 102 | mem_map_->MadviseDontNeedAndZero(); |
Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 103 | } |
| 104 | } |
| 105 | |
Mathieu Chartier | a8e8f9c | 2014-04-09 14:51:05 -0700 | [diff] [blame] | 106 | template<size_t kAlignment> |
Mathieu Chartier | 7ec38dc | 2016-10-07 15:24:46 -0700 | [diff] [blame] | 107 | void SpaceBitmap<kAlignment>::ClearRange(const mirror::Object* begin, const mirror::Object* end) { |
| 108 | uintptr_t begin_offset = reinterpret_cast<uintptr_t>(begin) - heap_begin_; |
| 109 | uintptr_t end_offset = reinterpret_cast<uintptr_t>(end) - heap_begin_; |
| 110 | // Align begin and end to word boundaries. |
| 111 | while (begin_offset < end_offset && OffsetBitIndex(begin_offset) != 0) { |
| 112 | Clear(reinterpret_cast<mirror::Object*>(heap_begin_ + begin_offset)); |
| 113 | begin_offset += kAlignment; |
| 114 | } |
| 115 | while (begin_offset < end_offset && OffsetBitIndex(end_offset) != 0) { |
| 116 | end_offset -= kAlignment; |
| 117 | Clear(reinterpret_cast<mirror::Object*>(heap_begin_ + end_offset)); |
| 118 | } |
| 119 | const uintptr_t start_index = OffsetToIndex(begin_offset); |
| 120 | const uintptr_t end_index = OffsetToIndex(end_offset); |
Mathieu Chartier | 6e6078a | 2016-10-24 15:45:41 -0700 | [diff] [blame] | 121 | ZeroAndReleasePages(reinterpret_cast<uint8_t*>(&bitmap_begin_[start_index]), |
| 122 | (end_index - start_index) * sizeof(*bitmap_begin_)); |
Mathieu Chartier | 7ec38dc | 2016-10-07 15:24:46 -0700 | [diff] [blame] | 123 | } |
| 124 | |
| 125 | template<size_t kAlignment> |
Mathieu Chartier | bbd695c | 2014-04-16 09:48:48 -0700 | [diff] [blame] | 126 | void SpaceBitmap<kAlignment>::CopyFrom(SpaceBitmap* source_bitmap) { |
Mathieu Chartier | 357e9be | 2012-08-01 11:00:14 -0700 | [diff] [blame] | 127 | DCHECK_EQ(Size(), source_bitmap->Size()); |
Mathieu Chartier | c381c36 | 2016-08-23 13:27:53 -0700 | [diff] [blame] | 128 | const size_t count = source_bitmap->Size() / sizeof(intptr_t); |
| 129 | Atomic<uintptr_t>* const src = source_bitmap->Begin(); |
| 130 | Atomic<uintptr_t>* const dest = Begin(); |
| 131 | for (size_t i = 0; i < count; ++i) { |
| 132 | dest[i].StoreRelaxed(src[i].LoadRelaxed()); |
| 133 | } |
Mathieu Chartier | 357e9be | 2012-08-01 11:00:14 -0700 | [diff] [blame] | 134 | } |
| 135 | |
Mathieu Chartier | a8e8f9c | 2014-04-09 14:51:05 -0700 | [diff] [blame] | 136 | template<size_t kAlignment> |
Mathieu Chartier | bbd695c | 2014-04-16 09:48:48 -0700 | [diff] [blame] | 137 | void SpaceBitmap<kAlignment>::Walk(ObjectCallback* callback, void* arg) { |
Mathieu Chartier | 2cebb24 | 2015-04-21 16:50:40 -0700 | [diff] [blame] | 138 | CHECK(bitmap_begin_ != nullptr); |
| 139 | CHECK(callback != nullptr); |
Mathieu Chartier | 357e9be | 2012-08-01 11:00:14 -0700 | [diff] [blame] | 140 | |
| 141 | uintptr_t end = OffsetToIndex(HeapLimit() - heap_begin_ - 1); |
Mathieu Chartier | c381c36 | 2016-08-23 13:27:53 -0700 | [diff] [blame] | 142 | Atomic<uintptr_t>* bitmap_begin = bitmap_begin_; |
Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 143 | for (uintptr_t i = 0; i <= end; ++i) { |
Mathieu Chartier | c381c36 | 2016-08-23 13:27:53 -0700 | [diff] [blame] | 144 | uintptr_t w = bitmap_begin[i].LoadRelaxed(); |
Mathieu Chartier | 357e9be | 2012-08-01 11:00:14 -0700 | [diff] [blame] | 145 | if (w != 0) { |
Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 146 | uintptr_t ptr_base = IndexToOffset(i) + heap_begin_; |
Mathieu Chartier | 357e9be | 2012-08-01 11:00:14 -0700 | [diff] [blame] | 147 | do { |
Andreas Gampe | cb8aea4 | 2014-04-02 15:39:58 -0700 | [diff] [blame] | 148 | const size_t shift = CTZ(w); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 149 | mirror::Object* obj = reinterpret_cast<mirror::Object*>(ptr_base + shift * kAlignment); |
Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 150 | (*callback)(obj, arg); |
Ian Rogers | 1373595 | 2014-10-08 12:43:28 -0700 | [diff] [blame] | 151 | w ^= (static_cast<uintptr_t>(1)) << shift; |
Mathieu Chartier | 357e9be | 2012-08-01 11:00:14 -0700 | [diff] [blame] | 152 | } while (w != 0); |
Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 153 | } |
| 154 | } |
| 155 | } |
| 156 | |
Mathieu Chartier | a8e8f9c | 2014-04-09 14:51:05 -0700 | [diff] [blame] | 157 | template<size_t kAlignment> |
| 158 | void SpaceBitmap<kAlignment>::SweepWalk(const SpaceBitmap<kAlignment>& live_bitmap, |
Mathieu Chartier | bbd695c | 2014-04-16 09:48:48 -0700 | [diff] [blame] | 159 | const SpaceBitmap<kAlignment>& mark_bitmap, |
| 160 | uintptr_t sweep_begin, uintptr_t sweep_end, |
| 161 | SpaceBitmap::SweepCallback* callback, void* arg) { |
| 162 | CHECK(live_bitmap.bitmap_begin_ != nullptr); |
| 163 | CHECK(mark_bitmap.bitmap_begin_ != nullptr); |
Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 164 | CHECK_EQ(live_bitmap.heap_begin_, mark_bitmap.heap_begin_); |
| 165 | CHECK_EQ(live_bitmap.bitmap_size_, mark_bitmap.bitmap_size_); |
Mathieu Chartier | 2cebb24 | 2015-04-21 16:50:40 -0700 | [diff] [blame] | 166 | CHECK(callback != nullptr); |
Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 167 | CHECK_LE(sweep_begin, sweep_end); |
| 168 | CHECK_GE(sweep_begin, live_bitmap.heap_begin_); |
Mathieu Chartier | 357e9be | 2012-08-01 11:00:14 -0700 | [diff] [blame] | 169 | |
| 170 | if (sweep_end <= sweep_begin) { |
Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 171 | return; |
| 172 | } |
Mathieu Chartier | 357e9be | 2012-08-01 11:00:14 -0700 | [diff] [blame] | 173 | |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 174 | // TODO: rewrite the callbacks to accept a std::vector<mirror::Object*> rather than a mirror::Object**? |
Ian Rogers | 1373595 | 2014-10-08 12:43:28 -0700 | [diff] [blame] | 175 | constexpr size_t buffer_size = sizeof(intptr_t) * kBitsPerIntPtrT; |
Andreas Gampe | 262a0a3 | 2014-06-04 15:25:28 -0700 | [diff] [blame] | 176 | #ifdef __LP64__ |
| 177 | // Heap-allocate for smaller stack frame. |
| 178 | std::unique_ptr<mirror::Object*[]> pointer_buf_ptr(new mirror::Object*[buffer_size]); |
| 179 | mirror::Object** pointer_buf = pointer_buf_ptr.get(); |
| 180 | #else |
| 181 | // Stack-allocate buffer as it's small enough. |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 182 | mirror::Object* pointer_buf[buffer_size]; |
Andreas Gampe | 262a0a3 | 2014-06-04 15:25:28 -0700 | [diff] [blame] | 183 | #endif |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 184 | mirror::Object** pb = &pointer_buf[0]; |
Andreas Gampe | 262a0a3 | 2014-06-04 15:25:28 -0700 | [diff] [blame] | 185 | |
Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 186 | size_t start = OffsetToIndex(sweep_begin - live_bitmap.heap_begin_); |
Mathieu Chartier | 357e9be | 2012-08-01 11:00:14 -0700 | [diff] [blame] | 187 | size_t end = OffsetToIndex(sweep_end - live_bitmap.heap_begin_ - 1); |
Ian Rogers | 1373595 | 2014-10-08 12:43:28 -0700 | [diff] [blame] | 188 | CHECK_LT(end, live_bitmap.Size() / sizeof(intptr_t)); |
Mathieu Chartier | c381c36 | 2016-08-23 13:27:53 -0700 | [diff] [blame] | 189 | Atomic<uintptr_t>* live = live_bitmap.bitmap_begin_; |
| 190 | Atomic<uintptr_t>* mark = mark_bitmap.bitmap_begin_; |
Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 191 | for (size_t i = start; i <= end; i++) { |
Mathieu Chartier | c381c36 | 2016-08-23 13:27:53 -0700 | [diff] [blame] | 192 | uintptr_t garbage = live[i].LoadRelaxed() & ~mark[i].LoadRelaxed(); |
Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 193 | if (UNLIKELY(garbage != 0)) { |
Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 194 | uintptr_t ptr_base = IndexToOffset(i) + live_bitmap.heap_begin_; |
Mathieu Chartier | 357e9be | 2012-08-01 11:00:14 -0700 | [diff] [blame] | 195 | do { |
Andreas Gampe | cb8aea4 | 2014-04-02 15:39:58 -0700 | [diff] [blame] | 196 | const size_t shift = CTZ(garbage); |
Ian Rogers | 1373595 | 2014-10-08 12:43:28 -0700 | [diff] [blame] | 197 | garbage ^= (static_cast<uintptr_t>(1)) << shift; |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 198 | *pb++ = reinterpret_cast<mirror::Object*>(ptr_base + shift * kAlignment); |
Mathieu Chartier | 357e9be | 2012-08-01 11:00:14 -0700 | [diff] [blame] | 199 | } while (garbage != 0); |
Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 200 | // Make sure that there are always enough slots available for an |
| 201 | // entire word of one bits. |
Ian Rogers | 1373595 | 2014-10-08 12:43:28 -0700 | [diff] [blame] | 202 | if (pb >= &pointer_buf[buffer_size - kBitsPerIntPtrT]) { |
Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 203 | (*callback)(pb - &pointer_buf[0], &pointer_buf[0], arg); |
| 204 | pb = &pointer_buf[0]; |
| 205 | } |
| 206 | } |
| 207 | } |
| 208 | if (pb > &pointer_buf[0]) { |
| 209 | (*callback)(pb - &pointer_buf[0], &pointer_buf[0], arg); |
| 210 | } |
| 211 | } |
| 212 | |
Mathieu Chartier | a8e8f9c | 2014-04-09 14:51:05 -0700 | [diff] [blame] | 213 | template class SpaceBitmap<kObjectAlignment>; |
| 214 | template class SpaceBitmap<kPageSize>; |
| 215 | |
Ian Rogers | 1d54e73 | 2013-05-02 21:10:01 -0700 | [diff] [blame] | 216 | } // namespace accounting |
| 217 | } // namespace gc |
Mathieu Chartier | b062fdd | 2012-07-03 09:51:48 -0700 | [diff] [blame] | 218 | } // namespace art |